It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 494
- Study Groups 5
- Green Mathematics 1
- Programming with Categories 4
- Review Sections 6
- MIT 2020: Programming with Categories 53
- MIT 2020: Lectures 21
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 64
- Azimuth Code Project 110
- Statistical methods 2
- Drafts 1
- Math Syntax Demos 15
- Wiki - Latest Changes 0
- Strategy 111
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708

Options

The following appears to be true. Let $n \geq 1$ be an integer. Then $$ \sum_{i=1}^n \frac{n! (n-1)! }{(n-i)! (n+i+1)!}i (i+1) (2i+1) = 1.$$ This cropped up when doing some calculations in coalescent theory. I found the distribution of the time of a particular event as a mixture of exponentials. I can calculate the weights numerically and the weights appear to be the terms in the above sum.

I also noticed:

The last term ($i=n$) is the reciprocal of a Catalan number.

The sum of alternate terms ($i$ odd or $i$ even) appears to be always 1/2.

$i (i+1) (2i+1) / 6$ is the sum of the first $i$ squares.

Something is going on that I don't understand! Can anyone shed any light?

## Comments

You could ask on MathOverflow. Or, if you'd rather not, someone could ask on your behalf. I expect that such a hypergeometric identity would succumb to Wilf-Zeilberger, but I am not expert in these matters. Are you looking for a bijective proof, or just any old proof?

`You could ask on MathOverflow. Or, if you'd rather not, someone could ask on your behalf. I expect that such a hypergeometric identity would succumb to Wilf-Zeilberger, but I am not expert in these matters. Are you looking for a bijective proof, or just any old proof?`

I agree about Wilf-Zeilberger, and have been reading A=B. I don't have Maple or Mathematica, which may be necessary to solve this in a reasonable amount of time. I expect a question to MathOverflow would basically be asking someone to use a program for me. I'd prefer to understand something, and a bijective proof might help with that.

`I agree about Wilf-Zeilberger, and have been reading A=B. I don't have Maple or Mathematica, which may be necessary to solve this in a reasonable amount of time. I expect a question to MathOverflow would basically be asking someone to use a program for me. I'd prefer to understand something, and a bijective proof might help with that.`

In reduce, I typed

which resulted in $$ \frac{(n+1)(n-1)!n}{(n+1)!}$$ which is a funny way of writing 1. I don't feel much wiser...

`In [reduce](http://sourceforge.net/projects/reduce-algebra/), I typed ~~~~ load zeilberg; summand:=k*(k+1)*(2*k+1)*factorial(n)*factorial(n-1)/(factorial(n-k)*factorial(n+k+1)); gosper(summand,k,1,n); ~~~~ which resulted in $$ \frac{(n+1)(n-1)!n}{(n+1)!}$$ which is a funny way of writing 1. I don't feel much wiser...`