Proof of some conjectures of Z.-W. Sun on congruences for Apery polynomials
Résumé
The Apery polynomials are defined by $A_n(x)=\sum_{k=0}^{n}{n\choose k}^2{n+k\choose k}^2 x^k$ for all nonnegative integers $n$. We confirm several conjectures of Z.-W. Sun on the congruences for the sum $\sum_{k=0}^{n-1}(-1)^k(2k+1) A_k(x)$ with $x\in Z$.