Power Sums: Large Coefficients

Calculus Level 5

All power sums have a closed polynomial forms for integral powers. For example,

1 2 + 2 2 + 3 2 + + n 2 = k = 1 n k 2 = n 3 3 + n 2 2 + n 6 1^2+2^2+3^2+\cdots+n^2=\displaystyle \sum_{k=1}^n k^2=\frac{n^3}{3}+\frac{n^2}{2}+\frac{n}{6}

More generally

1 m + 2 m + 3 m + + n m = k = 1 n k m = i = 1 m + 1 a i n i 1^m+2^m+3^m+\cdots+n^m=\displaystyle \sum_{k=1}^n k^m=\displaystyle \sum_{i=1}^{m+1} a_i n^i

In the case of m = 2 m=2 , a 1 = 1 6 a_1=\frac{1}{6} , a 2 = 1 2 a_2=\frac{1}{2} , and a 3 = 1 3 a_3=\frac{1}{3} .


When m = 20 m=20 , if a 5 a_5 can be written as p q \dfrac{-p}{q} for coprime positive integers p , q p,q , find p + q p+q .

Tip: This might help :)


Like this problem? Try these too:


The answer is 68733.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Chew-Seong Cheong
Feb 28, 2017

A power sum is given by k = 1 n k p = k = 1 p + 1 b p k n k \displaystyle \sum_{k=1}^n k^p = \sum_{k=1}^{p+1} b_{pk} n^k ( ref: eqn (17) ), whose coefficient b p k = ( 1 ) p k + 1 B p k + 1 p ! k ! ( p k + 1 ) ! b_{pk} = \dfrac {(-1)^{p-k+1}B_{p-k+1}p!}{k!(p-k+1)!} ( ref: eqn (18) ), where B m B_m is a Bernoulli number .

For p = m = 20 p=m=20 , we have b 20 , i = a i b_{20,i} = a_i and:

a 5 = b 20 , 5 = ( 1 ) 20 5 + 1 B 20 5 + 1 20 ! 5 ! ( 20 5 + 1 ) ! = ( 1 ) 16 B 16 20 ! 5 ! 16 ! Note that B 16 = 3617 510 = 969 3617 510 = 68723 10 \begin{aligned} a_5 & = b_{20,5} \\ & = \frac {(-1)^{20-5+1}B_{20-5+1}20!}{5!(20-5+1)!} \\ & = \frac {(-1)^{16}{\color{#3D99F6}B_{16}}20!}{5!16!} & \small \color{#3D99F6} \text{Note that }B_{16} = - \frac {3617}{510}\\ & = - \frac {969 \cdot 3617}{510} \\ & = - \frac {68723}{10} \end{aligned}

p + q = 68723 + 10 = 68733 \implies p + q = 68723 + 10 = \boxed{68733}

Trevor Arashiro
Feb 23, 2017

Take the bottom left half of Pascal's infinite matrix (linked in the problem to a google spread sheet). Remove the top left-bottom right diagonal of 1's. Remove the top row and right most column of 0's. Invert the matrix. The jth row from the right yields the coefficients of the sum of (j-1)th powers. This is proved in this document .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...