<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amscd}
\usepackage{graphicx}
\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics}
\usepackage{latexsym}
\usepackage{epsf}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.1in}
\setlength{\textheight}{8.4in}

\newcommand{\seqnum}[1]{\href{https://oeis.org/#1}{\rm \underline{#1}}}

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{remark}[theorem]{Remark}
\theoremstyle{remark}


\begin{center}
\vskip 1cm{\Large\bf
On Some  Binomial Coefficient Identities\\
\vskip .08in
with Applications}
\vskip 1cm
\large
Necdet Bat{\i}r, Sezer Sorgun, and Sevda Atp{\i}nar\\
Department of Mathematics\\
Nev{\c{s}}ehir Hac{\i} Bekta{\c{s}} Veli University\\
50300 Nev{\c{s}}ehir \\
Turkey\\
\href{mailto:nbatir@hotmail.com}{\tt nbatir@hotmail.com}\\
\href{mailto:srgnrzs@gmail.com}{\tt srgrnzs@gmail.com}\\
\href{mailto:sevdaatpinar@nevsehir.edu.tr}{\tt sevdaatpinar@nevsehir.edu.tr}
\end{center}

\vskip .2 in

\def\modd#1 #2{#1\ \mbox{\rm (mod}\ #2\mbox{\rm )}}

\vskip .2in
\begin{abstract}

In this paper, we present an alternative proof for a generalization of a binomial identity by Simons, initially proven by Munarini. Unlike previous proofs, our approach uses the Taylor theorem and the Wilf-Zeilberger algorithm. We also offer a new binomial sum identity and generalize a combinatorial identity by Alzer and Kouba. Additionally, we derive several harmonic number identities, including the proof for $H_n$ and a formula involving the square of binomial coefficients and harmonic numbers.
\end{abstract}

\section{Introduction}\label{Sec1}

In 2001 Simons \cite{Simons} discovered a curious binomial identity which can be equivalently written as
\begin{equation}\label{eq1}
\sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}x^k=\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{n+k}{k}(x+1)^k.
\end{equation}
This formula has attracted the attention of several researchers, and many alternative proofs of it have appeared in the literature. These authors used a variety of techniques in their proofs. For instance, Bat{\i}r and Atp{\i}nar  \cite{Batir3} extended \eqref{eq1} using the Wilf-Zeilberger algorithm. Chapman \cite{Chapman}, using a generating function method, gave an elegant and short proof of \eqref{eq1}. Prodinger \cite{Prodinger} used  Cauchy integral formula to demonstrate a novel and short proof of this identity. Wang and Sun \cite{Wang} presented a concise proof of it utilizing a linear transformation in the space of polynomials. Gould \cite{Gould1} published an interesting generalization of the Simons identity. Again, Gould \cite{Gould2} used properties of Legendre polynomials to prove curious special function identities. Shattuck \cite{Shattuck} presented combinatorial proofs of some Simons-type binomial coefficient identities. Hirschhorn \cite{Hirschhorn} made short comments on Simons' curious identity. Also, see some recent studies by Wei et al.~\cite{Wei} and  Xu and Cen \cite{Xu}. Munarini \cite{Munarini}, using the Cauchy integral formula, offered the following nice generalization of (\ref{eq1}):
 \begin{align}\label{eq2}
\sum_{k=0}^{n}\binom{\alpha}{n-k}&amp;\binom{\beta+k}{k}x^ky^{n-k}\notag\\
&amp;=\sum_{k=0}^{n}(-1)^{n+k}\binom{\beta-\alpha+n}{n-k}\binom{\beta+k}{k}(x+y)^ky^{n-k}.
\end{align}
Note that (\ref{eq2}) reduces to (\ref{eq1}) when we put $\alpha=\beta=n$ and $y=1$. We can write as follows after replacing $x$ by $\frac{x}{y}$.
\begin{align}\label{eq3}
\sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k=\sum_{k=0}^{n}(-1)^{n+k}\binom{\beta-\alpha+n}{n-k}\binom{\beta+k}{k}(x+1)^k,
\end{align}
where $n$ is a non-negative integer and $\alpha$ and $\beta$ are complex numbers, which are not negative integers. We present a different proof of identity \eqref{eq3} due to Munarini, which generalizes a curious binomial identity of Simons.

Our first aim in the paper is to provide a different proof of \eqref{eq3} using the Taylor theorem and  Wilf-Zeilberger algorithm; see \cite{Petkovsek}. Recently, Alzer and Kouba \cite[Eq. (4.1)]{Alzer} proved the following identity
\begin{equation}\label{Al}
4^n\binom{\lambda}{n}=\binom{2\lambda}{n}\sum_{k=0}^{n}\binom{n}{k}\frac{\binom{n-\lambda-1/2}{k}}{\binom{k-\lambda-1/2}{k}},
\end{equation}
which is valid for all integers $n\geq 0$ and complex number $\lambda$, and they used it to derive several harmonic number sum identities. Secondly, we generalize identity \eqref{Al} and apply it to deduce other binomial sum identities involving harmonic numbers. Furthermore, we prove a  new binomial sum identity stated in  Theorem \ref{thm3}. Lastly, applications of our results lead to many interesting and new combinatorial identities involving harmonic numbers.
As examples, we prove that\begin{equation*}
H_n=\frac{1}{2}\sum_{k=1}^{n}(-1)^{n+k}\binom{n}{k}\binom{n+k}{k}H_k
\end{equation*}
and
\begin{align*}
\sum_{k=0}^{n}\binom{n}{k}^2H_kH_{n-k}=\binom{2n}{n} \bigl((H_{2n}-2H_n)^2+H_{n}^{(2)}-H_{2n}^{(2)}\bigr).
\end{align*}We also give a new representation for the Legendre polynomials $P_n(x)$. Many examples of these kinds obtained by taking particular values of the parameters involved are collected in Section \ref{Sec3}. To ensure accuracy, all formulas in this paper were verified numerically by \textit{Mathematica}. We think the approach we used in the theorem proofs can be used to prove other combinatorial equalities.

Now we need to recall some basic tools to prove our examples. The classical gamma  function $ \Gamma(x)=\int_{0}^{\infty }u^{x-1}e^{-u}du$ and the digamma function $\psi $, logarithmic derivative of the $\Gamma$-function satisfy the following relations for all integer $n\geq 0$
\begin{equation}\label{eq4}
\Gamma\bigl(n+\frac{1}{2}\bigr)=\frac{(2n)!\Gamma(1/2)}{2^{2n}n!},
\end{equation}
and for all complex number $x$, which is not an integer
\begin{equation}\label{eq5}
\Gamma(x)\Gamma(1-x)=\frac{\pi}{\sin(\pi x)},
\end{equation}
and
\begin{equation}\label{eq6}
\psi (n+1/2)-\psi(1/2)=2H_{2n}-H_n,
\end{equation}
where  $\gamma=0.57721...$ is the Euler-Mascheroni constant and $H_n$ is the $n$ th harmonic number; see, for example, \cite{Srivastava}.
\begin{equation}\label{eq7}
\psi (1-x)-\psi (x)=\pi \cot (\pi x)\quad \mbox{and}\quad \psi ^{\prime
}\bigl( x\bigr) -\psi ^{\prime }\bigl( 1-x\bigr) =\pi ^{2}\csc ^{2}(\pi x);
\end{equation}
see, for example, \cite{Srivastava}. A generalized binomial coefficient $\binom{s}{t}$ ($s,t\in
\mathbb{C}$) is defined, in terms of the classical gamma function, by
\begin{equation}\label{eq8}
\binom{s}{t}=\frac{\Gamma (s+1)}{\Gamma (t+1)\Gamma (s-t+1)},\quad (s,t\in
\mathbb{C}).
\end{equation}


\section{Main results}\label{Sec2}
In the first theorem in this section, we give a different proof of \eqref{eq3} using the Taylor theorem and  WZ theory.
\begin{theorem}\label{thm1}For all $\alpha,\beta\in \mathbb{C}$, which are not negative integers and non-negative integer $n$ we have
\begin{align}\label{eq9}
\sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k=\sum_{j=0}^{n}(-1)^{n+j}\binom{\beta-\alpha+n}{n-j}\binom{\beta+j}{j}(x+1)^j.
\end{align}
\end{theorem}
\begin{proof}
We define
\begin{align}\label{eq10}
f(x)=\sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k.
\end{align}
Since $f$ is a polynomial of degree n in $x$ its Taylor polynomial at $x=-1$ is
\begin{equation}\label{eq11}
f(x)=\sum_{j=0}^{n}\frac{f^{(j)}(-1)}{j!}(x+1)^j.
\end{equation}
Differentiating $f$ $k$ times, it follows that
\begin{align*}
\frac{f^{(j)}(x)}{j!}=\sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}\binom{k}{j}x^{k-j}.
\end{align*}
We set $x=-1$ and get
\begin{align*}
\frac{f^{(j)}(-1)}{j!}=\sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}\binom{k}{j}(-1)^{k-j}.
\end{align*}
Applying this to \eqref{eq11} yields
\begin{equation*}
f(x)=\sum_{j=0}^{n}\bigl(\sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}\binom{k}{j}(-1)^{k-j}\bigr)(x+1)^j.
\end{equation*}
Comparing the coefficients of $(x+1)^j$  in this identity and the right-hand side of \eqref{eq9} we conclude that \eqref{eq9} holds if and only if  for all $\alpha,\beta\in \mathbb{C}$, which are not negative integers, and all  $j=0,1,2,..., n$ we have
\begin{equation}\label{eq12}
\sum_{k=0}^{n}(-1)^{k+j} \binom{\beta+k}{k} \binom{k}{j} \binom{\alpha}{n-k}=(-1)^{n+j}\binom{\beta+j}{j}\binom{\beta-\alpha+n}{n-j}.
\end{equation}
In order to show that \eqref{eq12} is valid we define
\begin{equation}\label{eq13}
F(n,k)=\frac{(-1)^{k+n} \binom{\beta+k}{k} \binom{k}{j} \binom{\alpha}{n-k}}{\binom{\beta+j}{j} \binom{-\alpha+\beta+n}{n-j}}.
\end{equation}
Applying the Wilf-Zeilberger algorithm \cite{Petkovsek}, we find the companion function
\begin{equation}\label{eq14}
G(n,k)=\frac{(-1)^{n+k}(j-k) (\alpha+k-n) \binom{\beta+k}{k} \binom{k}{j} \binom{\alpha}{n-k}}{(k-n-1) (\alpha-\beta-n-1) \binom{\beta+j}{j} \binom{-\alpha+\beta+n}{n-j}}
\end{equation}
and  the following difference equation
\begin{equation*}
F(n,k)-F(n+1,k)=G(n,k+1)-G(n,k).
\end{equation*}
We sum both  sides of this equation from  $k=0$ to $k=n+1$  and get
\begin{equation*}
\sum_{k=0}^{n+1}\big(F(n,k)-F(n+1,k)\big)=\sum_{k=0}^{n+1}\big(G(n,k+1)-G(n,k)\big).
\end{equation*}
The right-hand side of this equality is telescoping, and thus
\begin{equation*}
\sum_{k=0}^{n+1}F(n,k)-\sum_{k=0}^{n+1}F(n+1,k)=G(n,n+2)-G(n,0).
\end{equation*}
It is obvious  from (15) that $G(n,0)=G(n,n+2)=0$. Note that $\binom{\alpha}{-2}=0$. This results in
\begin{equation*}
\sum_{k=0}^{n+1}F(n,k)-\sum_{k=0}^{n+1}F(n+1,k)=0
\end{equation*}
or equivalently
\begin{equation*}
\sum_{k=0}^{n+1}F(n+1,k)-\sum_{k=0}^{n}F(n,k)-F(n,n+1)=0.
\end{equation*}
But since  $F(n,n+1)=0$, which follows from \eqref{eq13}, this gives
\begin{equation*}
\sum_{k=0}^{n+1}F(n+1,k)-\sum_{k=0}^{n}F(n,k)=0.
\end{equation*}
Replacing $n$ by $\upsilon$  here and then summing the resultant identity from $\upsilon=0$ to $\upsilon=n-1$,  we get
\begin{equation*}
\sum_{\upsilon=0}^{n-1}\bigg(\sum_{k=0}^{\upsilon+1}F(\upsilon+1,k)-\sum_{k=0}^{\upsilon}F(\upsilon,k)\bigg)=0.
\end{equation*}
This is also a telescoping sum; thus, we obtain
\begin{equation*}
\sum_{k=0}^{n}F(n,k)-F(0,0)=0.
\end{equation*}
Since $0\leq j\leq n$ and $F(0,0)=1$ from \eqref{eq13}, so that
\begin{equation*}
\sum_{k=0}^{n}F(n,k)=1,
\end{equation*}
which is equivalent to  \eqref{eq12}.
\end{proof}
In the next theorem, we  generalize the identity \eqref{Al}.
\begin{theorem}\label{thm2} Let $s$ and $t$ be complex numbers, which are not negative integers and $n$ be a non-negative integer. Then we have
\begin{equation}\label{eq15}
\sum_{k=0}^{n}\binom{n}{k}\frac{\binom{s}{k}}{\binom{t+k}{k}}=\frac{\binom{n+s+t}{s}}{\binom{s+t}{s}}.
\end{equation}
\end{theorem}
\begin{proof}We prove the result using the Wilf-Zeilberger algorithm. Let
\begin{equation}\label{eq16}
A(n,k)=\frac{\binom{n}{k}\binom{s}{k}\binom{s+t}{t}}{\binom{t+k}{k}\binom{n+s+t}{s}}.
\end{equation}
The Wilf--Zeilberger algorithm gives us
\begin{equation}\label{eq17}
B(n,k)=\frac{k(t+k)\binom{n}{k}\binom{s}{k}\binom{t+s}{t}}{(k-n-1)(n+t+s+1)\binom{t+k}{k}\binom{n+s+t}{s}}
\end{equation}
and the pair $(A,B)$ is a  WZ-pair. That is,
\begin{equation*}
A(n+1,k)-A(n,k)=B(n,k+1)-B(n,k).
\end{equation*}
We sum both  sides of this equation from  $k=0$ to $k=n+1$.  This gives
\begin{equation*}
\sum_{k=0}^{n+1}\big(A(n+1,k)-A(n,k)\big)=\sum_{k=0}^{n+1}\big(B(n,k+1)-B(n,k)\big).
\end{equation*}
The right-hand side of this equality is a telescoping sum; thus
\begin{equation*}
\sum_{k=0}^{n+1}A(n+1,k)-\sum_{k=0}^{n+1}A(n,k)=B(n,n+2)-B(n,0).
\end{equation*}
It is obvious  from \eqref{eq17} that $B(n,0)=B(n,n+2)=0$. This leads to
\begin{equation*}
\sum_{k=0}^{n+1}A(n+1,k)-\sum_{k=0}^{n+1}A(n,k)=0
\end{equation*}
or equivalently
\begin{equation*}
\sum_{k=0}^{n+1}A(n+1,k)-\sum_{k=0}^{n}A(n,k)-A(n,n+1)=0.
\end{equation*}
But since  $A(n,n+1)=0$, which follows from \eqref{eq16}, it follows that
\begin{equation*}
\sum_{k=0}^{n+1}A(n+1,k)-\sum_{k=0}^{n}A(n,k)=0.
\end{equation*}
Replacing $n$ by $p$  here and then summing the resultant identity from $p=0$ to $p=n-1$  we arrive at
\begin{equation*}
\sum_{p=0}^{n-1}\bigg(\sum_{k=0}^{p+1}A(p+1,k)-\sum_{k=0}^{p}A(p,k)\bigg)=0.
\end{equation*}
This is also a telescoping sum; thus, we obtain
\begin{equation*}
\sum_{k=0}^{n}A(n,k)-A(0,0)=0.
\end{equation*}
By \eqref{eq16} we have $A(0,0)=1$, so that
\begin{equation*}
\sum_{k=0}^{n}A(n,k)=1,
\end{equation*}
which proves Theorem \ref{thm2}.
\end{proof}
Note that \eqref{eq15}  reduces to \eqref{Al} when  we substitute $s=n-\lambda-\frac{1}{2}$ and $t=-\lambda-\frac{1}{2}$.
\begin{theorem}\label{thm3} Let $s$ and $p$ be complex numbers, which are not negative integers, and $n$ be a non-negative integer. Then we have
\begin{equation}\label{eq18}
\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{s+k}{k}\binom{k}{p}=\binom{n}{p}\binom{s+p}{n}.
\end{equation}
\end{theorem}
\begin{proof} We again employ the WZ method. Let
\begin{equation}\label{eq19}
P(n,k)=\frac{(-1)^{n+k}\binom{n}{k}\binom{s+k}{k}\binom{k}{p}}{\binom{n}{p}\binom{s+p}{n}}.
\end{equation}
 Using the Wilf-Zeilberger algorithm, this gives us the companion function
