Documente Academic
Documente Profesional
Documente Cultură
Tringulos Pitagricos
7.1
Preliminares
x, y, z Z.
(7.1)
x, y, z N.
(7.2)
Tringulos Pitagricos
Conhecemos j alguns desses tringulos: [3, 4, 5] e [5, 12, 13], por exemplo.
13
5
4
12
x2 + y2 = z2 ,
7.2
x, y, z N,
(x, y) = 1.
(7.3)
Tringulos Pitagricos
Lema 7.1 Se k N e a1 , a2 , . . . , ak so inteiros positivos primos entre si cujo produto
a1 a2 ak um quadrado perfeito, ento, para todo i, ai um quadrado perfeito.
x
=
2mn
x = m2 n 2
y = m2 n 2
y = 2mn
z = m2 + n 2
z = m2 + n 2
ou
m>n
m>n
(m, n) = 1
(m, n) = 1
m + n 1 ( mod 2)
m + n 1 ( mod 2).
Tringulos Pitagricos
Sejam m, n N nas condies definidas e sejam x = 2mn, y = m2 n2 e z = m2 +n2
(o outro caso similar). Ento
x2 + y 2 = 4m2 n2 + m4 + n4 2m2 n2 = m4 + n4 + 2m2 n2 = (m2 + n2 )2 = z 2 .
Vejamos que o tringulo [2mn, m2 n2 , m2 +n2 ] primitivo. Para isso basta mostrar
que (2mn, m2 n2 ) = 1. Suponhamos que no e seja p um nmero primo que divide
2mn e m2 n2 = (m n)(m + n). Note-se que p no pode ser 2 porque m2 n2
mpar.
Deste modo p divide m ou n (porque p divide 2mn) e p divide m n ou m + n
(porque p divide (m n)(m + n)). Os 4 casos tm tratamento similar:
se p divide n e m n ento p divide m, porque m = (m n) + n;
se p divide m e m + n ento p divide n, porque n = (m + n) m.
se p divide n e m n ento p divide m, porque n = m (m n);
se p divide n e m + n ento p divide m, porque n = (m + n) n.
Em qualquer dos casos p divide n e m contrariando o facto de m e n serem primos
entre si.
=
Seja [x, y, z] um tringulo pitagrico primitivo.
Usando a proposio anterior podemos supor que x par e que y e z so mpares
(o outro caso seria tratado de maneira similar).
2
zy
Da igualdade x2 +y 2 = z 2 obtemos x2 = (z +y)(z y), ou seja, x2 = ( z+y
2 )( 2 )
(note-se que z + y e z y so nmeros pares). Com a inteno de aplicar o Lema
zy
z+y zy
7.1 vamos mostrar que ( z+y
2 , 2 ) = 1. Seja d = ( 2 , 2 ). Assim
z+y
z+y
zy
d
divide
d divide 2 + 2 = z
e portanto
d divide zy
d divide z+y z+y = y
2
Tringulos Pitagricos
zy
2
2
Usando o Lema 7.1, existem m, n N tais que z+y
2 = m e 2 = n . Assim
x = 2mn
y = m2 n2 subtraindo as duas igualdades acima
Para concluir basta notar que: m > n pois y positivo; m + n 1 (mod 2) pois
y mpar; (m, n) = 1 pois (x, y) = 1.
x = (m2 n2 )k
x
=
2mnk
y = 2mnk
y = (m2 n2 )k
z = (m2 + n2 )k
z = (m2 + n2 )k
ou
m
>
n
m>n
(m, n) = 1
(m, n) = 1
m + n 1 ( mod 2).
m + n 1 ( mod 2)
Nota 7.5 O inteiro k que aparece no corolrio anterior o mximo divisor comum
entre as medidas de dois quaisquer dos lados do tringulo pitagrico. Por outro lado,
se k mpar ento a medida da hipotenusa e de um dos catetos mpar e a medida do
outro cateto par. Note-se ainda que, m2 + n2 1 (mod 4) e que m, n, m + n e m n
so primos entre si.
Do corolrio anterior podemos concluir o seguinte.
Proposio 7.6 Num tringulo pitagrico:
a) a medida de um dos catetos mltipla de 4;
b) a medida de um dos catetos mltipla de 3;
119
Tringulos Pitagricos
c) a medida de um dos lados mltipla de 5.
Demonstrao: Usemos a caracterizao dos tringulos pitagricos dada pelo corolrio
anterior.
a) Como m ou n par, conclumos que 2kmn mltiplo de 4.
b) O resultado trivial se m ou n for mltiplo de 3. Se m e n no forem mltiplos
de 3 ento m2 n2 1 (mod 3) e portanto k(m2 n2 ) mltiplo de 3.
c) O resultado trivial se m ou n for mltiplo de 5.
Note-se que, se a Z ento
a2
1(
4(
4(
1(
mod 3),
se a 1 ( mod 5)
mod 3),
se a 2 ( mod 5)
mod 3),
se a 3 ( mod 5)
mod 3),
se a 4 ( mod 5)
Exemplos 7.7
Vejamos dois exemplos:
1. Vamos calcular todos os tringulos pitagricos da forma [x, y, x + 1].
Como (x, x + 1) = 1 os tringulos tm de ser primitivos. Em particular, x + 1
mpar (pois a medida da hipotenusa) e portanto x par e y mpar.
Assim, existem m, n N tais que
120
Tringulos Pitagricos
ou seja
x = 2mn
y = m2 n 2
x + 1 = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2)
x = 2mn
y = m2 n 2
m2 + n2 = 2mn + 1
m>n
(m, n) = 1
m + n 1 ( mod 2).
x = 2mn
y = m2 n 2
(m n)2 = 1
m>n
(m, n) = 1
m + n 1 ( mod 2)
x = 2n(n + 1)
y = 2n + 1
m=n+1
m>n
(m, n) = 1
m + n 1 ( mod 2)
x = 2n(n + 1)
y = 2n + 1
n N.
Como exemplos temos os tringulos: [3, 4, 5], [5, 12, 13], [7, 24, 25] e [9, 40, 41].
2. Vamos calcular todos os tringulos pitagricos da forma [x, y, x + 3].
Como (x, x + 3) = (x, 3) {1, 3} ento usando a Nota 7.5 a hipotenusa mpar
e portanto x par. Deste modo existem m, n N tais que
121
Tringulos Pitagricos
x = 2mn
y = m2 n 2
x + 3 = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2)
ou
x = 6mn
y = 3(m2 n2 )
x + 3 = 3(m2 + n2 )
m>n
(m, n) = 1
m + n 1 ( mod 2).
x = 2mnk
y = (m2 n2 )k
100 = (m2 + n2 )k
m>n
(m, n) = 1
m + n 1 ( mod 2).
Uma vez que m2 + n2 mpar e 100 = k(m2 + n2 ), k tem de ser igual a 4, 20 ou
100. Obtemos assim os seguintes 3 sistemas:
122
Tringulos Pitagricos
x = 8mn
y = 4(m2 n2 )
25 = m2 + n2
m>n
(m, n) = 1
m + n 1 ( mod 2)
x = 40mn
y = 20(m2 n2 )
5 = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2)
x = 200mn
y = 100(m2 n2 )
1 = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2).
7.3
Vamos de seguida demonstrar a no existncia de tringulos pitagricos em determinadas condies. Concluiremos com a demonstrao do teorema de Fermat, para
n = 4:
6 x, y, z N :
x4 + y 4 = z 4 .
Ou seja, no existem tringulos pitagricos cujas medidas dos lados sejam quadrados
perfeitos.
z2
x2
y2
123
Tringulos Pitagricos
Teorema 7.8 (Teorema de Fermat) Se a soma de dois quadrados perfeitos positivos
um quadrado perfeito, ento a diferena desses dois quadrados perfeitos no um
quadrado perfeito.
Ou seja, o sistema
(
x2 + y 2 = z 2
x2 y 2 = t2
x
y
=
.
d
d
d
Pela minimalidade imposta sobre z conclumos que d = 1.
124
Tringulos Pitagricos
Recordemos agora a Proposio 7.2. Como estamos na presena de dois tringulos
pitagricos primitivos [x, y, z] e [y, t, x] podemos concluir que z e x so mpares, pois
so as medidas das hipotenusas. Daqui conclumos que y par e, portanto, t mpar.
Voltando ao sistema
2
2
2
2x = z + t
2 = (z + t)2 + (z t)2
2
4x
x =
z+t 2
2
zt 2
2
2y 2 = z 2 t2
2y 2 = (z t)(z + t)
2y 2 = (z t)(z + t)
zt
= 1 (qualquer nmero que divida os dois nmeros divide tambm
Como z+t
,
2
2
a sua soma e a sua diferena que so z e t, dois nmeros primos entre si) e utilizando o
Teorema 7.3, podemos concluir que existem m, n N tais que
zt
2
= 2mn
z+t
2
= m2 n 2
x = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2)
ou
z+t
2
= 2mn
zt
2
= m2 n 2
x = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2).
m = a2 , n = b2 , m n = c2 , m + n = d2 .
Em particular
(
a2 + b2 = d2
a2 b2 = c2 .
125
Tringulos Pitagricos
Por outro lado d d2 m + n < m2 + n2 = x < z contrariando a minimalidade de
z.
Chegamos assim a uma contradio, que foi motivado pelo facto de termos suposto
que o sistema original tinha soluo.
z2
x2
Seja d o mximo divisor comum entre as medidas dos lados do tringulo. Ento
2
2
d = (x2 , z 2 ) e, portanto existe t N tal que d = t2 . Deste modo [ xt2 , ty2 , zt2 ] ou seja
2
2
[ xt , ty2 , zt ] um tringulo pitagrico primitivo em que as medidas da hipotenusa e
de um dos catetos um quadrado perfeito.
Podemos assim supor que existe um tringulo pitagrico primitivo da forma [x2 , y, z 2 ].
Pelo Teorema 7.3, existem m, n N tais que
x2 = 2mn
y = m2 n 2
z 2 = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2)
x2 = m2 n2
y = 2mn
z 2 = m2 + n 2
ou
m>n
(m, n) = 1
m + n 1 ( mod 2).
126
Tringulos Pitagricos
Em ambos os casos entramos em contradio com o teorema anterior:
- no primeiro caso obtemos
(
z 2 + x2 = (m + n)2
z 2 x2 = (m n)2 ;
m2 n2 = x2
m2 + n 2 = z 2 .
x2 = 2mn
y 2 = m2 n2 = (m n)(m + n)
z = m2 + n 2
m>n
(m, n) = 1
m + n 1 ( mod 2)
127
Tringulos Pitagricos
2
Do Lema 7.1 e do facto de y 2 e x2 serem produtos de dois nmeros primos entre
2
x 2
si (note-se que x2 = m
= n2 m, se n par) existem a, b, c, d N
2 n, se m par e 2
tais que (a, b) = 1 = (c, d) e
m
=
2a
m = a2
n = 2b2
n = b2
ou
m n = c2
m n = c2
m + n = d2
m + n = d2
No primeiro caso obtemos
c2 + d2 = 2 m = (2a)2
Obtemos assim um tringulo pitagrico primitivo (recorde-se que (c, d) = 1) [c, d, 2a]
em que a medida da hipotenusa par, contrariando a Proposio 7.2.
No segundo caso obtemos sucessivamente,
(
(
c2 + d2 = 2a2
c2 + d2 = 2a2
c+d
cd
c2 d2 = 4b2
= b2
2
2
c+d
2
2
2
2
Assim, existem k, s N tais que cd
2 = k e 2 = s . Em particular, c = k + s e
d = s2 k2 . Substituindo na primeira equao do ltimo sistema temos k4 + s4 = a2 .
Assim obtivemos uma outra soluo da equao inicial. A exemplo do que foi feito
na demonstrao do Teorema 7.8 podemos utilizar o mtodo da descida infinita para
concluir que a equao x4 + y 4 = z 2 no tem soluo.
Como aplicao do Teorema 7.8 podemos ver que a rea de um tringulo pitagrico
nunca um quadrado perfeito. Com as notaes usais, a rea de um tringulo pitagrico
k2 mn(m n)(m + n), que um quadrado perfeito se e s se mn(m n)(m + n) o
for. Pelo Lema 7.1 a rea do tringulo referido um quadrado perfeito os inteiros n,
m, m n e m + n forem quadrados perfeito, contrariando o Teorema 7.8.
Vejamos mais um exemplo, cuja resoluo essencialmente igual resoluo da
equao x2 + y 2 = z 2 , com x, y, z N.
128
Tringulos Pitagricos
Dado r N consideremos a equao
x2 + r y 2 = z 2 ,
com x, y, z N.
px
z
2 + y2
zx
2
z+x
;
2
Tringulos Pitagricos
zx
2
= 2m2
z+x
2
2 =n
y = 2mn
(m, n) = 1
zx
2
= m2
z+x
2
2 = 2n
y = 2mn
(m, n) = 1.
ou
2 2m2
x
=
n
x = 2n2 m2
z = n2 + 2m2
z = 2n2 + m2
ou
y = 2mn
y = 2mn
(m, n) = 1
(m, n) = 1.
Existem alguns pormenores a ter em conta!
px
px
z
2 + 2 y2
2 + y2
Tringulos Pitagricos
varivel, X = x, Y = ky e Z = z e obtemos a equao X 2 + sY 2 = Z 2 . Resolvemos esta
equao utilizando um processo anlogo ao do exemplo anterior (s = 2). As solues da
equao original so assim os ternos (X, Yk , Z) em que X 2 + sY 2 = Z 2 e Y mltiplo
de k.
Note-se que, se x2 + ry 2 = z 2 e d = (x, z), ento d2 divide ry 2 mas d no divide
necessariamente y. Por exemplo, se r = 12, 62 + 12 32 = 122 e (6, 12) = 6 e (6, 3) = 3.
7.4
Exerccios
Tringulos Pitagricos
g) z = 1885;
h) 40 z 50 e [x, y, z] primitivo;
i) um dos lados mede 18;
j) x = 187 e y um quadrado perfeito;
k) y + x = 64;
l) um dos lados mede 15;
m) (x, y) = 7 e [x, y] = 84;
n) (x, y) = 10 e [x, y] = 2 000;
o) (x, y) = 7 e y = 7(z x).
7.7. D exemplos de tringulos pitagricos (x, y, z) tais que:
a) y = 23 74 ;
b) x + y 1000001 e (x, y) = 5;
c) y = x + 16 e x > 50;
d) (x, y) = 7 e existe a N tal que x = 5a2 .
7.8. D um exemplo de um tringulo pitagrico primitivo no qual a diferena entre a
medida do cateto maior e a medida do cateto menor seja pelo menos 500.
7.9. Encontre um tringulo pitagrico primitivo cuja soma das medidas dos catetos
seja maior do que 1000.
7.10. Calcule todos os tringulos pitagricos cujo permetro 1716.
7.11. Verifique se existem tringulos pitagricos primitivos cuja hipotenusa divisvel
por 7.
7.12. Calcule todos os tringulos pitagricos cujas medidas do permetro e da rea
sejam iguais.
7.13. Calcule todos os tringulos pitagricos cuja medida do permetro seja igual a trs
vezes a medida da rea.
132
Tringulos Pitagricos
7.14. Encontre todos os tringulos pitagricos primitivos cuja medida da hipotenusa
um quadrado perfeito.
7.15. Verifique se h uma infinidade de tringulos pitagricos primitivos cuja rea
igual ao produto do permetro pelo quadrado de algum inteiro.
7.16. Mostre que, dado n 3 existe um tringulo pitagrico em que um dos lados mede
n.
7.17. Encontre um tringulo pitagrico primitivo em que a diferena das medidas dos
catetos um quadrado perfeito maior que 1.
7.18. Mostre que, se [x, y, z] um tringulo pitagrico ento xn + y n 6= z n para n 3.
7.19. Resolva a equao 81x2 + 4y 4 = z 4 , com x, y, z N e (x, y) = (x, z) = (y, z) = 1.
7.20. Mostre, usando o mtodo da descida infinita que a equao 7x3 + y 3 = 49z 3 , com
x, y, z N no tem soluo.
7.21. Encontre x, y, z Z tais que
4x4 + 9y 2 = z 2 , e x 5000.
7.22. Quais os pontos de coordenadas racionais que pertencem ao crculo de equao
x2 + y 2 = 1?
7.23. Mostre que a equao
x4 2y 2 = 1,
x, y N
y 2 = x4 + 1,
x, y N
no tem soluo.
7.24. Mostre que a equao
no tem soluo.
7.25. Resolva as seguintes equaes diofantinas:
133
Tringulos Pitagricos
a) x2 + y 2 + z 2 = 8000007;
b)
(
x2 + 2y 2 = z 2
x2 2y 2 = w2 ;
c) (x + y + z)3 = x3 + y 3 + z 3 ;
d)
x+y+z
= t
x2 + y 2 + z 2 = t2
x3 + y 3 + z 3 = t3 .
134