Combinatorial Identities of Three Complex Parameters and Their Basic Applications

1. Introduction

In a recent issue of the journal The Fibonacci Quarterly [12] the second author asked the readers to prove the identity

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{a^k-b^k}{k}}=\sum _{k=1}^n{(-1)}^{k-1}{\displaystyle \frac{{(a-1)}^k-{(b-1)}^k}{k}},$$

(1)

valid for all complex numbers a and b. Although not hard to prove, such an identity provides an unusual but useful link between sums with and without binomial coefficients.

Our purpose in this paper is to derive a generalization of (1) involving an additional (that is third) complex parameter. Polynomial combinatorial identities are equations that express relations between polynomials and combinatorial quantities. These identities usually involve sums of polynomial terms weighted by quantities like binomial coefficients, falling or rising factorials or other counting numbers. Common examples are the binomial or multinomial theorem. Polynomial identities with a complex parameter in the binomial coefficient are not unusual and can be found in the literature. Examples for such identities were derived in the articles by Boyadzhiev [4], Wang and Wei [25] or Chen and Guo [6], for instance. Identities with two or even three complex parameters also exist but are rare. Two particular examples that come to mind are the Chu-Vandermonde identity and Hagen-Rothe identities [7,8,16]: For complex numbers x and y, and non-negative integers m and n the Chu-Vandermonde identity is

$$\sum _{k=0}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{y}{m-k}}\right)=\left({\displaystyle \genfrac{}{}{0pt}{}{x+y}{n}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{y-x}{m-n}}\right),$$

of which

$$\sum _{k=0}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{y}{n-k}}\right)=\left({\displaystyle \genfrac{}{}{0pt}{}{x+y}{n}}\right)$$

is a special case. The Hagen-Rothe identities are similar. Still other sums related to ours were also studied by Egorychev [11] and Lyapin and S. Chandragiri [21].

Our three parameter generalization of (1) consists of two separate identities presented in a main lemma in the third section. These identities will turn out to be immensely rich and will allow us to deduce a big amount of important results as basic properties. These results will come from four different fields: polynomial identities, trigonometric sums, sums involving the Horadam sequence, and combinatorial identities. In the field of combinatorial identities we will focus on three different classes: Frisch-type identities, Klamkin-type identities and combinatorial sums involving powers of integers.

2. Preliminaries

Before presenting our main results, we first collect several preliminary identities that will be frequently used later.

Lemma 1.

If k and n are integers and x is a complex number, then

$$\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)={(-1)}^{n-k}\left({\displaystyle \genfrac{}{}{0pt}{}{n-x-1}{n-k}}\right).$$

(2)

In particular,

$$\begin{array}{c}\left({\displaystyle \genfrac{}{}{0pt}{}{-1-k}{n-k}}\right)={(-1)}^{n-k}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right),\end{array}$$

(3)

$$\begin{array}{c}\left({\displaystyle \genfrac{}{}{0pt}{}{-k}{n-k}}\right)={(-1)}^{n-k}\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{k-1}}\right)={(-1)}^{n-k}{\displaystyle \frac{k}{n}}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right),\end{array}$$

(4)

$$\begin{array}{c}\left({\displaystyle \genfrac{}{}{0pt}{}{1-k}{n-k}}\right)={(-1)}^{n-k}\left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right).\end{array}$$

(5)

Proof. 

Identity (2) follows directly from the $-1$ transformation. □

Lemma 2.

We have

$$\begin{array}{cc}\hfill \left({\displaystyle \genfrac{}{}{0pt}{}{r+1/2}{s}}\right)& =\left({\displaystyle \genfrac{}{}{0pt}{}{2r+1}{2s}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{2s}{s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{s}}\right)}^{-1}{2}^{-2s},r,s\in \mathbb{C}\setminus {\mathbb{Z}}^{-},r-s\notin {\mathbb{Z}}^{-},s\ne -1/2,\hfill \end{array}$$

(6)

$$\begin{array}{cc}\hfill \left({\displaystyle \genfrac{}{}{0pt}{}{1/2}{r}}\right)& ={(-1)}^{r+1}\left({\displaystyle \genfrac{}{}{0pt}{}{2r}{r}}\right){\displaystyle \frac{2^{-2r}}{2r-1}},r\in \mathbb{Z},\hfill \end{array}$$

(7)

$$\begin{array}{cc}\hfill \left({\displaystyle \genfrac{}{}{0pt}{}{r-1/2}{s}}\right)& =\left({\displaystyle \genfrac{}{}{0pt}{}{2r}{r}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{r}{s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(r-s)}{r-s}}\right)}^{-1}{2}^{-2s},r,s\in \mathbb{C}\setminus {\mathbb{Z}}^{-},r-s\notin {\mathbb{Z}}^{-},\hfill \end{array}$$

(8)

$$\begin{array}{cc}\hfill \left({\displaystyle \genfrac{}{}{0pt}{}{-1/2}{r}}\right)& ={(-1)}^r\left({\displaystyle \genfrac{}{}{0pt}{}{2r}{r}}\right)2^{-2r},r\in \mathbb{Z},\hfill \end{array}$$

(9)

$$\begin{array}{cc}\hfill \left({\displaystyle \genfrac{}{}{0pt}{}{-3/2}{r}}\right)& ={(-1)}^r\left({\displaystyle \genfrac{}{}{0pt}{}{2r}{r}}\right)(2r+1)2^{-2r},r\in \mathbb{Z},\hfill \end{array}$$

(10)

$$\begin{array}{cc}\hfill \left({\displaystyle \genfrac{}{}{0pt}{}{-1/2-r}{s}}\right)& ={(-1)}^s\left({\displaystyle \genfrac{}{}{0pt}{}{2\left(r+s\right)}{r+s}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{r+s}{r}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2r}{r}}\right)}^{-1}{2}^{-2s},r,s\in \mathbb{Z}.\hfill \end{array}$$

(11)

Proof. 

These are consequences of the generalized binomial coefficients. They are easy to derive using the Gamma function. They can also be found in Gould’s book [13]. □

Next, we recall some facts about Horadam sequences that will be needed later. The Horadam sequence $w_j=w_j(a,b;p,q)$ is defined, for all integers, by the recurrence relation [18]

$$w_0=a,w_1=b,w_j=p{w}_{j-1}-q{w}_{j-2},j\ge 2,$$

with

$$w_{-j}={\displaystyle \frac{1}{q}}(p{w}_{-j+1}-w_{-j+2}),$$

where a, b, p and q are arbitrary complex numbers with $p\ne 0$, $q\ne 0$, and $p^2-4q>0$. The sequence $w_j$ generalizes many important number and polynomial sequences, for instance, the Fibonacci sequence $F_j=w_j(0,1;1,-1)$, the Lucas sequence $L_j=w_j(2,1;1,-1)$, the Pell sequence $P_j=w_j(0,1;2,-1)$, the Chebyshev polynomials of the first and second kind given by $T_j\left(x\right)=w_j(1,x;2x,1)$ and $U_j\left(x\right)=w_j(1,2x;2x,1)$, and so on. The j-th term of a Horadam sequence is given by

$$w_j=w_j(p,q)={\displaystyle \frac{A{\sigma }^j(p,q)-B{\tau }^j(p,q)}{\sigma (p,q)-\tau (p,q)}},$$

(12)

where

$$A=w_1-w_0\tau (p,q),B=w_1-w_0\sigma (p,q),$$

and $\sigma (p,q)$ and $\tau (p,q)$ are given by

$$\sigma =\sigma (p,q)={\displaystyle \frac{p+\delta }{2}},\tau =\tau (p,q)={\displaystyle \frac{p-\delta }{2}},$$

where $\delta =\sqrt{p^2-4q}$, so that $\sigma (p,q)\tau (p,q)=q$.

The sequences $F_j$ and $L_j$ are classical sequences and are indexed as sequences A000045 and A000032 in the On-Line Encyclopedia of Integer Sequences [23]. Koshy [19] and Vajda [24] have written excellent books on them. In addition, the sequences $u_j=w_j(0,1;p,q)$ and $v_j=w_j(2,p;p,q)$ are called the Lucas sequences of the first kind and the second kind, respectively. Their explicit forms equal

$$u_j=u_j(p,q)={\displaystyle \frac{{\sigma }^j(p,q)-{\tau }^j(p,q)}{\sigma (p,q)-\tau (p,q)}}and{v}_j=v_j(p,q)={\sigma }^j(p,q)+{\tau }^j(p,q).$$

Finally, we mention the gibonacci sequence (or generalized Fibonacci sequence) $G_j=G_j(a,b)=w_j(a,b;1,-1)$. This sequence was studied by Horadam [17] in 1961 under the notation $H_j$. Terms of the gibonacci sequence can be accessed directly through the Binet-like formula:

$$G_j={\displaystyle \frac{A{\alpha }^j-B{\beta }^j}{\alpha -\beta }},$$

