polygonal number
A polygonal number, or figurate number, is any value of the function
for integers and .A “generalized polygonal number”is any value of for some integer and any .For fixed , is called a -gonal or -polygonal number.For , we speak of a triangular number, a squarenumber or a square, a pentagonal number, and so on.
An equivalent definition of , by induction
on , is:
From these equations, we can deduce that all generalized polygonalnumbers are nonnegative integers.The first two formulas show that points can be arranged in aset of nested -gons, as in this diagram of and .
Polygonal numbers were studied somewhat by the ancients, as farback as the Pythagoreans, but nowadays their interestis mostly historical, in connection with this famous result:
Theorem: For any , any integer is thesum of some -gonal numbers.
In other words, any nonnegative integer is a sum of threetriangular numbers, four squares, five pentagonal numbers,and so on.Fermat made this remarkable statement in a letter to Mersenne.Regrettably, he never revealed the argument or proof that hehad in mind. More than a century passed before Lagrange provedthe easiest case: Lagrange’s four-square theorem. Thecase was demonstrated by Gauss around 1797, and thegeneral case by Cauchy in 1813.