La teora de nmeros es la rama de las matemticas que estudia las propiedades de

los nmeros, en particular los enteros, pero ms en general, estudia las propiedades de los
elementos de dominios enteros (anillos conmutativos con elemento unitario y cancelacin) as
como diversos problemas derivados de su estudio. Contiene una cantidad considerable de
problemas que podran ser comprendidos por "no matemticos". De forma ms general, este
campo estudia los problemas que surgen con el estudio de los nmeros enteros. Tal como
cita Jrgen Neukirch:
La teora de nmeros ocupa entre las disciplinas matemticas una posicin idealizada anloga a aquella
que ocupan las matemticas mismas entre las otras ciencias.2

El trmino "aritmtica" tambin era utilizado para referirse a la teora de nmeros. Este es un
trmino bastante antiguo, aunque ya no tan popular. De all la teora de nmeros suele ser
denominada alta aritmtica,3 aunque el trmino tambin ha cado en desuso. Este sentido del
trmino aritmtica no debe ser confundido con la aritmtica elemental, o con la rama de la
lgica que estudia la aritmtica de Peano como un sistema formal. Los matemticos que
estudian la teora de nmeros son llamados tericos de nmeros.
Segn los mtodos empleados y las preguntas que se intentan contestar, la teora de nmeros
se subdivide en diversas ramas.

Teora elemental de nmeros[editar]

En la teora elemental de nmeros, se estudian los nmeros enteros sin emplear tcnicas
procedentes de otros campos de las matemticas. Pertenecen a la teora elemental de
nmeros las cuestiones de divisibilidad, el algoritmo de Euclides para calcular el mximo
comn divisor, la factorizacin de los enteros como producto de nmeros primos, la bsqueda
de los nmeros perfectos y las congruencias. Son enunciados tpicos el pequeo teorema de
Fermat y el teorema de Euler que lo extiende, el teorema chino del resto y la ley de
reciprocidad cuadrtica. En esta rama se investigan las propiedades de las funciones
multiplicativas como la funcin de Mbius y la funcin de Euler; as como las sucesiones de
nmeros enteros como los factoriales y los nmeros de F.
Diversos cuestionamientos dentro de la teora elemental de nmeros parecen simples, pero
requieren consideraciones muy profundas y nuevas aproximaciones, incluyendo las
siguientes:

Conjetura de Goldbach sobre que todos los nmeros pares (a partir de 4) son la suma de
dos nmeros primos.
Conjetura de los nmeros primos gemelos sobre la infinitud de los llamados nmeros
primos gemelos.
ltimo teorema de Fermat (demostrado en 1995 por Andrew Wiles).
Hiptesis de Riemann sobre la distribucin de los ceros de la funcin zeta de Riemann,
ntimamente conectada con el problema de la distribucin de los nmeros primos entre
otros.

Teora analtica de nmeros[editar]

La teora analtica de nmeros emplea como herramientas el clculo y el anlisis
complejo para abordar preguntas acerca de los nmeros enteros. Algunos ejemplos de esta
son el teorema de los nmeros primos y la hiptesis de Riemann. El problema de Waring,
la conjetura de los nmeros primos gemelos y la conjetura de Goldbach tambin estn siendo
atacados a travs de mtodos analticos.

Teora de nmeros aditiva[editar]

La teora de nmeros aditiva trata de una manera ms profunda los problemas de

representacin de nmeros. Problemas tpicos son los ya nombrados, problema de Waring y
la conjetura de Goldbach. Esta rama se suele utilizar algunos resultados referentes a la teora
analtica de nmeros, tales como el mtodo del crculo de Hardy-Littlewood, a veces se
complementa con la teora de cribas y en algunos casos suelen usarse mtodos topolgicos.

Teora algebraica de nmeros[editar]

La teora algebraica de nmeros es una rama de la teora de los nmeros en la cual el
concepto de nmero se expande a los nmeros algebraicos, los cuales son las races de los
polinomios con coeficientes racionales.

Teora geomtrica de nmeros[editar]

La teora geomtrica de nmeros (tradicionalmente llamada geometra de nmeros) incorpora
todas las formas de geometra. Comienza con el teorema de Minkowski acerca de los puntos
comunes en conjuntos convexos e investigaciones sobre superficies esfricas.

Teora combinatoria de nmeros[editar]

La teora combinatoria de nmeros trata los problemas de la teora de nmeros involucrando
ideas combinatorias y sus formulaciones o soluciones. Paul Erds es el creador de esta rama
de la teora de nmeros. Los temas tpicos incluyen sistemas cubiertos, problemas de suma
cero, diversos conjuntos restringidos y progresiones aritmticas en un conjunto de enteros.
Los mtodos algebraicos o analticos son bastante poderosos en este campo.

