III.

Proyecto de exploracin matemtica para estudiantes de secundaria: Los triples pitagricos consecutivos
Un triple pitagrico es una trada de enteros no-negativos (x, y, z) que satisface la
2 2 2 condicin x + y = z . Por ejemplo, (0, 1, 1), (3, 4, 5) y (9, 12, 15) son triples pitagricos.

En el caso en que un triple pitagrico (x, y, z) satisface la condicin x+1=y, decimos que el mismo es un triple pitagrico consecutivo. As pues, (0, 1, 1) y (3, 4, 5) son triples pitagricos consecutivos, pero no as el triple (9, 12, 14). En efecto, los primeros dos triples pitagricos consecutivos son (0, 1, 1) y (3, 4, 5). Un problema interesante es el de determinar una formula (recursiva o directa) que genere todos los triples pitagricos consecutivos (sea o no la coleccin de stos infinita). Ciertamente, este es un problema que invita a la experimentacin. Una estrategia heurstica que se sugiere de inmediato es la de recolectar una lista suficientemente extensa de triples pitagricos consecutivos con el fin de intentar descubrir en ella patrones numricos que nos permitan generar algunas relaciones numricas que lleven al descubrimiento de las frmulas deseadas. En esta coyuntura el empleo de la

calculadora resulta de mucha utilidad pues nos permite generar la lista deseada sin dolor alguno (o muy poco dolor). La calculadora es capaz de generar rpidamente una tabla de nmeros entre los cuales aparecen los triples pitagricos consecutivos deseados. Por ejemplo, podramos emplear una tabla que muestre, para valores

consecutivos de los enteros positivos x, los valores de x, y =

x 2 + (x + 1)2 y y y ;

aqu y representa el suelo del nmero y, es decir, el mayor de todos los enteros n que satisfacen n y . Ntese que esta ltima expresin vale cero si y slo si y es un entero, es decir, si (x, x+1, y) es un triple pitagrico consecutivo. Empleando una calculadora TI-83 para generar tal tabla se obtienen pantallas como las que se muestran a continuacin. En la tabla se aprecian los primeros dos triples pitagricos (0, 1, 1) y (3, 4, 5). Como ya se ha indicado, para identificar los triples pitagricos consecutivos en la tabla, basta con solo examinar la columna Y2 (= y y ) para detectar la aparicin de ceros (los

valores de la columna Y2 que corresponden a los valores 0 y 3 de X (= x) valen cero). Si examinamos la tabla a medida que tomamos valores progresivos de X, podremos constatar que el prximo cero ocurre para el valor de X = 20. El triple pitagrico correspondiente es entonces (20, 21, 29).

Figura 1: Tabla para generar triples pitagricos consecutivos

Figura 2: Otros triples pitagricos consecutivos Luego la exploracin se hace un tanto ms tediosa, pero con un poco de paciencia llegamos al valor x = 119 para obtener el prximo triple pitagrico, a saber, (119, 120, 169). La siguiente tabla muestra el progreso alcanzado hasta el momento:

Figura 3: Inicio de una tabla de triples pitagricos consecutivos Una observacin interesante sobre este problema se relaciona con los cocientes sucesivos de los valores de x o los valores de y. Por ejemplo, los cocientes consecutivos de los valores de x son 21/3 = 7 y 119/21 5.57, y los de los valores de y son 5/1 = 5,

30/5 = 6 y 169/30 5.63. Resultados del mismo valor aproximado se obtienen cuando empleamos los triples pitagricos que siguen al ltimo de la tabla. Esta

