19/09/13

Teorema fundamental de la aritmtica de Lemuel

Teorema fundamental de la aritmtica

Autor: Lemuel
Teorema fundamental de la aritmtica, I
En este y en un prximo escrito pretendo abordar con el suficiente detenimiento este teorema fundamental de la aritmtica. De entrada, como muestra de que el mundo intelectual es un pauelo, y de lo relacionadas e imbricadas que estn la lgica filosfica y la matemtica, recordar que, sin ir ms lejos, la clebre gdelizacin se basa en este teorema. --Ahora bien --preguntar quiz alguien--, qu es eso de la gdelizacin? A lo que se puede responder que: --La gdelizacin no es ms que la representacin de cualquier frmula de la lgica de predicados mediante un nmero natural, el cual nmero es producto de un conjunto de factores primos con sus correspondientes exponentes. --Ya puestos seguir preguntando el susodicho alguien--, en qu consiste el teorema fundamental de la aritmtica? --Pues es aquel teorema que establece sera la respuesta-- que cualquier nmero natural compuesto tiene una nica descomposicin posible en factores primos. Yendo a lo de la gdelizacin, se trata de asignar a cada smbolo de la lgica un nmero entero positivo o nmero de Gdel. Pongamos por caso: p = 1, q = 2, ^ = 3, { = 4, } = 5, ~ = 6, = 7, Entonces, si tenemos una frmula lgica cualquiera, a sus componentes les asignamos los nmeros primos correlativos a partir del 2. As, p ~ q ----> 2 3 5, a partir de lo cual el "nmero de Gdel" de esos smbolos se obtiene afectando cada uno de los enteros primos con el correspondiente nmero del smbolo. En este caso: p ~ q = 2*(3^6)*(5^2) = 2*729*25 = 36450. Si, a la inversa, nos encontrsemos con ese nmero de Gdel, sera sencillo averiguar inmediatamente de qu frmula lgica se trata, descomponiendo ese nmero en factores primos: 36450 = 2*(3^6)*(5^2) = p ~ q - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Veamos ahora una primera demostracin del teorema fundamental de la aritmtica antes enunciado. Una vez ms se tratar de recurrir al viejo y bien acreditado procedimiento indirecto de reduccin al absurdo.
www.filosofia-irc.org/textos/articulos/teoremalemuel.html 1/5

19/09/13

Teorema fundamental de la aritmtica de Lemuel

Es decir, supongamos que, si existe un entero > 0 descomponible en dos productos diferentes de primos, habr uno menor que todos los dems, llammosle m, para el que tambin se verifique esa propiedad: m = p1p2p3pr = q1q2q3qs, [1] donde los nmeros 1,2,3 y las letras r y s son subndices, y los correspondientes p y q son factores primos en orden creciente: p1 < p2 < p3 < < pr q1 < q2 < q3 < < qs Resulta ahora que p1 tiene que ser distinto de q1, pues, si fuera iguales, dividiendo (*) por p1 = q1 obtendramos dos descomposiciones distintas para un entero x < m, lo que se contradice con la eleccin que hicimos de m como el menor de los nmeros para el que eso es posible. As pues, p1 > q1, o bien p1 < q1. Supongamos que p1 < q1 (si fuese p1 > q1, el razonamiento sera ste mismo, solo que intercambiando las letras p y q). Obtengamos entonces el nmero natural m = m p1q2q3 qs [2] Teniendo en cuenta (*), m = p1p2p3pr p1q2q3qs = p1(p2p3pr q2q3qs) [3] m = q1q2q3qs p1q2q3qs = (q1 p1)q2q3qs [4] Dado que p1 < q1, de [4] resulta que m es un entero positivo, pero, por [2], m < m. De donde se deduce que la descomposicin de m debe ser nica. Pero, segn [3], p1 es un factor de m, de modo que, por [4] se concluye que p1 ha de ser factor de (q1 p1) o bien de q2q3qs. La ltima hiptesis es imposible, dado que p1 es menor que todas las q. Por lo tanto, p1 debe ser un factor de (q1 p1), por lo que existir un h tal que q1 p1 = h*p1, o sea, q1 = (h + 1)*p1, lo que contradice el hecho de que q1 es un nmero primo. Esta contradiccin significa que la hiptesis inicial era absurda, y, por tanto, el teorema fundamental de la aritmtica queda demostrado.

Teorema fundamental de la aritmtica, II

En este y el siguiente post me propongo abordar el entretenido Teorema Fundamental de la
aritmtica desde el punto de vista de los Elementos (libro VII, 1 y 30-1; libro IX, 14) de Euclides. Para lo cual ser necesario tocar de entrada el llamado algoritmo del inmortal matemtico griego. Un algoritmo (palabra derivada del nombre del gran algebrista persa al-Jwarizmi) es un procedimiento o conjunto de procedimientos usados para resolver un problema. Veamos en qu consiste el de Euclides. Por la matemtica elemental o primaria sabemos que dividendo es igual a divisor multiplicado por cociente ms resto, si lo hay. Lo cual, expresado con smbolos, es a = bq + r, 0 r < b. [1]
www.filosofia-irc.org/textos/articulos/teoremalemuel.html 2/5

19/09/13

Teorema fundamental de la aritmtica de Lemuel