where $\alpha =(1+\sqrt{5})/2$, $\beta =(1-\sqrt{5})/2$, and $A=G_1-G_0\beta$ and $B=G_1-G_0\alpha$. It is readily established that

$$G_{-j}={(-1)}^j(G_0{L}_j-G_j).$$

Lemma 3.

For all $r,s\ne 0$ we have the relations

$$\begin{array}{c}{\sigma }^r=\sigma u_r-q{u}_{r-1},\\ {\tau }^r=\tau u_r-q{u}_{r-1},\\ {\sigma }^r\delta =\sigma v_r-q{v}_{r-1},\\ {\tau }^r\delta =-\tau v_r+q{v}_{r-1},\end{array}$$

and more generally

$${\sigma }^{rs}={\displaystyle \frac{u_{rs}}{u_s}}{\sigma }^s-q^s{\displaystyle \frac{u_{(r-1)s}}{u_s}}and{\tau }^{rs}={\displaystyle \frac{u_{rs}}{u_s}}{\tau }^s-q^s{\displaystyle \frac{u_{(r-1)s}}{u_s}}.$$

Proof. 

The statements can be verified directly by computation working with $u_s{\sigma }^{rs}$ (respectively $u_s{\tau }^{rs}$) and $q=\sigma \tau$. □

Lemma 4.

For all integers $r,s$ and t we have

$$\begin{array}{c}{\sigma }^r{u}_{s-t}={\sigma }^s{u}_{r-t}-q^{s-t}{\sigma }^t{u}_{r-s},\\ {\tau }^r{u}_{s-t}={\tau }^s{u}_{r-t}-q^{s-t}{\tau }^t{u}_{r-s},\\ {\sigma }^r{u}_{s-t}\delta ={\sigma }^s{v}_{r-t}-q^{s-t}{\sigma }^t{v}_{r-s},\\ {\tau }^r{u}_{s-t}\delta =-{\tau }^s{v}_{r-t}+q^{s-t}{\tau }^t{v}_{r-s}.\end{array}$$

3. The Main Lemma and Its Immediate Consequences

Lemma 5.

If a, b and x are complex numbers and n is a non-negative integer, then

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{a^k-b^k}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(1-b)}^k-{(1-a)}^k}{k}}$$

(13)

and

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{a^k+b^k}{k}}=2\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(1-b)}^k+{(1-a)}^k}{k}}.$$

(14)

Proof. 

We have

$$\begin{array}{cc}\hfill {(a-1)}^k\pm {(b-1)}^k& =\sum _{j=0}^k\left({\displaystyle \genfrac{}{}{0pt}{}{k}{j}}\right)a^j{(-1)}^{k-j}\pm \sum _{j=0}^k\left({\displaystyle \genfrac{}{}{0pt}{}{k}{j}}\right)b^j{(-1)}^{k-j}\hfill \\ \hfill & =\sum _{j=0}^k\left({\displaystyle \genfrac{}{}{0pt}{}{k}{j}}\right){(-1)}^{k-j}(a^j\pm b^j).\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill {(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(a-1)}^k\pm {(b-1)}^k}{k}}& =\sum _{j=0}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{j}}\right){(-1)}^j{\displaystyle \frac{a^j\pm b^j}{k}}\hfill \\ \hfill & =\sum _{j=1}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{j}}\right){(-1)}^j{\displaystyle \frac{a^j\pm b^j}{k}}+\left(1\pm 1\right)\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \\ \hfill & =\sum _{j\ge 1}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k-1}{j-1}}\right){(-1)}^j{\displaystyle \frac{a^j\pm b^j}{j}}+\left(1\pm 1\right)\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \end{array}$$

and thus

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(a-1)}^k\pm {(b-1)}^k}{k}}\hfill \\ \hfill & =\sum _{j\ge 1}{(-1)}^j{\displaystyle \frac{a^j\pm b^j}{j}}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k-1}{j-1}}\right)+\left(1\pm 1\right)\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \\ \hfill & =\sum _{j\ge 1}{(-1)}^j{\displaystyle \frac{a^j\pm b^j}{j}}\sum _{k=j}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k-1}{j-1}}\right)+\left(1\pm 1\right)\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \\ \hfill & =\sum _{j\ge 1}{(-1)}^j{\displaystyle \frac{a^j\pm b^j}{j}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-j}}\right)+\left(1\pm 1\right)\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \\ \hfill & =\sum _{j=1}^n{(-1)}^j\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-j}}\right){\displaystyle \frac{a^j\pm b^j}{j}}+\left(1\pm 1\right)\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \\ \hfill & =\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{a^k\pm b^k}{k}}+\left(1\pm 1\right)\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.\hfill \end{array}$$

This completes the proof. □

When $x=n$ then identity (13) reduces to (1), which with $a=1$ and $b=0$ gives the classical identity [4]

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{1}{k}}=H_n,$$

(15)

with $H_n=1+1/2+\dots +1/n$ being the nth harmonic number. Similarly, by setting $x=n+1$, $a=1$ and $b=0$ in identity (13), we obtain

$$\begin{array}{c}\hfill \sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n+1}{k+1}}\right){\displaystyle \frac{1}{k}}=\sum _{k=1}^n{\displaystyle \frac{n-k+1}{k}}=(n+1)H_n-n.\end{array}$$

It follows from $\left({\displaystyle \genfrac{}{}{0pt}{}{n+1}{k+1}}\right)={\displaystyle \frac{n+1}{k+1}}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)$ that

$$\begin{array}{c}\hfill \sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{1}{k(k+1)}}=H_n-1+{\displaystyle \frac{1}{n+1}}.\end{array}$$

Note that the left-hand side of the equation above is

$$\begin{array}{c}\hfill \sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{1}{k}}-\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{1}{k+1}},\end{array}$$

hence we have

$$\sum _{k=0}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{1}{k+1}}={\displaystyle \frac{1}{n+1}}.$$

(16)

The last expression is also known. It is stated, for instance, in the book [10] as Exercise 27 in Chapter 2 (p.105).

The additional complex parameter x in the binomial coefficient provides a very rich source for various combinatorial identities. A first immediate consequence of the main Lemma 5 is the following result:

Theorem 1.

If n is a non-negative integer and a and x are complex numbers, then

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{1-a^k}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(1-a)}^k}{k}}$$

and

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{1+a^k}{k}}=-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(1-a)}^k}{k}}+2\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

Proof. 

Set $b=1$ in (13) and (14) and simplify. □

Another instant consequence are the following identities.

Theorem 2.

If n is a non-negative integer and a and x are complex numbers, then

$$\begin{array}{c}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{a^k-a^{-k}}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(1+a)}^k\left(1-a^{-k}\right)}{k}},\end{array}$$

(17)

$$\begin{array}{c}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)(a^k+a^{-k})=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){(1+a)}^{k}a\left({\displaystyle \frac{1-a^{-k}}{1+a}}+{\displaystyle \frac{1}{a^{k+1}}}\right).\end{array}$$

(18)

Proof. 

Identity (17) is obtained by setting $b=1/a$ in (13) and writing $-a$ for a. Identity () follows from differentiating (17) with respect to a and multiplying through by a. □

We also get immediately the next known result.

Theorem 3.

If a and x are complex numbers and n is a non-negative integer, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){(1+a)}^{k-1}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)a^{k-1}.$$

(19)

Proof. 

Differentiate (13) with respect to a and write $-a$ for a. □

Remark 1.

Identity (19) is not new and can be found in a different form in Gould’s compendium [13] as equation (1.10). It is also recorded by Chu [9].

Another important consequence is the next theorem.

Theorem 4.

If n is a non-negative integer and x is a complex number and a is a complex variable, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{a^k}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(1+a)}^k}{k}}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(20)

In particular, we have

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{1}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(21)

Proof. 

Add (13) and (14) and write $-a$ for a. The particular case follows by substituting $a=-1$ in (20). □

Proposition 1.

If n is a non-negative integer and a is a complex variable, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{a^k}{k}}=\sum _{k=1}^n{\displaystyle \frac{{(1+a)}^k}{k}}-H_n,$$

(22)

$$\sum _{k=1}^n{(-1)}^{k-1}{\displaystyle \frac{a^k}{k}}=\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{{(1+a)}^k}{k}}-H_n$$

(23)

and

$$\sum _{k=0}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{{(1+a)}^k}{k+2}}={\displaystyle \frac{1}{{(1+a)}^2}}\left({(-1)}^n{a}^{n+1}\left({\displaystyle \frac{a}{n+2}}+{\displaystyle \frac{1}{n+1}}\right)+{\displaystyle \frac{1}{\left(n+1\right)\left(n+2\right)}}\right).$$

(24)

In particular,

$$\begin{array}{c}\sum _{k=0}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{1}{k+2}}={\displaystyle \frac{1}{\left(n+1\right)\left(n+2\right)}},\end{array}$$