\begin{equation}\label{eq20}
Q(n,k)=\frac{(-1)^{n+k}k(k-p)\binom{n}{k}\binom{k}{p}\binom{-1-s}{k}}{(-1+k-n)(n-p-s)\binom{n}{p}\binom{s+p}{n}},
\end{equation}
and we obtain that the pair $(P,Q)$ satisfies the following difference equation
\begin{equation*}
P(n,k)-P(n+1,k)=Q(n,k+1)-Q(n,k).
\end{equation*}
We sum both  sides of this equation from  $k=0$ to $k=n+1$  and get
\begin{equation*}
\sum_{k=0}^{n+1}\big(P(n,k)-P(n+1,k)\big)=\sum_{k=0}^{n+1}\big(Q(n,k+1)-Q(n,k)\big).
\end{equation*}
The right-hand side of this equality is a telescoping sum, so that
\begin{equation*}
\sum_{k=0}^{n+1}P(n,k)-\sum_{k=0}^{n+1}P(n+1,k)=Q(n,n+2)-Q(n,0).
\end{equation*}
It is clear  from \eqref{eq20} that $Q(n,0)=Q(n,n+2)=0$. This leads to
\begin{equation*}
\sum_{k=0}^{n+1}P(n,k)-\sum_{k=0}^{n+1}P(n+1,k)=0
\end{equation*}
or equivalently
\begin{equation*}
\sum_{k=0}^{n+1}P(n+1,k)-\sum_{k=0}^{n}P(n,k)-P(n,n+1)=0.
\end{equation*}
But since  $P(n,n+1)=0$, which follows from \eqref{eq19}, this gives
\begin{equation*}
\sum_{k=0}^{n+1}P(n+1,k)-\sum_{k=0}^{n}P(n,k)=0.
\end{equation*}
Replacing $n$ by $p$  here and then summing the resultant identity from $p=0$ to $p=n-1$  we obtain
\begin{equation*}
\sum_{p=0}^{n-1}\bigg(\sum_{k=0}^{p+1}P(p+1,k)-\sum_{k=0}^{p}P(p,k)\bigg)=0.
\end{equation*}
This is also a telescoping sum; thus
\begin{equation*}
\sum_{k=0}^{n}P(n,k)-P(0,0)=0.
\end{equation*}
By \eqref{eq19} we have $P(0,0)=1$, so that
\begin{equation*}
\sum_{k=0}^{n}P(n,k)=1,
\end{equation*}
which is equivalent to \eqref{eq18}.
\end{proof}

