English

Proof of a supercongruence conjectured by Sun through a $q$-microscope

Number Theory 2019-12-18 v1 Combinatorics

Abstract

Recently, Z.-W. Sun made the following conjecture: for any odd prime pp and odd integer mm, 1m2(m1(m1)/2)(k=0(pm1)/2(2kk)8k(2p)k=0(m1)/2(2kk)8k)0(modp2). \frac{1}{m^2{m-1\choose (m-1)/2}}\Bigg(\sum_{k=0}^{(pm-1)/2}\frac{{2k\choose k}}{8^k} -\left(\frac{2}{p}\right)\sum_{k=0}^{(m-1)/2}\frac{{2k\choose k}}{8^k}\Bigg) \equiv 0\pmod{p^2}. In this note, applying the "creative microscoping" method, introduced by the author and Zudilin, we confirm the above conjecture of Sun.

Keywords

Cite

@article{arxiv.1912.08070,
  title  = {Proof of a supercongruence conjectured by Sun through a $q$-microscope},
  author = {Victor J. W. Guo},
  journal= {arXiv preprint arXiv:1912.08070},
  year   = {2019}
}

Comments

6 pages

R2 v1 2026-06-23T12:48:34.222Z