Teora de nmeros

rirse 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.

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

1.1 Teora elemental de nmeros

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 teoNuestra teora de nmeros se deriva de la antigua aritmtica grie- rema de Fermat y el teorema de Euler que lo extiende,
ga de Diofanto.[1] Portada de la aritmtica de Diofanto traduci- el teorema chino del resto y la ley de reciprocidad cuada al latn por Bachet de Mziriac, edicin con comentarios de drtica. En esta rama se investigan las propiedades de las
funciones multiplicativas como la funcin de Mbius y la
Pierre de Fermat publicada en 1670.
funcin de Euler; as como las sucesiones de nmeros
La teora de nmeros es la rama de las matemticas que enteros como los factoriales y los nmeros de F.
estudia las propiedades de los nmeros, en particular los Diversos cuestionamientos dentro de la teora elemental
enteros, pero ms en general, estudia las propiedades de de nmeros parecen simples, pero requieren consideralos elementos de dominios enteros (anillos conmutativos ciones muy profundas y nuevas aproximaciones, inclucon elemento unitario y cancelacin) as como diversos yendo las siguientes:
problemas derivados de su estudio. Contiene una cantidad
considerable de problemas que podran ser comprendidos
Conjetura de Goldbach sobre que todos los nmeros
por no matemticos. De forma ms general, este campo
pares (a partir de 4) son la suma de dos nmeros
estudia los problemas que surgen con el estudio de los
primos.
nmeros enteros. Tal como cita Jrgen Neukirch:
Conjetura de los nmeros primos gemelos sobre la
innitud de los llamados nmeros primos gemelos.
La teora de nmeros ocupa entre las disciplinas matemticas una posicin idealizada
ltimo teorema de Fermat (demostrado en 1995 por
anloga a aquella que ocupan las matemticas
Andrew Wiles).
mismas entre las otras ciencias.[2]
Hiptesis de Riemann sobre la distribucin de los
El trmino "aritmtica" tambin era utilizado para refeceros de la funcin zeta de Riemann, ntimamente
1

HISTORIA

conectada con el problema de la distribucin de los algoritmos rpidos para evaluar nmeros primos y
nmeros primos.
factorizacin de enteros tienen importantes aplicaciones
en criptografa.

1.2

Teora analtica de nmeros

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.

1.3

Teora de nmeros aditiva

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 HardyLittlewood, a veces se complementa con la teora de cribas y en algunos casos suelen usarse mtodos topolgicos.

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.

2 Historia
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 innitos son los mismos o iguales. Reconocen cinco tipos de innitos diferentes: innito
La teora algebraica de nmeros es una rama de la teora en una o dos direcciones (unidimensionales), innito en
de los nmeros en la cual el concepto de nmero se ex- supercies (bidimensional), innito en todas partes (tripande a los nmeros algebraicos, los cuales son las races dimensional) y perpetuamente innito (en un nmero inde los polinomios con coecientes racionales.
nito de dimensiones).

1.4

Teora algebraica de nmeros