(25)

$$\begin{array}{c}\sum _{k=0}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)}{{\left(1+n\right)}^k\left(k+2\right)}}={\displaystyle \frac{n+1}{n+2}}.\end{array}$$

(26)

Proof. 

Identity (22) is obtained by setting $x=n$ in (20). Identity (23) follows upon setting $x=-1$ in (20) and using Lemma 1, while (24) follows from $x=1$. Note that in deriving (23) we used the equation (15). Identity (26) comes from setting $a=-(n+2)/(n+1)$ in (24). □

Remark 2.

Identities (22) and (23) will be called dual identities. We also note that setting $x=0$ in (20) gives the binomial transform of the binomial theorem.

The next theorem generalizes (19).

Theorem 5.

If m is a positive integer, n is a non-negative integer, x is a complex number and a is a complex variable, then

$$\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\displaystyle \frac{a^{k-m}}{k}}=\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\displaystyle \frac{{(1+a)}^{k-m}}{k}}.$$

(27)

Proof. 

The proof is by induction on m. The base case, $m=1$, is valid because it is the derivative of (20). Assume the truth of the hypothesis (27). Differentiating (27) with respect to a shows that the identity is valid for $m+1$ whenever it is valid for m and the proof is complete. Note that

$$(k-m)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)=(m+1)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m+1}}\right).$$

□

By using the identity ${\displaystyle \frac{1}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)={\displaystyle \frac{1}{m}}\left({\displaystyle \genfrac{}{}{0pt}{}{k-1}{m-1}}\right)$ and shifting the summation index, equation (27) can be simplified into

$$\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x+1}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)a^{k-m}=\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){(1+a)}^{k-m}.$$

(28)

Remark 3.

Any identity derived from (27) remains valid under the interchange $\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\leftrightarrow {(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)$. Similarly, the interchange $\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\leftrightarrow {(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x+1}{n-k}}\right)$ leaves any identity derived from (28) valid.

Substituting $a=-1$ and $a=0$ into equation (28) yields the following results:

Proposition 2.

If m is a positive integer, n is a non-negative integer and x is a complex number, then

$$\begin{array}{c}\sum _{k=m}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x+1}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)={(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{x-m}{n-m}}\right),\\ \sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)=\left({\displaystyle \genfrac{}{}{0pt}{}{x+1}{n-m}}\right).\end{array}$$

Evaluation at $x=-1/2$, on account of Lemma 2, yields the following combinatorial identities.

Proposition 3.

If m is a positive integer and n is a non-negative integer, then

$$\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-k)}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\displaystyle \frac{2^{2k}}{1-2(n-k)}}=\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{n}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2m}{m}}\right)}^{-1}{2}^{2m},$$

(29)

and

$$\sum _{k=m}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{2}^{2k}={(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-m)}{n-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)}^{-1}{\displaystyle \frac{2^{2m}}{1-2(n-m)}}.$$

(30)

Remark 4.

By shifting the summation index it is not difficult to show that (29) also contains

$$\sum _{k=0}^n\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right){\displaystyle \frac{2^{-2k}}{1-2k}}=\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)2^{-2n}$$

(31)

as a special case. The combinatorial sum (31) can be found in Riordan’s book [22] p.130. In addition we have from (30) its counterpart

$$\sum _{k=0}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{2}^{2k}={\displaystyle \frac{1}{1-2n}}.$$

(32)

Proposition 4.

If m and n are non-negative integers such that $n>m+1$, then

$$\sum _{k=m}^n{(-1)}^{k}k\left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right)=0.$$

In particular, for all $n>1$,

$$\sum _{k=0}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)=0,$$

which is a well-known classical combinatorial identity that appears in numerous references; for instance, see equation (2.3.2) in [10].

Proof. 

Set $x=0$ in (28), use Lemma 1, shift the summation index and set $a=0$. □

Using the summation identity

$$\sum _{k=m}^{n}f\left(k\right)=\sum _{k=⌊(m+1)/2⌋}^{⌊n/2⌋}f\left(2k\right)+\sum _{k=⌊(m+2)/2⌋}^{⌈n/2⌉}f(2k-1)$$

together with (28), we obtain the following result:

Proposition 5.

Let m be a positive integer, n a non-negative integer, x a complex number and a a complex variable. Then

$$\begin{array}{cc}\hfill & \sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\displaystyle \frac{{(1+a)}^{k-m}+{(1-a)}^{k-m}}{2}}\hfill \\ \hfill =& \left\{\begin{array}{cc}{\displaystyle \sum _{k=⌊(m+1)/2⌋}^{⌊n/2⌋}\left(\genfrac{}{}{0pt}{}{x+1}{n-2k}\right)\left(\genfrac{}{}{0pt}{}{2k}{m}\right)a^{2k-m}}\hfill & \mathrm{if}m\mathrm{is}\mathrm{even},\hfill \\ {\displaystyle \sum _{k=⌊(m+2)/2⌋}^{⌈n/2⌉}\left(\genfrac{}{}{0pt}{}{x+1}{n-2k+1}\right)\left(\genfrac{}{}{0pt}{}{2k-1}{m}\right)a^{2k-m-1}}\hfill & \mathrm{if}m\mathrm{is}\mathrm{odd},\hfill \end{array}\right.\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & \sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\displaystyle \frac{{(1+a)}^{k-m}-{(1-a)}^{k-m}}{2}}\hfill \\ \hfill =& \left\{\begin{array}{cc}{\displaystyle \sum _{k=⌊(m+2)/2⌋}^{⌈n/2⌉}\left(\genfrac{}{}{0pt}{}{x+1}{n-2k+1}\right)\left(\genfrac{}{}{0pt}{}{2k-1}{m}\right)a^{2k-m-1}}\hfill & \mathrm{if}m\mathrm{is}\mathrm{even},\hfill \\ {\displaystyle \sum _{k=⌊(m+1)/2⌋}^{⌊n/2⌋}\left(\genfrac{}{}{0pt}{}{x+1}{n-2k}\right)\left(\genfrac{}{}{0pt}{}{2k}{m}\right)a^{2k-m}}\hfill & \mathrm{if}m\mathrm{is}\mathrm{odd}.\hfill \end{array}\right.\hfill \end{array}$$

Theorem 6.

If m and n are non-negative integers, x is a complex number and a is a complex variable, then

$$\begin{array}{cc}\hfill \sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{a^{k+m}}{k}}& =-a^m\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}+\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{{\left(1+a\right)}^{k+m}}{k}}\hfill \\ \hfill & -\sum _{j=0}^{m-1}{a}^j\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}.\hfill \end{array}$$

(33)

Proof. 

The proof is by induction on m. The base case, $m=0$, is identity (20). Now assume the veracity of (33), the induction hypothesis, for a non-negative integer m. Replacing a with t and integrating with respect to t from 0 to a shows that (33) holds for $m+1$ whenever it holds for m. Note that

$$\left(k+m+1\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)=(m+1)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m+1}{m+1}}\right).$$

□

Remark 5.

Identity (33) is also valid under the interchange stated in Remark 3. Thus, for example, we have

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{a^{k+m}}{k}}\hfill \\ \hfill & =-a^m\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{1}{k}}+\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{{\left(1+a\right)}^{k+m}}{k}}\hfill \\ \hfill & -\sum _{j=0}^{m-1}{a}^j\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}.\hfill \end{array}$$

(34)

Proposition 6.

If m and n are non-negative integers and a is a complex variable, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{a}^{k+m}={\left({\displaystyle \genfrac{}{}{0pt}{}{m+n}{m}}\right)}^{-1}\left({(1+a)}^{m+n}-\sum _{k=0}^m\left({\displaystyle \genfrac{}{}{0pt}{}{m+n}{k}}\right)a^k\right).$$

(35)

Proof. 

Set $x=0$ in (34) and use Lemma 1. □

Remark 6.

Identity (35) is equivalent to Gould [13] Identity (4.13), p.47.

Substituting $a=-1$ into (33) yields the following result.

Proposition 7.

If m and n are non-negative integers and x is a complex number, then

$$\begin{array}{cc}\hfill \sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}& =\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}\hfill \\ \hfill -\sum _{j=0}^{m-1}& {(-1)}^{m-1-j}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}.\hfill \end{array}$$

(36)

Proposition 8.

If m and n are non-negative integers, then

$$\begin{array}{cc}\hfill {\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)}^{-1}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-k)}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{2^{2k}}{k}}=& \sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{\displaystyle \frac{2^{2k}}{k}}\hfill \\ \hfill -{(-1)}^m\sum _{j=0}^{m-1}{(-1)}^j& \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{2^{2k}}{k}}.\hfill \end{array}$$

Proof. 

Set $x=-1/2$ in (36) and use Lemma 2. □