Ejemplos: 717 = 5*143 + 2, 624 = 8*78 + 0. Pues bien, de este sencillo hecho aritmtico se deduce el algoritmo de Euclides, utilizado para hallar de un modo fcil, seguro y elegante el MCD, o mximo comn divisor de dos nmeros naturales. Sean a y b dos enteros cualesquiera distintos de cero. Consideremos el conjunto de todos los nmeros que dividen simultneamente a a y b. Solo hay un nmero finito de estos divisores (pues, como es lgico, ninguno podr ser mayor que a o que b), y entre ellos habr uno mayor que todos los dems, al que llamamos d. Pues bien, este nmero d es el MCD, lo cual se suele escribir (a, b)= d, que se lee: "el mximo comn divisor de a y b es d". Por ejemplo, (27, 117) = 9, mximo comn divisor este que no es demasiado difcil hallar, ya que 27 = 3^3, 117 = 13*3^2, donde la mxima parte comn es evidentemente 3^2. Ahora bien, si los nmeros a y b son ms grandes, la cosa se complica a veces de manera notable y, si se va de prisa, es aconsejable hacer uso de un algoritmo como el euleriano siguiente. De la expresin [1] se sigue que (a, b) = (b, r), [2] y ello porque todo nmero h que divide a a y b, a = mh, b = nh, dividir as mismo a r = a bq = mh nhq = h(m nq). Y, recprocamente, segn puede comprobarse de manera anloga, todo nmero que divide a b y r divide tambin a a. En consecuencia, todo divisor comn de a y b es tambin divisor comn de b y r, y al revs. Por lo tanto, siendo el conjunto formado por todos los divisores comunes a a y b idntico al formado por todos los divisores comunes a b y r, resulta que el mayor de los divisores comunes a a y b ha de ser igual al mayor de los divisores comunes a b y r, con lo que queda demostrada la igualdad [2]. Hagamos uso de tal igualdad en un caso concreto y veamos qu ocurre. Sean, por ejemplo, los nmeros a = 5733 y b = 2310. Dividiendo uno por otro y prosiguiendo segn [2], vamos hallando 5733 = 2310*2 + 1113 --> (5733, 2310) = (2310, 1113) 2310 = 1113*2 + 84 --> (2310, 1113) = (1113, 84) 1113 = 84*13 + 21 --> (1113, 84) = (84, 21) 84 = 21*4 + 0 --> (84, 21) = (21, 0) = 21. De modo que (5733, 2310) = 21. En el tercero y ltimo post de esta serie veremos un corolario y un lema a partir de los cuales podremos volver a demostrar, pero esta vez a la manera euclidiana, el Teorema Fundamental de la aritmtica

Teorema fundamental de la aritmtica, y III

www.filosofia-irc.org/textos/articulos/teoremalemuel.html 3/5

19/09/13

Teorema fundamental de la aritmtica de Lemuel

Al igual que hizo don Benito Spinoza con su tica, en los Elementos Euclides expone su algoritmo more geometrico demonstrato, lo cual no deja de resultar un tanto chocante para el lector moderno. Como hemos visto, por divisiones consecutivas a = bq1 + r1 (0 < r1 < b) b = r1q2 + r2 (0 < r2 < r1) r1 = r2q3 + r3 (0 < r3 <r2) . . . . . . . . . . . . . . . r(n-2) = r(n-1)qn + rn (0 < rn <r(n-1)) r(n-1) = rnq(n+1) + 0, [1] de donde (a, b) = rn, es decir, que el MCD de dos nmeros (a,b) es igual al ltimo resto mayor que cero en la sucesin [1]. Lo cual es evidente, ya que (a,b) = (b,r1), (b,r1) = (r1,r2),, (r(n-1),rn) = (rn,0) = rn. Pues bien, a partir de las igualdades [1] se deduce el siguiente importante Corolario: Si d = (a,b), entonces existen dos enteros m y n tales que d= ma + nb. En efecto, segn [1], b > r1 > r2 > > 0, y r1 = a bq1 = m1.a + n1.b, con m1 = 1 y n1 = -q1 r2 = b r1.q2 = b q2.(a bq1) = -q2.a + b(1 + q1) = m2.a + n2.b, con m2 = -q2 y n2 = 1 + q1, etc. Ejemplo. (187, 77) = 11 187 = 2*77 + 33, 77 = 2*33 + 11, 11 = 1*11 + 0 33 = 187 -2*77, 11 = 77 2*33 = 77 2(187 - 2*77) 11 = -2*187 + 5*77 No es difcil imaginar la importancia de este corolario para la resolucin de ecuaciones diofnticas. Pero vayamos ya con el lema que nos va a permitir demostrar con rapidez y al modo euclidiano el Teorema Fundamental que venimos fatigando: Lema. Si un nmero primo p divide a un producto ab, entonces divide a uno de esos factores, a b. Si el primo p no divide a a, entonces (a, p) = 1, y en consecuencia ser posible hallar m y n tales que 1 = ma + np --> b = mab + npb. Pero si p divide a ab, ser ab = pr, de modo que
www.filosofia-irc.org/textos/articulos/teoremalemuel.html 4/5

19/09/13

Teorema fundamental de la aritmtica de Lemuel

b = mpr + npb = p(mr + nb), es decir: que p divide a b, con lo que queda demostrado el lema. Ese resultado puede extenderse trivialmente a productos de ms de dos factores: a(bc), (ab)(cd), etc. De donde se sigue de manera inmediata el Teorema Fundamental de la aritmtica. Supongamos, en efecto, que tenemos dos descomposiciones distintas de un entero N: N = p1p2p3pr = q1q2q3qs Como p1 divide al segundo miembro, ha de dividir tambin al tercero y a cada uno de los factores qk. Pero qk es primo, por lo cual p1 = qk, y es este un factor que podemos suprimir de las anteriores igualdades. Y as sucesivamente, lo que prueba que las dos descomposiciones anteriores son idnticas. QED.

Volve r al m e n principal www.filosofia-irc.org

www.filosofia-irc.org/textos/articulos/teoremalemuel.html

5/5