experimentacin inductiva sugiere que el prximo triple pitagrico ocurre para un valor aproximado de x de 5.6 119 666. Si examinamos la tabla correspondiente que comienza con este valor de X y la continuamos examinando a medida que los valores de X aumentan, vemos que el prximo valor de cero en la columna de Y2 ocurre para X = 696, es decir el prximo triple pitagrico es (696, 697, 985). Podramos continuar explorando de esta manera o escribir un pequeo programa para describir los prximos triples pitagricos consecutivos de la tabla. En el programa (vase la Figura 5) se indica el ltimo valor de x descubierto y el programa indica el prximo triple en la lista (empleando como dato que el prximo valor de x es del orden de 5.8 veces el valor anterior de x). Por ejemplo, sustituyendo el valor de x del ltimo triple descubierto, x=119, obtenemos el triple (696, 697, 985); si luego sustituimos x=696, obtenemos a su vez el triple (4,059, 4,060, 5741), (vase la Figura 5).

Figura 4: Triple pitagrico que sigue a (119, 120, 169)

Figura 6: Programa para generar tiples pitagricos consecutivos

Al obtener valores adicionales se puede extender la tabla anterior para obtener la tabla de la Figura 6. Como es de esperarse, los nmeros en la primera columna crecen rpidamente. Es interesante notar de paso que en algunas calculadoras (como la que estamos empleando en los clculos de este ejemplo1) la suma de los cuadrados de las primeras dos columnas de la tabla podra resultar en un nmero que no se puede representar exactamente en la ventanilla de la calculadora. En tal caso la calculadora revierte al formalismo numrico de la aritmtica de punto flotante; vase la Figura 7. Invitamos al lector a hallar el prximo triple pitagrico de la tabla. Estrategias heursticas de bsqueda de relaciones entre los nmeros de la tabla revelan datos muy interesantes. Se puede notar, por ejemplo, que tres veces primera entrada de un triple pitagrico ms dos veces la segunda es aproximadamente la primera entrada del triple que sigue. Una relacin similar aplica a la tercera entrada del triple pitagrico que sigue. Algunos estudiantes que han considerado este problema terminan dando con una relacin recursiva para generar la sucesin de los triples pitagricos consecutivos (a n ,a n + 1,b n ) (n 0):
a 0 = 0 b0 = 1 a n +1 = 3a n + 2b n + 1 b n + 1 = 4a n + 3b n + 2
x 0 3 21 119 696 4059 23660 137903 x+1 1 4 22 120 697 4060 23661 137904 y 1 5 30 169 985 5741 33461 195025

(1)

Figura 6: Triples pitagricos consecutivos adicionales

1

TI-83 4

Figura 7: Calculadora que revierte a aritmtica de punto flotante Preguntas naturales que surgen de la experimentacin en este problema son las relacionadas al comportamiento asinttico de los cocientes a n +1 / a n y b n + 1 / b n y (es decir, cmo se comportan tales cocientes cuando n se hace grande?) a n / b n . De las relaciones anteriores es fcil ver que
a n +1 3a n / b n + 2 + 1/ b n = b n + 1 4a n / b n + 3 + 2/ b n .

(2)

Ahora sabemos por (1) que hay un nmero infinito de triples pitagricos consecutivos. Por consiguiente, a n y b n cuando n . Si suponemos que

a n / b n se acerca (como parece) a un nmero x, entonces se obtiene de (2) que

3x + 2 4x + 3 .

x=

(3)

La solucin positiva de (3) es x = 1/

2 . El lector puede verificar que los valores

2 . Empleando nuevamente

sucesivos de a n / b n se aproximan en efecto a .707107 1/

(1), el lector podr verificar que a n +1 / a n y b n + 1 / b n

3 + 2 2 5.82.

ambos se aproximan a

Una dimensin particularmente interesante de este problema surge luego de observar que la recursin indicada anteriormente se puede escribir en forma

matricial.

En efecto, en el estudio de otra sucesin famosa, la de Fibonacci, la Recordamos al lector que la sucesin de

expresin matricial es muy reveladora. Fibonacci se define recursivamente como:

f0 = 0 f1 = 1

fn +2 = fn +1 + fn (n0)

Entre los adeptos al estudio de esta sucesin (quienes son muchos como lo atestigua la cantidad impresionante de publicaciones en la forma de artculos y revistas sobre el tema) se conoce muy bien el procedimiento que pasamos a describir muy someramente. Note que la recursin anterior se puede escribir como
fn + 2 1 1 f = n+ 1 fn + 1 1 0 fn