Substituting $x=0$, $x=-1$, and $x=1$ into (33), and applying Lemma 1, we obtain the following results.

Proposition 9.

If m and n are non-negative integers and a is a complex variable, then

$$\begin{array}{cc}\hfill \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{(1+a)}^{k+m}& -\sum _{j=0}^{m-1}{a}^j\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}\hfill \\ \hfill & =a^m\left({(-1)}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n+m}{m}}\right)}^{-1}{a}^n-1\right),\hfill \end{array}$$

$$\begin{array}{cc}\hfill \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{{(1+a)}^{k+m}}{k}}& -\sum _{j=0}^{m-1}{a}^j\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}\hfill \\ \hfill & =a^m\left(\sum _{k=1}^n{(-1)}^k{\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{a^k}{k}}-H_n\right)\hfill \\ \hfill & =a^m\sum _{k=1}^n\left({(-1)}^k{\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{a}^k-1\right){\displaystyle \frac{1}{k}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill \sum _{k=1}^n& {(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{{(1+a)}^{k+m}}{k}}-\sum _{j=0}^{m-1}{a}^j\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}\hfill \\ \hfill & =a^m\left(\left({(-1)}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n+m}{m}}\right)}^{-1}{a}^n-1\right){\displaystyle \frac{1}{n}}-\left({(-1)}^{n-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{n+m-1}{m}}\right)}^{-1}{a}^{n-1}-1\right){\displaystyle \frac{1}{n-1}}\right).\hfill \end{array}$$

Proposition 10.

If m and n are non-negative integers, x is a complex number and a and b are complex variables, then

$$\begin{array}{cc}\hfill & \sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{a^k-b^k}{k}}\hfill \\ \hfill & =\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}\left({\displaystyle \frac{{\left(1+a\right)}^{k+m}}{a^m}}-{\displaystyle \frac{{\left(1+b\right)}^{k+m}}{b^m}}\right)\hfill \\ \hfill & -\sum _{j=0}^{m-1}\left(a^{j-m}-b^{j-m}\right)\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}.\hfill \end{array}$$

(37)

Proof. 

Follows from (33). □

The next three sections are dedicated to illustrating important basic applications of the combinatorial identities derived in this section. We will explore three primary fields: identities involving trigonometric functions, identities related to Horadam sequence and finally, we will consider three certain types of combinatorial identities.

4. Some Trigonometric Identities

In this section we derive some possibly new trigonometric identities.

Proposition 11.

If n is a non-negative integer, x is a complex number and θ is a real number, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{cos\left(k\theta \right)}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{cos(k\theta /2)}{k}}{\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}$$

(38)

and

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{sin\left(k\theta \right)}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{sin(k\theta /2)}{k}}{\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k.$$

(39)

Proof. 

Set $a=e^{i\theta },i=\sqrt{-1},\theta \in \mathbb{R}$ in the main identity (20) and use Euler’s formula

$$e^{i\theta }=cos\left(\theta \right)+isin\left(\theta \right)$$

together with

$$1+a=e^{i\theta /2}2cos(\theta /2).$$

Compare the real and imaginary parts. This completes the proof. □

Corollary 1.

If n is a non-negative integer and θ is a real number, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{cos\left(k\theta \right)}{k}}=\sum _{k=1}^n{\displaystyle \frac{cos(k\theta /2)}{k}}{\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k-H_n$$

and

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{sin\left(k\theta \right)}{k}}=\sum _{k=1}^n{\displaystyle \frac{sin(k\theta /2)}{k}}{\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k.$$

Proof. 

Set $x=n$ in Proposition 11. □

Corollary 2.

If n is a non-negative integer and θ is a real number, then

$$\sum _{k=1}^n{(-1)}^k{\displaystyle \frac{cos\left(k\theta \right)}{k}}=\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{cos(k\theta /2)}{k}}{\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k+H_n$$

and

$$\sum _{k=1}^n{(-1)}^k{\displaystyle \frac{sin\left(k\theta \right)}{k}}=\sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{sin(k\theta /2)}{k}}{\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k.$$

Proof. 

Set $x=-1$ in Proposition 11, use Lemma 1, and simplify. □

Corollary 3.

If n is a non-negative integer and θ is a real number, then

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-k)}{n-k}}\right)2^{2k}{\displaystyle \frac{cos\left(k\theta \right)}{k}}\hfill \\ \hfill & =\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)\sum _{k=1}^n{(-1)}^k{2}^{2k}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{\displaystyle \frac{1}{k}}\left(cos\left({\displaystyle \frac{k\theta }{2}}\right){\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k-1\right)\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-k)}{n-k}}\right)2^{2k}{\displaystyle \frac{sin\left(k\theta \right)}{k}}\hfill \\ \hfill & =\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)\sum _{k=1}^n{(-1)}^k{2}^{3k}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{\displaystyle \frac{1}{k}}sin\left({\displaystyle \frac{k\theta }{2}}\right){\left(cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k.\hfill \end{array}$$

Proof. 

Set $x=-1/2$ in Proposition 11, use Lemma 2, and simplify. □

Corollary 4.

If n is a non-negative integer and θ is a real number, then

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^{k+1}\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-k)}{n-k}}\right){\displaystyle \frac{2^{2k}}{2(n-k)-1}}{\displaystyle \frac{cos\left(k\theta \right)}{k}}\hfill \\ \hfill & =\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-1)}{n-1}}\right)\sum _{k=1}^n{(-1)}^k{2}^{2k}\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{k-1}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(k-1)}{k-1}}\right)}^{-1}{\displaystyle \frac{1}{k}}\left(cos\left({\displaystyle \frac{k\theta }{2}}\right){\left(2cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k-1\right)\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^{k+1}\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-k)}{n-k}}\right){\displaystyle \frac{2^{2k}}{2(n-k)-1}}{\displaystyle \frac{sin\left(k\theta \right)}{k}}\hfill \\ \hfill & =\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-1)}{n-1}}\right)\sum _{k=1}^n{(-1)}^k{2}^{3k}\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{k-1}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(k-1)}{k-1}}\right)}^{-1}{\displaystyle \frac{1}{k}}sin\left({\displaystyle \frac{k\theta }{2}}\right){\left(cos\left({\displaystyle \frac{\theta }{2}}\right)\right)}^k.\hfill \end{array}$$

Proof. 

Set $x=1/2$ in Proposition 11, use Lemma 2, and simplify. □

Proposition 12.

Let n be a non-negative integer, x a complex number and θ a real number. If $\theta +\pi /2\notin \pi \mathbb{Z}$, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{tan}^{2k}\left(\theta \right)}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{cos}^{-2k}\left(\theta \right)}{k}}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(40)

If $\theta \notin \pi \mathbb{Z}$, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{tan}^{-2k}\left(\theta \right)}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{sin}^{-2k}\left(\theta \right)}{k}}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(41)

Proof. 

Set $a={tan}^2\left(\theta \right)$ and $a={tan}^{-2}\left(\theta \right)$, in turn, in the main identity (20) and simplify. □

Proposition 13.

If n is a non-negative integer, x is a complex number and θ is a real number, then

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{cos}^k(\theta /2)}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)2^k{\displaystyle \frac{{cos}^{2k}(\theta /4)}{k}}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}$$

(42)

and

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{sin}^k(\theta /2)}{k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)2^k{\displaystyle \frac{{sin}^{2k}((\theta +\pi )/4)}{k}}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(43)

Proof. 

Set $a=cos(\theta /2)$ and $a=sin(\theta /2)$, in turn, in the main identity (20) and simplify. □

To avoid repetitions we omit the special cases.

5. Identities Involving Horadam Sequences

In this section we state new identities involving Horadam sequences $w_n=w_n(w_0,w_1;p,q)$ introduced in Section 2.

Proposition 14.

If n is a non-negative integer, x is a complex number, t is an integer, and r, s are positive integers, then

$$\begin{array}{cc}\hfill \sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_{rs}}{q^s{u}_{(r-1)s}}}\right)}^k{w}_{sk+t}& =\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_s}{q^s{u}_{(r-1)s}}}\right)}^k{w}_{rsk+t}\hfill \\ \hfill & -w_t\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.\hfill \end{array}$$

In particular,

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_r}{q{u}_{r-1}}}\right)}^k{w}_{k+t}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{1}{q{u}_{r-1}}}\right)}^k{w}_{rk+t}-w_t\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

Proof. 

Set $a=-u_{rs}{\sigma }^s/\left(q^s{u}_{(r-1)s}\right)$ in (20). Then Lemma 3 yields

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_{rs}}{q^s{u}_{(r-1)s}}}\right)}^k{\sigma }^{sk}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_s}{q^s{u}_{(r-1)s}}}\right)}^k{\sigma }^{rsk}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(44)

Similarly, with $a=-u_{rs}{\tau }^s/\left(q^s{u}_{(r-1)s}\right)$ in (20) in conjunction with Lemma 3 we obtain