Teora computacional de nmeros[editar]

La teora computacional de nmeros estudia los algoritmos relevantes de la teora de
nmeros. Los algoritmos rpidos para evaluar nmeros primos y factorizacin de enteros
tienen importantes aplicaciones en criptografa.
La evolucin de la computacin ha hecho que la aritmtica deje de ser una ciencia
contemplativa y de especialistas para transformarse en una verdadera rama aplicada. La
necesidad de nuevos algoritmos de computacin requiere- como dice Enzo R. Gentile- vastos
y profundos conocimientos aritmticos.

Historia[editar]
Los matemticos en la India se han interesado en encontrar soluciones enteras a
las ecuaciones diofnticas desde mediados del I milenio a. C. El primer uso geomtrico de las
ecuaciones diofnticas se remonta a los Shulba-sutras, los cuales fueron escritos entre los
siglos V y III a. C. El religioso Baudhaiana (en el siglo IV a. C.) encontr dos conjuntos de
enteros positivos a un conjunto de ecuaciones diofnticas simultneas, y tambin se usan
ecuaciones diofnticas simultneas con ms de cuatro incgnitas. Apastamba (en el
siglo III a. C.) usaba ecuaciones diofnticas simultneas con ms de cinco incgnitas.
Los matemticos yainas fueron los primeros en descartar la idea de que todos los infinitos son
los mismos o iguales. Reconocen cinco tipos de infinitos diferentes: infinito en una o dos
direcciones (unidimensionales), infinito en superficies (bidimensional), infinito en todas partes
(tridimensional) y perpetuamente infinito (en un nmero infinito de dimensiones).
La teora de nmeros fue una de las disciplinas de estudio favoritas entre los matemticos
griegos de Alejandra (en Egipto) a partir del siglo III a. C., quienes tenan conciencia del
concepto de ecuacin diofntica en sus casos particulares. El primer matemtico helenstico
que estudi estas ecuaciones fue Diofanto.

Diofanto investig un mtodo para encontrar las soluciones enteras para las ecuaciones
lineales indeterminadas,4 ecuaciones en las que falta informacin suficiente para producir un
conjunto nico de respuestas discretas. La ecuacin x + y = 5 es un ejemplo de ellas. Diofanto
descubri que muchas ecuaciones indeterminadas pueden ser reducidas a una forma en
donde cierta categora de soluciones son conocidas, incluso a travs de una solucin que no
lo es.
Las ecuaciones diofantinas fueron estudiadas de manera intensiva por los matemticos indes
medievales, quienes fueron los primeros en buscar sistemticamente mtodos para la
determinacin de soluciones enteras. Ariabhata (476-550) dio la primera descripcin explcita
de la solucin entera general de la ecuacin diofantina lineal ay + bx = c, la cual aparece en su
texto Ariabhatia. El algoritmo kuttaka es considerado como una de las contribuciones ms
significativas de Ariabhata en las matemticas puras, el cual encuentra las soluciones enteras
de un sistema de ecuaciones diofantinas lineales, un problema de importante aplicacin en
la astronoma. Tambin encuentra la solucin general de la ecuacin lineal indeterminada
utilizando este mtodo.
Brahmagupta (598-668) trabaj las ecuaciones diofantinas ms difciles, que aparece en su
libro 18 dedicado al lgebra y ecuaciones indeterminadas. Utiliz el mtodo chakravala para
resolver las ecuaciones diofantinas cuadrticas, incluyendo aquellas de la forma de
la ecuacin de Pell tal que 61x2 + 1 = y2. Su Brahma-sphuta-siddhanta fue traducido
al rabe en 773 y al latn en 1126. La ecuacin 61x2 + 1 = y2 fue propuesta como un problema
por el matemtico francs Pierre de Fermat. La solucin general de esta forma particular de la
ecuacin de Pell fue encontrada 70 aos ms tarde por Leonhard Euler, aunque la solucin
general de la ecuacin de Pell fue encontrada 100 aos ms tarde por Joseph-Louis de
Lagrange en 1767. Sin embargo, varios siglos antes, la ecuacin de Pell fue trabajada
por Bhaskara II en 1150 utilizando una versin modificada del mtodo chakravala de
Brahmagupta, encontrando la solucin general de otras ecuaciones cuadrticas intermedias
indeterminadas y ecuaciones diofnticas cuadrticas. El mtodo chakravala para encontrar la
solucin general de la ecuacin de Pell era ms simple que el mtodo utilizado por Lagrange
600 aos ms tarde. Bhaskara encuentra tambin la solucin de otras ecuaciones cuadrticas
indeterminadas, cbicas, curticas y polinmicas de mayores grados. Naraian
Pandit perfeccion an ms las dems cuadrticas indeterminadas para las ecuaciones de
grados superiores.

