# Proof of three conjectures on congruences

Preprint · Hao Pan, Zhi-Wei Sun

- Archive id: arxiv:1010.2489
- Published: 2010-10-12
- Venue: Sci. China Math. 57(2014), 2091-2102
- arXiv: https://arxiv.org/abs/1010.2489
- Source URL: https://arxiv.org/abs/1010.2489
- PDF: https://arxiv.org/pdf/1010.2489
- Provenance: arxiv

## Abstract

In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\\equiv 1\\pmod{4}$ or $a\>1$ then $$ \\sum\_{k=0}^{\\lfloor\\frac34p^a\\rfloor}\\binom{-1/2}k\\equiv\\left(\\frac{2}{p^a}\\right)\\pmod{p^2}, $$ where $(-)$ denotes the Jacobi symbol. This confirms a conjecture of the second author. We also confirm a conjecture of R. Tauraso by showing that $$\\sum\_{k=1}^{p-1}\\frac{L\_k}{k^2}\\equiv0\\pmod{p}\\quad {\\rm provided}\\ \\ p\>5,$$ where the Lucas numbers $L\_0,L\_1,L\_2,\\ldots$ are defined by $L\_0=2,\\ L\_1=1$ and $L\_{n+1}=L\_n+L\_{n-1}\\ (n=1,2,3,\\ldots)$. Our third theorem states that if $p\\not=5$ then we can determine $F\_{p^a-(\\frac{p^a}5)}$ mod $p^3$ in the following way: $$\\sum\_{k=0}^{p^a-1}(-1)^k\\binom{2k}k\\equiv\\left(\\frac{p^a}5\\right)\\left(1-2F\_{p^a-(\\frac{p^a}5)}\\right)\\ \\pmod{p^3},$$ which appeared as a conjecture in a paper of Sun and Tauraso in 2010.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.