Polygonal number
A polygonal number is a figurate number that represents the number of dots arranged in the shape of a regular polygon with a given number of sides, generalizing familiar sequences such as triangular numbers (3 sides), square numbers (4 sides), and pentagonal numbers (5 sides) to polygons with any number of sides r \geq 3.[1][2] The general formula for the n-th r-gonal number, denoted P(r, n), is P(r, n) = \frac{n^2 (r-2) - n (r-4)}{2}, where n is a positive integer; this expression arises from the cumulative sum of terms that add successive layers to the polygonal figure.[1][2] For n = 1, every polygonal number is 1, forming the initial single dot at the center.[1] Specific cases include triangular numbers, given by P(3, n) = \frac{n(n+1)}{2} (e.g., 1, 3, 6, 10, 15); square numbers, P(4, n) = n^2 (e.g., 1, 4, 9, 16, 25); and pentagonal numbers, P(5, n) = \frac{n(3n-1)}{2} (e.g., 1, 5, 12, 22, 35).[1][2] These sequences appear in various mathematical contexts, such as binomial coefficients and lattice point counts.[1] Polygonal numbers have been studied since antiquity by the Pythagoreans, who explored figurate numbers geometrically.[2] In the 17th century, Pierre de Fermat conjectured that every positive integer can be expressed as the sum of at most r r-gonal numbers for any r \geq 3; Carl Friedrich Gauss proved the case for triangular numbers in 1796, and Augustin-Louis Cauchy established the general theorem in 1813.[3][2] This result connects polygonal numbers to broader themes in additive number theory, including representations as sums of squares and other quadratic forms.[3]Definition and Basic Concepts
General Definition
A polygonal number is a figurate number that represents the number of dots or points arranged to form the shape of a regular polygon with [n](/page/N+) \geq 3 sides.[1] These numbers generalize patterns observed in simpler geometric arrangements, capturing the structure of polygons through successive layers of points.[4] The [k](/page/K)-th [n](/page/N+)-gonal number, denoted P(n, k), quantifies the total points in the [k](/page/K)-th iteration of such a figure, constructed by adding successive polygonal layers around a central point or along the sides of the polygon.[1] Here, [n](/page/N+) specifies the number of sides, while [k](/page/K) indicates the term's position in the sequence for that polygon type.[5] The concept originated in ancient Greek mathematics, with early explorations by Pythagoreans around 500 BC and a formal definition provided by Hypsicles circa 150 BC, linking polygonal numbers to arithmetic progressions.[4] Systematic study advanced in the 16th and 17th centuries, notably through Pierre de Fermat's 1638 proposal of the polygonal number theorem—that every positive integer is a sum of at most n n-gonal numbers—and Blaise Pascal's 1654 treatise on the arithmetical triangle, which connected figurate numbers to combinatorial patterns.[1][6] Unlike broader categories of figurate numbers, which encompass one-dimensional linear arrangements or three-dimensional polyhedral forms, polygonal numbers are distinctly limited to two-dimensional representations of regular polygons.[1] The simplest case arises with triangular numbers, P(3, k).[5]Visual and Geometric Interpretation
Polygonal numbers can be visualized as arrangements of dots forming the filled shape of a regular polygon with n sides, constructed layer by layer to represent the k-th polygonal number. The process begins with a single central dot for k=1, which forms the initial "layer" or core of the figure. Subsequent layers are added around this core, with each new layer consisting of dots placed along the sides of the emerging polygon, where corners are shared between adjacent sides to avoid double-counting. This layered buildup creates a symmetric, discrete pattern that grows outward, with the number of dots added per layer increasing progressively to maintain the polygonal symmetry.[1][5] In this geometric construction, each layer intuitively expands the figure by encircling the previous one, adding dots in a way that forms straight edges along each side while ensuring the overall shape remains a regular n-gon. For instance, the incremental dots per layer build upon the prior structure, resulting in a cumulative total that visually scales with the polygon's size. This method emphasizes the additive nature of the arrangement, where the shared corners and aligned edges prevent overlaps and maintain uniformity.[4][1] For n=3, the triangular numbers appear as dots arranged in an equilateral triangle, with each layer adding a new row of dots parallel to the base, forming a stepped triangular lattice that approximates the continuous triangle shape. Similarly, for n=4, square numbers form a square lattice of dots, where layers add perimeter dots around the inner square, creating nested squares that highlight the orthogonal grid alignment. These visualizations illustrate how higher n values extend the pattern to pentagons, hexagons, and beyond, with dots positioned at lattice points to evoke the polygon's vertices and edges.[5][4] Unlike continuous polygonal shapes defined by smooth boundaries and areas in Euclidean geometry, polygonal numbers focus solely on the discrete count of dots at integer coordinates, representing a finite, countable approximation rather than an infinite or filled region. This distinction underscores their role as figurate numbers, bridging arithmetic sequences with geometric intuition through point-based configurations.[1][4]Specific Examples
Triangular Numbers
Triangular numbers constitute the polygonal numbers for the case of triangles, with 3 sides (r = 3), forming the simplest non-trivial sequence in this family.[7] The first few terms of the sequence are 1, 3, 6, 10, 15, and so on, generated by accumulating successive integers in a triangular arrangement.[8] These numbers can be interpreted geometrically as the count of dots arranged in an equilateral triangle, with the k-th triangular number representing the total dots up to k rows.[7] Algebraically, the k-th triangular number T_k is given by the formula T_k = \sum_{i=1}^k i = \binom{k+1}{2}, where the summation reflects the arithmetic progression of natural numbers, and the binomial coefficient arises from combinatorial selection principles.[8] In combinatorics, triangular numbers hold significant applications, notably as the sum of the first k natural numbers, which underpins many counting problems in discrete mathematics.[7] They also feature prominently in the hockey-stick identity, which states that \sum_{i=r}^n \binom{i}{r} = \binom{n+1}{r+1}; for r = 1, this directly yields T_n = \sum_{i=1}^n i, providing a binomial proof for the summation formula and extending to broader enumerative identities.[9] A distinctive combinatorial appearance of triangular numbers occurs along the second diagonal of Pascal's triangle, where the entries 1, 3, 6, 10, and subsequent terms align precisely with this sequence, illustrating their embedded role in binomial expansions.[10]Square Numbers
Square numbers, also known as quadratic numbers or perfect squares, represent the second type of polygonal numbers, corresponding to the case where the polygon has four sides (r = 4 in the general polygonal formula). They are integers of the form k^2, where k is a positive integer, and form the sequence 1, 4, 9, 16, 25, 36, and so on.[11][12] Geometrically, square numbers can be visualized as arrangements of dots or objects in a square grid with k dots along each side, forming a k \times k lattice that encloses an area proportional to k^2. This interpretation underscores their role as figurate numbers, where the incremental addition of a "gnomon"—a border of $2k - 1 units—builds the next larger square from the previous one.[11] In number theory, these numbers are fundamental, appearing in contexts such as Diophantine equations and quadratic residues. A notable property is their connection to the Pythagorean theorem, which states that in a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides (a^2 + b^2 = c^2); this can be visualized by constructing squares on each side of the triangle, demonstrating the equality of areas through dissection and rearrangement.[13][11] One distinctive relation of square numbers to other polygonal sequences is that every square number equals the sum of two consecutive triangular numbers: the k-th square k^2 is T_{k-1} + T_k, where T_m = \frac{m(m+1)}{2} is the m-th triangular number. For example, $9 = 6 + 3, corresponding to the third and second triangular numbers. This identity highlights interdependencies among low-order polygonal numbers and can be illustrated geometrically by combining two adjacent rows of a triangular arrangement to form a square.[11]Pentagonal and Hexagonal Numbers
Pentagonal numbers are the fifth polygonal numbers, representing the number of dots that form a figure composed of successive layers arranged in the shape of a regular pentagon. The sequence begins with 1, 5, 12, 22, 35, and continues accordingly. The k-th pentagonal number is given by P(5, k) = \frac{k(3k-1)}{2}.[14][15] Geometrically, these numbers arise from starting with a central dot and adding layers around it, where each layer consists of dots along the five sides of the pentagon; due to the odd number of sides, the layer additions do not align as symmetrically as in even-sided polygons, resulting in a more irregular incremental structure compared to triangular or square figures.[15][16] Hexagonal numbers, the sixth polygonal numbers, denote the count of dots forming a hexagonal figure through layered additions. Their sequence starts as 1, 6, 15, 28, 45, and so on. The k-th hexagonal number is given by P(6, k) = k(2k-1).[17][18] In geometric terms, they are constructed by surrounding a central dot with successive hexagonal layers, each comprising six sides; this arrangement aligns naturally with the hexagonal lattice, akin to the structure observed in centered hexagonal patterns and extending to three-dimensional interpretations like cubic close-packing efficiencies in sphere arrangements.[18] A notable application of pentagonal numbers appears in Euler's pentagonal number theorem, which relates the infinite product for the partition generating function to a series involving generalized pentagonal numbers as exponents, providing key insights into integer partitions.[19][20]Mathematical Formulas
General Formula
The general formula for the nth k-gonal number, denoted P(n, k), is given by P(n, k) = n + \frac{n(n-1)(k-2)}{2}. This expression arises from the geometric construction where the kth term adds layers of dots around a central polygon, with the number of added dots in each successive layer following an arithmetic progression dependent on the number of sides k.[5][21][1] An equivalent closed-form expression, quadratic in the index n with coefficients depending on the number of sides k, is P(n, k) = \frac{n^2 (k-2) - n (k-4)}{2}. This form highlights the polynomial nature of the sequence for fixed k, where the leading coefficient \frac{k-2}{2} scales quadratically with n.[1][5] To verify the formula, consider specific cases. For k=3 (triangular numbers), it reduces to P(n, 3) = \frac{n(n+1)}{2}, the standard nth triangular number. For k=4 (square numbers), it simplifies to P(n, 4) = n^2, matching the nth square. These reductions confirm the formula's consistency with well-known special cases.[1][21] For integer values n \geq 1 and k \geq 3, P(n, k) is always an integer, as the formula represents the total count of dots in a discrete geometric arrangement, equivalent to a sum of consecutive integers adjusted by the side length. This integer property holds due to the even denominator dividing the numerator, which combines even and odd terms appropriately for integer inputs.[5][21]Derivation of the Formula
The derivation of the general formula for the nth k-gonal number, denoted P(n, k), begins with the geometric construction of the figure as a central dot surrounded by successive layers or gnomons. The central dot contributes 1 to the total. Each subsequent layer m (for m = 1 to n-1) adds a gnomon consisting of $1 + m(k-2) new dots, where k \geq 3 is the number of sides and n \geq 1 is the order of the polygonal number.[21] This incremental addition reflects the structure: the "1" accounts for the corner dot shared across sides in the layer, while m(k-2) accounts for the additional dots along the extending sides.[5] Thus, the total number of dots is expressed as the summation P(n, k) = 1 + \sum_{m=1}^{n-1} \left[1 + m(k-2)\right]. This separates into P(n, k) = 1 + \sum_{m=1}^{n-1} 1 + (k-2) \sum_{m=1}^{n-1} m = 1 + (n-1) + (k-2) \cdot \frac{(n-1)n}{2}, using the standard formulas for the sum of the first n-1 natural numbers and the sum of n-1 ones.[21] Simplifying the expression yields P(n, k) = n + \frac{(k-2)n(n-1)}{2}. [5] Further algebraic manipulation confirms the quadratic form. Rewriting the combined term gives P(n, k) = \frac{2n + (k-2)n(n-1)}{2} = \frac{(k-2)n^2 - (k-4)n}{2}, which is the standard closed-form expression for the nth k-gonal number. This derivation relies directly on the summation of layer contributions and holds for all k \geq 3.[21] An equivalent approach expresses P(n, k) as \sum_{i=1}^n [(k-2)i - (k-3)], which simplifies identically using arithmetic series sums, emphasizing the linear progression in each layer's addition.[5]Key Properties and Identities
Interrelations Among Polygonal Numbers
Polygonal numbers exhibit notable overlaps, where certain integers belong to multiple polygonal sequences. For example, 1 is the first term in every polygonal sequence, while 36 serves as both the 6th square number and the 8th triangular number. Such intersections are not isolated; infinitely many square-triangular numbers exist, arising as solutions to the Diophantine equation m^2 = \frac{n(n+1)}{2}, which transforms into the Pell equation x^2 - 2y^2 = \pm 1.[1] Transformation formulas reveal how polygonal numbers interrelate through lower-order sequences, particularly triangular numbers. The n-th k-gonal number can be expressed as P_k(n) = n + (k-2) T_{n-1}, where T_m = \frac{m(m+1)}{2} is the m-th triangular number; this relation builds higher polygonal forms by scaling and shifting triangular contributions. Similar expressions connect other sequences, such as pentagonal numbers as P_5(n) = n + 3 T_{n-1}. These formulas underscore triangular numbers as a foundational basis for the broader family.[5][1] In number theory, interrelations among polygonal numbers often involve Diophantine equations, whose integer or rational solutions identify multi-polygonal numbers or generalized representations. For instance, determining if a number N is k-gonal requires solving $8(k-2)N + (k-4)^2 = s^2 for integer s, yielding the index n = \frac{s + k - 4}{2(k-2)}; rational solutions extend this to non-integer indices, representing rational polygonal values. Fermat's polygonal number theorem further links them by asserting that every natural number is the sum of at most k k-gonal numbers for k \geq 3.[1][3] The density of k-gonal numbers diminishes with increasing k, reflecting their asymptotic growth P_k(n) \approx \frac{k-2}{2} n^2; up to a large N, the count is roughly \sqrt{\frac{2N}{k-2}}, highlighting sparser distributions for higher polygons compared to squares or triangles.[1]Specific Cases: Hexagonal as Triangular and Other Links
One notable identity among polygonal numbers is that every hexagonal number is also a triangular number. The k-th hexagonal number is given by P(6,k) = k(2k-1).[1] This matches the formula for the (2k-1)-th triangular number, T_{2k-1} = (2k-1)2k/2 = k(2k-1).[7] To see this explicitly, substitute n=6 into the general polygonal formula P(n,k) = \frac{k((n-2)k - (n-4))}{2}, yielding \frac{k(4k - 2)}{2} = 2k^2 - k = k(2k-1), which is identical to the triangular form.[1] Another key link connects triangular numbers to squares through the identity $8T_m + 1 = (2m + 1)^2 for any triangular number T_m = m(m+1)/2.[7] This follows from direct substitution: $8 \cdot \frac{m(m+1)}{2} + 1 = 4m(m+1) + 1 = 4m^2 + 4m + 1 = (2m + 1)^2.[7] Geometrically, this can be visualized by arranging eight copies of the triangular figure around a central point to form a larger square with side length $2m + 1.[7] Centered hexagonal numbers, given by $3k^2 - 3k + 1, exhibit a relation to cubes: the sum of the first n such numbers equals n^3.[22] This identity underscores further connections between figurate numbers and higher powers.[22]Sequences and Enumerations
Table of Initial Values
The table below enumerates the first ten values (for k = 1 to $10) of the k-th polygonal number for polygons with n = 3 to $8 sides, corresponding to triangular, square, pentagonal, hexagonal, heptagonal, and octagonal numbers, respectively. These values are computed using the general formula for the k-th n-gonal number, P(n, k) = \frac{k[(n-2)k - (n-4)]}{2}.[1]| k | Triangular (n=3) | Square (n=4) | Pentagonal (n=5) | Hexagonal (n=6) | Heptagonal (n=7) | Octagonal (n=8) |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 3 | 6 | 9 | 12 | 15 | 18 | 21 |
| 4 | 10 | 16 | 22 | 28 | 34 | 40 |
| 5 | 15 | 25 | 35 | 45 | 55 | 65 |
| 6 | 21 | 36 | 51 | 66 | 81 | 96 |
| 7 | 28 | 49 | 70 | 91 | 112 | 133 |
| 8 | 36 | 64 | 92 | 120 | 148 | 176 |
| 9 | 45 | 81 | 117 | 153 | 189 | 225 |
| 10 | 55 | 100 | 145 | 190 | 235 | 280 |