La teora de nmeros fue una de las disciplinas de estudio favoritas entre los matemticos griegos de Alejandra
1.5 Teora geomtrica de nmeros
(en Egipto) a partir del siglo III a. C., quienes tenan conLa teora geomtrica de nmeros (tradicionalmente lla- ciencia del concepto de ecuacin diofntica en sus casos
mada geometra de nmeros) incorpora todas las formas particulares. El primer matemtico helenstico que estude geometra. Comienza con el teorema de Minkowski di estas ecuaciones fue Diofanto.
acerca de los puntos comunes en conjuntos convexos e Diofanto investig un mtodo para encontrar las solucioinvestigaciones sobre supercies esfricas.
nes enteras para las ecuaciones lineales indeterminadas,[4]
ecuaciones en las que falta informacin suciente para
producir un conjunto nico de respuestas discretas. La
1.6 Teora combinatoria de nmeros
ecuacin x + y = 5 es un ejemplo de ellas. Diofanto descubri que muchas ecuaciones indeterminadas pueden ser
La teora combinatoria de nmeros trata los problemas de reducidas a una forma en donde cierta categora de sola teora de nmeros involucrando ideas combinatorias y luciones son conocidas, incluso a travs de una solucin
sus formulaciones o soluciones. Paul Erds es el creador que no lo es.
de esta rama de la teora de nmeros. Los temas tpicos
incluyen sistemas cubiertos, problemas de suma cero, di- Las ecuaciones diofantinas fueron estudiadas de manera
versos conjuntos restringidos y progresiones aritmticas intensiva por los matemticos indes medievales, quienes
en un conjunto de enteros. Los mtodos algebraicos o fueron los primeros en buscar sistemticamente mtodos
para la determinacin de soluciones enteras. Ariabhata
analticos son bastante poderosos en este campo.
(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 algo1.7 Teora computacional de nmeros
ritmo kuttaka es considerado como una de las contribuLa teora computacional de nmeros estudia los ciones ms signicativas de Ariabhata en las matemticas
algoritmos relevantes de la teora de nmeros. Los puras, el cual encuentra las soluciones enteras de un sis-

3
tema 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-sphutasiddhanta 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 modicada 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.

Vase tambin
Problemas de Hilbert
Sucesin de Fibonacci
Nmero ureo
Teorema chino del resto

Referencias

[1] Jean-Paul Collette (1985), Historia de las matemticas

(volmenes 1 y 2). Traduccin de Alfonso Casal, Madrid:
Siglo XXI Editores S.A. ISBN 84-323-0526-4
[2] Introduccin a la obra Cohomology of number elds:
Die Zahlentheorie nimmt unter den mathematishen Disziplinen eine hnlich idealisierte Stellung ein wie die Mathematik selbst
unter den anderen Wissenschaften.
[3] Davenport, Harold (1999). The Higher Arithmetic: An Introduction to the Theory of Numbers (7. edicin). Cambridge, England: Cambridge University Press. ISBN 0521-63446-6.

[4] Breve historia de la teora de nmeros, artculo en el

sitio web Lycos. Consultado el 5 de junio de 2007.

5 Enlaces externos

Wikiversidad alberga proyectos de aprendizaje

sobre Teora de nmeros.Wikiversidad

6 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

6.1

Texto

Teora de nmeros Fuente: https://es.wikipedia.org/wiki/Teor%C3%ADa_de_n%C3%BAmeros?oldid=86158990 Colaboradores:

Llull~eswiki, Joseaperez, Sabbut, Moriel, Zwobot, Riviera, Interwiki, Rosarino, Sms, Grothendieck, Renabot, Richy, Rembiapo pohyiete
(bot), Orgullobot~eswiki, RobotQuistnix, Chobot, Yrbot, Maleiva, BOTijo, YurikBot, KnightRider, Txo, Arnac, Carlos Alberto Carcagno,
CEM-bot, Baiji, Thijs!bot, Arcibel, JAnDbot, Muro de Aguas, TXiKiBoT, Katadreue, Rovnet, Dhidalgo, AlnoktaBOT, VolkovBot,
Matdrodes, Synthebot, AlleborgoBot, Muro Bot, Numbo3, SieBot, Carmin, BOTarate, Antn Francho, PixelBot, Eduardosalg, Deltasubk,
Petruss, Juan Mayordomo, Raulshc, UA31, AVBOT, LucienBOT, Angel GN, Diegusjaimes, Arjuno3, Logarithmika Magus, Luckas-bot,
Nallimbot, FariBOT, Jotterbot, DSisyphBot, ArthurBot, Diogeneselcinico42, SuperBraulio13, Xqbot, Jkbw, Rubinbot, Ricardogpn, Jerowiki, Dinamik-bot, Humbefa, EleferenBot, EmausBot, AVIADOR, ZroBot, Grillitus, ChuispastonBot, Waka Waka, Ana maruia, Metrnomo, MerlIwBot, Jharni Elmer Neyra Valverde, Julio grillo, AvocatoBot, MetroBot, Ileana n, Acratta, RosenJax, Ivanretro, Addbot,
Balles2601, Manuel Balarezo y Annimos: 66

6.2

Imgenes

Archivo:Diophantus-cover-Fermat.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c3/Diophantus-cover-Fermat.jpg

Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Wikiversity-logo-Snorky.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1b/Wikiversity-logo-en.svg Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Snorky

6.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0