$$\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_{rs}}{q^s{u}_{(r-1)s}}}\right)}^k{\tau }^{sk}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{{(-1)}^k}{k}}{\left({\displaystyle \frac{u_s}{q^s{u}_{(r-1)s}}}\right)}^k{\tau }^{rsk}-\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{1}{k}}.$$

(45)

The identity follows upon multiplying (44) and (45) by ${\sigma }^t$, respectively ${\tau }^t$, and combining according to the Binet form (12). The special case is obtained by setting $s=1$. □

Proposition 15.

If m and n are non-negative integers, r is an integer and x is a complex number, then

$$\begin{array}{cc}\hfill & \sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{u_{rk}}{v_r^{k}k}}\hfill \\ \hfill & =\sum _{j=0}^{m-1}{(-1)}^{j-m}{\displaystyle \frac{u_{r\left(j-m\right)}}{v_r^{j-m}}}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}\hfill \\ \hfill & +{\displaystyle \frac{{(-1)}^m}{q^{rm}}}\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{u_{2rm+rk}}{v_r^{k}k}}.\hfill \end{array}$$

(46)

In particular,

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\displaystyle \frac{u_{rk}}{v_r^{k}k}}=\sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\displaystyle \frac{u_{rk}}{v_r^{k}k}};$$

with the special value

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\displaystyle \frac{u_{rk}}{v_r^k}}={\displaystyle \frac{u_{rn}}{v_r^n}},$$

which has the interesting property that it is its own binomial transform.

Proof. 

Set $a=-{\sigma }^r/v_r$ and $b=-{\tau }^r/v_r$ in (37). □

Remark 7.

In view of Remark 3, identity (46) also implies

$$\begin{array}{cc}\hfill & \sum _{k=1}^n\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{u_{rk}}{v_r^{k}k}}\hfill \\ \hfill & =\sum _{j=0}^{m-1}{(-1)}^{j-m}{\displaystyle \frac{u_{r\left(j-m\right)}}{v_r^{j-m}}}\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{j}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{1}{k}}\hfill \\ \hfill & +{\displaystyle \frac{{(-1)}^m}{q^{rm}}}\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{u_{2rm+rk}}{v_r^{k}k}}.\hfill \end{array}$$

In particular, at $x=0$ we obtain

$$\sum _{k=1}^n{(-1)}^{k-1}\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)}^{-1}{\displaystyle \frac{u_{rk}}{v_r^k}}={(-1)}^m{\left({\displaystyle \genfrac{}{}{0pt}{}{n+m}{m}}\right)}^{-1}\left(\sum _{j=0}^{m-1}{(-1)}^j{\displaystyle \frac{u_{r\left(j-m\right)}}{v_r^{j-m}}}\left({\displaystyle \genfrac{}{}{0pt}{}{n+m}{j}}\right)+{\displaystyle \frac{u_{2rm+rn}}{q^{rm}{v}_r^n}}\right).$$

Remark 8.

These results should be regarded as basic. To keep the paper readable we do not state the spacial cases. We can obtain more general results by utilizing Lemma 4.

6. Combinatorial Identities

Lemma 6.

If r, k and s are complex numbers and x is a complex variable, then

$$\begin{array}{cc}\hfill {\int }_0^1{y}^{r+k-s}{\left(1-y\right)}^{s-1}dy={\displaystyle \frac{1}{s}}{\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1},& \Re (r+k-s+1)>0and0\ne s\notin {\mathbb{Z}}^{-};\hfill \end{array}$$

(47)

$$\begin{array}{cc}\hfill {\int }_0^1{y}^{r-s}{\left(1-y\right)}^{k+s-1}dy={\displaystyle \frac{1}{k+s}}{\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k+s}}\right)}^{-1},& \Re (r-s+1)>0and\Re (k+s)>0;\hfill \end{array}$$

(48)

$$\begin{array}{cc}\hfill {\int }_0^1{y}^{k+s}{\left(1-y\right)}^{r-k-s}dy={\displaystyle \frac{1}{r+1}}{\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1},& \Re (k+s+1)>0and\Re (r-k-s+1)>0,\hfill \end{array}$$

(49)

and

$$\begin{array}{cc}\hfill & {\int }_0^1{y}^{n-k+s}{\left(1-y\right)}^{r-n-s}\hfill \\ \hfill & ={\displaystyle \frac{1}{r-k+1}}\left({\displaystyle \genfrac{}{}{0pt}{}{r-k}{r-s-n}}\right),\Re (n-k+s+1)>0and\Re (r-n-s+1)>0.\hfill \end{array}$$

(50)

Proof. 

The integrals in (47)– (50) are immediate consequences of the Beta function, $B(r,s)$, defined, as usual, for complex numbers r and s such that $\Re \left(r\right)>0$ and $\Re \left(s\right)>0$, by

$$B\left(r,s\right)=B\left(s,r\right)={\int }_0^1{y}^{r-1}{\left(1-y\right)}^{s-1}.$$

With the help of the Gamma function, the integral is evaluated as

$$B\left(r,s\right)={\displaystyle \frac{\Gamma \left(r\right)\Gamma \left(s\right)}{\Gamma (r+s)}}={\displaystyle \frac{1}{s}}{\left({\displaystyle \genfrac{}{}{0pt}{}{r+s-1}{s}}\right)}^{-1}={\displaystyle \frac{1}{r}}{\left({\displaystyle \genfrac{}{}{0pt}{}{r+s-1}{r}}\right)}^{-1}.$$

Note that in obtaining () and (50), we also used

$$\left({\displaystyle \genfrac{}{}{0pt}{}{u+1}{v+1}}\right)={\displaystyle \frac{u+1}{v+1}}\left({\displaystyle \genfrac{}{}{0pt}{}{u}{v}}\right),$$

an identity which we will often use without comment in this paper. □

6.1. Frisch-type identities

The following combinatorial identity is attributed to Frisch [1,2,14,15]:

$$\sum _{k=0}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{b+k}{c}}\right)}^{-1}={\displaystyle \frac{c}{n+c}}{\left({\displaystyle \genfrac{}{}{0pt}{}{n+b}{b-c}}\right)}^{-1},b,c,b-c\in \mathbb{C}\setminus {\mathbb{Z}}^{-}.$$

(51)

Here, we derive generalizations and variants of this identity.

Theorem 7.

If m is a positive integer, n is a non-negative integer, r and s are complex numbers such that $\Re (r-s+1)>0$ and s is not a non-positive integer and x is a complex number, then

$$\begin{array}{c}\hfill \sum _{k=m}^n{\displaystyle \frac{{(-1)}^{k-m}}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1}=\sum _{k=m}^n{\displaystyle \frac{s}{k\left(k-m+s\right)}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k-m+s}}\right)}^{-1},\end{array}$$

(52)

and

$$\begin{array}{c}\hfill \sum _{k=m}^n{\displaystyle \frac{1}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1}=\sum _{k=m}^n{\displaystyle \frac{{(-1)}^{k-m}s}{k\left(k-m+s\right)}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k-m+s}}\right)}^{-1}.\end{array}$$

(53)

Proof. 

Write $-a$ for a in (27) and multiply through by $a^{r-s+m}{(1-a)}^{s-1}$ to obtain

$$\begin{array}{c}\hfill \sum _{k=m}^n{(-1)}^{k-m}{\displaystyle \frac{1}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)a^{k+r-s}{\left(1-a\right)}^{s-1}=\sum _{k=m}^n{\displaystyle \frac{1}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)a^{r-s+m}{\left(1-a\right)}^{k-m+s-1},\end{array}$$

and hence (52) after term-wise integration from 0 to 1 with respect to a by (47) and (48). Identity (53) follows from (52) by the

$${(-1)}^{k-m}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\leftrightarrow \left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)$$

symmetry of (27). □

Corollary 5.

If m and n are non-negative integers and r and s are complex numbers such that $\Re (r-s+1)>0$ and s is not a non-positive integer, then

$$\sum _{k=m}^n{\displaystyle \frac{{(-1)}^k}{k-m+s}}\left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k-m+s}}\right)}^{-1}={\displaystyle \frac{{(-1)}^m}{s}}{\left({\displaystyle \genfrac{}{}{0pt}{}{n+r}{s}}\right)}^{-1}$$

(54)

and

$$\sum _{k=m}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1}={\displaystyle \frac{{(-1)}^{m}s}{n-m+s}}{\left({\displaystyle \genfrac{}{}{0pt}{}{n+r}{n-m+s}}\right)}^{-1}.$$

(55)

Proof. 

Set $x=0$ in Theorem 7 and use (3). Note that $x=0$ in Theorem 7 removes the singularity at $m=0$ on account of (3). □

Remark 9.

Identity (55) generalizes Frisch’s identity (51) to which it reduces at $m=0$. In addition, new combinatorial identities can be derived by setting $s=\pm 1/2$ in Corollary 5. We leave this little exercise to the interested reader.

