ESTRUCTURA DE LAS TERNAS PITAGRICAS 1) PLANTEAMIENTO GEOMTRICO Ternas pitagricas En todo tringulo rectngulo se cumple que la suma del

cuadrado de los catetos es igual al cuadrado de la hipotenusa. x2 + y2 = z2 Se llaman ternas pitagricas a aquellos tringulos donde los tres lados son nmeros enteros, y ternas pitagricas primitivas aquellas donde los tres lados son primos entre s. mcd (x,y,z) = 1 Esto implica que uno de los catetos es par, siendo el otro y la hipotenusa impar. El resto de las ternas derivan de alguna primitiva a la que se multiplican los tres lados por un mismo nmero entero. Por convencin, llamaremos x al cateto par, y al impar, z a la hipotenusa. Explicacin geomtrica como reas La ecuacin x2 + y2 = z2 tambin se puede plantear de manera geomtrica como suma de reas. Suma de cuadrados perfectos, en definitiva. Partiendo de un nmero natural x, dibujamos su rea cuadrada1. Despus, aadimos una cantidad b a ambos lados, igualmente nmero natural, para obtener otro rea igualmente cuadrada, (x+b)2. Este nuevo rea ser entonces z. (x+b)= z

Las figuras no tienen medidas exactas

Esta figura es adems la demostracin geomtrica del binomio de Newton, donde, (x+b)2 = x2 +2xb + b2. Pretendemos pues que la diferencia entre z2 x2 = 2xb + b2 sea tambin un entero al cuadrado. Geomtricamente, partimos ya de un rea cuadrada, b2 , luego bastar con extender de manera similar sus lados en una cantidad r para conseguir un nmero (y=b+r). Lo que pretendemos adems es que el rea de este cuadros sea igual a 2xb+b2, as que extendemos las lneas hacia el interior del propio rea de Z, quedando una figura as:

Es sencillo entender que para la diferencia entre z2 x2 sea un nmero entero al cuadrado, y2 , se tiene que cumplir que las dos reas que identificamos como ab tengan la misma dimensin que la que identificamos como r2 . Luego, para obtener la igualdad propuesta, x2 + y2 = z2 se tiene que cumplir que r2 = 2ab. El tringulo pitagrico se esconde dentro de la misma figura geomtrica.

2) PLANTEAMIENTO ARITMTICO Aritmticamente, observando la figura podemos establecer las siguiente igualdades: x= a+r y = b+r z= a+b+r r = x+y-z y desarrollando la ecuacin (a+r)2 +(b+r)2 = (a+b+r)2 se cumple en todo caso que: x2 + y2 = z2 + r2 2ab de donde se deduce una vez ms que la igualdad x2 + y2 = z2 se produce si y solo si r2 = 2ab Por el Teorema Fundamental de la Aritmtica, y dado que 2 no es el cuadrado de nada, tendremos que deducir que 2a = 2p2 b = q2 r = 2pq siendo (p,q) cualquier nmero natural. (Hemos partido de la convencin de que x era el cateto par, de ah que siendo r par, a debe ser igualmente par, b impar). Esto, adems, nos lleva a la conclusin que las relaciones entre los lados de un tringulo pitagrico con nmeros enteros han de ser: x = 2p2 + 2pq y = q2 + 2pq z = 2p2 + q2 + 2pq Esta relacin siempre se da en todas las ternas pitagricas. Para deducirla, basta con establecer la relacin 2pq = x + y z

Conociendo la frmula tradicional,

y = m n x = 2mn z = m + n
sustituimos u=p, v= p+q para obtener la equivalencia x= 2uv = 2 p (p+q) = 2p2 + 2pq y = v2 - u2 = (p+q)2 - p2 = p2 + 2pq + q2 p2 = 2pq + q2 z = v2 + u2 = (p+q)2 + p2 = 2p2 + 2pq + q2 Se sabe tambin que el radio del crculo inscrito en cualquier tringulo rectngulo corresponde a la frmula radio = (x+y-z)/2 por lo que podemos establecer que en realidad radio = pq obteniendo la figura que sirve para cualquier terna.

O decir simplemente que la suma de los dos catetos menos la hipotenusa es el dimetro del crculo inscrito en un tringulo rectngulo.