La teora de nmeros es la rama de las matemticas que estudia las propiedades de

los nmeros, en particular los enteros, pero ms en general, estudia las propiedades de los
elementos de dominios enteros (anillos conmutativos con elemento unitario y cancelacin) as
como diversos problemas derivados de su estudio. Contiene una cantidad considerable de
problemas que podran ser comprendidos por "no matemticos". De forma ms general, este
campo estudia los problemas que surgen con el estudio de los nmeros enteros. Tal como
cita Jrgen Neukirch:
La teora de nmeros ocupa entre las disciplinas matemticas una posicin idealizada anloga a aquella
que ocupan las matemticas mismas entre las otras ciencias.2

El trmino "aritmtica" tambin era utilizado para referirse a la teora de nmeros. Este es un
trmino bastante antiguo, aunque ya no tan popular. De all la teora de nmeros suele ser
denominada alta aritmtica,3 aunque el trmino tambin ha cado en desuso. Este sentido del
trmino aritmtica no debe ser confundido con la aritmtica elemental, o con la rama de la
lgica que estudia la aritmtica de Peano como un sistema formal. Los matemticos que
estudian la teora de nmeros son llamados tericos de nmeros.

Segn los mtodos empleados y las preguntas que se intentan contestar, la teora de nmeros
se subdivide en diversas ramas.

Teora elemental de nmeros[editar]

En la teora elemental de nmeros, se estudian los nmeros enteros sin emplear tcnicas
procedentes de otros campos de las matemticas. Pertenecen a la teora elemental de
nmeros las cuestiones de divisibilidad, el algoritmo de Euclides para calcular el mximo
comn divisor, la factorizacin de los enteros como producto de nmeros primos, la bsqueda
de los nmeros perfectos y las congruencias. Son enunciados tpicos el pequeo teorema de
Fermat y el teorema de Euler que lo extiende, el teorema chino del resto y la ley de
reciprocidad cuadrtica. En esta rama se investigan las propiedades de las funciones
multiplicativas como la funcin de Mbius y la funcin de Euler; as como las sucesiones de
nmeros enteros como los factoriales y los nmeros de F.
Diversos cuestionamientos dentro de la teora elemental de nmeros parecen simples, pero
requieren consideraciones muy profundas y nuevas aproximaciones, incluyendo las
siguientes:

Conjetura de Goldbach sobre que todos los nmeros pares (a partir de 4) son la suma de
dos nmeros primos.
Conjetura de los nmeros primos gemelos sobre la infinitud de los llamados nmeros
primos gemelos.
ltimo teorema de Fermat (demostrado en 1995 por Andrew Wiles).
Hiptesis de Riemann sobre la distribucin de los ceros de la funcin zeta de Riemann,
ntimamente conectada con el problema de la distribucin de los nmeros primos entre
otros.

Teora analtica de nmeros[editar]

La teora analtica de nmeros emplea como herramientas el clculo y el anlisis
complejo para abordar preguntas acerca de los nmeros enteros. Algunos ejemplos de esta
son el teorema de los nmeros primos y la hiptesis de Riemann. El problema de Waring,
la conjetura de los nmeros primos gemelos y la conjetura de Goldbach tambin estn siendo
atacados a travs de mtodos analticos.

Teora de nmeros aditiva[editar]

La teora de nmeros aditiva trata de una manera ms profunda los problemas de
representacin de nmeros. Problemas tpicos son los ya nombrados, problema de Waring y
la conjetura de Goldbach. Esta rama se suele utilizar algunos resultados referentes a la teora
analtica de nmeros, tales como el mtodo del crculo de Hardy-Littlewood, a veces se
complementa con la teora de cribas y en algunos casos suelen usarse mtodos topolgicos.

Teora algebraica de nmeros[editar]

La teora algebraica de nmeros es una rama de la teora de los nmeros en la cual el
concepto de nmero se expande a los nmeros algebraicos, los cuales son las races de los
polinomios con coeficientes racionales.

Teora geomtrica de nmeros[editar]

La teora geomtrica de nmeros (tradicionalmente llamada geometra de nmeros) incorpora
todas las formas de geometra. Comienza con el teorema de Minkowski acerca de los puntos
comunes en conjuntos convexos e investigaciones sobre superficies esfricas.

Teora combinatoria de nmeros[editar]

La teora combinatoria de nmeros trata los problemas de la teora de nmeros involucrando

ideas combinatorias y sus formulaciones o soluciones. Paul Erds es el creador de esta rama
de la teora de nmeros. Los temas tpicos incluyen sistemas cubiertos, problemas de suma
cero, diversos conjuntos restringidos y progresiones aritmticas en un conjunto de enteros.
Los mtodos algebraicos o analticos son bastante poderosos en este campo.

