Evolucin histrica de la teora de nmeros

En
mecnica,
son
utilizadas
las
llamadas ruedas dentadas, como las
mostradas en la figura 1. Al colocar
juntas
dos
ruedas
de
estas
caractersticas, de tal manera que
queden engranadas, el movimiento de
estas se predice de acuerdo a la
cantidad de dientes de cada rueda. Es
as como, en el ejemplo dado por
Stewart (2007):
una rueda tiene 30 dientes y

7.

otra tiene

Figura 1. Ruedas dentadas

la

Si giramos la rueda grande exactamente una vez, qu

hace la rueda ms pequea? Vuelve a la posicin inicial despus de

7,14, 21

28

vueltas. As, las

vueltas finales, para completar

30 , la adelantan solo dos vueltas. Este nmero resulta porque es el

resto de dividir

30

por

7 . (p. 109)

De esta manera la divisin con resto presenta una aplicacin en el movimiento

de las ruedas dentadas.
En el ejemplo anterior se ha nombrado un concepto matemtico importante: la
divisin con resto. Este concepto hace parte de lo que hoy conocemos como
teora de nmeros. A continuacin se dar una breve descripcin de la historia
de la teora de nmeros y se mostrara la biografa de algunos de los
matemticos que ayudaron a desarrollarla.
Introduccin
Al observar una lista de nmeros naturales como

1,2, 3, 4, 5,6, 7, 8,9, 10, 11 , tal

vez no notemos algo interesante, y esto se debe a la simplicidad que

representan estos nmeros. Pero una mirada ms atenta y un anlisis ms
amplio de estos nmeros conllevan ciertas preguntas, lo cual llevo a las
matemticas a niveles ms avanzados cuando se encontraron respuestas a
muchas de esas preguntas.
En la obra de Euclides, se encuentran las primeras contribuciones a la teora de
nmeros y fue desarrollada ms adelante por Diofanto. Despus de la obra de
Diofanto, muchos matemticos se encaminaron al estudio de esta rama de las
matemticas, entre los que se encuentran Fermat, Euler, Lagrange, y Gauss,
cuyos aportes permitieron encontrar relaciones con otras reas de la
matemtica.
En nuestros das encontramos varias aplicaciones de la teora de nmeros al
mundo real, sin embargo, esto no siempre fue as (Stewart, 2007, p.101).

Los nmeros primos

Euclides de Alejandra (325-265 a.c.)

En la multiplicacin de los nmeros

naturales, se puede observar una
propiedad recurrente: al multiplicar
dos o ms nmeros se obtiene otro
nmero natural. Cada uno de estos
nmeros que se multiplican, son
como pequeos bloques mediante
los cuales se construyen otros
bloques ms grandes, es decir,
existen nmeros que se pueden
descomponer
en
partes
ms
pequeas. As por ejemplo
obtiene de
lo

5 3

podemos

15

y tambin

formar

se

16

mediante

8 2 . Esto se puede verificar con

El libro escrito por l, Los Elementos, lo hicieron

famoso. Atendiendo a las afirmaciones de Proclo
(filsofo griego), se sabe que vivi en la poca de
Ptolomeo, quien en cierta ocasin le pregunto si haba
una forma ms rpida de aprender geometra que no
fuera Los Elementos, a lo que Euclides contesto que
no exista un camino real a la geometra (Stewart,
2007, p. 32).

muchos nmeros, sin embargo

existen ciertos nmeros naturales
que no se pueden obtener al
multiplicar otros nmeros; estos son los llamados nmeros primos. Por ejemplo,
el nmero

17 , no se puede

Figura 2. Biografa de Euclides

obtener de multiplicar otros nmeros naturales. De esta manera, aquellos

nmeros que se pueden obtener de la multiplicacin de otros nmeros
naturales ms pequeos, son llamados nmeros compuestos, en tanto que
aquellos nmeros que no se pueden obtener de esa forma, se les denomina
nmeros primos (Stewart, 2007, p.101).
Los primeros nmeros primos, menores que

100 , son:

23 5 7 11 13 17 1923 29 31 37 41 43 47 53 59 6167 71 73 79 83 8997

