3.

2 Números poligonales, primos y perfectos MM-517

Números poligonales, primos y perfectos

Los números poligonales, que fueron estudiados por los pitagóricos, resultan de
una ingenua transferencia de ideas geométricas a la teoría de números.
Los pitagóricos solían representar los números mediante puntos en un pergamino
o piedrecillas en la arena y los clasicaban según las formas poligonales de estas
distribuciones de puntos, es decir, asociaban los números a guras geométricas
obtenidas por la disposición regular de puntos, cuya suma determina el número
representado. Así obtenían los diversos tipos de números poligonales o gurados:

• Los número triangulares: Nicomaco indica que los números triangulares,

los poligonales más simples, forman la sucesión 1, 3, 6, 10, 15, ... ,

cuyos términos se obtienen a partir de 1 como suma de números naturales suce-
sivos:

1 = 1
1 + 2 = 3
1 + 2 + 3 = 6
1 + 2 + 3 + 4 = 10
1 + 2 + 3 + 4 + 5 = 15

Los griegos llamaban triangulares a los números que correspondían a dispo-

siciones de piedrecillas formando triángulos. Los cuatro primeros números trian-
gulares son los siguientes:

FIGURA...

• Los número cuadrados: Llamaban cuadrados a aquellos números que se

obtenían al distribuir puntos o piedrecillas de modo que la imagen obtenida fuese

la de un cuadrado. Aquí tienes los cuatro primeros números cuadrados:

FIGURA...

• Los número pentagonales: De forma análoga, los números pentagonales

estaban asociados con la forma de pentágono. Los primeros son los siguientes:

FIGURA...

1
3.2 Números poligonales, primos y perfectos MM-517

En general, parece que los griegos se equivocaron al atribuir mucha importancia

a los números poligonales. No hay grandes teoremas sobre ellos, excepto quizás
los dos siguientes. El primero es el teorema conjeturado por Bachet de Méziriac
(1621) (en su edición de Diophantus) que cada entero positivo es la suma de cua-
tro cuadrados enteros. Esto era probado por Lagrange (1770). Una generalización,
que Fermat (1670) armó sin prueba, es que todo entero positivo es la suma de
n números n-agonales.Esto fue probado por Cauchy (1813a), aunque la prueba es
un poco decepcionante porque todos los números excepto cuatro pueden ser 0 o
1.Una breve prueba de Cauch's ha dado el teorema de Nathanson (1987). El otro
teorema notable sobre los números poligonales es la fórmula

∞ ∞
2 2
Y X
n −k)/2
(1 − x ) = 1 + (−1)k (x(3k + x(3k +k)/2
)
n=1 k=1

probado por Euler (1750) y conocido como el teorema del número pentagonal
de Euler's, ya que los exponentes (3k 2 − k)/2 son números pentagonales.

El teorema de los cuatro cuadrados y el teorema del número pentagonal fueron

ambos absortos alrededor de 1830 en la teoría de las funciones theta de Jacobi's,
una teoría más amplia.

Números Primos

Los números primos también se consideraron dentro del marco geométrico, como
los números sin representación rectangular. Un número primo al no tener divisores
aparte de sí mismo y 1, solo tiene una representación lineal. Por supuesto, esto
es simplemente una rearmación de la denición de primo, y la mayoría de los
teoremas sobre números primos requieren ideas mucho más poderosas; sin embar-
go, a los griegos se les ocurrió una joya. Esta es la prueba de que hay innitos
números primos en el Libro IX de los Elementos de Euclided's. Dada cualquier
colección nita de primos p1 , p2 , ..., pn , podemos encontrar otra considerando

p = p1 p2 ...pn+1
Este número no es divisible por p1 , p2 , ..., pn (cada uno deja el resto 1).Por tanto,
p en sí mismo es un primo, y p >p1 , p2 , ..., pn , o si no tiene un divisor principal
6= p1 , p2 , ..., pn

2
3.2 Números poligonales, primos y perfectos MM-517

Números Perfectos

Un número perfecto es aquel que es igual a la suma de sus divisores (incluido 1

pero excluyéndose a sí mismo). Por ejemplo 6 = 1 + 2 + 3 es un número perfecto,
como es 28 = 1 + 2 + 4 + 7 + 14.
Aunque este concepto se remonta a los pitagóricos, sólo se conocen dos teore-
mas notables sobre los números perfectos. Euclides concluye el Libro IX de los
Elementos demostrando que si 2n − 1 es primo,