Triangular number that are also square

There exist triangular numbers that are also square

Wonder of wonders. I was very pleasantly surprised by a message from Chris Whitrow:

I just stumbled across your site and noticed your page on triangular and square numbers. I couldn't help dropping this note to point out the curious fact that there is also an infinite set of numbers which are simultaneously both triangular and square. There is a recurrence relation for generating them:

(1)	S(n+1) = 4·S(n)·[8·S(n) + 1]

Starting with S(1) = 1, S(2) = 36, and so on. Proof is fairly straightforward. Well, it seems curious that a thing can be both a triangle and a square, doesn't it?

Yes, of course. How can something be square and triangular simultaneously?

Well, I had to look through several books in my library till I discovered a discussion of these numbers in A. H. Beiler's Recreations in the Theory of Numbers. Beiler writes: "Eight triangles increased by unity produce a square," because

(2)	8·r(r + 1)/2 + 1 = 4r² + 4r + 1 = (2r + 1)².

(2) proves the converse as well: a square decreased by unity gives eight triangles. This simple rule explains the recurrence relation (1). However, (1) does not enumerate all such numbers. From (1), we get S(3) = 41616, whereas there is another number, 1225, that is both triangular and square: 1225 = 49·50/2 = 35².

The question was in fact posted as the problem E1473 (AMM, 1962, p. 168) by J.L. Pietepol and solved by A.V. Sylvester [Mathematical Morsels, p. 145, Mathematical Quickies, #186]. Let T_n = n(n + 1)/2 denote the nth triangular number. The solution follows from the observation that if T_n is a perfect square, so is T_4n(n+1). Indeed, let n(n + 1)/2 = k². Then 4n(n + 1) = 8k². Continue:

T_4n(n+1) = T_8k²	= 8k²(8k² + 1)/2 = 4k²(8k² + 1)
	= 4k²[4n(n + 1) + 1] = 4k²[4n² + 4n + 1]
	= 4k²(2n + 1)².

All such numbers can be found by solving a Pell equation: 8x² + 1 = y² which plays a prominent role in number theory.

Numbers Simultaneously Square and Triangular
8x² + 1 =	y²	Triangular number	Side of triangle	Side of square
8·1²+1 =	3²	1	1	1
8·6²+1 =	17²	36	8	6
8·35²+1 =	99²	1225	49	35
8·204²+1 =	577²	41616	288	204
8·1189²+1 =	3363²	1413721	1681	1189
8·6930²+1 =	19601²	48024900	9800	6930
8·40391²+1 =	114243²	1631432881	57121	40391

All such numbers can be obtained by squaring the members of the sequence generated from the recurrence relation

(3)	u_n = 6u_n-1 - u_n-2, n > 1, u₀ = 0, u₁ = 1,

There is also an explicit formula

(4)	u_n = (((1 + √2)²ⁿ - (1 - √2)²ⁿ)/(42))²

which can also be written as [Wells, p. 93]

(4)	u_n = [(17 + 12√2)ⁿ + (17 - 12√2)ⁿ - 2]/32.

([Wells, p. 93] also mentions that no triangular number may be a cube, or fourth or fifth power.)

Armando Guarnaschelli from Argentina found a very simple recurrence relation that generates all triangular numbers that are also square.

References I came across are listed below.

References

A. H. Beiler's Recreations in the Theory of Numbers, Dover, 1966
J. H. Conway, R. K. Guy, The Book of Numbers, Springer, 1996
R. Honsberger's Mathematical Morsels, MAA, 1978
G. M. Phillips, Mathematics Is Not a Spectator Sport, Springer, 2005
C. W. Trigg, Mathematical Quickies, Dover, 1985
D. Wells, The Penguin Dictionary of Curious and Interesting Numbers, Penguin Books, 1987

71534622