Proof of some conjectures of Z.-W. Sun on the divisibility of certain double sums

From MaRDI portal
Publication:2800145




Abstract: Z.-W. Sun introduced three kinds of numbers: �egin{align*}S_n=sum_{k=0}^{n}{nchoose k}^2{2kchoose k}(2k+1),qquad s_n=sum_{k=0}^{n}{nchoose k}^2{2kchoose k}frac{1}{2k-1}, end{align*} and Sn+=sumk=0nnchoosek22kchoosek(2k+1)2. In this paper we mainly prove that �egin{align*} 4sum_{k=0}^{n-1}kS_kequiv sum_{k=0}^{n-1}s_kequiv sum_{k=0}^{n-1}S_k^{+}equiv 0pmod{n^2}quad ext{for ngeqslant1}, end{align*} by establishing some binomial coefficient identities, such as �egin{align*} 4sum_{k=0}^{n-1}kS_k=n^2sum_{k=0}^{n-1}frac{1}{k+1}{2kchoose k}(6k{n-1choose k}^2+{n-1choose k}{n-1choose k+1}). end{align*} This confirms several recent conjectures of Z.-W. Sun.





Describes a project that uses

Uses Software





This page was built for publication: Proof of some conjectures of Z.-W. Sun on the divisibility of certain double sums

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2800145)