Corollary 6.

If m is a positive integer, n is a non-negative integer, r and s are complex numbers such that $\Re (r-s+1)>0$ and s is not a non-positive integer, then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k-m+s}}\right)}^{-1}{\displaystyle \frac{s}{k(k-m+s)}}\hfill \\ \hfill =& {(-1)}^m\left(-\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{n+r-1}{s}}\right)}^{-1}{\displaystyle \frac{1}{n-1}}+\left({\displaystyle \genfrac{}{}{0pt}{}{n}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{n+r}{s}}\right)}^{-1}{\displaystyle \frac{1}{n}}\right),\hfill \end{array}$$

(56)

$$\begin{array}{cc}\hfill & \sum _{k=m}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1}{\displaystyle \frac{1}{k}}\hfill \\ \hfill & ={(-1)}^m(-\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{n+r-1}{n-m+s-1}}\right)}^{-1}{\displaystyle \frac{1}{(n-1)(n-m+s-1)}}\hfill \\ \hfill & +\left({\displaystyle \genfrac{}{}{0pt}{}{n}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{n+r}{n-m+s}}\right)}^{-1}{\displaystyle \frac{1}{n(n-m+s)}})s.\hfill \end{array}$$

(57)

Proof. 

Set $x=1$ in Theorem 7. □

Corollary 7.

If m is a positive integer, n is a non-negative integer, r and s are complex numbers such that $\Re (r-s+1)>0$ and s is not a non-positive integer, then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k-m+s}}\right)}^{-1}{\displaystyle \frac{s}{k(k-m+s)}}={(-1)}^m\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1}{\displaystyle \frac{1}{k}},\hfill \end{array}$$

(58)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{s}}\right)}^{-1}{\displaystyle \frac{1}{k}}={(-1)}^m\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{k+r}{k-m+s}}\right)}^{-1}{\displaystyle \frac{s}{k(k-m+s)}}.\hfill \end{array}$$

(59)

Proof. 

Set $x=-1$ in Theorem 7. □

Proposition 16.

If m and n are non-negative integers and s is a complex number such that $\Re ({\displaystyle \frac{1}{2}}-s)>0$ and s is not a non-positive integer, then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m-s}}\right)}^{-1}{\displaystyle \frac{2^{2(k-m)}}{k-m+s}}\hfill \\ \hfill =& {(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-s)}{n-s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(m-s)}{m-s}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{s}}\right)}^{-1}{\displaystyle \frac{1}{s}},\hfill \end{array}$$

(60)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{2(k-s)}{k-s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k}{k}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{k}{s}}\right)}^{-1}\hfill \\ \hfill =& {(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{2(m-s)}{m-s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2n}{n}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{m-s}}\right)}^{-1}{\displaystyle \frac{2^{2(n-m)}s}{n-m+s}}.\hfill \end{array}$$

(61)

Proof. 

Set $r=-1/2$ in Corollary 5. □

Proposition 17.

If m and n are non-negative integers and s is a complex number such that $\Re ({\displaystyle \frac{3}{2}}-s)>0$ and s is not a non-positive integer, then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{k-m+s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k+1}{2(k-m+s)}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{2(k-m+s)}{k-m+s}}\right)}^{-1}{\displaystyle \frac{2^{2(k-m)}}{k-m+s}}\hfill \\ \hfill =& {(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{n}{s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2n+1}{2s}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{2s}{s}}\right)}^{-1}{\displaystyle \frac{1}{s}},\hfill \end{array}$$

(62)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2k+1}{2s}}\right)}^{-1}\hfill \\ \hfill =& {(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{n}{n-m+s}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{2s}{s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2n+1}{2(n-m+s)}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-m+s)}{n-m+s}}\right)}^{-1}{\displaystyle \frac{2^{2(n-m)}s}{n-m+s}}.\hfill \end{array}$$

(63)

Proof. 

Set $r=1/2$ in Corollary 5. □

Proposition 18.

If m is a positive integer, n is a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{1}{2}}-s)>0$ and s is not a non-positive integer, then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m-s}\right)k(k-m+s)}}={\displaystyle \frac{{(-1)}^m{2}^{2m}}{\left(\genfrac{}{}{0pt}{}{2(m-s)}{m-s}\right)s}}\left({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)\left(\genfrac{}{}{0pt}{}{2(n-s)}{n-s}\right)}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)\left(\genfrac{}{}{0pt}{}{n}{s}\right)n}}-{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)\left(\genfrac{}{}{0pt}{}{2(n-s-1)}{n-s-1}\right)}{\left(\genfrac{}{}{0pt}{}{2(n-1)}{n-1}\right)\left(\genfrac{}{}{0pt}{}{n-1}{s}\right)(n-1)}}\right),$$

(64)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& {\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{2(k-s)}{k-s}\right)}{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{s}\right)k}}\hfill \\ \hfill =& {\displaystyle \frac{{(-1)}^m\left(\genfrac{}{}{0pt}{}{2(m-s)}{m-s}\right)s}{2^{2m}}}\left({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)2^{2n}}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)\left(\genfrac{}{}{0pt}{}{n}{m-s}\right)n(n-m+s)}}-{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)2^{2(n-1)}}{\left(\genfrac{}{}{0pt}{}{2(n-1)}{n-1}\right)\left(\genfrac{}{}{0pt}{}{n-1}{m-s}\right)(n-1)(n-m+s-1)}}\right).\hfill \end{array}$$

(65)

Proof. 

Set $r=-1/2$ in Corollary 6. □

Proposition 19.

If m is a positive integer, n is a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{3}{2}}-s)>0$ and s is not a non-positive integer, then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{k}{m-s}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2k+1}{2(k-m+s)}\right)\left(\genfrac{}{}{0pt}{}{2(k-m+s)}{k-m+s}\right)k(k-m+s)}}={\displaystyle \frac{{(-1)}^m{2}^{2m}}{s}}\left({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)\left(\genfrac{}{}{0pt}{}{n}{s}\right)}{\left(\genfrac{}{}{0pt}{}{2n+1}{2s}\right)\left(\genfrac{}{}{0pt}{}{2s}{s}\right)n}}-{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)\left(\genfrac{}{}{0pt}{}{2(n-s)}{n-s}\right)}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)\left(\genfrac{}{}{0pt}{}{n}{s}\right)(n-1)}}\right),$$

(66)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{k}{s}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{2s}\right)k}}& ={\displaystyle \frac{{(-1)}^m\left(\genfrac{}{}{0pt}{}{2s}{s}\right)s}{2^{2m}}}({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)\left(\genfrac{}{}{0pt}{}{n}{m-s}\right)2^{2n}}{\left(\genfrac{}{}{0pt}{}{2n+1}{2(n-m+s)}\right)\left(\genfrac{}{}{0pt}{}{2(n-m+s)}{n-m+s}\right)n(n-m+s)}}\hfill \\ \hfill & -{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)\left(\genfrac{}{}{0pt}{}{2(m-s+1)}{m-s+1}\right)2^{2(n-1)}}{\left(\genfrac{}{}{0pt}{}{2n}{n}\right)\left(\genfrac{}{}{0pt}{}{n}{m-s+1}\right)(n-1)(n-m+s-1)}}).\hfill \end{array}$$

(67)

Proof. 

Set $r=1/2$ in Corollary 6. □

Proposition 20.

If m is a positive integer, n is a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{1}{2}}-s)>0$ and s is not a non-positive integer, then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m-s}\right)k(k-m+s)}}={\displaystyle \frac{{(-1)}^m{2}^{2m}}{\left(\genfrac{}{}{0pt}{}{2(m-s)}{m-s}\right)s}}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{2(k-s)}{k-s}\right)}{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{s}\right)k}},$$

(68)

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{2(k-s)}{k-s}\right)}{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{s}\right)k}}={\displaystyle \frac{{(-1)}^m\left(\genfrac{}{}{0pt}{}{2(m-s)}{m-s}\right)s}{2^{2m}}}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m-s}\right)k(k-m+s)}}.$$

(69)

Proof. 

Set $r=-1/2$ in Corollary 7. □

Proposition 21.

If m is a positive integer, n is a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{3}{2}}-s)>0$ and s is not a non-positive integer, then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{k}{m-s}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2k+1}{2(k-m+s)}\right)\left(\genfrac{}{}{0pt}{}{2(k-m+s)}{k-m+s}\right)k(k-m+s)}}={\displaystyle \frac{{(-1)}^m{2}^{2m}}{\left(\genfrac{}{}{0pt}{}{2s}{s}\right)s}}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{k}{s}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{2s}\right)k}},$$

