Proof of some congruence conjectures of Guo and Liu

Abstract: Let

n

and

r

be positive integers. Define the numbers

S_{n}^{(r)}

by

In this paper we prove some conjectures of Guo and Liu which extend some conjectures of Z.-W. Sun cite{Su1}, such as: There exist integers

a_{2 r - 1}

and

b_{r}

, independent of

n

, such that

a_{2r-1}sum_{k=0}^{n-1}S_k^{(2r-1)}equiv0pmod{n^2} mbox{and} b_rsum_{k=0}^{n-1}kS_k^{(r)}equiv0pmod{n^2}.

By Zeilberger algorithm, we find that for all

0 l e q j < n

,

(2j+1)�inom{2j}jsum_{k=j}^{n-1}(2k-j+1)�inom kj^2equiv0pmod{n^2}.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Proof of some congruence conjectures of Guo and Liu