Al observar esta lista no se logra evidenciar un patrn que permita encontrar
un nmero primo dado otro u otros de la lista, es decir no hay una forma de
hallar o predecir el siguiente nmero primo. Aun as, es posible encontrar
nmeros primos probando con nmeros naturales sucesivos.
En la obra de Euclides (figura 2), Los Elementos, se puede apreciar una
introduccin a los primos en el libro VII. En dicho libro se encuentran tres
propiedades de los nmeros primos bien conocidas en nuestros das:

Cualquier numero natural se puede expresar como producto

(multiplicacin) de nmeros primos
La expresin como producto de primos de cualquier nmero, es nica
Existen infinitos primos

En el mismo libro, en la proposicin 31, Segn Stewart (2007), Euclides indica

que cualquier nmero compuesto es dividido exactamente por algn primo
(p.102). Es as como, por ejemplo, el nmero
puede dividir entre

105

es compuesto, ya que se

el cual es primo. Entonces se tiene que

105=21 5 .

Pero aqu vemos que el nmero 21 tambin es compuesto ya que es igual a

7 3 , de esta manera se encuentra que

lo siguiente. Si escribimos

105=7 3 5 . Observemos ahora

105=35 3 , tambin se puede ver que hay un

nuevo nmero compuesto, en este caso el nmero

5 7 . As, se puede escribir

35

el cual es igual a

105=5 7 3 , y este resultado es igual al

anterior, a excepcin del orden en que se ha escrito el producto de los primos,

pero esto no es un problema debido a la propiedad conmutativa de la suma de
nmeros naturales. Esta propiedad, en la que no importa el orden de los
nmeros primos en la descomposicin de un nmero compuesto, no tiene una
demostracin sencilla. El ejemplo anterior muestra que, al menos para el
nmero

105 , la factorizacin o expresin mediante la multiplicacin de

primos de un nmero compuesto, es nica (Stewart, 2007, pp.102, 103). En la

proposicin 30 del libro VII, Euclides demuestra la unicidad de la factorizacin
prima, para ello, Stewart (2007) afirma que Euclides muestra que si un primo
divide al producto de dos nmeros, entonces debe dividir al menos a alguno de
dichos nmeros (p. 103).
Ya en el libro IX de Los elementos, en la proposicin 20, Euclides establece, en
trminos modernos, que la lista de nmeros primos es infinita (Stewart, 2007,
p. 103). La demostracin dada por Euclides es la siguiente:

Dados los nmeros primos

A ,B y

como se muestra en la figura 3, sea

G ,
ED

el menor nmero que esta medido por

ellos, y agrguesele la unidad
Entonces

DZ

DZ .

es un nmero primo o no

lo es. Si lo es, se tiene los nmeros primos

A ,B,G

Figura 3. Segmentos que representan

primos

A ,B

G , porque si lo fuera, como

H,

estar medido por algn nmero primo

A ,B y

EZ que son ms que

G . Si

EZ

que no es ninguno de los

por medir a

EZ

DZ , que es la unidad, lo cual es absurdo; luego

diferencia

ninguno de los nmeros

A ,B

no es primo

A ,B

medira a la

no es

y como hiptesis es primo, ha de ser

mayor que ellos (Vera, 1970, pp. 853, 854).

Normalmente los elementos de Euclides son considerados como libros
meramente geomtricos, pero esto no es as. La palabra nmero, para los
griegos, significaba nmero natural. Debido a que los nmeros son
representados, en los elementos de Euclides, mediante segmentos, las
palabras mltiplo y factor, que hoy usamos, eran remplazadas por esta
medido por o mide a. En el libro VII se vislumbra lo que se conoce ahora
como algoritmo de Euclides, que es utilizado para hallar el mximo comn
divisor, M.C.D., de dos nmeros (Boyer, 2007, p. 157). En trminos modernos
este algoritmo se explica, segn Zaldvar (2012):
Si

a,b

q,r

que pertenecen a

se llama cociente y

obtiene al dividir

entre

diferente de cero, entonces existen

tales que

a=bq+r
El entero

son nmeros naturales, con

con

0 r |b|

es el entero, llamado residuo, que se

(p. 17).

En la ltima proposicin del libro IX, Euclides muestra la frmula para hallar
nmeros perfectos (Boyer, 2007, p. 158), los cuales son aquellos que son
iguales a la suma de sus divisores propios. Por divisores propios se entiende
aquellos divisores de un nmero, en los que no se incluye el mismo nmero.

Por ejemplo, el nmero

son

1,2

y asi

