O teorema dos números poligonais
Os gregos já arrumavam pedrinhas em figuras. Com 1, 3, 6, 10 pedrinhas se formam triângulos; com 1, 4, 9, 16, quadrados; com 1, 5, 12, 22, pentágonos. Esses são os números poligonais.
A fórmula O $n$-ésimo número com $k$ lados se obtém somando uma progressão aritmética que começa em 1 e cresce de $k - 2$ em $k - 2$:
$$P_k(n) = 1 + (k-1) + (2k-3) + \cdots = \frac{n\,\big((k-2)n - (k-4)\big)}{2}.$$Para $k = 3$ vêm os triangulares $\frac{n(n+1)}{2}$: 1, 3, 6, 10, 15, … Para $k = 4$, os quadrados $n^2$. Para $k = 5$, os pentagonais $\frac{n(3n-1)}{2}$: 1, 5, 12, 22, 35, … Vamos contar também o zero, $P_k(0) = 0$.