3) RELACIN ENTRE TODAS LA TERNAS PITAGRICAS Todas las ternas estn relacionadas entre como una cadena en forma de rbol. Partimos de preguntarnos que tipo de relacin existe entre (a, b, r). Es otra tripleta de nmeros donde, de manera semejante a una tripleta pitagrica, observamos que a+b>r, por lo que nos permitimos crear otra relacin. a+b-r = s j = a-s k =b-s siendo (j,k,s) igualmente nmeros enteros. Se deduce tambin que r= j+k+s Dado que hemos planteado que para que exista una terna pitagrica se tiene que dar la relacin r2 = 2ab, podemos sustituir y ver que: r2 = 2ab (j+k+s)2 = 2(j+s)(k+s) llegando a obtener la igualdad j2 + k 2 = s 2 Esta relacin nos implica que: para toda terna de nmeros (x,y,z) que cumpla la igualdad x2 + y2 = z2 existe una terna con valores inferiores (j,k s) que tambin cumple j2 + k2 = s2

Al ser una relacin geomtrica asociada a un tringulo rectngulo, es evidente que esta relacin es vlida no slo para los nmeros naturales, sino para cualquier nmero, incluidos los imaginarios.

Es fcil deducir igualmente que, dado una terna (j,k,s) se origina una nueva terna (x,y,z) de la siguiente manera x = 2k + 2s + j y = 2j + 2s + k z = 2s + 2(j+k) + s

Ejemplo 1: Tomemos la terna primitiva (j,k,s) con menores valores enteros (1,0,1); es considerada trivial, pero cumple igualmente 12 + 02 = 12 De esta terna deriva la primera no trivial x = 2*1 + 2*1 + 0 = 4 y = 2*0 + 2*1 + 1 = 3 z = 2*1 + 2(1+0) +1 = 5 y a su vez esta terna origina x = 2*4 + 2*5 + 3 = 21 y = 2*3 + 2*5 + 4 = 20 z = 2*5 + 2(4+3) + 5 = 29 ... Es tambin notorio que esta disposicin de sumandos que expongo no es casual. Como vimos, cualquier terna tiene una composicin tal que x = 2p2 + 2pq y = q2 + 2pq z = 2p2 + q2 + 2pq Pero en realidad es una estructura derivada de la primera terna (1,0,1) En realidad, cualquier terna tiene la estructura x= 2k p2 + 2s pq + j q2 y = 2j p2 + 2s pq + k q2 z = 2s p2 + 2(j+k) pq + s q2

8 soluciones aritmticas Con el ejemplo 1 podremos obtener un tipo especial de ternas, llamadas cojas, donde la diferencia entre los dos catetos es la unidad. Pero, como se obtienen las otras ternas, como por ejemplo (5, 12, 13) La frmula es correcta para todos los casos, pero no debemos olvidar que aritmticamente, cualquier ecuacin del tipo j2 + k2 = s2 es vlido tanto para valores positivos como negativos; v.g.: (-3)2 + 42 = 52 Hasta un total de 8 posibles combinaciones de los valores ( j, k, s) Es decir, tenemos que tener en cuenta no slo los nmeros naturales (enteros positivos), sino a todo el conjunto de enteros, tanto positivos como negativos. Esto hace que la matriz generadora entre las diferentes ternas es en realidad x= 2k p2 2s pq j q2 y = 2j p2 2s pq k q2 z = 2s p2 2(j+k) pq s q2 Todas las ternas generan pues 8 nuevas ternas. De estas 8 ternas, slo tres pueden ser consideradas primitivas pitagricas pues tienen como resultado los tres valores enteros positivos (naturales). Las otras 5 tienen los mismos valores que otras ternas, pero al menos algn valor negativo, por lo que son versiones de las estrictamente pitagricas. Ejemplo 2: Tomemos la terna (3,4,5) y obtenemos como hemos visto la terna (20,21,29). Si consideramos (-3,4,5) obtendremos (8,15,17), y si consideramos (3,-4,5) se obtendr (5,12, 13) x = 2*4 + 2*5 + 3 = 21 y = 2*3 + 2*5 + 4 = 20 z = 2*5 + 2(4+3) + 5 = 29 x = 2*4 + 2*5 - 3 = 15 y = -2*3 + 2*5 + 4 = 8 z = 2*5 + 2(4-3) + 5 = 17 x = 2*-4 + 2*5 + 3 = 5 y= 2*3 + 2*5 - 4 = 12 z = 2*5 + 2(-4+3) + 5 = 13

Estas 3 ternas pitagricas originadas por una terna generatriz igualmente pitagrica, tienen la siguientes caractersticas: - en una de ellas, como hemos visto, la diferencia entre los catetos se mantiene. - en otra, ser la diferencia entre la hipotenusa y el cateto par; - y en la otra la diferencia entre la hipotenusa y el cateto impar. Desarrollando, obtenemos el siguiente rbol de ternas pitagricas primitivas que entreteje todas las posibles soluciones:

septiembre 2008 comentarios en http://rinconmatematico.com/foros/index.php?topic=5355.180