es perfecto ya que, los divisores propios de

6=1+ 2+ 3 .

Diofanto
Diofanto de Alejandra (325-265 a.c.)

Diofanto, figura 4 ha tenido

una influencia grande en
cuanto
a
la
notacin
algebraica, pero tambin tuvo
influencia en la teora de
nmeros. Los problemas que
planteaba Diofanto, estaban
enmarcados en cuestiones
muy generales pero de ellas
se
obtenan
respuestas
numricas.
Una
situacin
particular que presentaba
Diofanto era: encontrar tres
nmeros tales que su suma, y
la suma de dos cualesquiera
de ellos, es un cuadrado
perfecto. La respuesta a este

Diofanto vivi alrededor del ao 250 d.c. Realizo

importantes contribuciones al algebra, ya que utilizo
smbolos especiales para las incgnitas en una
ecuacin (Devlin, 2003).

problema es
Figura 4. Biografa de Diofanto

41 ,

80

320 .

Diofanto se enfrent, adems al Teorema de Pitgoras. Recordemos que dicho

Teorema afirma que, dado un tringulo rectngulo con lados

a,b,c

en donde

c 2=a 2+ b2 . Diofanto estudio cierta

c es el lado ms largo, se cumple que

clase de tringulos rectngulos, para los que se tiene lados con medida entera,
es decir, aquellos para los cuales la medida de cada lado se expresa mediante
un nmero entero. El ms conocido de estos tringulos es el tringulo

3, 4,5 .

A estas combinaciones se le llaman ternas o tripletas pitagricas. Existen

muchas otras, e incluso son infinitas. Diofanto encontr todas las ternas
pitagricas, para lo cual toma dos nmeros enteros y con ellos forma la
diferencia de sus cuadrados, la suma de sus cuadrados y el doble de su
producto, es decir, si los nmeros son

p2q 2
p2+ q2

entonces se forma:

2 pq
De las anteriores expresiones se obtienen tres nmeros que forman una terna
pitagrica, y esto es as aceptando, adems, que los tres nmeros pueden
tener, como mximo comn divisor, un nmero diferente de 1. Por ejemplo, si
se toman los nmeros

q=1 y

p=2
2

se obtiene:
2

2 1 =41=3
22+ 12=4 +1=5
2 2 1=4
3, 4,5

Y esta es precisamente la terna

(Stewart, 2007, p. 104).

Fermat
Fermat, figura 5, un matemtico aficionado, retomo el trabajo de Diofanto y
realizo importantes aportes a la teora de nmeros. Refirindose a los nmeros
primos, Fermat establece el teorema que indica cundo un nmero dado es
igual a la suma de los cuadrados perfectos de otros dos nmeros, es decir, si

es el nmero dado y

a2

b , entonces la expresin es

b2

son los cuadrados de los nmeros

2

n=a +b

. La solucin que da Fermat a este

teorema est basada en la observacin que realiz en cuanto a que hay tres
tipos de primos, estos son:

El nico numero primo par es el 2

Aquellos que son mltiplos de 4 agregndole 1
Aquellos que son mltiplos de 4 menos 1

De aqu Fermat demuestra que si un nmero primo es mltiplo de 4 ms 1 o, si

es el nmero 2, entonces estos primos pueden escribirse como la suma de dos
cuadrados perfectos, pero si el numero primo no es 2 o es un mltiplo de 4
menos 1 entonces no se puede escribir como la suma de cuadrados perfectos.
Ya en 1770 Joseph-Louis Lagrange, realizo la demostracin de que cualquier
entero positivo se puede expresar como la suma de cuatro cuadrados perfectos
(Stewart, 2007, p. 105).
El conocido pequeo teorema de Fermat (para diferenciarlo del ltimo teorema
de Fermat), establece que
nmero natural y
dependiendo si

a p a

es mltiplo de

cuando

es un

es primo. Esta afirmacin puede ser falsa o no,

es compuesto. En 1640, Fermat anuncio que posea una

demostracin acera de que, en el

teorema de Pitgoras, era posible
sumar dos cubos y obtener un cubo,
aunque no logro hallar una solucin
(Stewart, 2007, p. 106).

Pierre de Fermat (1608 -1665)

Reservado y taciturno, no le gustaba hablar de s

