Encontrar e demonstrar a forma geral das triplas pitagricas.

Uma tripla pitagrica de nmeros inteiros positivos uma tripla ordenada (a, b, c) tal que
a + b2 = c2.
2

A tripla (a, b, c) primitiva quando mdc (a, b, c) = 1. Forma geral: Sejam m, n N, tais que 1 m < n , mdc (m,n) =1 e m e n tm paridades distintas.Ento a=2mn, b = n 2 m 2 e c = m 2 + n 2 determinam uma terna pitagrica primitiva. Toda terna pitagrica primitiva deste tipo (a, b, c). Demonstrao: Como a 2 + b 2 = (2mn ) 2 + (n 2 m 2 ) 2 (a, b, c) uma terna pitagrica.
= 4m 2 n 2 + n 4 2 m 2 n 2 + m 4 = m 4 + 2m 2 n 2 + n 4 = m 2 + n 2

= c2 ,

ento

Agora, se mdc(a, b, c)>1, pelo Lema 1, existe algum nmero primo mpar p tal que p\mdc(a, b, c). Assim, p\a = 2mn donde segue que p\m ou p\n. Como p divide c e c = m 2 + n 2 , ento p\m e p\n. Portanto, 1 p < mdc( m, n ) =1 , o que uma contradio. Dessa forma (a, b, c) uma tripla primitiva. Seja (a, b, c) uma tripla pitagrica primitiva e consideremos que a par e b mpar. (O caso onde a mpar e b par anlogo). Da
2 a2 caso, pelo Lema 1, temos que c mpar. Ento c-b e c+b so pares e, da, 4
a 2 = c 2 b 2 = ( c b )( c + b )

e, portanto,

( c b ) . ( c + b ) = a 2 . Nesse
2 4

N. Assim, a

r, em que s =

( c b)
2

er=

( c + b)
2

=s.

Se d = mdc(r,s), ento d\s r. Agora, como s+r =

( c b) ( c + b)
2

( c + b)
2

=cesr=

( c b)
2

= b, ento d\mdc (b,c). Pelo Lema 2, mdc (b, c) = 1 e, desse modo, d = 1, portanto mdc (r, s)

= 1. Pelo Lema 3, r e s so quadrados perfeitos, digamos, r = m 2 e s = n 2 . Segue da que mdc (m,n) = 1. Como b = s r = n 2 m 2 = ( n m )( n + m ) e b mpar ento n m mpar e, portanto tm paridades distintas. Alm disso, n 2 m 2 = s- r = b; m 2 + n 2 = r + s = c e de 2mn. Segue ento que as triplas pitagricas primitivas so do tipo (2mn, n 2 m 2 , m 2 + n 2 ) e, de um modo geral, cada tripla pitagrica tem a forma (k. 2mn, k. ( n 2 m 2 ) , k. ( m 2 + n 2 )), com m, n, k N*, 1 m < n , mdc (m,n) =1 e m e n tm paridades distintas.
a2 = r. s = m 2 . n 2 , segue que a = 4

Lema 1: Se (a, b, c) uma tripla pitagrica primitiva, ento exatamente um dentre os dois primeiros termos a e b par e os outros dois so mpares. Demonstrao: Se a e b so pares, ento c tambm par, o que contradiz o fato do mdc (a, b, c) = 1. Logo, no podem ser ambos pares. Se a e b so mpares, ento a do tipo 2m + 1 e b do tipo 2n + 1. Da, a 2 + b 2 = (4m 2 + 4m + 1) + (4n 2 + 4n + 1) = 4(m 2 + m + n 2 + n ) + 2 = c 2 . Logo 2\ c 2 e 2 2 no divide c 2 . Mas 2\c e isso implica que 2 2 \ c 2 . Portanto, temos uma contradio e no pode ocorrer que a e b sejam ambos mpares.

Lema 2: Se (a, b, c) uma tripla pitagrica primitiva, ento os termos a, b e c so dois a dois , primos entre si. Demonstrao: Se d= mdc (a,b) > 1, ento existe um nmero primo p tal que p\d, e da p\a e p\b. Logo, p\ a 2 + b 2 = c 2 e, portanto, p\c. Mas isto contradiz o fato de (a, b, c) ser primitiva.(Os outros dois casos so verificados do mesmo modo).

Lema 3: Sejam m, n, c

N. Se m . n =

c2

e mdc (m, n) =1, ento m e n so quadrados perfeitos.

s

r1 s k q 1 q j j as fatoraes em primos de m em. Como mdc pr Demonstrao: Sejam m = p1 k en= 1 (m,n) = 1, ento os termos p k so distintos dos termos q j . Assim: r1 k q s1 q j a fatorao de m . n. Como, por hiptese, m . n = pr m . n = p1 c 2 , ento todos os j k . 1
s s1 1 k expoentes rk e s j so pares e portanto m = a 2 e n = b 2 , com a = ( p 2 p 2 )2 e b = ( q 2 q 2 )2. 1 j 1 k

sj

Demonstrao: Inicialmente provaremos que as diagonais de um pentgono regular determinam um segundo pentgono regular, contido no primeiro, e que so vlidas as relaes mtricas da Figura 2.

Figura 2 Consideremos ento um pentgono regular e suas diagonais .O , , etc. Confira a issceles com

Figura 3. Cada ngulo interno de um pentgono regular mede . Da .

Figura 3 Como

segue Do mesmo modo do que segue . Portanto todos os ngulos formados pelos lados e diagonais do pentgono com vrtices nos pontos , , , e medem . . Por outro lado

No

, e, por ser oposto pelo vrtice, , assim como todos os ngulos internos do pentgono . Por serem a eles suplementares os ngulos , , , etc., medem cada um. Portanto

temos

Chamaremos de

a esse valor comum.

Observemos que so congruentes os tringulos

do que obtemos menor

regular. Seja

. Acabamos de provar que o pentgono a medida do lado desse pentgono. issceles. Segue . , e segue .

Assim como ocorre no pentgono maior, temos ,e que . Portanto toda diagonal do pentgono menor vale Finalmente observemos que issceles com Ficam assim provadas as relaes mtricas da Figura 2. Vamos mudar nossa notao, e chamar de pentgono maior e de e e

respectivamente o lado e a diagonal do

respectivamente o lado e a diagonal do pentgono menor. Ficou e . Desta ltima temos . Manipulando

demonstrado que essas identidades obtemos

O pentgono menor por sua vez determina um terceiro pentgono com lado satisfazendo

e diagonal

E assim sucessivamente, obtemos uma sucesso de pentgonos regulares com lados ,..., ,... e respectivas diagonais , ,..., ,... obedecendo s relaes acima. e so

Estamos agora na posio de aplicar o Mtodo da Exausto. Supondo que comensurveis, existe tambm e tal que e so mltiplos de . Segue que e

so mltiplos de , portanto

, e assim por diante. Obtemos que

mltiplo de

para todo

para todo existe

. Como

para todo

, aplicando o Mtodo da Exausto conclumos que

tal que

. Chegamos assim a uma contradio.

Conclumos que em um pentgono regular qualquer o lado e a diagonal so grandezas incomensurveis.