Teorema fundamental de la aritmtica - Wikipedia, la en...

https://es.wikipedia.org/wiki/Teorema_fundamental_de_...

Teorema fundamental de la aritmtica

De Wikipedia, la enciclopedia libre
En matemtica, y particularmente en la teora de nmeros, el teorema fundamental de la
Aritmtica o teorema de factorizacin nica afirma que todo entero positivo mayor que 1
es un nmero primo o bien un nico producto de nmeros primos. Por ejemplo,

No existe ninguna otra factorizacin de 6936 y 1200 en nmeros primos. Como la

multiplicacin es conmutativa, el orden de los factores es irrelevante; por esta razn,
usualmente se enuncia el teorema como factorizacin nica salvo en el orden de los
factores.

ndice
1 Aplicaciones
1.1 Representacin cannica de un entero positivo
1.2 Importancia
2 Demostracin
2.1 Demostracin de Euclides
2.1.1 Descomposicin en primos
2.1.2 Unicidad
2.2 Demostracin por descenso infinito
2.3 Demostracin por lgebra abstracta
3 Vase tambin
4 Referencias
5 Enlaces externos

Aplicaciones
Representacin cannica de un entero positivo
Todo entero positivo n > 1 puede ser representado exactamente de una nica manera
como un producto de potencias de nmeros primos:

donde p1 < p2 < ... < pk son primos y i son enteros positivos.
Esta representacin se llama representacin cannica1 de n, o forma estndar2 3 de n.
Por ejemplo 999 = 3337, 1000 = 2353, 1001 = 71113
1 of 5

04/26/2016 04:57 PM

Teorema fundamental de la aritmtica - Wikipedia, la en...

https://es.wikipedia.org/wiki/Teorema_fundamental_de_...

Ntese que los factores p0 = 1 pueden ser insertados sin cambiar el valor de n (p.e. 1000 =
233053). En efecto, cualquier nmero positivo puede ser representado nicamente como
un producto infinito tomado sobre todo el conjunto de los nmeros primos,

donde un nmero finito de p son enteros positivos, y el resto son cero. Permitiendo
exponentes negativos se proporciona una forma cannica para los nmeros racionales.

Importancia
El teorema establece la importancia de los nmeros primos. stos son los ladrillos
bsicos con los que se construyen los enteros positivos, en el sentido de que todo
entero positivo puede construirse como producto de nmeros primos de una nica manera.
Conocer la factorizacin en primos de un nmero permite encontrar todos sus divisores,
primos o compuestos. Por ejemplo, la factorizacin anteriormente dada de 6936 muestra
que cualquier divisor positivo 6936 debe tener la forma:
, donde 0 a 3 (4
valores posibles), 0 b 1 (2 valores posibles), y 0 c 2 (3 valores posibles).
Multiplicando el nmero de opciones independientes se obtiene un total de
divisores positivos
Una vez que se conoce la factorizacin en primos de dos nmeros, se pueden hallar
fcilmente su mximo comn divisor y mnimo comn mltiplo. Por ejemplo, de las
factorizaciones anteriores de 6936 y 1200 se puede deducir que su mximo comn divisor
es 2 3 = 24. Sin embargo, si no se conoce la factorizacin en primos, usar el algoritmo de
Euclides en general requiere muchos menos clculos que factorizar los dos nmeros.
El teorema fundamental implica que las funciones aritmticas aditivas y multiplicativas
estn completamente determinadas por sus valores en las potencias de los nmeros
primos.
Cualquier nmero entero n mayor que 1 puede escribirse de manera nica, salvo el orden,
como un producto de nmeros primos.

Demostracin
El teorema fue prcticamente demostrado por primera vez por Euclides, aunque la primera
demostracin completa apareci en las Disquisitiones Arithmeticae de Carl Friedrich
Gauss.
Aunque a primera vista el teorema parezca obvio, no vale en sistemas numricos ms
generales, entre estos muchos anillos de enteros algebraicos. Ernst Kummer fue el primero
en notar esto en 1843, en su trabajo sobre el ltimo teorema de Fermat. El reconocimiento
de este fallo es uno de los primeros avances de la teora de nmeros algebraicos.

Demostracin de Euclides

2 of 5

04/26/2016 04:57 PM

Teorema fundamental de la aritmtica - Wikipedia, la en...

https://es.wikipedia.org/wiki/Teorema_fundamental_de_...

La demostracin se hace en dos pasos. En el primero se demuestra que todo nmero es