(70)

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{k}{s}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{2s}\right)k}}={\displaystyle \frac{{(-1)}^m\left(\genfrac{}{}{0pt}{}{2s}{s}\right)s}{2^{2m}}}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{k}{m-s}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2k+1}{2(k-m+s)}\right)\left(\genfrac{}{}{0pt}{}{2(k-m+s)}{k-m+s}\right)k(k-m+s)}}.$$

(71)

Proof. 

Set $r=1/2$ in Corollary 7. □

Remark 10.

Again, four additional interesting special cases will come from setting $s=\pm 1/2$ in Corollaries 6 and 7.

6.2. Klamkin-Type identities

The identity

$$\sum _{k=0}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{x}{k+b}}\right)}^{-1}={\displaystyle \frac{x+1}{x-n+1}}{\left({\displaystyle \genfrac{}{}{0pt}{}{x-n}{b}}\right)}^{-1}$$

(72)

is attributed to Klamkin [1,14,15]. Here, we derive generalizations and variants of this identity.

Theorem 8.

Let m be a positive integer, n a non-negative integer, r and s complex numbers such that $\Re (r-n-s+1)>0$ and s is not a negative integer. Let x be a complex number. Then

$$\begin{array}{cc}\hfill & \sum _{k=m}^n{\displaystyle \frac{1}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1}\hfill \\ \hfill & =\sum _{k=m}^n{\displaystyle \frac{r+1}{k\left(m+r-k+1\right)}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-k}{m+s}}\right)}^{-1}\hfill \end{array}$$

(73)

and

$$\begin{array}{cc}\hfill & \sum _{k=m}^n{\displaystyle \frac{{(-1)}^k}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1}\hfill \\ \hfill & =\sum _{k=m}^n{\displaystyle \frac{\left(r+1\right){(-1)}^k}{k\left(m+r-k+1\right)}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-k}{m+s}}\right)}^{-1}.\hfill \end{array}$$

(74)

Proof. 

Multiply through (27) by $a^{s+m}{(1-a)}^{r-m-s}$ and integrate term-wise from 0 to 1 using (49) and (50). □

Corollary 8.

Let m be a non-negative integer, n a non-negative integer, r and s complex numbers such that $\Re (r-n-s+1)>0$ and s is not a negative integer. Then

$$\begin{array}{c}\hfill \sum _{k=m}^n{\displaystyle \frac{{(-1)}^k}{m+r-k+1}}\left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-k}{m+s}}\right)}^{-1}={\displaystyle \frac{{(-1)}^n}{r+1}}{\left({\displaystyle \genfrac{}{}{0pt}{}{r}{n+s}}\right)}^{-1}\end{array}$$

(75)

and

$$\begin{array}{c}\hfill \sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1}={\displaystyle \frac{r+1}{m+r-n+1}}{\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-n}{m+s}}\right)}^{-1}.\end{array}$$

(76)

Proof. 

Set $x=0$ in Theorem 8. Again, note that the singularity at $m=0$ was removed by virtue of (3). □

Remark 11.

Identity (76) reduces to Klamkin’s identity (72) at $m=0$. The choices $s=\pm 1/2$ in Corollary 8 will yield two additional sums.

Corollary 9.

Let m be a positive integer, n a non-negative integer, r and s complex numbers such that $\Re (r-n-s+1)>0$ and s is not a negative integer. Then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-k}{m+s}}\right)}^{-1}{\displaystyle \frac{r+1}{k(m+r-k+1)}}\hfill \\ \hfill =& {(-1)}^n\left(\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{n+s-1}}\right)}^{-1}{\displaystyle \frac{1}{n-1}}+\left({\displaystyle \genfrac{}{}{0pt}{}{n}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{n+s}}\right)}^{-1}{\displaystyle \frac{1}{n}}\right),\hfill \end{array}$$

(77)

$$\begin{array}{cc}\hfill & \sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n-2}{k-2}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1}{\displaystyle \frac{1}{k}}\hfill \\ \hfill & =(r+1)(-\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-n+1}{m+s}}\right)}^{-1}{\displaystyle \frac{1}{(n-1)(m+r-n+2)}}\hfill \\ \hfill & +\left({\displaystyle \genfrac{}{}{0pt}{}{n}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-n}{m+s}}\right)}^{-1}{\displaystyle \frac{1}{n(m+r-n+1)}}).\hfill \end{array}$$

(78)

Proof. 

Set $x=1$ in Theorem 8. □

Corollary 10.

Let m be a positive integer, n a non-negative integer, r and s complex numbers such that $\Re (r-n-s+1)>0$ and s is not a negative integer. Then

$$\begin{array}{c}\hfill \sum _{k=m}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1}{\displaystyle \frac{1}{k}}=\sum _{k=m}^n{(-1)}^k\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-k}{m+s}}\right)}^{-1}{\displaystyle \frac{r+1}{k(m+r-k+1)}},\end{array}$$

(79)

$$\begin{array}{c}\hfill \sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{r}{k+s}}\right)}^{-1}{\displaystyle \frac{1}{k}}=(r+1)\sum _{k=m}^n\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{m+r-k}{m+s}}\right)}^{-1}{\displaystyle \frac{1}{k(m+r-k+1)}}.\end{array}$$

(80)

Proof. 

Set $x=-1$ in Theorem 8. □

Proposition 22.

Let m be a non-negative integer, n a non-negative integer, s a complex number such that $\Re ({\displaystyle \frac{1}{2}}-n-s)>0$ and s is not a negative integer. Then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{2(k-m)}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(k+s)}{k+s}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{k+s}{m+s}}\right)}^{-1}{\displaystyle \frac{1}{2m-2k+1}}\hfill \\ \hfill =& {(-1)}^m{\left({\displaystyle \genfrac{}{}{0pt}{}{2(n+s)}{n+s}}\right)}^{-1}{2}^{2(n-m)},\hfill \end{array}$$

(81)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(k+s)}{k+s}}\right)}^{-1}{2}^{2k}\hfill \\ \hfill =& {(-1)}^m\left({\displaystyle \genfrac{}{}{0pt}{}{2(n-m)}{n-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(n+s)}{n+s}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{n+s}{m+s}}\right)}^{-1}{\displaystyle \frac{2^{2m}}{2m-2n+1}}.\hfill \end{array}$$

(82)

Proof. 

Set $r=-1/2$ in Corollary 8. □

Proposition 23.

Let m be a non-negative integer, n a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{3}{2}}-n-s)>0$ and s is not a negative integer. Then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{m-k}{m+s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(m-k)+1}{2(m+s)}}\right)}^{-1}{\displaystyle \frac{1}{2m-2k+3}}\hfill \\ \hfill =& {(-1)}^{s+1}\left({\displaystyle \genfrac{}{}{0pt}{}{2(m+s)}{m+s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(n+s)}{n+s}}\right)}^{-1}{\displaystyle \frac{2^{2(n-m)}(2(n+s)-1)}{3}},\hfill \end{array}$$

(83)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& \left({\displaystyle \genfrac{}{}{0pt}{}{n-m}{k-m}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(k+s)}{k+s}}\right)}^{-1}{2}^{2k}\left(2(k+s)-1\right)\hfill \\ \hfill =& {(-1)}^{s+1}\left({\displaystyle \genfrac{}{}{0pt}{}{m-n}{m+s}}\right){\left({\displaystyle \genfrac{}{}{0pt}{}{2(m-n)+1}{2(m+s)}}\right)}^{-1}{\left({\displaystyle \genfrac{}{}{0pt}{}{2(m+s)}{m+s}}\right)}^{-1}{\displaystyle \frac{2^{2m}3}{2m-2n+3}}.\hfill \end{array}$$

(84)

Proof. 

Set $r=1/2$ in Corollary 8. □

Proposition 24.

Let m be a positive integer, n a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{1}{2}}-n-s)>0$ and s is not a negative integer. Then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{2(k-m)}{k-m}\right)}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)\left(\genfrac{}{}{0pt}{}{k+s}{k-m}\right)k(2m-2k+1)}}={\displaystyle \frac{{(-1)}^m}{2^{2m}}}\left({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)2^{2n}}{\left(\genfrac{}{}{0pt}{}{2(n+s)}{n+s}\right)n}}-{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)2^{2(n-1)}}{\left(\genfrac{}{}{0pt}{}{2(n+s-1)}{n+s-1}\right)(n-1)}}\right),$$

(85)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)k}}& =2^{2m}({(-1)}^m{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)\left(\genfrac{}{}{0pt}{}{2(n-m)}{n-m}\right)}{\left(\genfrac{}{}{0pt}{}{2(n+s)}{n+s}\right)\left(\genfrac{}{}{0pt}{}{n+s}{n-m}\right)n(2m-2n+1)}}\hfill \\ \hfill & -{(-1)}^s{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)\left(\genfrac{}{}{0pt}{}{m-n}{m+s}\right)}{\left(\genfrac{}{}{0pt}{}{2m-2n+1}{2(m+s)}\right)\left(\genfrac{}{}{0pt}{}{2(m+s)}{m+s}\right)(n-1)(2m-2n+3)}}).\hfill \end{array}$$

