It is fairly well-known that ( 1 + 2 + 3 + . . . + ( n − 1 ) + n ) 2 ≡ 1 3 + 2 3 + 3 3 + . . . + ( n − 1 ) 3 + n 3
However, how many pairs of positive integers a , b where b > a and a = 1 are there such that the following holds? ( a + ( a + 1 ) + ( a + 2 ) + . . . + ( b − 1 ) + b ) 2 ≡ a 3 + ( a + 1 ) 3 + ( a + 2 ) 3 + . . . + ( b − 1 ) 3 + b 3
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.
The LHS of the last "equation" can be expressed as:
S = ( k = a ∑ b k ) 2 = ( k = 1 ∑ b k − k = 1 ∑ a − 1 k ) 2 = ( k = 1 ∑ b k ) 2 − 2 k = 1 ∑ b k k = 1 ∑ a − 1 k + ( k = 1 ∑ a − 1 k ) 2 = k = 1 ∑ b k 3 − 2 k = 1 ∑ b k k = 1 ∑ a − 1 k + k = 1 ∑ a − 1 k 3
If LHS = RHS , then
k = 1 ∑ b k 3 − 2 k = 1 ∑ b k k = 1 ∑ a − 1 k + k = 1 ∑ a − 1 k 3 ⟹ k = 1 ∑ b k k = 1 ∑ a − 1 k = k = a ∑ b k 3 = k = 1 ∑ b k 3 − k = 1 ∑ a − 1 k 3 = k = 1 ∑ a − 1 k 3
The above equation holds true only when b = 1 and a = 2 , which contradicts with the assumption of b > a . Therefore, there are no other pairs of ( a , b ) that the equation holds.
Problem Loading...
Note Loading...
Set Loading...
For positive integer n , define T n = 1 + 2 + ⋯ + n and C n = 1 3 + 2 3 + ⋯ + n 3 .
The identity we're given at the start is C n = T n 2 , which holds for all n .
To neaten up the notation, put c = a − 1 . We're told c > 0 .
The equation can then be written as
( T b − T c ) 2 = C b − C c = T b 2 − T c 2
Since b > a > c we can divide through by T b − T c to give
T b − T c = T b + T c
which can only happen when T c = 0 ; but this is impossible, since c > 0 ; so there are no other pairs of positive integers that satisfy the equation.