3
$\begingroup$

If $n \in \mathbb N \setminus \{0\}$ and $x,y,z \in \mathbb R$ such that $x+y+z=n-1$, show that

$$\dfrac{(-4)^n}{\binom{2x}{n}}\sum_{r+s=n,r,s\in Z}\dfrac{\binom{y}{r}\binom{y-a}{r}\binom{z}{s}\binom{z+a}{s}}{\binom{2y}{r}\binom{2z}{s}} =\sum_{j\ge 0}\binom{n}{2j}\dfrac{\binom{-\frac{1}{2}}{j}\binom{a-\frac{1}{2}}{j}\binom{-a-\frac{1}{2}}{j}}{\binom{x-\frac{1}{2}}{j}\binom{y-\frac{1}{2}}{j}\binom{z-\frac{1}{2}}{j}}$$

for every $a \in \mathbb R$. enter image description here

$\endgroup$
2

1 Answer 1

5
+25
$\begingroup$

Check out the book $A=B$ by Zeilberger, Wilf, and Petkovsek.

It’s all about how to prove essentially any combinatorial identity like this that you can think of.

The moral of the story is you type it into your computer, hit enter, and let it verify it for you and produce a certificate. These algorithms are all definitely available as packages for Maple and Sage. It might even be part of the standard Maple library.

Added:

"Science is what we understand well enough to explain to a computer. Art is everything else we do. During the past several years an important part of mathematics has been transformed from an Art to a Science: No longer do we need to get a brilliant insight in order to evaluate sums of binomial coefficients, and many similar formulas that arise frequently in practice; we can now follow a mechanical procedure and discover the answers quite systematically. I fell in love with these procedures as soon as I learned them, because they worked for me immediately. Not only did they dispose of sums that I had wrestled with long and hard in the past, they also knocked off two new problems that I was working on at the time I first tried them. The success rate was astonishing. ..." -- Donald Knuth (taken from the Foreward of $A=B$)

The full text for $A=B$ is available here free of charge, and the authors wanted to make sure anyone who wanted it could have it without paying.

(It really is magic, by the way. Give it a try!)

$\endgroup$
3
  • $\begingroup$ I can think of identities with binomial coefficients as exponents. Can the book deal with those? Gerhard "Tongue Is Not In Cheek" Paseman, 2020.06.19. $\endgroup$ Jun 19, 2020 at 14:53
  • 1
    $\begingroup$ Oof. I think not (though I'm not an expert). By the way... @GerhardPaseman, I was recently talking with another mathematician about this site, and he remarked "Oh, I love how Gerhard Paseman always signs his stuff with 'middle names' relevant to the subject!" (For the record, me too!) $\endgroup$
    – Pat Devlin
    Jun 19, 2020 at 15:32
  • $\begingroup$ In these troubled times, such appreciation is very important to me. (OK. It's important to me at other times too. ) Thank you very much for it. Gerhard "This Signature Is For You" Paseman, 2020.06.19. $\endgroup$ Jun 19, 2020 at 17:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.