\section{Applications}\label{Sec3}
In this section we provide many applications of Theorems \ref{thm1},
\ref{thm2}, and \ref{thm3} by setting particular values for  the parameters $\alpha,\,\beta$, $t$, $s$ and $p$. All of the examples provided here, based on our assessment, are new in the literature. If we set $\alpha=n$ in \eqref{eq9} and use
$$
\binom{\beta}{n-k}\binom{\beta+k}{k}=\binom{n}{k}\binom{\beta+k}{n},
$$
which can be easily verified, we get
\begin{equation}\label{eq21}
\sum_{k=0}^{n}\binom{n}{k}\binom{\beta+k}{k}x^k=\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{\beta+k}{n}(1+x)^k,
\end{equation}
where $\beta$ and $x$ are complex numbers with $\beta\neq -1,-2,-3,...$  and $n\geq 0$ be an integer.

\begin{itemize}
\item
We set  $x=0$ and $x=-1$ in \eqref{eq21} and get, respectively
\begin{equation}\label{eq22}
\sum_{k=0}^{n}(-1)^{k}\binom{n}{k}\binom{\beta+k}{n}=(-1)^n
\end{equation}
and
\begin{equation*}
\sum_{k=0}^{n}(-1)^k\binom{n}{k}\binom{\beta+k}{k}=(-1)^n\binom{\beta}{n}.
\end{equation*}
\item
Differentiate both sides of (\ref{eq21}) with respect to $\beta$ and then  put $\beta=n$ to obtain
\begin{equation*}
\sum_{k=0}^{n}(-1)^k\binom{n}{k}\binom{n+k}{k}H_{n+k}-H_n\sum_{k=0}^{n}(-1)^k\binom{n}{k}\binom{n+k}{k}=(-1)^nH_n.
\end{equation*}
Using \eqref{eq22} with $\beta=n$, this gives the following explicit representation for $H_n$.
\begin{equation*}
H_n=\frac{1}{2}\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{n+k}{k}H_{n+k}.
\end{equation*}
\item
Substituting  $\beta=-\frac{1}{2}$ in \eqref{eq21} produces
\begin{equation}\label{eq23}
\sum_{k=0}^{n}\binom{n}{k}\binom{-\frac{1}{2}+k}{k}x^k=\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{-\frac{1}{2}+k}{n}(1+x)^k.
\end{equation}
We have
\begin{equation*}
\binom{-1/2+k}{k}=\frac{\Gamma(k+1/2)}{k!\Gamma(1/2)}=\frac{1}{4^{k}}\binom{2k}{k}
\end{equation*}
and
\begin{equation*}
 \binom{-1/2+k}{n}=\frac{\Gamma(k+1/2)}{n!\Gamma(1/2+k-n)}=\frac{(-1)^{n+k}\binom{2k}{k}\binom{2n-2k}{n-k}}{4^n\binom{n}{k}},
