加载中…
In 2017, motivated by a supercongruence conjectured by Kimoto and Wakayama and confirmed by Long, Osburn and Swisher, Z.-W. Sun introduced the sequence of polynomials: and investigated its congruence properties. In particular, Z.-W. Sun conjectured that for any prime and -adic integer one has \begin{equation*} \sum_{n=0}^{p-1}s_n(x)^2\equiv (-1)^{\langle x\rangle_p}\frac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^3}, \end{equation*} where denotes the least nonnegative residue of modulo . In this paper, we confirm this conjecture.

生成讲解博客的中文版本

生成AI智能校验的中文版本