Related papers: Combinatorial identities involving harmonic number…
We establish Ohno-type identities for multiple harmonic ($q$-)sums which generalize Hoffman's identity and Bradley's identity. Our result leads to a new proof of the Ohno-type relation for $\mathcal{A}$-finite multiple zeta values recently…
In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2}…
We give two new proofs of the Chaundy-Bullard formula $$ (1-x)^{n+1} \sum_{k=0}^m {n+k\choose k} x^k +x^{m+1}\sum_{k=0}^n {m+k\choose k} (1-x)^k=1 $$ and we prove the "twin formula" $$ \frac{ (1-x)^{(n+1)}}{(n+1)!} \sum_{k=0}^m…
In this paper we present many new families of identities for multiple harmonic sums using binomial coefficients. Some of these generalize a few recent results of Hessami Pilehrood et al. As applications we prove several conjectures…
In the present paper, we determine the sums $\sum_{j=1}^{p-1}\frac{H_j^{(s_1)}H_j^{(s_3)}}{j^{s_2}}$ and $\sum_{j=1}^{p-1}\frac{H_j^{(s_1)}H_j^{(s_3)}H_j^{(s_4)}}{j^{s_2}}$ modulo $p$ and modulo $p^2$ in certain cases. This is done by using…
A generalization of the Chu-Vandermonde convolution is presented and proved with the integral representation method. This identity can be transformed into another identity, which has as special cases two known identities. Another identity…
We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive…
Recently the second named author discovered a combinatorial identity in the context of vertex representations of quantum Kac-Moody algebras. We give a direct and elementary proof of this identity. Our method is to show a related identity of…
In this paper we obtain some novel identities involving trigonometric functions. Let $n$ be any positive odd integer. We show that $$\sum_{r=0}^{n-1}\frac1{1+\sin2\pi\frac{x+r}n+\cos2\pi\frac{x+r}n}…
Utilizing spectral residues of parameterized, recursively defined sequences, we develop a general method for generating identities of composition sums. Specific results are obtained by focusing on coefficient sequences of solutions of first…
The title identity appeared as Problem 75-4, proposed by P. Barrucand, in Siam Review in 1975. The published solution equated constant terms in a suitable polynomial identity. Here we give a combinatorial interpretation in terms of card…
We establish two binomial coefficient--generalized harmonic sum identities using the partial fraction decomposition method. These identities are a key ingredient in the proofs of numerous supercongruences. In particular, in other works of…
We study three classes of combinatorial sums involving central binomial coefficients and harmonic numbers, odd harmonic numbers, and even indexed harmonic numbers, respectively. In each case we use summation by parts to derive recursive…
For each positive integer $m$, the $m$th order harmonic numbers are given by $$H_n^{(m)}=\sum_{0<k\le n}\frac1{k^m}\ \ (n=0,1,2,\ldots).$$ We discover exact values of some series involving harmonic numbers of order not exceeding four. For…
We present explicit formulas for the following family of parametric binomial sums involving harmonic numbers for $p=0,1,2$ and $|t|\leq1$. $$ \sum_{k=1}^{\infty}\frac{H_{k-1}t^k}{k^p\binom{n+k}{k}}\quad \mbox{and}\quad…
In this paper, we evaluate some series of the form $$\sum_{k=1}^\infty\frac{ak^2+bk+c}{k(3k-1)(3k-2)m^k\binom{4k}k}.$$ For example, we prove that $$\sum_{k=1}^\infty\frac{(5k^2-4k+1)8^{k}}{k(3k-1)(3k-2)\binom{4k}k}=\frac{3}2\pi$$ and…
We give combinatorial proofs for some identities involving binomial sums that have no closed form.
Using cyclotomic multiple zeta values of level $8$, we confirm and generalize several conjectural identities on infinite series with summands involving $\binom{2k}k8^k/(\binom{3k}k\binom{6k}{3k})$. For example, we prove that…
We prove an interesting identity for the sum of determinants, which is a generalization of the sum of a geometric progression. The proof is quite long and a number of other identities are proved along the way. Some of the more elementary…
Let $p$ be a prime and ${\mathcal{P}_{p}}$ the set of positive integers which are prime to $p$. We establish the following interesting congruence \[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}}…