Find the sum of all positive integers k such that k ( k + 1 5 ) 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.
We require that k ( k + 1 5 ) = n 2 for some positive integer n . This equation can be written as
k 2 + 1 5 k = n 2 ⟹ ( k + 2 1 5 ) 2 − 4 2 2 5 = n 2 ⟹ ( 2 k + 1 5 ) 2 − 2 2 5 = 4 n 2
⟹ ( 2 k + 1 5 ) 2 − ( 2 n ) 2 = 2 2 5 ⟹ ( ( 2 k + 1 5 ) + 2 n ) ( ( 2 k + 1 5 ) − 2 n ) = 2 2 5 .
Now consider the factorization pairs of 2 2 5 = 3 2 5 2 , ascribing the largest factor to ( 2 k + 1 5 ) + 2 n and the smallest to ( 2 k + 1 5 ) − 2 n , and then solving for k . There are 5 such factorizations:
( 2 k + 1 5 ) + 2 n = 2 2 5 , ( 2 k + 1 5 − 2 n = 1 ⟹ 4 k + 3 0 = 2 2 6 ⟹ k = 4 9 ,
( 2 k + 1 5 ) + 2 n = 7 5 , ( 2 k + 1 5 ) − 2 n = 3 ⟹ 4 k + 3 0 = 7 8 ⟹ k = 1 2 ,
( 2 k + 1 5 ) + 2 n = 4 5 , ( 2 k + 1 5 ) − 2 n = 5 ⟹ 4 k + 3 0 = 5 0 ⟹ k = 5 ,
( 2 k + 1 5 ) + 2 n = 2 5 , ( 2 k + 1 5 ) − 2 n = 9 ⟹ 4 k + 3 0 = 3 4 ⟹ k = 1 ,
( 2 k + 1 5 ) + 2 n = 1 5 , ( 2 k + 1 5 ) − 2 n = 1 5 ⟹ 4 k + 3 0 = 3 0 ⟹ k = 0 .
The desired sum of positive integers k is then 4 9 + 1 2 + 5 + 1 + 0 = 6 7 .
The key fact we use here repeatedly is that if u and v are coprime integers and u v is a square number, then each of u and v is also a square number (this is easy to prove - just consider occurrences of prime factors).
The two factors k and k + 1 5 may or may not be coprime. Indeed, g cd ( k , k + 1 5 ) = g cd ( k , 1 5 ) ∈ { 1 , 3 , 5 , 1 5 } . We need to look at each of these cases separately.
Case g cd ( k , k + 1 5 ) = 1 :
k = a 2 , k + 1 5 = b 2
b 2 − a 2 = ( b − a ) ( b + a ) = 1 5
There are two sub-cases: b − a = 1 , b + a = 1 5 : a = 7 , b = 8 ; k = 4 9
b − a = 3 , b + a = 5 : a = 1 , b = 4 ; k = 1
This is the only case where the two factors are automatically coprime. For the other cases, we need to divide through by the common factor first.
Case g cd ( k , k + 1 5 ) = 3 :
k = 3 k ′
k ′ = a 2 , k ′ + 5 = b 2
b 2 − a 2 = ( b − a ) ( b + a ) = 5
b − a = 1 , b + a = 5 : a = 2 , b = 3 ; k = 1 2 .
Case g cd ( k , k + 1 5 ) = 5 :
k = 5 k ′
k ′ = a 2 , k ′ + 3 = b 2
b 2 − a 2 = ( b − a ) ( b + a ) = 3
b − a = 1 , b + a = 3 : a = 1 , b = 2 ; k = 5 .
Case g cd ( k , k + 1 5 ) = 1 5 :
k = 1 5 k ′
k ′ = a 2 , k ′ + 1 = b 2
But there are no consecutive positive square numbers; so no solutions in positive integers for k in this case.
Hence the full solution set for k is { 1 , 5 , 1 2 , 4 9 } , with sum 6 7 .
Let a be a positive integer such that k^2+15k=a^2. Then 4a^2+225 must be a perfect square, say it is equal to b^2 where b is another positive integer. Then (b+2a)(b-2a)=225. Writing 225 as the product of 1 and 225, 3 and 75, 5 and 45, and 9 and 25 (the option 225=15.15 gives b=0 which makes k negative). We get the values of k as 49,12,5,1 whose sum is 67
Problem Loading...
Note Loading...
Set Loading...
We note that k ( k + 1 5 ) is always even. Therefore, we can write k ( k + 1 5 ) = ( 2 n ) 2 , where n is a positive integer. Then, we have:
k ( k + 1 5 ) k 2 + 1 5 k − 4 n 2 ⟹ k = 4 n 2 = 0 = 2 1 5 2 + ( 4 n ) 2 − 1 5 Solving the quadratic for k
For k to be an integer, 1 5 2 + ( 4 n ) 2 must be an odd perfect square. This means that 1 5 and 4 n are the smaller of a Pythagorean triple . The relevant Pythagorean triples are:
8 , 1 5 , 1 7 1 5 , 2 0 , 2 5 1 5 , 3 6 , 3 9 1 5 , 1 1 2 , 1 1 3 ⟹ n = 4 8 = 2 ⟹ n = 4 2 0 = 5 ⟹ n = 4 3 6 = 9 ⟹ n = 4 1 1 2 = 2 8 ⟹ k = 2 1 7 − 1 5 = 1 ⟹ k = 2 2 5 − 1 5 = 5 ⟹ k = 2 3 9 − 1 5 = 1 2 ⟹ k = 2 1 1 3 − 1 5 = 4 9
Therefore, the sum of all possible k s is 1 + 5 + 1 2 + 4 9 = 6 7 .