un producto de primos (incluido el producto vaco). En el segundo se demuestra que
cualquier dos representaciones son iguales.
Descomposicin en primos
Supngase que existe algn entero positivo que no puede representarse como producto de
primos. Entonces debe haber un mnimo nmero n con esa propiedad. Este nmero n no
puede ser 1, por la convencin anterior. Tampoco puede ser un primo, porque todo primo
es el producto de un nico nmero primo: l mismo.
As pues, n = ab, donde a y b son enteros positivos menores que n. Como n es el mnimo
entero positivo para el que falla el teorema, tanto a como b pueden escribirse como
producto de primos. Pero entonces n = ab tambin puede escribirse como producto de
primos, lo que es contradictorio.
Unicidad
La demostracin de la unicidad se apoya en el siguiente hecho: si un nmero primo p divide
a un producto ab, entonces divide a a o divide a b (lema de Euclides). Para demostrar este
lema, si se supone que p no divide a a, entonces p y a son primos entre s y por la
identidad de Bzout existen x e y enteros tales que px + ay = 1. Multiplicando por b se
obtiene pbx + aby = b, y puesto que los dos sumandos del lado izquierdo son divisibles por
p, el trmino de la derecha tambin es divisible por p.
Dados dos productos de primos que tengan igual resultado, tmese un primo p del primer
producto. Divide al primer producto, y por lo tanto tambin al segundo. Por el hecho
anterior, p debe dividir al menos a un factor del segundo producto; pero los factores son
todos primos, as que p debe ser igual a uno de los factores del segundo producto. Se
puede entonces cancelar a p de ambos productos. Siguiendo de esta forma se cancelarn
todos los factores de ambos productos, con lo cual stos deben coincidir exactamente.

Demostracin por descenso infinito

Otra prueba de la unicidad de las factorizaciones en primos de un entero dado utiliza el
mtodo del descenso infinito.
Supngase que cierto nmero entero se puede escribir como producto de factores primos
de (al menos) dos maneras distintas. Entonces, debe existir un mnimo entero s con esa
propiedad. Sean p1...pm y q1...qn dos factorizaciones distintas de s. Ningn pi (con 1 i
m) puede ser igual a algn qj (con 1 j n), pues de lo contrario habra un nmero menor
que s que se podra factorizar de dos maneras (obtenido al quitar factores comunes a
ambos productos) contradiciendo la suposicin anterior. Se puede entonces suponer sin
prdida de generalidad que p1 es un factor primo menor que todos los qj (con 1 j n).
Considrese en particular q1. Entonces existen enteros d y r tales que

y 0 < r < p1 < q1 (r no puede ser 0, puesto que en tal caso q1 sera un mltiplo de p1 y por
lo tanto compuesto). Al multiplicar ambos lados por s / q1, resulta
3 of 5

04/26/2016 04:57 PM

Teorema fundamental de la aritmtica - Wikipedia, la en...

https://es.wikipedia.org/wiki/Teorema_fundamental_de_...

El segundo trmino de la ltima expresin debe ser igual a un entero (pues lo son tambin
los otros trminos), al que se llamar k; esto es,

de donde se obtiene,

El valor de los dos lados de esta ecuacin es obviamente menor que s, pero sigue siendo
lo bastante grande como para ser factorizable. Como r es menor que p1, las dos
factorizaciones obtenidas en ambos lados despus de haber escrito k y r como producto de
primos deben ser diferentes. Esto contradice la suposicin de que s es el entero ms
pequeo que se puede factorizar en ms de una forma. Por tanto, la suposicin inicial debe
ser falsa.

Demostracin por lgebra abstracta

Sea n un entero. Zn es un grupo finito, por lo que tiene una serie de composicin. Por
definicin, los factores en una serie de composicin son simples; por lo tanto, en la serie de
Zn stos deben ser de la forma Zp para algn primo p. Como el orden de Zn es el producto
de los rdenes de los factores de su serie de composicin, esto da una factorizacin de n
en nmeros primos. Pero el teorema de Jordan-Hlder afirma que una serie de
composicin es nica, y por lo tanto la factorizacin de n debe ser nica.

Vase tambin
Teorema fundamental del lgebra
Teorema fundamental del clculo
Factorizacin de enteros

Referencias
1. Long (1972, p. 45)
2. Pettofrezzo y Byrkit (1970, p. 55)
3. Hardy & Wright 1.2

Enlaces externos
Construccin de una tabla de factores primos para los nmeros del 1 al 360 en
lenguaje Logo (http://neoparaiso.com/logo/factores-primos-divisores.html)
Obtenido

4 of 5

de

https://es.wikipedia.org

04/26/2016 04:57 PM

Teorema fundamental de la aritmtica - Wikipedia, la en...

https://es.wikipedia.org/wiki/Teorema_fundamental_de_...

/w/index.php?title=Teorema_fundamental_de_la_aritmtica&oldid=89998237
Categoras: Aritmtica Teoremas fundamentales Teoremas de teora de nmeros
Esta pgina fue modificada por ltima vez el 23 mar 2016 a las 05:43.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir
Igual 3.0; podran ser aplicables clusulas adicionales. Al usar este sitio, usted acepta
nuestros trminos de uso y nuestra poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una
organizacin sin nimo de lucro.

5 of 5

04/26/2016 04:57 PM