English

Congruences concerning Legendre polynomials III

Number Theory 2012-10-26 v4 Combinatorics

Abstract

Let p>3p>3 be a prime, and let RpR_p be the set of rational numbers whose denominator is coprime to pp. Let {Pn(x)}\{P_n(x)\} be the Legendre polynomials. In this paper we mainly show that for m,n,tRpm,n,t\in R_p with m̸\e0(modp)m\not\e 0\pmod p, \align &P_{[\frac p6]}(t) \e -\Big(\frac 3p\Big)\sum_{x=0}^{p-1}\Big(\frac{x^3-3x+2t}p\Big)\pmod p, &\Big(\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big)\Big)^2\equiv \Big(\frac{-3m}p\Big) \sum_{k=0}^{[p/6]}\binom{2k}k\binom{3k}k\binom{6k}{3k} \Big(\frac{4m^3+27n^2}{12^3\cdot 4m^3}\Big)^k\pmod p, where (ap)(\frac ap) is the Legendre symbol and [x][x] is the greatest integer function. As an application we solve some conjectures of Z.W. Sun and the author concerning k=0p1(2kk)(3kk)(6k3k)/mk(modp2)\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k\binom{6k}{3k}/m^k\pmod {p^2}, where mm is an integer not divisible by pp.

Keywords

Cite

@article{arxiv.1012.4234,
  title  = {Congruences concerning Legendre polynomials III},
  author = {Zhi-Hong Sun},
  journal= {arXiv preprint arXiv:1012.4234},
  year   = {2012}
}

Comments

28 pages

R2 v1 2026-06-21T17:01:20.537Z