\end{equation*}
both of which follow from Legendre's duplication and reflection formulas for the classical gamma function $\Gamma$ given in \eqref{eq4}, \eqref{eq5}, and \eqref{eq6}. Replacing these in (\ref{eq23}) it follows that
\begin{equation}\label{eq24}
\sum_{k=0}^{n}\binom{n}{k}\binom{2k}{k}\frac{x^k}{2^{2k}}=\frac{1}{2^{2n}}\sum_{k=0}^{n}\binom{2k}{k}\binom{2n-2k}{n-k}(1+x)^k.
\end{equation}
\item  Let $P_n(x)$ be the classical Legendre polynomials. From \cite[p.\ 39]{Gould1} (see also \cite{Alzer}) we have
\begin{equation*}
t^nP_n\bigl(\frac{t^2+1}{2t}\bigr)=\frac{1}{4^n}\sum_{k=0}^{n}\binom{2k}{k}\binom{2n-2k}{n-k}t^{2k}.
\end{equation*}
Making the substitution $x\to t^2-1$ in \eqref{eq24}, we have
\begin{equation*}
\sum_{k=0}^{n}\binom{n}{k}\binom{2k}{k}\bigl(\frac{t^2-1}{4}\bigr)^k=\frac{1}{4^{n}}\sum_{k=0}^{n}\binom{2k}{k}\binom{2n-2k}{n-k}t^{2k}.
\end{equation*}
From the last two identities, we deduce the following new representation for 
Legendre polynomials for $t\neq 0$:
\begin{equation*}
P_n\bigl(\frac{t^2+1}{2t}\bigr)=\frac{1}{t^n}\sum_{k=0}^{n}\binom{n}{k}\binom{2k}{k}\bigl(\frac{t^2-1}{4}\bigr)^k.
\end{equation*}
The well-known binomial inversion formula leads us to
\begin{equation*}
\sum_{k=0}^{n}(-1)^k\binom{n}{k}P_k\bigl(\frac{t^2+1}{2t}\bigr)t^k =\binom{2n}{n}\bigl(\frac{1-t^2}{4}\bigr)^n.
\end{equation*}
\item
Differentiating both sides of \eqref{eq18} with respect to $p$ and then setting $p=0$, we get
\begin{equation}\label{eq25}
\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{s+k}{k}H_k=\binom{s}{n}\big(H_n+\psi(s+1)-\psi(s-n+1)\big).
\end{equation}
For $s=n$ this leads to the following elegant representation for $H_n$:
\begin{equation*}
H_n=\frac{1}{2}\sum_{k=1}^{n}(-1)^{n+k}\binom{n}{k}\binom{n+k}{k}H_k,
\end{equation*}
where we have used $\psi(n+1)+\gamma=H_n$. Setting $s=\frac{1}{2}$ in \eqref{eq25} we get
\begin{equation*}
\sum_{k=1}^{n}(-1)^{k}\binom{n}{k}\binom{2k}{k}\frac{H_k}{4^k}=\frac{1}{2^{2n-1}}\binom{2n}{n}\big(H_n-H_{2n}\big).
\end{equation*}
\item Differentiating both sides of \eqref{eq18} with respect to $p$ twice, and then setting $p=0$, we get
\begin{align*}
&amp;\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{s+k}{k}\big(H_k^2+H_n^{(2)}\big)\\
&amp;\quad =\binom{s}{n} \bigg(2H_n\big(\psi(s+1)-\psi(-n+s+1)\big)+\psi(-n+s+1)^2\\
&amp;\quad -2 \psi(s+1)\psi(-n+s+1)-\psi ^{\prime}(-n+s+1)+H_n^2\\
&amp;\quad +H_n^{(2)}+\psi(s+1)^2+\psi ^{\prime}(s+1)-\psi^\prime(s-n+1)\bigg)
\end{align*}
where  $\psi$ is the digamma function. For $s=n$ this gives
\begin{align*}
&amp;H_n^2=\frac{1}{4}\sum_{k=0}^{n}(-1)^{n+k}\binom{n}{k}\binom{n+k}{k}\big(H_k^2+H_k^{(2)}\big),
\end{align*}
where $H_k^{(2)}=1+\frac{1}{4}+\frac{1}{9}+\cdots+\frac{1}{k^2}$.\\
\item
Applying the binomial inversion formula to \eqref{eq18} we get
\begin{equation*}
\sum_{k=0}^{n}\binom{n}{k}\binom{s+p}{k}\binom{k}{p}=\binom{n}{p}\binom{s+n}{n}.
\end{equation*}
Setting $s=n-\frac{1}{2}$ and $p=\frac{1}{2}$ here we obtain
\begin{equation}\label{eq26}
\sum_{k=0}^{n}\frac{4^k\binom{n}{k}^2}{\binom{2k}{k}}=\frac{\binom{4n}{2n}}{\binom{2n}{n}}.
\end{equation}
Using
$$
\binom{2n}{n}\binom{n}{k}^2=\binom{2k}{k}\binom{2n-2k}{n-k}\binom{2n}{2k}
$$
Eq.~\eqref{eq26} can be rewritten in the following elegant form
\begin{equation*}
\sum_{k=0}^{n}\binom{2n}{2k}\binom{2n-2k}{n-k}4^k=\binom{4n}{2n}.
\end{equation*}
\item
Setting $p=n+\frac{1}{2}$ in \eqref{eq15} we get
\begin{equation}\label{eq27}
\sum_{k=0}^{n}\binom{s+k}{k}\binom{2n-2k}{n-k}4^k=\frac{\binom{2n}{n}\binom{2n+2s+1}{2s+1}}{\binom{n+s}{n}}.
\end{equation}
If we differentiate both sides of \eqref{eq27} with respect to $s$ and then set $s=0$ we conclude that
\begin{equation*}
\sum_{k=0}^{n}\binom{2k}{k}\frac{H_{n-k}}{4^k}=\frac{2n+1}{4^n}\binom{2n}{n}\big(2H_{2n+1}-H_n-2\big).
\end{equation*}
\item From \eqref{eq15} with $s=n$ and $t=1$ we obtain
\begin{equation*}
\sum_{k=1}^{n}k\binom{n}{k}^2=\frac{n}{2}\binom{2n}{n}.
\end{equation*}
Applying the operator $\frac{\partial^2}{\partial s\partial t}$ both sides of \eqref{eq15}, using
$$
\sum_{k=0}^{n}\binom{n}{k}^2H_k=\binom{2n}{n}\bigl(2H_{n}-H_{2n}\bigr),
$$
and finally putting $t=0$ and $s=n$ in the resultant we get
\begin{align*}
\sum_{k=0}^{n}\binom{n}{k}^2H_kH_{n-k}&amp;=\binom{2n}{n} \bigl((H_{2n}-2H_n)^2+H_{n}^{(2)}-H_{2n}^{(2)}\bigr).
\end{align*}
We differentiate both sides of \eqref{eq18} with respect to $t$ twice and then we  set $s=n$ and $t=0$. This gives
\begin{align*}
\sum_{k=0}^{n}\binom{n}{k}^2\bigl((H_k)^2+H_k^{(2)}\bigr)=\binom{2n}{n}\bigl((H_{2n}-2H_n)^2+2H_n^{(2)}-H_{2n}^{(2)}\bigr).
\end{align*}

