- Given sums
We need to evaluate
α=k=0∑nk+1(kn)2
and
β=k=0∑n−1k+2(kn)(k+1n).
Given that
5α=6β,
we must find n.
- Simplify α
Use the identity
k+11(kn)=n+11(k+1n+1).
So,
α=k=0∑n(kn)⋅k+11(kn)=n+11k=0∑n(kn)(k+1n+1).
Now use
(k+1n+1)=(n−kn+1),
so
α=n+11k=0∑n(kn)(n−kn+1).
By Vandermonde's identity,
k=0∑n(kn)(n−kn+1)=(n2n+1).
Hence
α=n+11(n2n+1).
Using
(n2n+1)=n+12n+1(n2n),
we also get
α=n+11⋅n+12n+1(n2n)=(n+1)22n+1(n2n).
- Simplify β
We use
(k+1n)=k+1n−k(kn).
So,
β=k=0∑n−1k+2(kn)(k+1n)=k=0∑n−1(kn)2(k+1)(k+2)n−k.
This form is not the easiest for summation. Instead rewrite directly as
k+21(k+1n)=(n+1)(n+2)1(k+1)(k+2n+2)?
But an even cleaner route is:
First write
k+21(k+1n)=n+11⋅n+21(k+1)(k+2n+2),
which is cumbersome.
A better substitution is to shift index. Let r=k+1. Then r=1 to n, and
β=r=1∑nr+1(r−1n)(rn).
Now use
(r−1n)=n−r+1r(rn),
but again this is messy.
So let us instead convert one factor using
k+21(k+1n)=n+11(k+2n+1).
Indeed,
(k+2n+1)=(k+2)!(n−k−1)!(n+1)!=k+2n+1(k+1n).
Hence
k+21(k+1n)=n+11(k+2n+1).
Therefore,
β=n+11k=0∑n−1(kn)(k+2n+1).
Now use symmetry:
(k+2n+1)=(n−k−1n+1).
So
β=n+11k=0∑n−1(kn)(n−k−1n+1).
Applying Vandermonde,
k=0∑n−1(kn)(n−k−1n+1)=(n−12n+1).
Thus
β=n+11(n−12n+1).
Now express it in terms of (n2n):
(n−12n+1)=(n−1)!(n+2)!(2n+1)!.
Also,
(n2n)=n!n!(2n)!.
So
(n−12n+1)=(n2n)⋅(n+1)(n+2)(2n+1)n.
Hence
β=n+11⋅(n2n)⋅(n+1)(n+2)(2n+1)n=(n+1)2(n+2)n(2n+1)(n2n).
- Use the condition 5α=6β
Substitute the expressions for α and β:
5⋅(n+1)22n+1(n2n)=6⋅(n+1)2(n+2)n(2n+1)(n2n).
Cancel the common nonzero factor
(n+1)22n+1(n2n).
We get
5=n+26n.
So,
5(n+2)=6n
5n+10=6n
n=10.
- Comparison with stored answer
Stored correct answer: 10
Our derived answer is also 10, so it agrees.