Find the largest integer satisfying the following conditions: (i) can be expressed as the difference of two consecutive cubes; (ii) is a perfect square.
This problem is a part of Tessellate S.T.E.M.S. (2019)
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.
Since n 2 = 3 k 2 + 3 k + 1 , we rearrange terms to get ( 2 n ) 2 − 3 ( 2 k + 1 ) 2 = 1 and using your favorite Pell equation solution method, we get a sequence of solutions n = 1 , 1 3 , 1 8 1 , 2 5 2 1 , … . Here it is in OEIS . There is a remark in the OEIS entry that each such n is a sum of consecutive squares, which means that 2 n − 1 is a square. (The sequence 1 , 5 , 1 9 , 7 1 , … of square roots also appears in the solutions to the same Pell equation, so that should give a road map to the proof, although I have not written it out.)
Anyway, assuming this fact, if 2 n + 7 9 is also a square, say a 2 , then we get a 2 − b 2 = 8 0 for some b . So a − b and a + b are factors of 8 0 with the same parity. The possible choices are ( 2 , 4 0 ) , ( 4 , 2 0 ) , ( 8 , 1 0 ) , which lead to ( a , b ) = ( 2 1 , 1 9 ) , ( 1 2 , 8 ) , ( 9 , 1 ) respectively. This leads to n = 1 8 1 , 3 2 . 5 , 1 respectively. Two of those actually appear in the sequence of solutions, and the larger of the two is 1 8 1 .