mismo y odiaba revelar mucho de su
pensamiento. ... Sus ideas, sin importar cun
Figura 5. Biografa de Fermat
originales o novedosas, operaban dentro de un
rango de posibilidades limitado por su poca
[1600 - 1650] y su lugar [Francia]. (O'Connor,
1996). Fermat es famoso en teora de nmeros
por el llamado ltimo teorema de Fermat el cual
afirma que:
n

x + y =z

no tiene soluciones enteras distintas de cero

para

x, y

CITATION OCo96 \l 9226

cuando

n>2

(O'Connor, 1996)

.
Fermat dijo haber demostrado lo anterior, sobre
lo cual escribi en el margen de una edicin de
la Arithmetica de Diofanto (200/214 - 284/298):

Carl Friedrich Gauss (1777-1855)

Treinta
aos
despus,
se
public un texto en el cual se
incluan las notas de Fermat y
en las que Fermat nos dej el
siguiente mensaje: resolver un
cubo en la suma de dos cubos,
una cuarta potencia en dos
cuartas
potencias
o,
en
general,
cualquier
potencia
mayor que la segunda en dos
del mismo tipo es imposible; de
lo que he encontrado una
notable
demostracin.
Este
margen es demasiado pequeo
para contenerla. El teorema,
escrito en notacin matemtica
moderna se representa de la
siguiente forma
n

z =x + y

En esta expresin, lo que

Fermat afirmo, es que no es
posible hallar nmeros enteros
positivos

x, y

tales que
igualdad.

se

cumpla

n>2
esta

De nio, Gauss correga los clculos hechos por

su padre. Con la ayuda del duque de BrunwickWolfenbttel, Gauss logro estudiar. En su sitio de
estudio descubri el teorema de los nmeros
primos. En Gotinga descubri como construir el
polgono regular de 17 lados. La obra ms
importante que escribi, y que se tiene como la
obra de teora de nmeros ms importante, fue
titulada
Disquisitiones
Arithmeticae
(investigaciones
aritmticas).
Mediante
el
mtodo
llamado
de
mnimos
cuadrados,
inventado por l, logro predecir la reaparicin
detrs del Sol, del asteroide Ceres. El mtodo de
los mnimos cuadrados ha sido fundamental en
estadstica. Se cas con Johanna Ostoff en 1807
y al siguiente ao muere su padre. En 1809
muere su esposa cuando daba a luz su segundo
hijo. Realizo un escrito sobre las paralelas de lo
cual dedujo una geometra diferente a ala
euclidiana. Trabajo con el fsico Wilhem Weber,
con quien descubri lo que hoy en da se conoce
como las leyes de Kirchhoff para los circuitos
elctricos. Muri en calma, en 1855, cuando
dorma (Stewart, 2007, p. 108).

Durante mucho tiempo se

realizaron trabajos infructuosos para realizar dicha demostracin, y ya en 1994,
Andrew Wiles, demostr el teorema. Adems, varios de los teoremas que
Fermat haba enunciado fueron demostrados.
Gauss (Figura 6)
A partir de la publicacin del libro Figura 6. Biografa de Gauss
Disquisitiones Arithmeticae, de Gauss, en el ao de 1801, la teora de nmeros
se convirti en una de las principales fuentes de la matemtica. En su obra,
Gauss recopilo los escritos de sus predecesores y adems aporto ideas nuevas.
Entre sus ideas est la de la aritmtica modular, la cual permiti comprender
las propiedades que sustentan la divisibilidad entre los enteros. La idea de
Gauss es que, dado un determinado entero

son congruentes modulo

denota de la siguiente manera

a b (mod m)

si

m , entonces, dos enteros

ab

es mltiplo de

m . Esto se

Marie-Sophie Germain (1776-1831)

Otro tema que abordo Gauss fue la

construccin del 17-gono regular.
Aunque se poda construir polgonos
de

3,5

15

lados con regla y

compas, como lo haba mostrado

Euclides,
no
se
tena
un
procedimiento para la construccin
del 17-gono regular y otros.
Gauss estableci que para que un pgono, con
Su inspiracin inicial se produjo por la lectura, a
los 13 aos, sobre la muerte de Arqumedes. En
la poca de Marie-Sophie, el estudio de las
matemticas no era apropiado para una dama,
as que sus padres intentaron persuadirla de no
hacerlo, sin embargo ella se dio a la tarea de
leer a Newton y a Euler. Ms adelante sus
padres, al ver la constancia y la capacidad de su
hija para las matemticas, la apoyaron
financieramente.
Escribi
sobre
sus
descubrimientos a Langrange bajo el seudnimo
de Monsieur LeBlanc. Lagrange descubri que
era una mujer y la animo y apoyo. Tambin
escribi a Gauss, nuevamente con el mismo
seudnimo. Gauss escribi a otros matemticos
alabando el trabajo matemtico de LeBlanc. Ms
adelante, en 1806, Gauss decubre que LeBlanc
era una mujer y Marie-Sophie se preocup. Sin
embargo Gauss le escribi: Pero cmo
describirle mi admiracin y asombro al ver que
mi estimado corresponsal Monsieur LeBlanc se
metaforseaba en este ilustre personajeCuando
una persona del sexo que, segn nuestras
costumbres y prejuicios, debe encontrar
infinitamente ms dificultades que los hombres
para familiarizarse con estas investigaciones tan
espinosas, consigue pese a todo superar estos
obstculos y penetrar en las partes ms oscuras
de ellos, entonces sin duda ella debe tener el
valor ms noble, talento absolutamente
extraordinario y un genio superior.
Sus trabajos matemticos estn basados en el
ltimo teorema de Fermat pero tambin trabajo
en las vibraciones de superficies, entre las que
se encuentran las figuras de Chladni. Por este
trabajo gan una medalla de oro, pero ella no
apareci en la ceremonia. En 1831 muri a
causa de un cncer de pulmn, pero durante el
tiempo siguiente a que se le detectara la
enfermedad, en 1829, contino trabajando en
Figura 7. Biografa de Marie-Sophie Germain

primo, pueda ser

construido es necesario resolver la

ecuacin

x p1+ x p2 + x p3+ + x 2+ x+1=0

Aunque esto no permite, aun, la
construccin
del
17-gono,
le
permiti
avanzar
y,
mediante
ecuaciones cuadrticas obtenidas
de la anterior, afirmo, aunque no
demostr, que la construccin de
este polgono es posible cuando

p1

es una potencia de

2 .

A partir de lo anterior, fue posible

construir 257-gono regular, por
parte de F.J. Richelot y, adems, J.
Hermes construyo el 65537-gono,
pero con errores.
Gauss
mantuvo
una
alta
correspondencia
con
grandes
matemticos entre ellos con MarieSophie Germain (figura 7). Gauss
cambio la manera de ver la teora
de nmeros, asentndola en bases
slidas
y,
al
mismo
tiempo,
relacionndola con la geometra. Su
obra matemtica,
Disquisitiones
Arithmeticae, es una de las ms
geniales en la historia de las
matemticas,
cuya
publicacin
permiti, en parte, que Gauss se
ganara
el
respeto
de
los
matemticos.

Los conceptos de la teora de nmeros desarrollados durante los siglos XVIII y

XIX, permiti el surgimiento del algebra abstracta. Antes de la invencin de la
computadora y de las comunicaciones en forma digital, la teora de nmeros
era una teora interesante para las propias matemticas, pero lejanas de la
cotidianidad y, por lo tanto, sin nada de aplicabilidad (Stewart, 2007, pp. 107113).

Referencias
Boyer, C. B. (2007). Historia de las matemticas. Madrid, Espaa: Alianza
Editorial.
Devlin, K. (2003). En El lenguaje de las matemticas (1 ed., pgs. 119 - 149).
Bogot: Robinbook.
O'Connor, E. R. (1996). Biography of Fermat. St Andrews, Escocia. Obtenido de
http://www-history.mcs.st-andrews.ac.uk/Biographies/Fermat.html
Rojo, J. (2013). Recopilacin de diversas demostarciones de la infionitud de los
nmeros primos. Espaa. Recuperado el 3 de Septiembre de 2015, de
http://biblioteca.unirioja.es/tfe_e/TFE000325.pdf
Stewart, I. (2009). Historia de las matemticas en los ltimos 10.000 aos. En I.
Stewart, Historia de las matemticas en los ltimos 10000 aos
(Segunda ed., Vol. 1, pgs. 114 -131). Barcelona: Crtica.
Vera, F. (1970). Cientficos griegos. Madrid, Espaa: Aguilar.
Zaldvar, F. (2012). Introduccin a la teora de nmeros. Mxico: Fondo de
Cultura Econmica.