Squarey Sum

Given that A k = i = 1 k i 4 A_{k}=\sum_{i=1}^{k} i^{4} , B k = i = 1 k i 2 B_{k}=\sum_{i=1}^{k} i^{2} , and C k = i = 1 k i C_{k}=\sum_{i=1}^{k} i , find the sum of all integers k k between 1 1 and 100 100 inclusive for which A k A_{k} is divisible by B k B_{k} and B k B_{k} is divisible by C k C_{k} .

Hint : The answer is a perfect square.


The answer is 625.

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

Sam Zhou
Sep 5, 2019

It can be found that A k = k ( k + 1 ) ( 2 k + 1 ) ( 3 k 2 + 3 k 1 ) 30 A_{k}=\frac{k(k+1)(2k+1)(3k^{2}+3k-1)}{30} by solving the recurrence relation with A 1 = 1 A_{1}=1 and A k A k 1 = k 4 A_{k}-A_{k-1}=k^{4} (note: assume A k 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 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 = k ( k + 1 ) ( 2 k + 1 ) 6 B_{k}=\frac{k(k+1)(2k+1)}{6} and C k = k ( k + 1 ) 2 C_{k}=\frac{k(k+1)}{2} .

A k B k = 6 ( 3 k 2 + 3 k 1 ) 30 = 3 k 2 + 3 k 1 5 \frac{A_{k}}{B_{k}}=\frac{6(3k^{2}+3k-1)}{30}=\frac{3k^{2}+3k-1}{5} . This value is an integer when k 1 k≡1 or 3 m o d 5 3\mod5 .

B k C k = 2 ( 2 k + 1 ) 6 = 2 k + 1 3 \frac{B_{k}}{C_{k}}=\frac{2(2k+1)}{6}=\frac{2k+1}{3} . This value is an integer when k 1 m o d 3 k≡1\mod3 .

Therefore, solving this system of linear congruences, we have k 1 k≡1 or 13 m o d 15 13\mod15 .

The values of 1 k 100 1≤k≤100 that satisfy the above linear congruence are 1 , 13 , 16 , 28 , 31 , 43 , 46 , 58 , 61 , 73 , 76 , 88 , 91 1,13,16,28,31,43,46,58,61,73,76,88,91 . These values sum up to 625 \boxed{625} .

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.

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 a(\text{k\_})\text{:=}\sum _{i=1}^k i^4,\,b(\text{k\_})\text{:=}\sum _{i=1}^k i^2,\,c(\text{k\_})\text{:=}\sum _{i=1}^k i

Table [ α = a ( j ) ; β = b ( j ) ; γ = c ( j ) ; If [ ( α m o d β ) = 0 ( β m o d γ ) = 0 , j , Nothing ] , { j , 100 } ] { 1 , 13 , 16 , 28 , 31 , 43 , 46 , 58 , 61 , 73 , 76 , 88 , 91 } \text{Table}[\alpha =a(j);\beta =b(j);\gamma =c(j);\text{If}[(\alpha \bmod \beta )=0\land (\beta \bmod \gamma )=0,j,\text{Nothing}],\{j,100\}] \Rightarrow \{1,13,16,28,31,43,46,58,61,73,76,88,91\}

Which totals to 625 625 or 2 5 2 25^2 .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...