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

- All Categories 2.2K
- Applied Category Theory Course 353
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

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