Given that A k = ∑ i = 1 k i 4 , B k = ∑ i = 1 k i 2 , and C k = ∑ i = 1 k i , find the sum of all integers k between 1 and 1 0 0 inclusive for which A k is divisible by B k and B k is divisible by C k .
Hint : The answer is a perfect square.
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.
Direct computation confirms Sam Zhou's solution:
a ( k_ ) := ∑ i = 1 k i 4 , b ( k_ ) := ∑ i = 1 k i 2 , c ( k_ ) := ∑ i = 1 k i
Table [ α = a ( j ) ; β = b ( j ) ; γ = c ( j ) ; If [ ( α m o d β ) = 0 ∧ ( β m o d γ ) = 0 , j , Nothing ] , { j , 1 0 0 } ] ⇒ { 1 , 1 3 , 1 6 , 2 8 , 3 1 , 4 3 , 4 6 , 5 8 , 6 1 , 7 3 , 7 6 , 8 8 , 9 1 }
Which totals to 6 2 5 or 2 5 2 .
Problem Loading...
Note Loading...
Set Loading...
It can be found that A k = 3 0 k ( k + 1 ) ( 2 k + 1 ) ( 3 k 2 + 3 k − 1 ) by solving the recurrence relation with A 1 = 1 and A k − A k − 1 = k 4 (note: assume A k is in the form a 1 x 5 + a 2 x 4 + a 3 x 3 + a 4 x 2 + a 5 x + a 6 and solve for the coefficients).
We also know that B k = 6 k ( k + 1 ) ( 2 k + 1 ) and C k = 2 k ( k + 1 ) .
B k A k = 3 0 6 ( 3 k 2 + 3 k − 1 ) = 5 3 k 2 + 3 k − 1 . This value is an integer when k ≡ 1 or 3 m o d 5 .
C k B k = 6 2 ( 2 k + 1 ) = 3 2 k + 1 . This value is an integer when k ≡ 1 m o d 3 .
Therefore, solving this system of linear congruences, we have k ≡ 1 or 1 3 m o d 1 5 .
The values of 1 ≤ k ≤ 1 0 0 that satisfy the above linear congruence are 1 , 1 3 , 1 6 , 2 8 , 3 1 , 4 3 , 4 6 , 5 8 , 6 1 , 7 3 , 7 6 , 8 8 , 9 1 . These values sum up to 6 2 5 .
Note: I have skipped a few steps in the solution. If you would like me to expand on a part of it, feel free to ask me.