\end{itemize}

\begin{remark}We can derive many other examples using our main results, but we are satisfied with these to keep our paper short. The examples presented here demonstrate the usefulness of our main results. Several other applications of \eqref{eq21} can be found in \cite{Batir3}.
\end{remark}
\bibliographystyle{amsplain}

\begin{thebibliography}{99}
\bibitem{Alzer} H. Alzer and O. Kouba, On a combinatorial identity of Gavrea and Ivan and related results, \textit{Aequat. Math}. \textbf{97} (2023), 307--328.
\bibitem{Batir1} N. Bat{\i}r and A. Sofo, Finite sums involving reciprocals of the binomial and central binomial coefficients and harmonic numbers, \textit{Symmetry} \textbf{13} (2021).
\bibitem{Batir2} N. Bat{\i}r, H. K\"{u\c{c}\"{u}}k, and S. Sorgun, Convolution identities involving the central binomial coefficients and Catalan numbers, \textit{Trans. Comb.} \textbf{10} (2021), 225--238.
\bibitem{Batir3} N. Bat{\i}r and S. Atp{\i}nar, An extension of a curious binomial identity of Simons,  \textit{Math. Gaz.}, to appear.
\bibitem{Chapman} R. Chapman, A curious identity revisited, \textit{Math. Gaz.} \textbf{87} (2003), 139--141.
\bibitem{Gould1} H. W. Gould, \textit{Combinatorial identities: A standardized set of tables listing 500 binomial coefficient summations by Henry Wadsworth Gould,} Morgantown, 1972.
\bibitem{Gould2} H. W. Gould, Curious special function identities, \textit{Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat.} \textbf{18} (2006), 22--27.
\bibitem{Hirschhorn} M. Hirschhorn, Comments on a curious identity, \textit{Math. Gaz.} \textbf{87} (2003), 528--530.
\bibitem{Munarini} E. Munarini, Generalization of a binomial identity of Simons, \textit{Integers: Electron. J. Combin. Number Theory} \textbf{5} (2005), A15.
\bibitem{Petkovsek}  M. Petkovsek, H. S. Wilf, and  D. Zeilberger, \textit{A = B}, A K Peters Ltd., 1996.
\bibitem{Prodinger} H. Prodinger, A curious identity proved by Cauchy integral formula, \textit{Math. Gaz.} \textbf{89} (2005), 266--267.
\bibitem{Shattuck} M. Shattuck, Combinatorial proofs of some Simons-type binomial coefficient identities, \textit{Integers: Electron. J. Combin. Number Theory} \textbf{7} (2007), A27.
\bibitem{Simons} S. Simons, A curious identity, \textit{Math. Gaz.} \textbf{85} (2001), 296--298.
\bibitem{Srivastava} H. M. Srivastava and J. Choi, \textit{Zeta and $q$-Zeta Functions and Associated  Series and Integrals}, Elsevier, 2012.
\bibitem{Xu} A. Xu and Y. Cen, Combinatorial identities from contour integrals, \textit{Ramanujan J.} \textbf{40} (2016), 103--114.
\bibitem{Wang} X. Wang and Y. Sun, A new proof of a curious identity, \textit{Math. Gaz.} \textbf{91} (2007), 105--106.
\bibitem{Wei} C. Wei, Y. Wei, and C. Li, Some summation and transformation formulas from inversion techniques, \textit{Integers} \textbf{22} (2022), A95.
\end{thebibliography}{}
\bigskip
\hrule
\bigskip

\noindent 2020 {\it Mathematics Subject Classification}:
Primary 05A10; Secondary 05A19.

\noindent \emph{Keywords: }
combinatorial identity, binomial coefficient, harmonic number, harmonic sum, Legendre polynomial.

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received January 10 2023;
revised versions received January 13 2023; January 16 2023; April 17 2023.
Published in {\it Journal of Integer Sequences}, April 18 2023.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{https://cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}

                                                                                

</pre></body></html>