OFFSET
1,1
COMMENTS
a(n) is the sum of two positive squares in only one way. See the Dickson reference, (B) p. 227.
a(n) is the hypotenuse of two and only two right triangles with integral legs (modulo leg exchange). See the Dickson reference, (A) p. 227.
In 1640 Fermat generalized the 3,4,5 triangle with the theorem: A prime of the form 4n+1 is the hypotenuse of one and only one right triangle with integral arms. The square of a prime of the form 4n+1 is the hypotenuse of two and only two... The cube of three and only three...
REFERENCES
L. E. Dickson, History of the Theory of Numbers, Volume II, Diophantine Analysis. Carnegie Institution Publ. No. 256, Vol II, Washington, DC, 1920, p. 227.
Morris Kline, Mathematical Thought from Ancient to Modern Times, 1972, pp. 275-276.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Jorma K. Merikoski, Pentti Haukkanen, and Timo Tossavainen, The congruence x^n = -a^n (mod m): Solvability and related OEIS sequences, Notes. Num. Theor. Disc. Math. (2024) Vol. 30, No. 3, 516-529. See p. 521.
FORMULA
From Amiram Eldar, Dec 02 2022: (Start)
Product_{n>=1} (1 + 1/a(n)) = A243380
Product_{n>=1} (1 - 1/a(n)) = A088539. (End)
EXAMPLE
a(7) = 2809 is the hypotenuse of triangles 1241, 2520, 2809 and 1484, 2385, 2809, and only of these.
a(7) = 53^2 = 2809 = 45^2 + (4*7)^2, and this is the only way. - Wolfdieter Lang, Jan 13 2015
MATHEMATICA
Select[4 Range[96] + 1, PrimeQ]^2 (* Michael De Vlieger, Dec 27 2016 *)
PROG
(PARI) fermat(n) = { for(x=1, n, y=4*x+1; if(isprime(y), print1(y^2" ")) ) }
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Cino Hilliard, Mar 16 2003
EXTENSIONS
Edited: Name changed, part of old name as comment. Comments added and changed. Dickson reference added. - Wolfdieter Lang, Jan 13 2015
STATUS
approved