Lattices in ℤ² and the congruence xy+uv ≡ c(mod m)
Let p > 3 be a prime, and let Rₚ be the set of rational numbers whose denominator is not divisible by p. Let Pₙ(x) be the Legendre polynomials. In this paper we mainly show that for m,n,t ∈ Rₚ with m≢ 0 (mod p), and , where (a/p) is the Legendre symbol and [x] is the greatest integer function. As an application we solve some conjectures of Z. W. Sun and the author concerning , where m is an integer not divisible by p.
For , , it is proved the relations between the sums and Bernoulli numbers. The result supplements the known theorems of C. Leudesdorf, N. Rama Rao and others. As the application it is obtained some connections between the sums and Agoh’s functions, Wilson quotients, the indices irregularity of Bernoulli numbers.