(86)

Proof. 

Set $r=-1/2$ in Corollary 9. □

Proposition 25.

Let m be a positive integer, n a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{3}{2}}-n-s)>0$ and s is not a negative integer. Then

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& {\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{m-k}{m+s}\right)}{\left(\genfrac{}{}{0pt}{}{2m-2k+1}{2(m+s)}\right)k(2m-2k+3)}}\hfill \\ \hfill =& {\displaystyle \frac{{(-1)}^s\left(\genfrac{}{}{0pt}{}{2(m+s)}{m+s}\right)}{2^{2m}3}}\left({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)(2n+2s-3)2^{2(n-1)}}{\left(\genfrac{}{}{0pt}{}{2(n+s-1)}{n+s-1}\right)(n-1)}}-{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)(2n+2s-1)2^{2n}}{\left(\genfrac{}{}{0pt}{}{2(n+s)}{n+s}\right)n}}\right),\hfill \end{array}$$

(87)

$$\begin{array}{cc}\hfill \sum _{k=m}^n{(-1)}^k& {\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-2}{k-2}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)(2k+2s-1)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)k}}\hfill \\ \hfill =& {\displaystyle \frac{{(-1)}^s{2}^{2m}3}{\left(\genfrac{}{}{0pt}{}{2(m+s)}{m+s}\right)}}\left({\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n-1}{m}\right)\left(\genfrac{}{}{0pt}{}{m-n+1}{m+s}\right)}{\left(\genfrac{}{}{0pt}{}{2m-2n+3}{2(m+s)}\right)(n-1)(2m-2n+5)}}-{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{m}\right)\left(\genfrac{}{}{0pt}{}{m-n}{m+s}\right)}{\left(\genfrac{}{}{0pt}{}{2m-2n+1}{2(m+s)}\right)n(2m-2n+3)}}\right).\hfill \end{array}$$

(88)

Proof. 

Set $r=1/2$ in Corollary 9. □

Proposition 26.

Let m be a positive integer, n a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{1}{2}}-n-s)>0$ and s is not a negative integer. Then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)k}}={(-1)}^m{2}^{2m}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{2(k-m)}{k-m}\right)}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)\left(\genfrac{}{}{0pt}{}{k+s}{k-m}\right)k(2m-2k+1)}},$$

(89)

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)k}}={(-1)}^m{2}^{2m}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{2(k-m)}{k-m}\right)}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)\left(\genfrac{}{}{0pt}{}{k+s}{k-m}\right)k(2m-2k+1)}}.$$

(90)

Proof. 

Set $r=-1/2$ in Corollary 10. □

Proposition 27.

Let m be a positive integer, n a non-negative integer, s is a complex number such that $\Re ({\displaystyle \frac{3}{2}}-n-s)>0$ and s is not a negative integer. Then

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)(2k+2s-1)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)k}}={\displaystyle \frac{{(-1)}^{s+1}{2}^{2m}3}{\left(\genfrac{}{}{0pt}{}{2(m+s)}{m+s}\right)}}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{m-k}{m+s}\right)}{\left(\genfrac{}{}{0pt}{}{2m-2k+1}{2(m+s)}\right)k(2m-2k+3)}},$$

(91)

$$\sum _{k=m}^n{(-1)}^k{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{n}{k}\right)\left(\genfrac{}{}{0pt}{}{k}{m}\right)(2k+2s-1)2^{2k}}{\left(\genfrac{}{}{0pt}{}{2(k+s)}{k+s}\right)k}}={\displaystyle \frac{{(-1)}^{s+1}{2}^{2m}3}{\left(\genfrac{}{}{0pt}{}{2(m+s)}{m+s}\right)}}\sum _{k=m}^n{\displaystyle \frac{\left(\genfrac{}{}{0pt}{}{k}{m}\right)\left(\genfrac{}{}{0pt}{}{m-k}{m+s}\right)}{\left(\genfrac{}{}{0pt}{}{2m-2k+1}{2(m+s)}\right)k(2m-2k+3)}}.$$

(92)

Proof. 

Set $r=1/2$ in Corollary 10. □

Remark 12.

Again, four additional interesting special cases will come from setting $s=\pm 1/2$ in Corollaries 9 and 10.

6.3. Combinatorial identities involving powers of integers

Lemma 7.

If r and k are non-negative integers, then

$${\left.{\displaystyle \frac{d^r}{d{y}^r}}\left({\left(1-e^y\right)}^k\right)\right|}_{y=0}=\sum _{i=0}^k{(-1)}^i\left({\displaystyle \genfrac{}{}{0pt}{}{k}{i}}\right)i^r.$$

(93)

Proof. 

Since

$${\left(1-e^y\right)}^k=\sum _{i=0}^k{(-1)}^i\left({\displaystyle \genfrac{}{}{0pt}{}{k}{i}}\right)e^{iy};$$

we have

$${\displaystyle \frac{d^r}{d{y}^r}}{\left(1-e^y\right)}^k=\sum _{i=0}^k{(-1)}^i\left({\displaystyle \genfrac{}{}{0pt}{}{k}{i}}\right)i^r{e}^{iy};$$

and hence (93).

□

Remark 13.

The evaluated derivatives in (93) can also be expressed as

$${\left.{\displaystyle \frac{d^r}{d{y}^r}}{\left(1-e^y\right)}^k\right|}_{y=0}={(-1)}^{k}k!\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}$$

where $\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}$ are the Stirling numbers of the second kind, defined by

$$\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}={\displaystyle \frac{1}{k!}}\sum _{i=0}^k{(-1)}^{k-i}\left({\displaystyle \genfrac{}{}{0pt}{}{k}{i}}\right)i^r,$$

and having the useful property

$$\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}=0\mathrm{if}r<k.$$

(94)

Theorem 9.

If x is a complex number, m is a positive integer and n and r are non-negative integers, then

$$\sum _{k=0}^n{\displaystyle \frac{{(-1)}^k}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)k^r=\sum _{k=0}^r{\displaystyle \frac{{(-1)}^{k}k!}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k-m}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}$$

(95)

and

$$\sum _{k=0}^n{\displaystyle \frac{1}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k-m}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)k^r=\sum _{k=0}^r{\displaystyle \frac{k!}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}.$$

(96)

Proof. 

Write $-expa$ for a in (27), differentiate r times with respect to a and evaluate at $a=0$ to obtain

$$\sum _{k=m}^n{\displaystyle \frac{{(-1)}^{k-m}}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right){\left(k-m\right)}^r=\sum _{k=0}^{r+m}{\displaystyle \frac{{(-1)}^{k-m}\left(k-m\right)!}{k}}\left({\displaystyle \genfrac{}{}{0pt}{}{x-k}{n-k}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k}{m}}\right)\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k-m}}\right\},$$

which can be written as (95) after shifting indices. Identity (96) follows from (95) by symmetry. □

Corollary 11.

If m is a positive integer and n and r are non-negative integers, then

$$\sum _{k=0}^n{\displaystyle \frac{{(-1)}^k}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{n+m}{k+m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)k^r=\sum _{k=0}^r{\displaystyle \frac{{(-1)}^{k}k!}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}$$

(97)

and

$$\sum _{k=0}^n{\displaystyle \frac{1}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)k^r=\sum _{k=0}^r{\displaystyle \frac{k!}{k+m}}\left({\displaystyle \genfrac{}{}{0pt}{}{n+m}{k+m}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{k+m}{m}}\right)\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\}.$$

(98)

Proof. 

Set $x=n+m$ in (95) and (96) and use (3). □

Remark 14.

Identity (98) generalizes the known identity (consult for instance [3,20])

$$\sum _{k=0}^n{k}^r=\sum _{k=0}^{r}k!\left({\displaystyle \genfrac{}{}{0pt}{}{n+1}{k+1}}\right)\left\{{\displaystyle \genfrac{}{}{0.0pt}{}{r}{k}}\right\},$$

to which it reduces at $m=1$ and which expresses the sum of powers of integers in terms of Stirling numbers of the second kind.

Remark 15.

Setting $x=\pm 1/2+m$ in Theorem 9 will yield two other interesting sums.

7. Conclusions

The motivation for writing this paper was Problem B-1358 in the 2024 issue of the Fibonacci Quarterly [12]. What we considered initially more or less a note, turned out to be a very powerful result. Our generalized identities presented in Lemma 5 enabled us to provide a range of applications to four different fields: polynomial identities, trigonometric identities, identities involving Horadam numbers, and combinatorial identities. In each field we have found generalizations of existing results. Our findings dealing with Frisch-type identities, Klamkin-type identities and power sums are important examples of such generalizations. It is worth mentioning, however, that there are gaps remaining. As indicated in Remarks 8, 9-12, and 15 more appealing results are still to be discovered. This is left as a potential future work.