(n0).

Ahora hacemos una breve disgresin para discutir algunos datos sobre la diagonalizacin de matrices. En esta discusin supondremos que el lector est

familiarizado con operaciones de suma y multiplicacin de matrices y con el clculo de determinantes para matrices 22. Adems, en la discusin que sigue slo trataremos el caso de las matrices 22 y supondremos tambin que el lector sabe cmo hallar la matriz inversa de una matriz dada (cuando existe). La matriz identidad (22) con respecto a la multiplicacin esta dada por la matriz definida por:

1 0 I= 0 1 .
Por definicin la matriz A es diagonalizable si existe una matriz invertible P tal que
1

P AP es una matriz diagonal, es decir, una matriz para la cual todas las entradas son
ceros, con la posible excepcin de las entradas de la diagonal principal. En smbolos, una matriz 22 es diagonalizable si y slo si existe una matriz D tal que P AP = D y D es de la forma
1

d1 0 D = 0 d2 ,

para nmeros reales (o complejos) d1 , d 2 . Una gran ventaja de las matrices diagonales es la facilidad con la que se pueden elevar a potencias enteras. En efecto si D es como la ltima matriz indicada, entonces para todo entero no-negativo n,
dn 0 1 D = n 0 d 2 .
n

Dejamos al lector la verificacin de este dato. En particular, si n es un entero nonegativo, tenemos

(P

AP ) = (P1AP )(P 1 AP ) ...(P 1 AP ) (n veces)

n

= P 1 A n P

Pon consiguiente si A es diagonalizable y P es la matriz invertible de la definicin, entonces, para todo entero no-negativo n, tenemos:

D = P A P.
Tenemos pues en este caso que A = PD P , de manera que las potencias de A son tambin, despus de todo, fciles de calcular. Ahora recordamos al lector que el determinante tiene la propiedad multiplicativa: si A y B son matrices cuadradas det(AB)=det(A).det(B). (Aqu, como el lector seguramente sospecha, det(A) representa el determinante de la matriz A.) En particular, si A es
1 invertible, entonces det(A)0 (la matriz cero!) y det(A ) = 1/ det(A) . Entonces si A es
n n

diagonalizable y P es como en la definicin tenemos, para todo nmero x,

det(A xI) = det(PDP xI) = det(P(D xI)P1 ) = det(P)det(D xI)det(P)1 = det(D xI) d1 0 x = det 0 d2 0 d1 x 0 = det 0 d x 2 = (d 1 x )(d2 x)
7

0 x

Note primeramente que det(A-xI) es un polinomio de grado 2 y que los nmeros

d1 y d 2 no son sino las raices este polinomio, Decimos que el polinomio indicado es el
polinomio caracterstico de A y que las races d1 y d 2 son sus valores propios o eigenvalores de A. Desde luego, en la prctica, cuando no sabemos si una matriz es diagonalizable, comenzamos por examinar el polinomio caracterstico de la misma para hallar los autovalores y luego, empleando tales autovalores, tratamos de determinar una matriz P que diagonalice a la matriz dada. Para ello, primeramente tratamos de descubrir vectores (en este caso una matrices 21), distintos de cero (es decir, con alguna entrada distinta de cero)
p11 p12 p 21 y p 22 ,

tal que
p11 p11 p12 p12 A = d1 A = d2 p 21 p 21 y p 22 p22 .

Si los vectores que se han conseguido mediante el procedimiento descrito son especiales (en el sentido que ninguno de ellos se obtiene del otro mediante multiplicacin por algn nmero), entonces la matriz
p11 P= p 21 p12 p22

es invertible y es fcil verificar que

p11 AP = A p 21

0 0 + A 0 0

p12 p 22

d 1p11 0 0 d2 p12 + A = d p 0 d p 1 21 0 2 22 d 1p11 d2 p12 = d p 1 21 d 2 p 22 d 1 0 = P 0 d 2 .

