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

- All Categories 1.6K
- General 37
- Azimuth Project 95
- - Latest Changes 345
- News and Information 222
- - Strategy 93
- - Questions 39
- Azimuth Forum 25
- - Conventions and Policies 21
- Chat 166
- Azimuth Blog 132
- - - Action 13
- - - Biodiversity 7
- - - Books 1
- - - Carbon 7
- - - Climate 41
- - - Computational methods 34
- - - Earth science 21
- - - Ecology 40
- - - Energy 28
- - - Geoengineering 0
- - - Mathematical methods 62
- - - Oceans 4
- - - Methodology 16
- - - Organizations 33
- - - People 6
- - - Reports 3
- - - Software 19
- - - Statistical methods 1
- - - Things to do 1
- - - Visualisation 1
- - - Meta 7
- - - Natural resources 4
- Azimuth Wiki 6
- - - Experiments 23
- - - Sustainability 4
- - - Publishing 3
- Azimuth Code Project 69
- - Spam 1

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...`