The squares of triangular numbers 1 and 6 are triangular numbers 1 and 36.

T1^2 = 1 * 1 = 1 = T1

T3^2 = 6 * 6 = 36 = T8

Are there additional triangular numbers whose squares form a triangular number?

(In reply to

re(2): Solution by Harry)

Harry:

I don't think you are quite out of the woods yet. There are two holes in the proof.

Problem 1: It is not, for instance, correct that 14^2*15^2 can only be split into a product of two squares in one way. It equals 7^2*30^2 and 42^2*5^2 and 1^2*210^2. Also, note that 3^2*4^2 = 6^2*2^2, where both of the squares are even. However, one of the terms must be roughly twice the other, so this can probably be dealt with.

Problem 2: You are assuming that either 2b and (b+1) are squares, or b and 2(b+1) are squares, but this is also not proved. It does turn out to be true, however. Because b and (b+1) are relatively prime, any prime factor greater than 2 is necessarily represented entirely in one term or another. But that it is not necessarily the case with the factor of 2. 2b and (b+1), or b and 2(b+1), could conceivably both be 2 times a square. But if 2b and (b+1) are both 2 times a square, then b and 2(b+1) are both squares. And if b and 2(b+1) are both 2 times a square, then 2b and (b+1) are both squares. So it is always true that either 2b and (b+1) are squares, or b and 2(b+1) are squares.

So now I am agreeing with your conclusion, Harry. I have fixed problem 2, and a little hand-waving can be used to fix problem 1.

Also, I feel something more elegant just out of reach. Something about the problem 2 argument seems like it might get us directly to 'a' only being 1 or 3.