Teora computacional de nmeros[editar]

La teora computacional de nmeros estudia los algoritmos relevantes de la teora de
nmeros. Los algoritmos rpidos para evaluar nmeros primos y factorizacin de enteros
tienen importantes aplicaciones en criptografa.
La evolucin de la computacin ha hecho que la aritmtica deje de ser una ciencia
contemplativa y de especialistas para transformarse en una verdadera rama aplicada. La
necesidad de nuevos algoritmos de computacin requiere- como dice Enzo R. Gentile- vastos
y profundos conocimientos aritmticos.

Historia[editar]
Los matemticos en la India se han interesado en encontrar soluciones enteras a
las ecuaciones diofnticas desde mediados del I milenio a. C. El primer uso geomtrico de las
ecuaciones diofnticas se remonta a los Shulba-sutras, los cuales fueron escritos entre los
siglos V y III a. C. El religioso Baudhaiana (en el siglo IV a. C.) encontr dos conjuntos de
enteros positivos a un conjunto de ecuaciones diofnticas simultneas, y tambin se usan
ecuaciones diofnticas simultneas con ms de cuatro incgnitas. Apastamba (en el
siglo III a. C.) usaba ecuaciones diofnticas simultneas con ms de cinco incgnitas.
Los matemticos yainas fueron los primeros en descartar la idea de que todos los infinitos son
los mismos o iguales. Reconocen cinco tipos de infinitos diferentes: infinito en una o dos
direcciones (unidimensionales), infinito en superficies (bidimensional), infinito en todas partes
(tridimensional) y perpetuamente infinito (en un nmero infinito de dimensiones).
La teora de nmeros fue una de las disciplinas de estudio favoritas entre los matemticos
griegos de Alejandra (en Egipto) a partir del siglo III a. C., quienes tenan conciencia del
concepto de ecuacin diofntica en sus casos particulares. El primer matemtico helenstico
que estudi estas ecuaciones fue Diofanto.
Diofanto investig un mtodo para encontrar las soluciones enteras para las ecuaciones
lineales indeterminadas,4 ecuaciones en las que falta informacin suficiente para producir un
conjunto nico de respuestas discretas. La ecuacin x + y = 5 es un ejemplo de ellas. Diofanto
descubri que muchas ecuaciones indeterminadas pueden ser reducidas a una forma en
donde cierta categora de soluciones son conocidas, incluso a travs de una solucin que no
lo es.
Las ecuaciones diofantinas fueron estudiadas de manera intensiva por los matemticos indes
medievales, quienes fueron los primeros en buscar sistemticamente mtodos para la
determinacin de soluciones enteras. Ariabhata (476-550) dio la primera descripcin explcita
de la solucin entera general de la ecuacin diofantina lineal ay + bx = c, la cual aparece en su
texto Ariabhatia. El algoritmo kuttaka es considerado como una de las contribuciones ms
significativas de Ariabhata en las matemticas puras, el cual encuentra las soluciones enteras
de un sistema de ecuaciones diofantinas lineales, un problema de importante aplicacin en
la astronoma. Tambin encuentra la solucin general de la ecuacin lineal indeterminada
utilizando este mtodo.
Brahmagupta (598-668) trabaj las ecuaciones diofantinas ms difciles, que aparece en su
libro 18 dedicado al lgebra y ecuaciones indeterminadas. Utiliz el mtodo chakravala para
resolver las ecuaciones diofantinas cuadrticas, incluyendo aquellas de la forma de

la ecuacin de Pell tal que 61x2 + 1 = y2. Su Brahma-sphuta-siddhanta fue traducido

al rabe en 773 y al latn en 1126. La ecuacin 61x2 + 1 = y2 fue propuesta como un problema
por el matemtico francs Pierre de Fermat. La solucin general de esta forma particular de la
ecuacin de Pell fue encontrada 70 aos ms tarde por Leonhard Euler, aunque la solucin
general de la ecuacin de Pell fue encontrada 100 aos ms tarde por Joseph-Louis de
Lagrange en 1767. Sin embargo, varios siglos antes, la ecuacin de Pell fue trabajada
por Bhaskara II en 1150 utilizando una versin modificada del mtodo chakravala de
Brahmagupta, encontrando la solucin general de otras ecuaciones cuadrticas intermedias
indeterminadas y ecuaciones diofnticas cuadrticas. El mtodo chakravala para encontrar la
solucin general de la ecuacin de Pell era ms simple que el mtodo utilizado por Lagrange
600 aos ms tarde. Bhaskara encuentra tambin la solucin de otras ecuaciones cuadrticas
indeterminadas, cbicas, curticas y polinmicas de mayores grados. Naraian
Pandit perfeccion an ms las dems cuadrticas indeterminadas para las ecuaciones de
grados superiores.