Exercise 1.4.25* (Conundrum 7/8)

Show that

k = 0 n + 1 ( ( n k ) ( n k 1 ) ) 2 = 2 n + 1 ( 2 n n ) .

Answers

Proof. By brute force.

S = k = 0 n + 1 ( ( n k ) ( n k 1 ) ) 2 = k = 0 n ( n k ) 2 + k = 1 n + 1 ( n k 1 ) 2 2 k = 1 n + 1 ( n k ) ( n k 1 ) = 2 U 2 V , where U = k = 0 n ( n k ) 2 , V = k = 1 n + 1 ( n k ) ( n k 1 ) .

(because k = 1 n + 1 ( n k 1 ) 2 = K = 0 n ( n K ) 2 = U .)

By Vandermonde’s formula (see Exercise 3),

U = k = 0 n ( n k ) 2 = k = 0 n ( n k ) ( n n k ) = ( 2 n n ) ,

and

V = k = 1 n + 1 ( n k ) ( n k 1 ) = k = 1 n + 1 ( n k ) ( n n + 1 k ) = ( 2 n n + 1 ) .

Moreover

( 2 n n + 1 ) = ( 2 n ) ! ( n + 1 ) ! ( n 1 ) ! = ( 2 n ) ! n ! n ! n n + 1 = n n + 1 ( 2 n n ) .

Therefore

k = 0 n + 1 ( ( n k ) ( n k 1 ) ) 2 = 2 ( 2 n n ) ( 1 n n + 1 ) = 2 n + 1 ( 2 n n ) .
User profile picture
2024-07-29 08:44
Comments