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 pita-
gricos 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,

2
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

3
 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 (1)
b n+ 1 = 4a n + 3b n + 2

x x+1 y
0 1 1
3 4 5
21 22 30
119 120 169
696 697 985
4059 4060 5741
23660 23661 33461
137903 137904 195025

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
x=
4x + 3 . (3)

La solucin positiva de (3) es x = 1/ 2 . El lector puede verificar que los valores

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

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

3 + 2 2 5.82.

Una dimensin particularmente interesante de este problema surge luego de

observar que la recursin indicada anteriormente se puede escribir en forma

5
matricial. En efecto, en el estudio de otra sucesin famosa, la de Fibonacci, la
expresin matricial es muy reveladora. Recordamos al lector que la sucesin de
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 fn+ 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,
1
una matriz 22 es diagonalizable si y slo si existe una matriz D tal que P AP = D y D
es de la forma
d1 0
D =
0 d2 ,

6
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,
dn1 0

n
D =
n
0 d 2 .

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

negativo, tenemos

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

1 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:
n 1 n
D = P A P.
n n 1
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
diagonalizable y P es como en la definicin tenemos, para todo nmero x,
1
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 0
= det
0 d2 0 x
d1 x 0
= det
0 d 2 x
= (d 1 x )(d2 x)

7
 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)
p p
11 12
p 21 y p 22 ,

tal que
p11 p11 p12 p12
A = d1 A = d 2
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 p12
P =
p21 p22

es invertible y es fcil verificar que

p11 0 0 p12
AP = A + A
p21 0 0 p 22
d p 0 0 d2 p12
= 1 11 + A
d1 p21 0 0 d 2 p 22
d 1p11 d2 p12
=
d1 p21 d 2 p 22
d 0
= P 1
0 d 2 .

8
 Si D es la matriz diagonal de la derecha, esto prueba que AP = PD y de aqu se
1
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 + 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 ):

a n + 1 = 3 2 a n + 1
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
 1
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 2 / 2 0
P = D =
1 1 0

Figura 8

En la siguiente discusin emplearemos la notacin,

an 1
n = , =
bn 2

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

n +1 = T n + (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

(3 2 2 )n 1 2 + (3 + 2 2 )n 1 + 2 1
an 4 4 2
n = =
bn 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 n
a n = (3 2 2 ) + (3 + 2 2 ) 1 + 2 1
4 4 2
n 2 2 n 2 + 2
b n = (3 2 2 ) (+ 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 (3)
1 0

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