Número poligonal

En matemáticas, un número poligonal es un número natural que puede recomponerse en un polígono regular. Los matemáticos de la Antigüedad descubrieron que los números podían disponerse con ciertas formas cuando los representaban mediante piedras o semillas.

Números poligonales 

El número 10 puede recomponerse como un triángulo (véase número triangular):
{|
| align="center" | 
|}

Sin embargo, el 10 no puede formar un cuadrado, pero el 9 sí (véase número cuadrado):
{|
| align="center" | 
|}
 
Algunos números, como el 36, pueden recomponerse tanto en un cuadrado como en un triángulo (véase número cuadrado triangular):
{|
|- align="center" valign="bottom"
|
|
|
|}

El método empleado para agrandar el polígono hasta el siguiente tamaño es extender dos brazos adyacentes por un punto y luego añadir los lados extra requeridos entre los puntos.

Fórmulas

Si  es el número de lados de un polígono, la fórmula para el -ésimo número -gonal  es

 

o
 

El -ésimo número -gonal también está relacionado con los números triangulares  de la siguiente manera:

 

Por lo tanto:

 

Para un número -gonal dado , se puede encontrar  mediante la fórmula

 

y a su vez se puede encontrar  calculando

 .

Cada número hexagonal es también un número triangular
Aplicando la fórmula anterior:
 

al caso de 6 lados, se obtiene:
 

pero sabiendo que:
 

resulta:
 

Esto demuestra que el -'esimo número hexagonal  es también el -ésimo número triangular . Se puede determinar la secuencia de los números hexagonales simplemente tomando los números triangulares impares:

1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, ...

n-ésimo número poligonal 

Si  es el número de lados de un polígono, entonces la fórmula para el -ésimo número poligonal de  lados es .

Propiedades
La siguiente tabla incluye algunas propiedades de las series definidas por los números poligonales. Son especialmente relevantes los resultados de la suma de los inversos de los números poligonales . Los primeros 6 valores en la columna "suma de inversos", para números triangulares a octagonales, provienen de una solución publicada al problema general, que también da una fórmula general para cualquier número de lados, en términos de la función digamma.

El OEIS evita los términos que usan prefijos griegos (por ejemplo, "octagonal") en favor de términos que usan números (es decir, "8-gonal").

Una propiedad de esta tabla se puede expresar mediante la siguiente identidad (consúltese ):

 

con

Números multipoligonales
Algunos números, como el 36, que es tanto cuadrado como triangular, pertenece a dos conjuntos de números poligonales. El problema de determinar, dados dos conjuntos de este tipo, todos los números que pertenecen a ambos se puede resolver reduciendo el problema a una ecuación de Pell. El ejemplo más simple es la secuencia de números cuadrados triangulares.

La siguiente tabla resume el conjunto de números -gonales -gonales para valores pequeños de  y .
 {| class="wikitable" border="1"
|-
! 
! 
! Secuencia
! Número OEIS
|-
|4
|3
|1, 36, 1225, 41616, 1413721, 48024900, 1631432881, 55420693056, 1882672131025, 63955431761796, 2172602007770041, 73804512832419600, 2507180834294496361, 85170343853180456676, 2893284510173841030625, 98286503002057414584576, 3338847817559778254844961, ...
| 
|-
|5
|3
|1, 210, 40755, 7906276, 1533776805, 297544793910, 57722156241751, 11197800766105800, 2172315626468283465, …
| 
|-
|5
|4
|1, 9801, 94109401, 903638458801, 8676736387298001, 83314021887196947001, 799981229484128697805801, ...
| 
|-
|6
|3
|Todos los números hexagonales también son triangulares.
| 
|-
|6
|4
|1, 1225, 1413721, 1631432881, 1882672131025, 2172602007770041, 2507180834294496361, 2893284510173841030625, 3338847817559778254844961, 3853027488179473932250054441, ...
| 
|-
|6
|5
|1, 40755, 1533776805, …
| 
|-
|7
|3
|1, 55, 121771, 5720653, 12625478965, 593128762435, 1309034909945503, 61496776341083161, 135723357520344181225, 6376108764003055554511, 14072069153115290487843091, …
| 
|-
|7
|4
|1, 81, 5929, 2307361, 168662169, 12328771225, 4797839017609, 350709705290025, 25635978392186449, 9976444135331412025, …
| 
|-
|7
|5
|1, 4347, 16701685, 64167869935, …
| 
|-
|7
|6
|1, 121771, 12625478965, …
| 
|-
|8
|3
|1, 21, 11781, 203841, …
| 
|-
|8
|4
|1, 225, 43681, 8473921, 1643897025, 318907548961, 61866420601441, 12001766689130625, 2328280871270739841, 451674487259834398561, 87622522247536602581025, 16998317641534841066320321,  …
| 
|-
|8
|5
|1, 176, 1575425, 234631320, …
| 
|-
|8
|6
|1, 11781, 113123361, …
| 
|-
|8
|7
|1, 297045, 69010153345, …
| 
|-
|9
|3
|1, 325, 82621, 20985481, …
|  
|-
|9
|4
|1, 9, 1089, 8281, 978121, 7436529, 878351769, 6677994961, 788758910641, 5996832038649, 708304623404049, 5385148492712041, 636056763057925561, ...
|  
|-
|9
|5
|1, 651, 180868051, …
|  
|-
|9
|6
|1, 325, 5330229625, …
|  
|-
|9
|7
|1, 26884, 542041975, …
|  
|-
|9
|8
|1, 631125, 286703855361, …
|  
|-
|}

En algunos casos, como  y , no hay números en ambos conjuntos distintos del 1.

El problema de encontrar números que pertenezcan a tres conjuntos poligonales es más difícil. Una búsqueda por computadora de números triangulares cuadrados pentagonales ha arrojado solo el valor trivial de 1, aunque aún no se ha encontrado una prueba de que no exista algún número que pueda pertenecer a las tres clases.

El número 1225 es hecatonicositetragonal (), hexacontagonal (), icosienneagonal (), hexagonal, cuadrado y triangular.

El único conjunto poligonal que está contenido completamente en otro conjunto poligonal es el conjunto de números hexagonales, que está contenido en el conjunto de números triangulares.

Véase también 
 Número figurado
 Número poligonal centrado

Referencias

Bibliografía 
The Penguin Dictionary of Curious and Interesting Numbers, David Wells (Penguin Books, 1997) [ISBN 0-14-026149-4] .

Números figurados