English

Cubic congruences and sums involving $\binom{3k}k$

Number Theory 2013-11-21 v7 Combinatorics

Abstract

Let pp be a prime greater than 33 and let aa be a rational p-adic integer. In this paper we try to determine k=1[p/3](3kk)ak(modp)\sum_{k=1}^{[p/3]}\binom{3k}ka^k\pmod p, and real the connection between cubic congruences and the sum k=1[p/3](3kk)ak\sum_{k=1}^{[p/3]}\binom{3k}ka^k, where [x][x] is the greatest integer not exceeding xx. Suppose that a1,a2,a3a_1,a_2,a_3 are rational p-adic integers, P=2a13+9a1a227a3P=-2a_1^3+9a_1a_2-27a_3, Q=(a123a2)3Q=(a_1^2-3a_2)^3 and PQ(P2Q)(P23Q)(P24Q)≢0(modp)PQ(P^2-Q)(P^2-3Q)(P^2-4Q)\not\equiv 0\pmod p. In this paper we show that the number of solutions of the congruence x3+a1x2+a2x+a30(modp)x^3+a_1x^2+a_2x+a_3\equiv 0\pmod p depends only on k=1[p/3](3kk)(4QP227Q)k(modp)\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{4Q-P^2}{27Q})^k\pmod p. Let qq be a prime of the form 3k+13k+1 and so 4q=L2+27M24q=L^2+27M^2 with L,MZL,M\in\Bbb Z. When pqp\not=q and pLp\nmid L, we establish congruences for k=1[p/3](3kk)(M2q)k\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{M^2}q)^k and k=1[p/3](3kk)(L227q)k\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{L^2}{27q})^k modulo p. As a consequence, we show that x3qxqM0(modp)x^3-qx-qM\equiv 0\pmod p has three solutions if and only if pp is a cubic residue of qq.

Keywords

Cite

@article{arxiv.1310.6721,
  title  = {Cubic congruences and sums involving $\binom{3k}k$},
  author = {Zhi-Hong Sun},
  journal= {arXiv preprint arXiv:1310.6721},
  year   = {2013}
}

Comments

Theorem 2.5 and Corollary 2.10 are new