8

Si D es la matriz diagonal de la derecha, esto prueba que AP = PD y de aqu se obtiene P AP = D . Desde luego, hay criterios para decidir cundo una matriz es diagonalizable, pero la discusin del tema nos llevara muy lejos de la senda que deseamos seguir en este momento. Referimos al lector a las referecias sobre algebra lineal que aparecen al final de este escrito. Ahora regresamos al la discusin de la matriz empleada para escribir en forma matricial la sucesin de Fibonacci. Curiosamente los valores propios que se emplean para diagonalizar la matriz indicada son las famosas constantes ureas que aparecen en la formula directa para generar la sucesin de Fibonacci:
1

= (1 + 5 )/ 2 = (1 5 )/ 2

n n y fn = (n0).

En el caso de la recursin de los triples pitagricos tenemos ( a 0 = 0 b 0 = 1 ):

an + 1 3 2 a 1 = n + b n + 1 4 3 b n 2 (n0).

(1)

Ntese que en la recursin de los triples pitagricos aparece un vector constante. En este caso los valores propios de la matriz indicada estn dados por = 3 + 2 2) y

= 3 2 2 ; vase Figura 8. Los cocientes a n +1 / a n y b n +1 / bn parecen aproximase a

cuyo valor aproximado es de 5.82.

Figura 8 Los lectores interesados pueden verificar que la matriz

3 2 T = 4 3
9

se puede diagonalizar, es decir, es posible hallar una matriz invertible P tal que P TP es una matriz diagonal D cuyas entradas corresponden a los valores propios de T. En efecto una matriz P con tal propiedad se muestra a continuacin; vase la Figura 8:
2 /2 P = 1 0 2 / 2 D = 1 0

Figura 8 En la siguiente discusin emplearemos la notacin,

n = , = bn 2
n +1 = T n +

an

Entonces, en notacin matricial la relacin recursiva (1) se conviente en (2)

Empleando la relacin recursiva (2) y un argumento inductivo es posible demostrar (dejamos los detalles al lector interesado; el lector puede imaginar que las matrices actan como nmeros reales (cuidado con la comutatividad!) para sumar las series geomtricas que surgen sin miedo alguno) que para n 0,

n = PDn P 1 0 + P( I D)1 (I Dn )P 1
Calculando explcitamente esta expresin en la calculadora (vase Figura 9) tenemos

10

n = b n

an

1 2 n1 + 2 1 (3 2 2 )n + 3 + 2 2 ( ) 4 4 2 = n 2 2 n 2 + 2 + (3 + 2 2 ) (3 2 2 ) 4 4

Figura 9 Esto nos da una frmula explcita para los triples pitagricos consecutivos (a n ,a n +1 , bn ) (n 0):
n1 2 n1 + 2 1 a n = (3 2 2 ) + (3 + 2 2 ) 4 4 2

n 2 n 2 + 2 2 3 + 2 2 b n = (3 2 2 ) + ) ( 4 4

Mira a tu alrededor que las maravillas surgen en los lugares menos imaginados!

Algunas preguntas interesantes 1. Halle una matriz invertible P para la sucesin de Fibonacci tal que

1 1 P 1 P 1 0

(3)

es una matriz diagonal. Emplee los valores de la diagonal para hallar una fmula explicita para la sucesin de Fibonacci (vase la pgina 9). 2. Ser posible hallar ms de una matriz P como en la pregunta anterior?

11

Referencias Las actividades aqu descrita se han tomado de las siguientes fuentes: Campistrous, L. A., Lpez, J. M. (2001), La calculadora como herramienta heurstica, Revista Uno, Nmero 28, pginas 84-99. Lopez, J. M. (2002) Problemas de investigacin matemtica para la escuela secundaria, Fascculo de los Centros Regionales de Adiestramiento en Instruccin Matemtica (CRAIM), Universidad de Puerto Rico, Ro Piedras

12