Does anyone know how to prove that $$\sum\limits_{k=0}^i (-1)^k \frac{\binom{m-k}{k}}{(m-k)}\frac{\binom{m+2i-2k}{i-k}}{(m+2i-2k)}=0$$ for all $1\leq i\leq\lfloor\frac{m}{2}\rfloor$?
A calculation by Macaulay2 shows that $$\sum\limits_{k=0}^i (-1)^k \binom{m-k}{k}\binom{m+2i-2k}{i-k}=\sum\limits_{k=0}^i\binom{2i}{k}$$ but I don't know how to prove it neither and I don't know if it helps.
We seek to prove that $$ \sum\limits_{k=0}^i (-1)^k \frac{1}{m-k}\binom{m-k}{k}\frac{1}{m+2i-2k}\binom{m+2i-2k}{i-k}=0 $$ for all $1\le i\le\left\lfloor\frac{m}{2}\right\rfloor$.
Let $a_i$ be the left-hand side of the above equation, and let $$ b_k=\frac{1}{m-k}\binom{m-k}{k}, \qquad c_k=\frac{1}{m+2k}\binom{m+2k}{k}, $$ then $a_i=\sum_{k=0}^{i}{(-1)^k b_k c_{i-k}}$. Let $A(x)=\sum_{i=0}^{\infty}a_ix^i$, $B(x)=\sum_{i=0}^{\infty}b_ix^i$, $C(x)=\sum_{i=0}^{\infty}c_ix^i$, then $A(x)=B(-x)C(x)$. (Note that $B(x)$ is just a polynomial, since $b_k=0$ for $k>\left\lfloor\frac{m}{2}\right\rfloor$.)
It is well-known that $C(x)=\frac{1}{m}\operatorname{Cat}(x)^m$, where $\operatorname{Cat}(x)$ is the Catalan generating function. To verify that, let $f(x)=\operatorname{Cat}(x)-1$ and note that $mc_k=[x^k](f+1)^m$, where $f$ satisties the functional equation $f=x(f+1)^2$. Then Lagrange inversion yields $$ \begin{split} mc_k=[x^k](f+1)^m&=\frac{1}{k}[f^{k-1}](f+1)^{2k}m(f+1)^{m-1}=\frac{m}{k}[f^{k-1}](f+1)^{m-1+2k}\\ &=\frac{m}{k}\binom{m-1+2k}{k-1}=\frac{m}{m+2k}\binom{m+2k}{k}. \end{split} $$ Similarly, $$ \begin{split} mb_k&=\frac{m}{m-k}\binom{m-k}{k}=\frac{m}{k}\binom{m-1-k}{k-1}\\ &=\frac{m}{k}[f^{k-1}](f+1)^{m-1-k}=\frac{1}{k}[f^{k-1}]\frac{1}{(f+1)^k}m(f+1)^{m-1}, \end{split} $$ where the second line holds for $1\le k\le \left\lfloor\frac{m}{2}\right\rfloor$. Thus, for $1\le k\le \left\lfloor\frac{m}{2}\right\rfloor$, $mb_k=[x^k](f+1)^m$ for a function $f=f(x)$ that satisfies $f=\frac{x}{f+1}$, i.e. $f(f+1)=x$ (and $f(0)=0$), which means $f(x)=x\operatorname{Cat}(-x)$, so $$ B(x)=\frac{1}{m}(1+x\operatorname{Cat}(-x))^m+O\left(x^{\left\lfloor\frac{m}{2}\right\rfloor+1}\right)=\frac{1}{m\operatorname{Cat}(-x)^m}+O\left(x^{\left\lfloor\frac{m}{2}\right\rfloor+1}\right), $$ and therefore, $$ B(-x)=\frac{1}{m\operatorname{Cat}(x)^m}+O\left(x^{\left\lfloor\frac{m}{2}\right\rfloor+1}\right). $$ Thus, $$ A(x)=B(-x)C(x)=\frac{1}{m}\operatorname{Cat}(x)^m\left(\frac{1}{m\operatorname{Cat}(x)^m}+O\left(x^{\left\lfloor\frac{m}{2}\right\rfloor+1}\right)\right)=\frac{1}{m^2}+O\left(x^{\left\lfloor\frac{m}{2}\right\rfloor+1}\right), $$ and therefore, $a_n=[x^n]A(x)=0$ for $1\le n\le \left\lfloor\frac{m}{2}\right\rfloor$, as desired.