Related papers: Symbolic summation methods and hypergeometric supe…

It is known that $\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)4^k)=\pi/2$ and $\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)16^k)=\pi/3$. In this paper we obtain their p-adic analogues such as…

Using the $q$-Wilf--Zeilberger method and a $q$-analogue of a "divergent" Ramanujan-type supercongruence, we give several $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. One of them is a $q$-analogue of a…

For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$, $$ \sum_{k=1}^{p-1}\frac{H_k^2}{k^2} \equiv4/5pB_{p-5}\pmod{p^2}, $$ which confirms the conjecture…

Let $p$ be an odd prime, and let $a$ be a rational $p$-adic integer with $a\not\equiv 0\pmod p$. In this paper, using WZ method we establish the congruences for $\sum_{k=0}^{p-1} \binom ak^2(-1)^k(1-\frac 2ak)$ modulo $p^2$ and…

Let $m>2$ and $q>0$ be integers with $m$ even or $q$ odd. We show the supercongruence $$\sum_{k=0}^{p-1}(-1)^{km}\binom{p/m-q}{k}^m\equiv0\pmod{p^3}.$$ for any prime $p>mq$. This confirms a conjecture of Sun.

Using Zeilberger's algorithm, we here give a proof of the supercongruence $$ \sum_{n=0}^{\frac{p^r-3}{4}}(8n+1)\frac{\left(\frac{1}{4}\right)_n^4}{(1)_n^4}\equiv -p^3…

Let $p$ be an odd prime, Jianqiang Zhao has established a curious congruence $$ \sum_{i+j+k=p \atop i,j,k > 0} \frac{1}{ijk} \equiv -2B_{p-3}\pmod p , $$ where $B_{n}$ denotes the $n-$th Bernoulli numbers. In this paper, we will generalize…

Let $p$ be an odd prime, and let $m$ be an integer with $p\nmid m$. In this paper show that $$\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak\binom{-1-a}k}{m^k} \equiv 0\pmod p \quad\hbox{implies}\quad\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak…

In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$…

Many generating series of combinatorially interesting numbers have the property that the sum of the terms of order $<p$ at some suitable point is congruent to a zero of a zeta-function modulo infinitely many primes $p$. Surprisingly, very…

In this paper, we confirm several conjectures posed by Sun recently; for example, we prove that for any odd prime $p$ we have $$ \sum_{k=0}^{p-1}A_k\equiv\begin{cases}4x^2-2p\pmod{p^2}\quad&\text{if $p=x^2+2y^2\ (x,y\in\mathbb{Z})$},\\…

For any odd prime p we obtain q-analogues of Van Hamme's supercongruence: $$ \sum_{k=0}^{\frac{p-1}{2}}{2k\choose k}^3\frac{1}{64^k} \equiv 0 \pmod{p^2} \quad\text{for}\quad p\equiv 3\pmod 4, $$ and Rodriguez-Villegas' Beukers-like…

We show that for any prime prime $p\not=2$ $$\sum_{k=1}^{p-1} {(-1)^k\over k}{-{1\over 2} \choose k} \equiv -\sum_{k=1}^{(p-1)/2}{1\over k} \pmod{p^3}$$ by expressing the l.h.s. as a combination of alternating multiple harmonic sums.

The harmonic number $H_k=\sum_{j=1}^k1/j(k=1,2,3\cdots)$ play an important role in mathematics. Let $p>3$ be a prime. In this paper, we establish a number of congruences with the form $\sum_{k=1}^{p-1}k^mH_k^n(\mod p^2)$ for…

The Ap\'ery numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove…

In this paper we study some sophisticated supercongruences involving dual sequences. For $n=0,1,2,\ldots$ define $$d_n(x)=\sum_{k=0}^n\binom nk\binom xk2^k$$ and $$s_n(x)=\sum_{k=0}^n\binom nk\binom xk\binom{x+k}k=\sum_{k=0}^n\binom…

For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/n$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$, $$ \sum_{k=1}^{p-1}\frac{H_k}{k^2}\equiv \sum_{k=1}^{p-1}\frac{H_k^2}{k}…

We primarily investigate congruences modulo $p$ for finite sums of the form $\sum_k\binom{rk}{k}x^k/k$ over the ranges $0<k<p$ and $0<k<p/r$, where $p$ is a prime larger than the positive integer $r$. Here $x$ is an indeterminate, thus…

This is an English translation of the Latin original "De summa seriei ex numeris primis formatae ${1/3}-{1/5}+{1/7}+{1/11}-{1/13}-{1/17}+{1/19}+{1/23}-{1/29}+{1/31}-$ etc. ubi numeri primi formae $4n-1$ habent signum positivum formae autem…

In 2017, motivated by a supercongruence conjectured by Kimoto and Wakayama and confirmed by Long, Osburn and Swisher, Z.-W. Sun introduced the sequence of polynomials: $$…