Resoluo de Algumas Equaes

om Coe ientes Inteiros

por

Ambrsio Elias de Arajo Pontes

2013

Resoluo de Algumas Equaes

om Coe ientes Inteiros

por

Ambrsio Elias de Arajo Pontes

sob orientao do

Prof. Dr. Napolen Caro Tuesta

Trabalho de Con luso de Curso apresentado ao

Corpo Do ente do Curso de Ps-Graduao em Matemti a em rede Na ional - PROFMAT - DM - CCEN
- UFPB, omo requisito par ial para obteno do ttulo de Mestre em Matemti a.
Julho/2013
Joo Pessoa - PB

O presente trabalho foi realizado om apoio da CAPES, Coordenao de Aperfeioamento de

Pessoal de Nvel Superior.

Resoluo de Algumas Equaes

om Coe ientes Inteiros
por

Ambrsio Elias de Arajo Pontes

Trabalho de Con luso de Curso apresentado ao Corpo Do ente do Curso de PsGraduao em Matemti a em rede Na ional - PROFMAT - DM - CCEN - UFPB, omo
requisito par ial para obteno do ttulo de Mestre em Matemti a.
rea de Con entrao: Teoria dos Nmeros.
Aprovada por:

Prof. Dr. Napolen Caro Tuesta -

UFPB (Orientador)

Prof. Dr. Antnio de Andrade e Silva -

UFPB

Prof. Dr. Washington Csar de Almeida Costa -

Julho/2013

IFPB

Agrade imentos
Ini ialmente, quero agrade er a Deus por ter me dado sade e oragem para que
pudesse enfrentar e superar todos os problemas e no desistir.
minha esposa, que em todos os momentos sempre me apoiou e me deu foras
nesse desao.
s minhas lhas Jssi a e Raissa, que tanto tor eram pela realizao desse trabalho.
Aos meus pais, Maria do So orro de Arajo Pontes e Luis Mendes de Pontes (In
Memoriam) por terem me ensinado a importn ia dos valores e respeito pelo ser
humano.
Aos meus irmos e irms, ompanheiros de todos os momentos, prin ipalmente
Luiz Renato (In Memoriam) que sempre in entivou o meu res imento prossional
e pessoal.
Aos meus sogros, que sempre me ajudaram om palavras de in entivo.
Ao professor Napolen, pela orientao e pa in ia.
Aos amigos Sheldon e Martinho pelas palavras de estmulo.
todos os professores do PROFMAT, que om muita pa in ia e dedi ao, me
ajudaram na on luso desse mestrado.
Enm, todos aqueles que ontriburam de alguma forma para realizao deste
trabalho.

Dedi atria

Dedi o este trabalho minha famlia

que sempre esteve ao meu lado suportando os momentos de di uldades,
me dando amor e palavras de arinho.
Sem eles, nada teria onseguido. Minha eterna gratido.

Resumo

Neste trabalho, apresentamos algumas t ni as de resoluo de equaes om

oe ientes inteiros. Tais equaes, apesar de serem bastante semelhantes, apresentam t ni as muito distintas umas das outras. Mostraremos quais so as solues
inteiras de equaes do tipo

x2 +y 2 = z 2

x2 +y 2 = z 2 , que so onhe idas omo

equaes de Pitgoras. Tambm apresentamos um breve histri o sobre o ltimo

Teorema de Fermat e mostraremos que a equao
inteira.

vi

x4 + y 4 = z 4

no possui soluo

Abstra t

In this work, we present some resolution te hniques of equations with integers

oe ients. Su h equations although they're very similar, presents quite dierent
te hniques from ea h other. We show whi h are the integer solutions of the equations
like

x2 + y 2 = z 2

and

x2 + y 2 = z 2 ,

as they are known as the Pythagorean

equations. We also present a brief history about the Fermat's Last Theorem and we
show that the equation

x4 + y 4 = z 4

has no integer solution.

vii

Sumrio
Introduo

ix

1 Preliminares

1.1

Prin pio da Boa Ordem

. . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Induo Matemti a

. . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

Divisibilidade em

. . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4

O Algoritmo de Eu lides . . . . . . . . . . . . . . . . . . . . . . . . .

1.5

Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . .

2 Equaes do Primeiro Grau om Coe ientes Inteiros

3 Algumas Equaes de Segundo Grau Com Trs In gnitas
x2 + y 2 = z 2

3.1

A equao de Pitgoras

3.2

A equao

3.3

A equao negativa de Pitgoras

3.4

A equao de Fermat

3.5

O ltimo Teorema de Fermat

x2 + 2y 2 = z 2

9
27

. . . . . . . . . . . . . . . . . .

27

. . . . . . . . . . . . . . . . . . . . . . . . .

37

x2 + y 2 = z 2

. . . . . . . . . .

42

. . . . . . . . . . . . . . . . . . . .

44

. . . . . . . . . . . . . . . . . . . . . .

51

x4 + y 4 = z 4

4 Equaes do tipo x2 Ay 2 = 1

55

Refern ias Bibliogr as

72

viii

Introduo
A Teoria dos Nmeros um ramo da Matemti a que estuda, om mais nfase,
as propriedades aritmti as dos nmeros inteiros.

Um dos prin ipais problemas

dessa teoria en ontrar solues inteiras para determinadas equaes, que foram
estudadas por grandes matemti os da antiguidade omo Pitgoras, Diofanto de
Alexandria, Fermat, Langrange e Euler.
Tais equaes podem ser de diferentes tipos, omo por exemplo, equaes om
duas ou trs in gnitas om oe ientes inteiros. Para determinar solues para esse
tipo de equao, nos deparamos om trs perguntas ru ias:

(a) A equao em questo possui soluo?

(b) Se a equao solvel, ento o nmero de solues nito ou innito?

( ) Se a equao solvel, omo determinar todas as solues?

As solues dessas equaes no tem interesse apenas teri o, mas sim em outras reas do onhe imento, omo a Fsi a. O interesse teri o onstante j que
serve para resolver diversos problemas dentro da prpria Teoria dos Nmeros. Enfatizamos tambm que o onhe imento das t ni as de resoluo so extremamente
atraentes para quem estuda Matemti a.

Neste trabalho pro uramos abordar de

maneira didti a a resoluo de problemas omo esses.

No Captulo 1, apresentamos diversos resultados bsi os da Teoria dos Nmeros que serviro de suporte para o de orrer do trabalho.
ix

Todos os resultados l

en ontrados sero usados nos aptulos posteriores.

O Captulo 2 dedi ado ao estudo ini ial de equaes om oe ientes inteiros.
Comeamos a estudar uma simples equao do primeiro grau e om apenas uma
in gnita. Esta equao servir de motivao para estudar equao om oe ientes
inteiros de graus maiores.
polinomial de grau

n.

Obtemos todas as solues inteiras de uma equao

Nesse mesmo aptulo, estudamos as equaes de primeiro

grau om duas in gnitas e, para tanto, faremos uso das

fraes ontnuas e atravs

de um exemplo, onstruiremos passo a passo o mtodo de resoluo para esse tipo

de equao.
Alguns exemplos de equaes do segundo grau om trs in gnitas so dados
no Captulo 3.

Em ada seo desse aptulo, mostramos omo resolver um tipo

de equao dessa forma. Desta amos a diversidade de t ni as utilizadas em ada

exemplo.

Em uma das sees, mostramos que a equao

sui solues inteiras.

x4 + y 4 = z 4

no pos-

No nal desse aptulo, damos uma abordagem histria do

ltimo Teorema de Fermat, a equao mais famosa de todos os tempos dentro da

Matemti a.
Finalmente, no Captulo 4 determinamos todas as solues inteiras da equao

x2 Ay 2 = 1.

Para resolver esse problema utilizamos o

de nmeros irra ionais.

mtodo de franes ontnuas

Para a obteno das solues, usamos ideias semelhantes

as do Captulo 1.
Esse trabalho foi inspirado prin ipalmente nas refern ias [2 e [3.

Captulo 1
Preliminares
Neste aptulo, so apresentados vrios resultados bsi os de teoria dos nmeros,
que daro suporte para a ompreenso geral dos prximos aptulos. Cada resultado
aqui men ionado ou provado utilizado de alguma maneira no de orrer do trabalho
sem que, ne essariamente, se faa meno dos mesmos quando utilizados.

Para

maiores detalhes, onsulte [7.

1.1
O

Prin pio da Boa Ordem

prin pio da boa ordem

ou

prin pio da boa ordenao

arma que todo sub-

onjunto do onjunto dos nmeros naturais possui um menor elemento. Matemati amente, isso quer dizer que se
que

n0 n

1.2

para todo

um sub onjunto de

N,

ento existe

n0 A

tal

n N.

Induo Matemti a

Uma ferramenta fundamental na demonstrao das propriedades referentes aos

nmeros naturais o

prin pio de induo matemti a que des rito a seguir.

um sub onjunto dos nmeros naturais om as seguintes propriedades:

1

Seja

1.2.

INDUO MATEMTICA

(1)

1 A;

(2)

n + 1 A,

ento

sempre que

n A,

ontm todos os nmeros naturais.

Exemplo 1.

Dados

nmeros inteiros, e

(a + b)n =

n
X
i=0

onde

n
i

n N,

n
i

tem-se que

ani bi ,

n!
.
i!(n i)!

A igualdade a ima onhe ida omo o

binmio de Newton.

igualdade, vamos utilizar induo sobre o nmero natural

que se

n = 1,

n.

Para provar esta

Primeiramente, note

ento

(a + b)1 = a + b


1
1
= a10 b0 + a11 b1 ,
0
1
ou seja, a igualdade vlida para
para

nN

n = 1.

Suponha agora que a armao verdadeira

e provemos que vlida para

n + 1.

Note que

(a + b)n+1 = (a + b) (a + b)n
= a (a + b)n + b (a + b)n


n
n
X
X
n
n
ani bi + b
ani bi
= a
i
i
i=0
i=0


n
n
X
X
n
n
an+1i bi +
ani bi+1 .
=
i
i
i=0
i=0
2

1.3.

DIVISIBILIDADE EM

Mas a primeira soma pode ser es rita da seguinte maneira:

n
X
i=0

an+1i bi = an+1 +

n
X
i=1

an+1i bi

e a segunda:

n
X
i=0

ani bi+1 = bn+1 +

= bn+1 +

n1
X
i=0

n
X
i=1

n
i

ani bi+1
n

i1

an+1i bi .

Portanto, temos que

(a + b)n+1 = an+1 + bn+1 +

n
X
i=1

n+1

= a

n+1

+b

n
X
i=1

n+1
X
i=0

que a frmula para

1.3

n+1
i

n
i

n+1

n
i1

an+1i bi

an+1i bi

an+1i bi

n + 1.

Divisibilidade em

Sejam

b = ac.

a e b dois nmeros inteiros.

Neste aso, es revemos

Proposio 1.

Sejam

Demonstrao.

De fato, omo

a, b

Z
Dizemos que

a divide b se existe c Z tal que

a | b.
nmeros inteiros. Se

a | b,

existe
3

k1 Z

a|b

b | c,

tal que

ento

b = k1 a,

a | c.
e omo

b | c,

1.3.

DIVISIBILIDADE EM

k2 Z

existe

tal que

c = k2 b.

Portanto,

c = k2 b = k2 k1 a.
Como

k2 k1 Z,

Proposio 2.
c

ento

divide

a | c.

segue que

Sejam

a, b, c, m

nmeros inteiros.

k1 , k2 Z

De fato, temos que existe

a = k1 c
Multipli ando ambos os membros de

n,

divide

divide

b,

(ma + nb).

Demonstrao.

por

Se

tais que

b = k2 c.

a = k1 c por m e

ambos os membros de

b = k2 c

obtemos que

ma = m k1 c

bn = n k2 c.

Logo,

ma + nb = m k1 c + n k2 c
= (mk1 + nk2 ) c.
Como

mk1 + nk2 Z,

temos que

c | (ma + nb),

omo queramos.

So listadas abaixo algumas das propriedades mais importantes de divisibilidade

entre nmeros inteiros.

(1)

n | n,

para todo

(2) se

d | n,

(3) se

ad | an

ento

n Z;

ad | an,

a 6= 0,

para quaisquer

ento

d | n;
4

d, n, a Z;

1.4.

O ALGORITMO DE EUCLIDES

(4)

1|n

(5)

n | 0,

1.4

para ada

para ada

n Z;
n Z.

O Algoritmo de Eu lides

Eu lides de Alexandria, omo era onhe ido, nas eu na Sria e viveu entre

290 a. ..

330

Foi um dos maiores matemti os da antiguidade. Trabalhou em Alexandria

onde foi o primeiro diretor da es ola de Alexandria. A sua prin ipal obra - Elementos
- onde se en ontra o que hoje onhe emos omo o

algoritmo de Eu lides que

de

fundamental importn ia para vrias reas da matemti a at os dias atuais.

Antes de introduzirmos este algoritmo, que tambm onhe ido omo o

ritmo da diviso, enun iamos

Teorema 1. (Teorema de Eudxius)

b 6= 0.

Ento, existe

qZ

algo-

Sejam

dois nmeros inteiros, onde

tal que

qb a < (q + 1)b,

se

b>0

qb a < (q 1)b,

se

b < 0.

Demonstrao.

Suponha que

b > 0.

A prova para quando

anloga. Denamos o onjunto

A := {h N : hb > a}.
Note que o nmero natural

|a| + 1

tal que

(|a| + 1)b = |a|b + b.

5

b < 0

inteiramente

1.4.

O ALGORITMO DE EUCLIDES

b > 0,

Como estamos supondo que

o que mostra que
Ordenao,

AN

segue que

(|a| + 1)b > a e,

|a| + 1 A,

um sub onjunto no vazio. Agora, pelo Prin pio da Boa

possui um menor elemento, digamos

minimalidade do nmero natural

Assim, tomando

portanto,

q = h0 1,

h0 ,

segue que

h0 .

Logo,

h0 1 6 A,

h0 b > a.

isto ,

Usando a

(h0 1)b a.

segue que

qb = (h0 1)b a
e

(q + 1)b = (h0 1 + 1)b = h0 b > a,

ou seja,

qb a < (q + 1)b,

omo queramos.

Teorema 2. (Algoritmo de Eu lides) Dados dois nmeros inteiros a e b,

b > 0,

existe um ni o par de inteiros

a = qb + r,
Dizemos que

Demonstrao.

quo iente e r

onde

tais que

onde

0 r < b.

resto da diviso de a por b.

De fato, pelo Teorema de Eudoxius, omo

b > 0,

existe

q Z

satisfazendo a seguinte relao

qb a < (q + 1)b,
o que a arreta que

0 a qb

a qb < b.

para mostrar que existe nmeros inteiros

Sendo assim, podemos denir

que satisfazem o algoritmo. Falta

mostrar que eles so ni os. Com efeito, suponha que existe outro par

r = a qb
q1

r1

de

1.5.

MXIMO DIVISOR COMUM

nmeros inteiros veri ando a seguinte igualdade

a = q1 b + r1 ,
Portanto, temos que

qb + r = q1 b + r1 .

onde

0 r1 < b.

Logo,

b(q q1 ) = r1 r.
Isto quer dizer que
do que

b,

q1 b = qb,

1.5

b divide r1 r .

segue que
donde

|r1 r| < b

Mas omo

r1

e, portanto,

so ambos estritamente menores

r1 r = 0 ,

ou seja,

r1 = r .

Logo,

q1 = q .

Mximo Divisor Comum

Dizemos que

mximo divisor omum entre dois nmeros inteiros a e b se

maior inteiro positivo que divide

b.

Neste aso, es revemos

d = mdc(a, b).

Uma das propriedades que vamos usar de mximo divisor omum, provada em
qualquer livro de Teoria dos Nmeros, a seguinte: se
entre

b,

ento existem nmeros inteiros

d o mximo divisor omum

tais que

d = xa + yb.
Observe que o mximo divisor omum

de

o divisor positivo de

o qual

divisvel por todo divisor omum. Alm disso, valem as seguintes igualdades:

mdc(ta, tb) = t mdc(a, b)

1.5.

MXIMO DIVISOR COMUM

e, se

c>0

so divisveis por

mdc

c,

a b
,
c c

ento

1
mdc(a, b).
c

Uma ltima propriedade que usaremos des rita a seguir: se

inteiros, ento vale a seguinte igualdade

mdc(a, b) = mdc(a, b + x),

onde

qualquer nmero inteiro.

so nmeros

Captulo 2
Equaes do Primeiro Grau om
Coe ientes Inteiros
Vamos estudar primeiramente equaes do primeiro grau om uma in gnita que
orrespondem a equaes do seguinte tipo:

a1 x + a0 = 0,
onde

a0

a1

(2.1)

so nmeros inteiros. Evidentemente, a soluo desta equao dada

por

x=
om

a1 6= 0, e tal soluo ser

a0
,
a1

um nmero inteiro quando

, quando o resto da diviso de

a0

por

a1

a0

5x 25 = 0

x = 5,

a1 ,

isto

for zero. Nem sempre a soluo de uma

equao desta natureza inteira. Este o aso da equao

lado, a soluo da equao

for divisvel por

9x + 11 = 0.

Por outro

que um nmero inteiro.

Uma situao similar apare e em equaes que possuem grau superior a

1.

Note

que a equao de segundo grau

x2 + 3x 10 = 0
possui duas solues e ambas so inteiras,

x2 2x 2 = 0

x1 = 2 e x2 = 5.

No entanto, a equao

no possui solues inteiras, j que os dois nmeros que satisfazem

tal equao so irra ionais, dadas por

1+

3.

Mais geralmente, podemos onsiderar o problema de en ontrar razes de equaes

de grau

om oe ientes inteiros. De fato, sejam

n1

a0 , a1 , . . . , an

nmeros

inteiros, e onsidere a equao

an xn + an1 xn1 + . . . + a1 x + a0 = 0.
Estamos interessados em obter um valor inteiro de
Com efeito, se

x=a

(2.2)

tal que (2.2) seja satisfeita.

uma soluo inteira de (2.2), ento

an an + an1 an1 + . . . + a1 a + a0 = 0
e, portanto, isolando

a0 ,

temos que

a0 = an an an1 an1 . . . a1 a
= (a)(an an1 + an1 an2 + . . . + a1 ).
Sendo assim, on lumos que a raiz inteira

a divide o nmero

inteiro

a0 ,

raiz inteira da equao onsiderada divisor do termo independente

donde ada

a0 .

Por isso,

para en ontrar as solues de (2.2) ne essrio en ontrar os divisores de

satisfaam tal equao.

10

a0

que

Exemplo 2.

Considere a equao

x10 + x7 + 2x3 + 2 = 0.
Ento, pelo que zemos a ima, as possveis solues inteiras para a equao dada
so

2, 2, 1

1.

Entretanto,

210 + 27 + 2 23 + 2 6= 0,
o mesmo a onte endo om
outro lado,

x = 1

2 e 1 quando substituimos estes na equao a ima.

Por

a ni a soluo inteira deste equao, visto que

(1)10 + (1)7 + 2 (1)3 + 2 = 1 1 + 2 2 = 0.

Utilizando este mesmo ra io nio, no dif il ver que a equao

x6 x5 + 3x4 + x2 x + 3 = 0
no possui solues inteiras, j que

16 15 + 3 14 + 12 1 + 3 = 6 6= 0, (1)6

(1)5 + 3 (1)4 + (1)2 (1) + 3 = 10 6= 0, 36 35 + 3 34 + 32 3 + 3 = 36 + 32 6= 0

e

(3)6 (3)5 + 3 (3)4 + (3)2 (3) + 3 = 36 + 35 + 35 + 32 + 3 + 3 6= 0.

Passemos agora a analisar equaes de primeiro grau om duas in gnitas, que so equaes da seguinte forma:
ax + by + c = 0,

(2.3)

onde a e b so nmeros inteiros no nulos e c um inteiro qualquer.

trabalhar (2.3) sob a ondio de que

seja

que o mximo divisor omum entre

11

Vamos

sejam nmeros primos entre si, ou seja,

1.

Isto pode ser feito, pois qualquer

que seja a situao, podemos nos restringir a esta ondio imposta sob
fato, suponha que o mximo divisor omum entre
es rever

a = a1 d e b = b1 d,

a1

onde

b1

seja

d 6= 1.

b.

De

Ento, podemos

so primos entre si. Dessa forma, a equao

(2.3) torna-se

a1 dx + b1 dy + c = 0,
ou ainda,

(a1 x + b1 y)d + c = 0.
Assim, dividindo a equao a ima por

d e se dando onta de que d divide c, obtemos

uma outra equao dada por

a1 x + b1 y + c1 = 0,
onde

c1 = c/d,

Observao:

ujos oe ientes

a1

b1

tem mximo divisor omum igual a

Note que se o mximo divisor omum de

(2.3) possui soluo inteira. Com efeito, seja

p Z

tal que

c = pd.

d = mdc(a, b).

Alm disso, existem

n, m Z

dividir

c,

Ento, omo

tais que

1.

a equao

d|c,

existe

d = ma + nb

e,

portanto,

c = p(ma + nb) = (pm)a + (pn)b.

Como

pm

pn

so nmeros inteiros, segue o que queramos mostrar.

Estudaremos a equao (2.3) em dois asos.

oe iente

No primeiro, vamos supor que o

identi amente nulo. J no segundo, onsideraremos o aso onde

qualquer nmero inteiro diferente de zero.

Primeiro aso:

Se

c = 0,

ento a equao (2.3) torna-se

ax + by = 0,

12

onde

respeito a

so nmeros inteiros primos entre si.

x,

Resolvendo esta equao om

obtemos que

b
x = y.
a
Sendo assim,
que existe

ser um nmero inteiro somente quando

t Z tal que y = at.

Substituindo este valor de

divide

y.

Isto quer dizer

y na equao x = (b/a)y ,

obtemos

b
b
x = y = at = bt,
a
a
onde

t Z.

Logo, todas as solues inteiras da equao onsiderada so da forma:

x = bt
y = at,
onde

t Z.

Segundo aso:

Consideramos agora o aso em que

solues inteiras para a equao (2.3).

que nos diz que para obter

todas

c 6= 0

e tentemos obter as

Para tanto, demonstraremos um teorema

as solues inteiras da equao (2.3), su iente

obter uma soluo parti ular, ou seja, se en ontramos

x0

y0

inteiros tais que

ax0 + by0 + c = 0,
ento en ontramos todos os nmeros inteiros que satisfazem a equao desejada.
A partir de agora, quando
plesmente

[x, y]

Teorema 3.

satiszerem a equao (2.3), es reveremos sim-

para designar que o par

Sejam

equao (2.3).

x, y

soluo desta equao.

nmeros primos entre si e

[x0 , y0]

qualquer soluo da

Ento, todas as solues inteiras desta equao so dadas pelas

13

frmulas

onde

x = x bt
0
y = y + at,
0

t Z.

Demonstrao.

Seja

ax + by + c = 0

[x0 , y0 ]

(2.4)

uma soluo qualquer de (2.3). Ento, das igualdades

ax0 + by0 + c = 0,

obtemos que

ax + by + c = ax0 + by0 + c,
o que a arreta que

ax ax0 + by by0 = 0,
ou ainda, que

y y0 = a
Como

1,

y y0

temos que

(x0 x)
.
b

um nmero inteiro e o mximo divisor omum entre

divide

x0 x,

ou seja, existe

y y0 = a
donde

x = x0 bt

y = y0 + at,

onde

tZ

tal que

x0 x = bt.

igual a

Logo,

bt
= at,
b

t Z.

Demonstramos, ento, que qualquer

soluo de (2.3) da forma (2.4). Resta-nos mostrar que, de fato, (2.4) soluo
de (2.3). Com efeito, sejam

x1

y1

tais que

14

x1 = x0 bt

y1 = y0 + at,

onde

t Z.

Ento,

ax1 + by1 + c = a(x0 bt) + b(y0 + at) + c

= ax0 abt + by0 + bat + c
= ax0 + by0 + c abt + abt
= ax0 + by0 + c
= 0,
j que

[x0 , y0 ]

uma soluo de (2.3).

Em suma, sendo onhe ida uma soluo inteira da equao (2.3), as demais solues desta natureza so obtidas atravs das frmulas (2.4). Devido a isso, nosso
problema se resume a en ontrar uma soluo
que

c 6= 0.

Para tanto, faremos uso de

[x0 , y0 ]

qualquer de (2.3), no aso em

fraes ontnuas e antes de onsiderarmos

o aso geral, vamos a um exemplo que nos dar a ideia entral de omo trataremos
o aso mais omplexo.

Considere a equao

127x 52y + 1 = 0.
Estamos interessados em en ontrar uma soluo inteira para esta equao, utilizando um mtodo, des rito a seguir, feito atravs de relaes entre os oe ientes
da equao.

Primeiramente onsideramos a frao irredutvel

inteira do seguinte modo:

127
23
=2+ ,
52
52

15

127/52

e separamos sua parte

que ainda pode ser es rita omo segue

127
1
=2+
.
52
52
23
Agora, fazemos o mesmo om a frao

52/23

e obtemos

52
6
1
.
=2+
=2+
23
23
23
6
Utilizando este mesmo ra io nio para a frao

23/6,

temos que

5
1
23
=3+ =3+
6
6
6
5
e, portanto, podemos es rever

127
=2+
52

1
2+

3+

Agora, omo

6/5 = 1 + 1/5,

1
1
6
5

podemos ainda es rever

127
=2+
52

2+
3+

1
1+

Esta ltima expresso para a frao

frao. Omitindo a frao

1/5

127/52

1
5

hamada a

frao ontnua

desta

da expresso anterior, temos que a frao ontnua

16

transforma-se em

2+
2+

=2+

2+

1
3+
1+0

=2+

1
1
1

3+

1
1
2+
4

=2+

22
1
4
=2+ = .
9
9
9
4

Alm disso, temos que

1
127 22

=
.
52
9
52 9
Isto impli a que

127 9 22 52
1

=
,
52 9
9 52
52 9
ou seja,

127 9 52 22 + 1 = 0.
Assim, se

x0 = 9

y0 = 22,

ento

[x0 , y0]

soluo da equao

127x 52y + 1 = 0

e, pelo Teorema 3, todas as solues inteiras desta equao so da forma

x = 9 52t,
y = 22 + 127t,

onde

t Z.

Agora, omo faremos para obter uma soluo qualquer de uma dada equao
om oe ientes inteiros, sendo

c 6= 0?

O exemplo anterior, nos permite onje turar

que, para a har uma soluo da equao (2.3), pre iso desenvolver a frao

a/b

em uma frao ontnua, omitindo o seu ltimo termo e fazendo os l ulos feitos
anteriormente. que faremos a seguir.
Seguiremos os passos do exemplo anterior. Considere a frao irredutvel
Denote por

q1

e por

r2

o quo iente e o resto da diviso de

Assim, podemos es rever

a = q1 b + r2 ,

onde

17

r2 < b.

por

b,

a/b.

respe tivamente.

Sejam agora

q2

r3

o quo iente e o resto da diviso de

b = q2 r2 + r3 ,

onde

por

r2 .

Ento

r3 < r2 .

Da mesma maneira, podemos onsiderar os nmeros

q3 , q4 , . . .

r4 , r5 , . . .

se rela i-

onando da seguinte maneira:

e assim por diante.

hamados de

r2 = q3 r3 + r4 ,

onde

r4 < r3 ,

r3 = q4 r4 + r5 ,

onde

r5 < r4

Os quo ientes

q1 , q2 , . . .

das divises feitas anteriormente so

quo ientes in ompletos e umprem a seguinte ondio:

b > r2 > r3 > r4 > . . . 0,

(2.5)

isto , formam uma sequn ia de res ente de nmeros positivos. Como a quantidade
de nmeros inteiros entre

nita, em um determinado momento, o pro edi-

mento a ima esta iona, om resto

ento

rn+1 = 0

0.

Assim, se

rn

o ltimo resto no nulo em (2.5),

e, portanto, temos que

a = q1 b + r2 ,
b = q2 r2 + r3 ,
r2 = q3 r3 + r4 ,
.
.
.

rn2 = qn1 rn1 + rn ,

rn1 = qn rn + 0.
18

Estas equaes podem ser es ritas da seguinte forma:

a
1
= q1 + ,
b
b
r2
1
b
= q2 + r2 ,
r2
r3
.
.
.

1
rn2
= qn1 + rn1 ,
rn1
rn
rn1
= qn .
rn
Podemos, ento, substituir o valor do nmero
nmero

r2 /r3

b/r2

na primeira expresso, o valor do

na segunda expresso e, assim su essivamente, at en ontrarmos uma

expresso para a frao

a/b

dada por

a
= q1 +
b

1
1

q2 +

q3 +

..

qn2 +

1
qn1 +

Considerando a frao ontnua de

primeiro quo iente
de

q1 .

a/b,

1
qn

podemos omitir fraes desde a partir do

As expresses obtidas depois desta omisso so hamadas

fraes reduzidas.

obtida omitindo a frao

Temos que a primeira frao reduzida, denotada por

1/q2 :
a
1 = q1 < ,
b

19

1 ,

onde a desigualdade justi ada a seguir: omo

a
1
= q1 +
b
b
r2
e,

r2

so nmeros positivos, segue que

a/b > q1 .

A segunda frao reduzida obtida omitindo a frao a partir do termo

a
1
> ,
q2
b

2 = q1 +

onde a desigualdade justi ada a seguir: omo

r3
b
= q2 + ,
r2
r2
temos que

q2 =
pois

r2 > 0 ,

r3
b r3
b
b

=
< ,
r2 r2
r2
r2

ou seja,

1
r2
> .
q2
b
Agora,

a
r2
1
= q1 +
< q1 + ,
b
b
q2
omo queramos.

Analogamente, obtemos o restante das fraes reduzidas:

3 = q1 +

1
1
q2 +
q3

20

1/q3 :

4 = q1 +

q2 +

q3 +
que satisfazem as desigualdades

1
q4

3 < a/b e 4 > a/b.

Portanto, obtemos as seguintes

relaes:

a
1 < 3 < . . . < 2k1 < ,
b
a
2 > 4 > . . . > 2k > ,
b
onde

k N.

Observe que as relaes de ordem entre os

das relaes de ordem entre os

qi 's.

i 's

so forne idas atravs

Por exemplo, laro que

1 < 3 ,

pois

1
q2 + q1

um nmero positivo. Por outro lado, omo

4 = q1 +
q2 +

q3 +
e

1
q3 + q1

> 0,

segue que

4 < q1 +

1
q2

1
1
q4

= 2 .

Agora, denote por

Pk
Qk

k =
a

k -sima

frao reduzida de

a/b,

onde

1 k n.

Vamos en ontrar a lei de

formao dos numeradores e denominadores dessas fraes reduzidas.

que a onte e om os primeiros

1 = q1 =

2 = q1 +

i 's:
P1
q1
P1 = q1
=
1
Q1

Q1 = 1,

1
q1 q2 + 1
P2
=
=
P2 = q1 q2 + 1
q2
q2
Q2

21

Q2 = q2 ,

Vejamos o

3 = q1 +

q2 +
e, assim,

= q1 +

1
q3

P3 = q1 q2 q3 + q1 + q3

q1 q2 q3 + q1 + q3
P3
q3
=
=
q2 q3 + 1
q2 q3 + 1
Q3

Q3 = q2 q3 + 1,

P3 = P2 q3 + P1

Pk = Pk1 qk + Pk2

Q3 = Q2 q3 + Q1 .

Vamos demonstrar, usando induo sobre

ou seja,

k,

que

Qk = Qk1 qk + Qk2 ,

Com efeito, suponha que (2.6) vlido para qualquer

k + 1.

k 3

(2.6)

e provemos para

Da hiptese de induo, temos que

k =
Agora, substituindo

qk

por

qk +

Pk
Pk1 qk + Pk2
=
.
Qk
Qk1 qk + Qk2
1
na expresso a ima, obtemos que:
qk+1

1
+ Pk2
Pk1 qk +
Pk1 qk + Pk2 + Pk1
Pk qk+1 + Pk1
qk+1
qk+1


=
= k+1 .
=
1
1
Qk qk+1 + Qk1
Qk1
Qk1 qk + Qk2 +
+ Qk2
Qk1 qk +
qk+1
qk+1
Por outro lado,

k+1 =

Pk+1
Qk+1

e, portanto,

Pk+1 = Pk qk+1 + Pk1

Assim, (2.6) vlido para qualquer

Qk+1 = Qk qk+1 + Qk1 .

k 3.

A seguir, vamos provar que a diferena

22

k k1

entre as fraes reduzidas

 umprem a seguinte igualdade

k k1 =
onde

k > 1.

(1)k
,
Qk Qk1

(2.7)

Com efeito,

k k1 =

Pk1
Pk Qk1 Qk Pk1
Pk

=
.
Qk Qk1
Qk Qk1

Usando (2.6), obtemos

Pk Qk1 Qk Pk1 = (Pk1 qk + Pk2 )Qk1 (Qk1 qk + Qk2 )Pk1

= Pk1 qk Qk1 + Pk2 Qk1 Qk1 qk Pk1 Qk2 Pk1
= (Pk1 Qk2 Qk1 Pk2 )
= (1)(Pk1 Qk2 Qk1 Pk2 ).
Note que a expresso

igual a

k1

Qk1 Pk2,

Pk1Qk2 Qk1 Pk2 o mesmo que Pk Qk1 Qk Pk1 fazendo

na segunda equao. Fazendo os mesmo l ulos para

obtemos que

Pk1Qk2 Qk1 Pk2 = (1)(Pk2 Qk3 Qk2 Pk3 ).

23

Pk1Qk2

Continuando dessa forma, tem-se que

Pk Qk1 Qk Pk1 = (1)(Pk1 Qk2 Qk1 Pk2 )

= (1)2 (Pk2Qk3 Qk2 Pk3 )
= ... ... ...
= (1)k2 (P2 Q1 Q2 P1 )
= (1)k2 [(q1 q2 + 1) 1 q2 q1 ]
= (1)k2 .
Portanto,

Pk Qk1 Qk Pk1
Qk Qk1
k2
(1)
=
Qk Qk1
(1)k
=
Qk Qk1

k k1 =

para ada

k > 1.

Agora, fazendo

Note que, pela denio das fraes reduzidas, temos que

k=n

n = a/b.

na equao (2.7), obtemos que

n n1 =

(1)n
,
Qn Qn1

ou seja,

a
(1)n
n1 =
,
b
bQn1
j que

Qn = b.

24

(2.8)

Finalmente, voltemos para a equao (2.3). De (2.8), temos que

a Pn1
(1)n

=
b Qn1
bQn1
que o mesmo que

a Qn1
Pn1 b
(1)n

=
.
b Qn1 Qn1 b
bQn1
Simpli ando a ltima equao, obtemos simplesmente

aQn1 bPn1 = (1)n .

Ou ainda,

aQn1 + b(Pn1 ) + (1)n1 = 0.

Multipli ando esta ltima equao por

(1)n1 c,

obtemos

a[(1)n1 cQn1 ] + b[(1)n cPn1 ] + c = 0.

Assim, deduzimos que

[x0 , y0 ]

dado por

x0 = (1)n1 cQn1

y0 = (1)n cPn1

uma soluo da equao (2.3) e pelo teorema anterior, todas as solues inteiras
desta equao tem a seguinte forma:

x = (1)n1 cQ
n1 bt
y = (1)n cP
n1 + at, .
onde

t Z.

Isto prova o seguinte teorema:

25

Teorema 4.

O par

[x0 , y0]

dado por

x = (1)n1 cQ
0
n1
y = (1)n cP ,
0
n1
uma soluo da equao (2.3) e, portanto, todas as solues inteiras desta equao
so dadas pelas frmulas a seguir:

x = (1)n cQn1 bt
onde

t Z.

26

y = (1)n cPn1 + at,

Captulo 3
Algumas Equaes de Segundo Grau
Com Trs In gnitas
Neste aptulo, apresentaremos alguns exemplos de equaes de segundo grau
om trs in gnitas omo o ttulo nos sugere.

3.1

A equao de Pitgoras

x2 + y 2 = z 2

Exemplo 3. (Equao de Pitgoras) Vamos en ontrar todas as solues inteiras

da equao do segundo grau om trs in gnitas dada a seguir

x2 + y 2 = z 2 ,
onde

x, y

Soluo:

(3.1)

so nmeros inteiros positivos.

Geometri amente, as solues inteiras desta equao determinada

por aqueles nmeros inteiros que satisfazem os

tringulos de Pitgoras, isto , trin-

gulos retngulos que tm omo atetos e hipotenusa tais nmeros. Vamos determinar
todos os esses nmeros analiti amente.

27

3.1.

X2 + Y 2 = Z2

A EQUAO DE PITGORAS

Denotando por

x1

inteiros

y1

o mximo divisor omum de

x1

y1

y,

ento existem nmeros

que satisfazem as equaes abaixo:

x = x1 d
om

y = y1 d

primos entre si e, portanto, a equao (3.1) torna-se a equao abaixo:

x21 d2 + y12d2 = z 2 ,
ou ainda,

(x21 + y12)d2 = z 2 .
Isto quer dizer que
donde

z2

divisvel por

d2 e, portanto, existe p inteiro tal que z 2 = pd2 ,

tambm deve ser um quadrado, isto , existe

z 2 = z12 d2 ,

donde

z1 Z

tal que

p = z12 .

Assim,

z = z1 d.

Agora, a equao (3.1) pode ser expressa omo segue

(x21 + y12 )d2 = z12 d2

e simpli ando o termo

d2 ,

temos

x21 + y12 = z12 .

A equao a ima obtida tem a mesma forma que a ini ial om uma nova informao:

x1 e y1 no possuem divisores em omum, ex eto o nmero 1.

Com isso, para resolver

a equao (3.1) su iente ata ar o problema onsiderando

primos entre si.

Suponhamos, portanto, que isto a onte e. Sendo assim, podemos assumir que ou
ou

um nmero mpar, digamos

x.

Passando

28

y2

ao segundo membro da equao

3.1.

A EQUAO DE PITGORAS

X2 + Y 2 = Z2

(3.1), obtemos

x2 = z 2 y 2,
ou ainda,

x2 = (z + y)(z y).
Denotando por

d1

o mximo divisor omum de

z + y = ad1
onde

z+y

(3.2)

z y,

temos que

z y = bd1 ,

(3.3)

so primos entre si. Substituindo as equaes de (3.3) na equao (3.2),

obtemos:

x2 = (z + y)(z y)
= ad1 bd1
= abd21 .
Como

somente quando

no tm divisores em omum, a igualdade obtida a ima vlida

forem quadrados perfeitos, isto , quando existirem

inteiros tais que

a = u2

b = v2.

Sendo assim, temos que

x2 = u2 v 2 d21
e, ento

x = uvd1.
Vamos en ontrar agora os valores de

usando as equaes (3.3). Somando tais

equaes, obtemos

(z + y) + (z y) = ad1 + bd1 ,
29

(3.4)

3.1.

A EQUAO DE PITGORAS

X2 + Y 2 = Z2

ou seja,

2z = ad1 + bd1
= u2 d1 + b2 d1
= (u2 + v 2 )d1 .
Logo,

z=

u2 + v 2
d1 .
2

(3.5)

Agora, subtraindo a segunda equao da primeira em (3.3), temos que

z y (z + y) = bd1 ad1 ,
ou seja,

2y = bd1 ad1 .
Logo,

2y = ad1 bd1
= u 2 d1 v 2 d1
= (u2 v 2 )d1
e, assim,

y=
Lembrando que

u2 v 2
d1 .
2

mpar, temos de (3.4) que os nmeros inteiros

so mpares. Disso, temos que

d1

ne essariamente igual a

as equaes (3.4) e (3.6) nos mostrariam que

d1 6= 1,

(3.6)

1,

u, v

d1

tambm

j que do ontrrio,

possuiriam um divisor omum

o que ontradiz a hiptese ini ial de que eles so primos entre si.

Agora, omo

a = u2

b = v2,

30

so primos entre si, segue que existem

3.1.

A EQUAO DE PITGORAS

nmeros inteiros

X2 + Y 2 = Z2

tais que

ar + bs = 1,
ou ainda,

u2 r + v 2 s = 1.
Mas

u2 r + v 2 s = u(ur) + v(vs) = 1,
onde

ur

vs

so ainda nmeros inteiros. Logo,

tambm so primos entre si.

Alm disso, de (3.3) temos que

ad1 bd1 = 2y
e, portanto,

ab=
isto ,

b < a.

Logo,

v < u.

Fazendo

2y
> 0,
d1

d1 = 1

em (3.4), (3.5) e (3.6), obtemos as

frmulas

x = uv , y =

u2 v 2
2

z=

u2 + v 2
,
2

(3.7)

das quais so todos os nmeros inteiros positivos livres de divisores omuns que
veri am a equao (3.1), j que

v < u.

so primos entre si om a relao de ordem

De fato, as relaes (3.7) veri am a equao (3.1) omo nos mostra os

31

3.1.

X2 + Y 2 = Z2

A EQUAO DE PITGORAS

l ulos abaixo:

x +y

=
=
=
=
=
=

2
u2 v 2
(uv) +
2
2 2
(u ) 2u2 v 2 + (v 2 )2
u2 v 2 +
4
4u2 v 2 + (u2 )2 2u2 v 2 + (v 2 )2
4
(u2 )2 + 2u2v 2 + (v 2 )2
4
(u2 + v 2 )2
22
2
z .
2

Colo ando alguns valores inteiros para

nas frmulas em (3.7), podemos

en ontrar solues inteiras para a equao (3.1). Por exemplo, se

ento temos a equao satisfeita para
se

u=5

v = 1,

x = 3, y = 4

a equao satisfeita para

u = 3

z = 5: 32 + 42 = 52 .

x = 5, y = 12

v = 1

Ou ainda

z = 13.

Note ainda que as frmulas em (3.7) nos do as solues inteiras da equao (3.1)
quando

x, y e z no possuem divisores em omum.

Todas as demais solues inteiras

desta equao, podem ser obtidas multipli ando as solues en ontradas om (3.7)
por um nmero inteiro

d,

j que se

x0 , y0 , z0

uma soluo de (3.1)

dx0 , dy0 , dz0

tambm , pois

(dx0 )2 + (dy0 )2 = d2 x20 + d2 y02

= d2 (x20 + y02 )
= d2 z02
= (dz0 )2 .

Observao:

O problema anterior tambm pode ser resolvido de forma geo-

mtri a, se parametrizamos ra ionalmente o r ulo, omo mostraremos a seguir

32

3.1.

X2 + Y 2 = Z2

A EQUAO DE PITGORAS

(vide [9). Considere a equao do r ulo

x2 + y 2 = 1.
Denotemos por

(0, t)

um ponto de r ulo

(3.8)

o ponto de interseo da reta

y 's,

om o eixo dos

que passa por

(1, 0)

e por

omo nos mostra a Figura 3.1.

L
(x, y)

(0, t)

(1, 0)

/2

PSfrag repla ements

Figura 3.1: Interseo da reta

Se onhe emos os valores de

y,

om o r ulo

C.

ento podemos determinar o valor de

muitas di uldades. De fato, a equao da reta

passa pelos pontos

omo a

C,

(1, 0)

(0, t).

sem

dada por

y = t(1 + x),
j que

Como o ponto

(3.9)

(x, y)

perten e tanto a

segue de (3.8) e (3.9) que

1 x2 = y 2 = t2 (1 + x)2 .

33

(3.10)

3.1.

A EQUAO DE PITGORAS

Para

t xado,

X2 + Y 2 = Z2

(3.10) uma equao quadrti a ujas razes so as primeiras oorde-

nadas dos pontos de interseo entre a reta

uma dessa razes, pois o ponto
raiz, suponha que

x 6= 1.

(1, 0)

e o r ulo

C.

Sabemos que

C.

Para en ontrar a outra

perten e a

e a

Ento, em (3.10), podemos an elar o termo

x = 1

(1 + x)

em

ambos os membros e obter a seguinte equao:

1 x = t2 (1 + x).
Assim,

1 x = t2 + t2 x,
ou seja,

x + t2 x = 1 t2 .
Portanto,

(1 + t2 )x = 1 t2 ,

isto ,

x=
Agora, omo

y = t(1 + x),

1 t2
.
1 + t2

segue que





1 t2
2t
1 + t2 + 1 t2
y =t 1+
=t
=
.
2
2
1+t
1+t
1 + t2
Sendo assim, obtemos a

parametrizao do r ulo:
x=

Note que se

1 t2
1 + t2

y=

so nmeros ra ionais, ento

Re ipro amente, se

2t
.
1 + t2

(3.11)

tambm ser um nmero ra ional.

t ra ional, ento x e y tambm sero pelas equaes obtidas em

(3.11). Ento, esta a maneira de obtermos pontos ra ionais no r ulo, a saber,

es olhendo um nmero ra ional qualquer para

34

t.

Isto forne er todos os pontos

3.1.

A EQUAO DE PITGORAS

(1, 0)

ra ionais ex eto

X2 + Y 2 = Z2

C.

de

Estas frmulas podem ser usadas para resolver o problema de des rever todos os
tringulos de Pitgoras. Estamos novamente interessados em solu ionar o problema
(3.1) do exemplo 3, ou seja, queremos todos os nmeros inteiros

X, Y

que

satisfaam a equao

X 2 + Y 2 = Z 2.

(3.12)

Como j vimos no exemplo 3, su iente estudarmos este problema no aso de

X, Y

serem primos entre si. Note que o ponto

x=
um ponto ra ional do r ulo

X
Z

x2 + y 2 = 1,

x2 + y 2 =
e

X, Y

y=

(x, y),

onde

Y
Z

j que

X2 Y 2
+ 2 =1
Z2
Z

so nmeros inteiros, fazendo uso da equao (3.12).

Como

so nmeros primos entre si, eles no podem ser ambos pares. Armamos que eles
tambm no podem ser ambos mpares.

p = 2k + 1,

onde

k Z,

Primeiramente, note que se um nmero

um nmero mpar, ento

p2 = (2k + 1)2 = 4k 2 + 4k + 1,
ou seja,

p2 1

divisvel por

mpares. Ento,
Mas
por

X2 + Y 2 2

X2 + Y 2 = Z2
4.

Ento,

generalidade, que
Como

(x, y)

4.

Z2

Lembrando disso, suponha que

divisvel por

tal que: ou

Y no

Z2

sejam ambos

pelo que a abamos de men ionar.

divisvel por

podem ser ambos mpares.

mpar e que

ou

Z2 1

divisvel

Assumimos, sem perda de

par.

um ponto ra ional no r ulo, existe algum

35

tQ

que nos for ene

3.1.

A EQUAO DE PITGORAS

X2 + Y 2 = Z2

e o

nas frmulas de (3.11). Es reva, ento,

onde

t = m/n,

na sua forma reduzida,

so nmeros inteiros. Portanto,

m2
2
2
X
n2 = n m ,
=x=
m2
Z
n2 + m2
1+ 2
n
1

m
2
Y
n = 2mn .
=y=
m2
Z
n2 + m2
1+ 2
n

Como

X/Z

Y /Z

esto em suas formas reduzidas, existe

Z = n2 + m2 , Y = 2mn
Vamos mostrar que

= 1.

Com efeito, omo

tal que

X = n2 m2 .

divide n2 + m2

n2 m2 ,

temos que

tambm divide

(n2 + m2 ) + (n2 m2 ) = 2n2

e

(n2 + m2 ) (n2 m2 ) = 2m2 .

Mas

= 2,

so primos entre si. Portanto,

divide

2,

ou seja,

=1

ou

= 2.

Se

ento

n2 m2 = X = 2X
divisvel por

2 e no por 4, j que estamos supondo que X

divisvel por
mpar,

4.

mpar. Logo,

Vamos justi ar esta ltima armao.

pode se es rever omo

X = 2k + 1,

onde

2X = 4k + 2

e,

Com efeito, omo

k Z.

Da,

portanto,

n2 m2 2 = 2X 2 = 4k + 2 2 = 4k,

36

n2 m2 2

3.2.

A EQUAO

donde

X 2 + 2Y 2 = Z 2

n2 m2 2 divisvel por 4.

divisvel por

4.

ser divisvel por

Mas

O mesmo vale para

4.

Logo,

n2 tal que:

m2 .

ou

n2 divisvel por 4 ou n2 1

Logo, no pode a onte er de

n2 m2 2

= 1.

Isto prova que todos os tringulos de Pitgoras podem ser obtidos pelas relaes

X = n2 m2 , Y = 2mn , Z = n2 + m2 ,
onde

so primos entre si e,

tm paridades opostas.

Compare este

resultado ao que obtemos no exemplo 3.

3.2

A equao

Exemplo 4.

x2 + 2y 2 = z 2

Vamos obter todas as solues da equao

x2 + 2y 2 = z 2 ,
onde

x, y

Soluo:
onde

x, y

so inteiros positivos e primos entre si dois a dois.

Primeiramente, observemos que se

no tm divisor omum diferente de

entre si. De fato, suponha, por absurdo, que

primo

p > 2.

(3.13)

x, y , z

uma soluo de (3.13),

1, ento eles so dois a dois primos

sejam mltiplos de um nmero

Ento, da igualdade (3.13), podemos es rever

 2  2
 2
y
z
x
+2
=
p
p
p
multipli ando ambos os membros por
alguns

n1 , n2 Z,

1/p2 .

Logo, omo

segue que

n1 p
p

2

+2

n2 p
p

37

2

 2
z
=
,
p

x = n1 p

y = n2 p,

para

3.2.

A EQUAO

X 2 + 2Y 2 = Z 2

ou seja,

(n21 + 2n22 ) p2 = z 2 .
p2

Ento,
de

p,

divide

z2

e, portanto,

p divide z .

Isto quer dizer que

tambm mltiplo

ontradizendo o fato de que o mximo divisor omum entre

mesmo a onte e se onsiderarmos que

x, y

ou

x, y

1.

so mltiplos de um primo

p > 2.
Am de que o mximo divisor omum entre
que

seja igual a

1,

observemos

dever ser um nmero mpar. o que vamos provar agora. Com efeito, se

um nmero par, o primeiro membro da equao (3.13) ser um nmero par e,

portanto,

n1

n2

tambm ser. Sendo assim,

inteiros tais que

x2 = 4n1

x2

z 2 = 4n2 ,

z2

so mltiplos de

4.

Logo, existem

donde

2y 2 = z 2 x2
= 4n2 4n1
= 4(n2 n1 ),
ou seja,
se

2y 2

divisvel por

e, portanto,

for um nmero par, ento os nmeros

divisvel por 2. Isto quer dizer que

tambm sero pares, mas isto

ontradiz novamente a hiptese feita sobre estes trs nmeros de que seu mximo
divisor omum

1,

o termo

teramos que

1.

Segue, ento, que na soluo sem divisor omum diferente de

deve ser mpar e, assim,

x2 = z 2 2y 2

Agora, passando

x2

tambm ser, j que se

fosse par ento

tambm seria par.

ao segundo membro da equao (3.13), obtemos

2y 2 = z 2 x2 = (z + x)(z x).
Vamos provar que o mximo divisor omum de

38

z+x

zx

igual a

2.

Com

3.2.

A EQUAO

efeito, seja

X 2 + 2Y 2 = Z 2

este mximo divisor omum e provemos que

z + x = kd
k

onde

d = 2.

Temos que

z x = ld,

so nmeros inteiros primos entre si. Somando e subtraindo estas duas

ltimas equaes, obtemos que

2z = (k + l)d
Mas

2x = (k l)d.

so nmeros mpares e primos entre si e, por isso,

mdc(2z, 2x) = 2.

mdc(d(k + l), d(k l)) = d mdc(k + l, k l).

S que

mdc(k + l, k l) = mdc(k + l, k + l(1))

= mdc(k + l, k)
= mdc(k, l + k 1)
= mdc(k, l)
= 1.
Logo,

d = 2,

ou seja,

mdc(z + x, z x) = 2,
ou ainda,

mdc

z+x zx
,
2
2

39

= 1.

Da,

3.2.

A EQUAO

Assim,

X 2 + 2Y 2 = Z 2

z+x
zx
ou
mpar. Consequentemente, ou os nmeros
2
2

z+x

zx
2

so primos entre si ou os nmeros

z+x
2

zx

so primos entre si. No primeiro aso, da igualdade

(z + x)

zx
= y2
2

temos que

z + x = n2

z x = 2m2

e no segundo aso, a igualdade

z+x
(z x) = y 2
2
a arreta que

z + x = 2m2
onde

n e m so inteiros positivos.

z x = n2 ,

Note que

m ne essariamente mpar, pois se fosse

par, seu quadrado tambm seria e, portanto, o nmero

zx
= m2
2
seria par e os nmeros
aso em que

z+x

zx
no seriam primos entre si, j que estamos no
2

z+x
mpar e, portanto,
2

z+x

aso.

40

par. O mesmo o orre para o segundo

3.2.

X 2 + 2Y 2 = Z 2

A EQUAO

Assim, resolvendo o sistema linear do primeiro aso, temos que

z=

n2 2m2
n2 + 2m2
, x=
2
2

y = nm

y = nm

e resolvendo o sistema do segundo, que

z=
onde

2m2 n2
n2 + 2m2
, x=
2
2

um nmero mpar. Assim, a frmula geral que representa a soluo

x, y ,

da equao (3.13) dada por

1
x = (n2 2m2 ) , y = mn
2
onde

mpar. Mas para que

par. Sendo assim, se

(3.13) om

x, y

n = 2b

m = a,

z=

1
(n2 + 2m2 ),
2

sejam nmeros inteiros, pre iso que

seja

ento todas as solues inteiras da equao

positivos sem divisor omum diferente de

x = (a2 2b2 ), y = 2ab

onde

so primos entre si e positivos sendo

so dadas por

z = a2 + 2b2 ,

um nmero mpar.

Finalmente, note que estas frmulas en ontradas, de fato, orrespondem as solues da equao (3.13) om as ondies impostas sobre
os l ulos a seguir:

41

x, y

omo nos mostra

3.3.

A EQUAO NEGATIVA DE PITGORAS

X 2 + Y 2 = Z 2

x2 + 2y 2 = [(a2 2b2 )]2 + 2(2ab)2

= (a2 )2 2 a2 2b2 + (2b2 )2 + 2 4a2 b2
= (a2 )2 4a2 b2 + (2b2 )2 + 8a2 b2
= (a2 )2 + 4a2 b2 + (2b2 )2
= (a2 + 2b2 )2
= z2.

3.3

A equao negativa de Pitgoras

x2 + y 2 =

z 2
Exemplo 5.

Estamos agora interessados em resolver a equao

x2 + y 2 = z 2
para

x, y

Soluo:

(3.14)

nmeros naturais.

Note que (3.14) o mesmo que

x +y =

 xy 2
z

j que

1
1
1
+
=
x2 y 2
z2
2
2
y +x
1

=
x2 y 2
z2
x2 y 2  xy 2
x2 + y 2 = 2 =
.
z
z

x2 + y 2 = z 2

42

(3.15)

3.3.

A EQUAO NEGATIVA DE PITGORAS

Isso impli a que

tN

divide

xy

e que

x2 + y 2

X 2 + Y 2 = Z 2

um quadrado perfeito, ou seja, existe

tal que

x2 + y 2 = t2

e, portanto,

t=
Seja

d = mdc(x, y, t)

es rever

xy
.
z

(3.16)

o mximo divisor omum entre

x = ad, y = bd

t = cd,

onde

a, b

x, y

t.

Ento, podemos

so nmeros naturais relativamente

primos entre si. Portanto, de (3.16), segue que

cd =

(ad)(bd)
,
z

ou seja,

z=
Lembrando que

k N

tal que

d = kc

e, portanto, as equaes

t2 = x2 + y 2,

z = kab.

temos que

a2 + b2 = c2 ,
onde

x = ad, y = bd,

e (3.17) transformam-se em

x = kac, y = kbc, t = kc2

De

(3.17)

mdc(a, b, c) = 1, segue que c divide d, j que d um nmero natural.

Portanto, existe

t = cd

(ad)(bd)
abd2
abd
=
=
.
cd
cd
c

a, b e c so relativamente primos entre si.

(3.18)

Do Exemplo 3, temos que as solues

de (3.18) so

a = m2 n2 , b = 2mn, c = m2 + n2 ,
onde os inteiros

satisfazem as ondies da equao apresentada naquele

43

3.4.

A EQUAO DE FERMAT

X4 + Y 4 = Z4

exemplo. Portanto, as solues da equao (3.14) so

x = kac = k(m2 n2 )(m2 + n2 ) =

k(m4 n4 ),

y = kbc =
k(2mn)(m2 + n2 )
= 2kmn(m2 + n2 ),

z = kab =
k(m2 n2 )(2mn)
= 2kmn(m2 n2 ),
onde

k, m, n N

3.4

m > n.

x4 + y 4 = z 4

A equao de Fermat

Para resolver a equao de Fermat

resolver a equao

x4 + y 4 = z 2 ,

x4 + y 4 = z 4 ,

pre isamos primeiramente

omo fazemos no Exemplo 6. A equao desejada

tratada no Exemplo 7.

Exemplo 6.

Provaremos que a equao

x4 + y 4 = z 2

(3.19)

no possui soluo inteira.

Soluo:
x, y

Pelo aspe to da equao (3.19), su iente mostrar o resultado para

estritamente positivos. Suponhamos, por absurdo, que (3.19) possua uma

soluo no trivial, isto , existe um terno

sidere que

z1

(x1 , y1 , z1 )

que satisfaz tal equao. Con-

seja o menor nmero natural om esta propriedade. Nosso objetivo

hegar em uma ontradio sobre a minimalidade de

z1 .

Da mesma maneira que zemos no Exemplo 3, podemos supor, sem perda de

generalidade, que o mximo divisor omum entre
se existe uma soluo tal que

d > 1,

x1

y1

x1 , y1

z1

seja igual a

1.

De fato,

tenham um mximo divisor omum igual a

ento

x1 = dx2

44

y1 = dy2 ,

3.4.

A EQUAO DE FERMAT

onde

mdc(x2 , y2 ) = 1.

X4 + Y 4 = Z4

Assim, a equao (3.19) se transforma na equao

(x2 )4 + (y2 )4 =
Mas omo
Se

z2

y2

x2

y2

mdc igual a k > 1,

e, portanto,

a hiptese de ser

1
d2

= (z2 )2 .

so nmeros inteiros, temos que

tivessem

divisvel por

 z 2

x2

y2

mdc(x2 , y2 ) = 1.

z2

(3.20)

tambm um nmero inteiro.

ento, segundo a igualdade (3.20),

(x2 )2

seria

no poderiam ser primos entre si, ontrariando

Sendo assim, basta onsiderarmos o aso em que

os nmeros que ompe a soluo de (3.19) so todos primos entre si.

Vejamos algumas propriedades que os nmeros

x1 , y1

z1

possuem. Usando as

observaes ini iais do Exemplo 3, podemos armar que

(1)

mdc(x1 , y1 ) = 1,

(2)

mdc(y1 , z1 ) = 1,

(3)

mdc(z1 , x1 ) = 1,

(4)

x1

y1

possuem paridades distintas.

Na verdade, dos resultados do Exemplo 3, teramos que

mdc(x21 , y12) = mdc(y12 , z1 ) =

mdc(z1 , x21 ) = 1, mas estas ltimas igualdades impli am em (1), (2) e (3), respe tivamente. Por exemplo, omo

mdc(x21 , y12) = 1, ento existem nmeros inteiros p, q Z

tais que

px21 + qy12 = 1.
Mas tal equao ainda pode ser rees rita sob a forma

(px1 )x1 + (qy1)y1 = 1,

45

3.4.

A EQUAO DE FERMAT

isto , existe nmeros inteiros

X4 + Y 4 = Z4

r = px1

s = qy1

tais que

rx1 + sy1 = 1.
Isto quer dizer que

mdc(x1 , y1 ) = 1.

As igualdades (2) e (3) so justi adas analo-

gamente. A justi ativa para (4) ainda simples. Pelo Exemplo 3, teramos que
e

y12

possuem paridades distintas, ou seja, um deles par enquanto o outro mpar.

Mas isso o mesmo que provar que se

e

y12

x1

y1

possuem a mesma paridade, ento

x21

tambm possuem e, de fato, isso a onte e. Ento, (4) est justi ado.

Feitas essas observaes, suponha, sem perda de generalidade, que

y1

x21

y1

par. Sendo

par, temos que

z1

x1

mpar e

deve ser mpar por ausa de (2). Vamos provar

agora que

mdc(z1 x21 , z1 + x21 ) = 2.

Com efeito, se

tambm divide
que

d=2

divide

z1 x21

z1 + x21 ,

ento

(z1 + x21 ) (z1 x21 ) = 2x21 .

(3.21)

d divide (z1 x21 ) + (z1 + x21 ) = 2z1

Mas omo vale (3) e

z1

mpar, segue

e (3.21) est provado.

Agora, omo

(x1 , y1 , z1 )

soluo de (3.19), segue que

x41 + y14 = z12

e, ento,

y14 = z12 x41 .

J que

y1

um nmero par, existe

kN

tal que

(z1 x21 )(z1 + x21 ) = y14 = (2k)4 = 16k 4 = 2 8 k 4 .

Logo, omo vale (3.21), temos que um dos nmeros
por

no por 4, e o outro divisvel por 8.

46

(z1 x21 )

(z1 + x21 )

divisvel

3.4.

X4 + Y 4 = Z4

A EQUAO DE FERMAT

A seguir, vamos mostrar que

y1 = 2ab,
(z1 x21 )(z1 + x21 ) = y14

J vimos que
fatorao de
por

por

8.

om

mdc(a, b) = 1.

(3.22)

e que um dos nmeros que fazem parte dessa

y14 divisvel por 2 e no por 4, e o outro divisvel por 8.

2

a par ela que divisvel por

4,

e no por

e por

Denotaremos

a par ela que divisvel

Fi amos, ento, om a seguite expresso:

y14 = s t.
s

Assim, existem inteiros positivos

s = 2s

tais que

t = 8t ,

(3.23)

mdc(s , t ) = 1.

om

Para mostrar que vale (3.22), vamos mostrar que existem

s = a4

t = b4 ,

(3.24)

naturais tais que

mdc(a, b) = 1.

om

(3.25)

As igualdades em (3.25) so provadas da seguinte maneira: mostraremos que se

um nmero primo que divide

s ),

da fatorao de
fatorao de

s ).

ento

p4

(ou seja, vamos supor que o primo

tambm divide

Suponha, primeiramente, que

Como

s = 2s

divide

e, portanto,

j que

divide

divide

y1 .

no divisvel por

s ,

Mas se

p no

p 6= 2

temos que

p no

t ,

pode dividir

temos que

4,

(ou seja,

j que

tambm divide

y14

um nmero primo dividindo

p4

seja um primo que divide

nem

e omo

mdc(s , t ) = 1,

temos que

47

p4

2.

s .

Mas

por (3.23), o que impli a que

y1 ,

divide

temos que

s .

so primos entre si. Agora,

p4

divide

p 6= 2 e p4 |y14 = 2s 8t , segue que p4 |s t , j que p no divide 2 nem 8.

divide

faa parte

tambm faz parte da

pode dividir

y14 .

S que

O aso em que

Sendo

p no

p = 2 no

3.4.

A EQUAO DE FERMAT

pode a onte er, porque omo

por

X4 + Y 4 = Z4

s = 2s

no divisvel por

4, s no

pode ser divisvel

2.
O que provamos anal? Mostramos que qualquer primo que divide

quatro vezes na fatorao de

primos, resulta que existe

e omo podemos fatorar o nmero

aN

s ,

apare e

em fatores de

tal que

s = a4 .
Ento, ombinando (3.23) e (3.24), teremos que

y14 = 2a4 8t = (2a)4 t

o que impli a que

mdc(a, b) = 1

tal que

tambm uma potn ia de

t = b4 .

4,

ou seja, existe

b N

om

Fi amos, ento, om

y14 = (2a)4 b4 ,
isto , provamos (3.22). Observando, portanto, (3.24), temos duas situaes: ou

z1 x21 = 2a4

z1 + x21 = 8b4 ,

(3.26)

z1 x21 = 8b4

z1 + x21 = 2a4 ,

(3.27)

ou

onde

mdc(a, b) = 1

mpar (podemos supor isso sem perda de generalidade).

Suponha que a situao (3.26) a onte e. Ento, fazendo a diferena entre a segunda
e primeira equao, obtemos

2x21 = 8b4 2a4 .

48

3.4.

X4 + Y 4 = Z4

A EQUAO DE FERMAT

2,

Dividindo esta ltima equao por

 amos om

x21 = 4b4 a4 .
Logo,

x21 + a4 = 4b2 .

Agora, omo

x1

Isto quer dizer que

4 divide x21 + a2 ,

ou seja,

x21 a4 (mod 4).

um nmero mpar, temos que

x1 1 (mod 4)
O mesmo a onte e para

a,

j que

x1 3 1(mod 4).

ou

tambm um nmero mpar. Logo,

x21 1 (mod 4)
ou

x21 32 = 9 1 (mod 4).

Da,

x1 1 (mod 4)

e tambm

a 1 (mod 4).

Assim,  amos om as seguintes

ongrun ias:

x21 1 (mod 4),

x21 a4 (mod 4)

a4 1 (mod 4).

Usando as propriedades, obtemos de (3.29) que

(3.28) equivalente a

no pode

fato, seja

x21 1 (mod 4).

Assim, omo

no divide

2.

Portanto, a situao

o orrer. Portanto, a ni a situao possvel a (3.27).

Valendo das equaes (3.27), obtemos

a4 x21 = 4b2 .

(3.29)

1 x21 (mod 4), temos que 1 1 (mod 4), pela transitividade

da ongrun ia, e isto um absurdo, j que

(3.26)

(3.28)

Mostraremos que omo

um nmero que divide

e, por onseguinte, divide

2a4 8b4 = 2x21 ,

mdc(a, b) = 1,
x1

a4 x21 = 4b4 ,

que o mesmo que

temos que

mdc(a, x1 ) = 1.

ao mesmo tempo. Ento,

ou seja,

49

divide

4b4 .

Como

divide

a4

divide

De

x21

3.4.

d no

um nmero mpar, temos que

1,
e

poderamos tomar um primo

b4 ,

X4 + Y 4 = Z4

A EQUAO DE FERMAT

ou seja, este primo dividiria

que uma ontradio, j que

divide

e, portanto, divide

que dividisse

b4 .

Se

no fosse

e, portanto, tal primo dividiria

p = 1,

ao mesmo tempo. Isto impli a que

no primo. Vamos usar que

mdc(a, x1 ) = 1

em

seguida.
Novamente das equaes (3.27), temos que

z1 = a4 + 4b4 ,

onde

0 < a < z1

4b4 = (a2 x1 )(x2 + x1 ).

Agora, omo

mdc(a, x1 ) = 1,

podemos fazer os mesmos l ulos de (3.21), para

on luir que

mdc(a2 x1 , a2 + x1 ) = 2.
Fazendo uso das mesmas ideias que utilizamos para hegar nas situaes (3.26)
e (3.27), e os argumentos que usamos para mostrar que (3.26) no pode o orrer,
podemos on luir que existem

x2

y2

primos entre si tais que

b = x2 y2

a2 x = 2x4 ,
1
2
a2 + x = 2y 4.
1
2
Pondo

a = z2

e somando estas duas ltimas equaes, obtemos que

2z22 = 2x42 + 2y24,

ou seja,

x42 + y24 = z22 ,

om

0 < z2 < z1

e isto ontradiz a minimalidade de

z1 .

Exemplo 7. (Equao de Fermat para n = 4) A equao

x4 + y 4 = z 4
no possui soluo inteira.
50

(3.30)

3.5.

O LTIMO TEOREMA DE FERMAT

Soluo:

Sabemos, pelo Exemplo 6, que a equao

solues inteiras. Se (3.30) possui uma soluo

x4 + y 4 = z 2

no possue

(x1 , y1 , z1 ) porque este terno satisfaz

x41 + y14 = z14 = (z12 )2 .

Assim, omo

(x1 , y1 , z2 )

z1 Z,

temos que

z12 Z.

Pondo

z2 = z12 ,

temos que existe um terno

tal que

x41 + y14 = z22 ,

o que ontradiz o Exemplo 6.

Observao:

possvel provar que a equao de Fermat

x3 + y 3 = z 3

tambm

no possui solues inteiras, mas isto mais ompli ado.

3.5

O ltimo Teorema de Fermat

Nessa seo, ontaremos uma pou o da histria do ltimo Teorema de Fermat

(vide [10).
Pierre de Fermat foi um matemti o fran s do s ulo XVII, que fez muitas
des obertas na teoria dos nmeros. O livro grego

Arithmeti a

ini iou Fermat nos

estudos em Matemti a e, neste livro, ele ostumava fazer anotaes em suas margens. Tais anotaes foram perdidas om o passar do tempo, mas ainda podem ser
lidas em um livro publi ado anos aps sua morte por seu lho. Em uma dessas anotaes, Fermat es reveu uma pequena observao que deixaria futuros matemti os
uriosos, ob e ados e des onados: tratava de um dos problemas mais famosos de
todos os tempos e  ou onhe ido omo o

ltimo Teorema de Fermat.

Este problema no foi resolvido durante s ulos, apesar de seu enun iado ser
to simples que qualquer um pode entender. Por exemplo, podemos nos perguntar
quais so as solues inteiras da equao

x2 + y 2 = z 2 ,

51

omo zemos no Exemplo 3

3.5.

O LTIMO TEOREMA DE FERMAT

(vide Figura 3.2). Esta equao nada mais do que o

Teorema de Pitgoras

que

aprendemos quando ainda somos rianas. Rapidamente somos ensinados que, por
exemplo,

32 +42 = 52 ou que 52 +122 = 132 .

Portanto, natural se questionar, omo

Fermat o fez, se existem solues inteiras para as equaes

x5 + y 5 = z 5

x3 +y 3 = z 3 , x4 +y 4 = z 4 ,

e assim por diante. Mais geralmente, nos perguntamos quais so as

solues inteiras da equao

z2
x2

z
y

PSfrag repla ements

y2

Figura 3.2: Representao geomtri a do Teorema de Pitgoras.

xn + y n = z n
para qualquer

n N.

Voltando a observao que Fermat havia deixado em seu

livro, ele es reveu simplesmente que a equao (3.31)

para qualquer

n N.

(3.31)

no

tinha solues inteiras,

Mais do que isso, ele es reveu que poderia provar tal resultado

s que as margens daquele livro eram urtas demais para onter sua demonstrao.
Esse no foi o ltimo problema que Fermat deixou para os futuros matemti os.
Como j men ionado, ele ostumava es rever muitas oisas nas margens daquele
livro trazendo muitos questionamentos sobre a validade de alguns resultados. Com
o passar do tempo, vrios matemti os tomaram tais anotaes omo desaos e

52

3.5.

O LTIMO TEOREMA DE FERMAT

resolveram um por um. O ltimo a ser resolvido foi o problema (3.31) e, por isso,
hamado de

ltimo Teorema de

Fermat.

Esse problema  ou sem soluo por aproximadamente

300

anos e desaou mui-

tos matemti os durante todo esse tempo. Por exemplo, Gauss, Galois, Kummer,
Euler e Sophie Germain foram importantes nomes que tentaram ata ar esse problema e no onseguiram uma soluo. Depois de algum tempo, vrios matemti os
omearam a duvidar se, de fato, Fermat possuia uma demonstrao.
No in io dos anos 1970, um novo nome omeou a surgir na Matemti a. Andrew Wiles omeou a estudar Matemti a na Universidade de Cambridge sob a
orientao do professor John Coates. Segundo ele, Wiles era dono de ideias profundas e que sempre o onsiderou um matemti o que teria grande futuro, mas no
a reditava que ele fosse apaz de demonstrar um problema omo o ltimo Teorema
de Fermat.

Nessa po a, muitos a reditavam que esse problema no poderia ser

solu ionado, in lusive Coates que in entivou Wiles a no seguir tentando enfrentar
este problema. Por isso, Andrew omeou a estudar equaes elpti as e deixou um
pou o de lado o problema de Fermat.
Entretanto, um professor da Universidade de Prin eton hamado Goro Shimura,
juntamente om seus olegas, ontinuaram om o sonho de onseguir uma demonstrao para o problema de Fermat. Dentro desse grupo havia um jovem hamado
Utaka Taniyama. Juntamente om Shimura, Taniyama estudou funes modulares
e em 1955, em um ongresso, Taniyama enun iou dois problemas em aberto. Um
desses problemas  ou onhe ida omo

Conje tura de Taniyama-Shimura e tal on-

je tura, aso estivesse orreta, ligava as teorias de formas modulares e urvas elpi as.
Infelizmente, em 1958, Taniyama sui idou-se e no pde ver a grande ontribuio
do seu trabalho no de orrer dos anos seguintes.
Naquele tempo, ningum pensava que a onje tura de Taniyama-Shimura teria
alguma ligao om o ltimo Teorema de Fermat at o omeo dos anos 1980. Em

53

3.5.

O LTIMO TEOREMA DE FERMAT

1985, Gerhard Frey, um matemti o alemo, supos que se h uma soluo para a
equao (3.31), existe uma urva elpti a que ontrariaria a Conje tura de TaniyamaShimura. Isto quer dizer que se o problema de Fermat fosse falso, ento a Conje tura
de Taniyama-Shimura tambm seria. Dito de outra maneira, se Taniyama-Shimura
fosse verdadeiro, ento Fermat seria verdadeiro. Essa onje tura de Frey  ou onhe ida omo

Conje tura psilon e foi Kenneth Ribet quem a provou.

Nesse momento, Andrew abandonou todas as suas pesquisas e omeou a trabalhar em ima de da Conje tura de Taniyama-Shimura e isso durou sete anos. Nos
dois primeiros anos, Andrew no teve progresso algum, tentando arranjar uma estratgia que pudesse dar erto.

Apenas depois de 4 anos, em 1991, que Wiles

onseguiu algo para avanar em sua pesquisa. Depois de seis anos de siln io, ele
falou de seu progresso sobre a soluo da Conje tura de Taniyama-Shimura para
um professor da Universidade de Prin eton hamado Ni k Katz. Mais ainda, ele falou que a hava que tinha onseguido provar tal onje tura. Andrew de idiu, ento,
expor suas ideias em onfern ias das quais Ni k poderia assistir e ver se realmente
sua demonstrao estava orreta, e em Maio de 1993 Andrew Wiles a reditava ter
provado o ltimo Teorema de Fermat.
Um dia aps Andrews apresentar sua demonstrao, todos os jornais ao redor
do mundo publi aram que ele tinha provado o ltimo Teorema de Fermat e logo
 ou famoso. S que depois de algum tempo, Andrew des obriu que havia um erro
no nal de sua demonstrao.

Depois disso, Andrew omeou a trabalhar neste

erro e onvidou seu antigo aluno, Ri hard Taylor, para estudar om ele, mas nada
onseguiu at ento. Depois de uma grande persistn ia, Andrew onseguiu onsertar seu erro e, de fato, provou um dos prin ipais problemas do s ulo.

Portanto,

a Conje tura de Taniyama-Shimura foi provado e, portanto, o ltimo Teorema de

Fermat.

54

Captulo 4
Equaes do tipo x2 Ay 2 = 1
Neste aptulo, vamos determinar todas os nmeros inteiros que satisfazem a
seguinte equao do segundo grau om duas in gnitas:

x2 Ay 2 = 1,
onde

um nmero inteiro positivo que no um quadrado perfeito, isto , no

existe um nmero inteiro

tal que

A = a2 .

Para resolver este tipo de equao, devemos primeiramente observar o mtodo

de desenvolvimento em fraes ontnuas de nmeros irra ionais, omo por exemplo, nmeros irra ionais do tipo

A.

Segundo o Algoritmo de Eu lides, qualquer

nmero ra ional se desenvolve em frao ontnua om um nmero nito de termos,

ao ontrrio dos nmeros irra ionais, ujas fraes ontnuas que os representam so
innitas. Desenvolvamos em frao ontnua, por exemplo, o nmero irra ional

Note que

( 2 1)( 2 + 1) = 2 1 = 1

55

2.

e, portanto,

21=

1
2+1

que pode ser es rito ainda omo segue

.
2 + ( 2 1)

21=

Assim, tendo em vista a ltima igualdade a ima, temos que:

ou seja,

21 =

2=1+

=
2 + ( 2 1)
2+

1
1

2 + ( 2 1)

=1+
2 + ( 2 1)
2+

1
1

2 + ( 2 1)

Substituindo novamente o termo entre parnteses, obtemos ainda que

2=1+

2+
2+

2 + ( 2 1)

Continuando este pro edimento, obteremos o seguinte desenvolvimento para

frao ontnua:

2=1+

2+

2 em

(4.1)

2+
2+

1
2+

..

Observe que o pro edimento para o desenvolvimento em frao ontnua, apli ado

56

anteriormente, baseado na utilizao de identidades do tipo

( m2 + 1 m) ( m2 + 1 + m) = 1,
que no vlido para quaisquer nmeros irra ionais. Este pro edimento pode ser

usado naqueles asos que o nmero inteiro

pode se expressar na forma

A = m2 + 1,
onde

m = 1,

um nmero inteiro no nulo.

j que

2=

O mesmo poderia ser feito para

5,

Por exemplo, em nosso aso temos que

12 + 1 =

1 + 1.

j que

5=

22 + 1.

A ttulo de uriosidade, para o aso geral, existem pro edimento relativamente sim-

ples para o desenvolvimento de um nmero irra ional

em fraes ontnuas.

Fazendo o mesmo que zemos para o aso das fraes ontnuas nitas, podemos formar uma sequn ia de fraes reduzidas

1 , 2 , 3 , . . .

para a frao ontnua

innita (4.1), da seguinte maneira:

1 = 1
2 = 1 +
3 = 1 +

e, portanto,

1
3
=
2
2
1

1+

1
2

1 <

e, portanto,

7
5

2;

3 <

2 >

e, portanto,

57

2;

2;

4 = 1 +
1+

1
1+

17
12

e, portanto,

4 >

2;

1
2

e assim por diante. Tendo em vista o pro edimento de formao das fraes reduzidas do aptulo anterior, podemos deduzir as seguintes relaes:

1 < 3 < . . . < 2k +1 < . . . <

2 > 4 > . . . > 2k > . . . >

2,

2.

Em geral, se tomarmos o desenvolvimento em frao ontnua innita de um

nmero irra ional

,
1

= q1 +

q2 +

q3 +

..

ento onseguimos ainda as seguintes desigualdades para as fraes reduzidas

1 < 3 < . . . < 2k+1 < . . . < < 2 < 4 < . . . < 2k < . . . .

(4.2)

Da mesma forma que denotamos anteriormente, faamos

k =
onde

Pk
,
Qk

P = P q + P
k
k1 k
k2
Q = Q q + Q
k
k1 k
k2

que so as mesmas obtidas em (2.6), j que em momento algum da deduo destas

frmulas, foi exigida a hiptese de que a frao ontnua fosse nita. Consequente-

58

mente, a relao (2.7) ontinua vlida:

k k1 =

(1)k
Qk Qk1

Por exemplo, note que para as fraes reduzidas de

3 2 =

(4.3)

2,

temos que

1
1
7 3
=
=
5 2
10
52

4 3 =

1
1
17 7
=
=
,
12 5
60
12 5

que oin ide om os resultados obtidos na relao (4.3).

Em parti ular, utilizando (4.3), temos que

2k 2k+1 = (2k+1 2k )


(1)2k+1
=
Q2k+1 Q2k


(1)2k (1)
=
Q2k+1 Q2k
1
.
=
Q2k+1 Q2k
Provado isto, vamos mostrar que a seguinte desigualdade vlida:

0 < P2k Q2k <

1
Q2k+1

Com efeito, temos que

< 2k =

P2k
,
Q2k

ou seja,

Q2k < P2k

59

(4.4)

e, portanto,

P2k Q2k > 0.

Isto prova uma das desigualdades de (4.4). Alm disso, sabemos que

2k+1 < < 2k ,

para ada

k N,

donde

2k+1 > 2k .

Logo,

2k < 2k 2k+1 =
Mas

2k =

Q2k+1 Q2k

P2k
e, portanto,
Q2k

1
P2k
<
.
Q2k
Q2k+1 Q2k
Multipli ando esta ltima desigualdade por

Q2k ,

P2k Q2k <

obtemos que

1
Q2k+1

provando assim a outra desigualdade de (4.4).

Vamos apli ar agora os resultados obtidos para resolver a equao

x2 2y 2 = 1.

(4.5)

Podemos es rever o primeiro membro da equao a ima omo segue

x2 2y 2 = (x
Agora, onsideramos que

x = P2k

2y)(x +

y = Q2k , onde P2k

60

2y).
e

Q2k

so, respe tivamente, o

numerador e o denominador da frao reduzida orrespondente do desenvolvimento

de

2 em frao ontnua.

Vamos mostrar que, para ada

k N, [x = P2k , y = Q2k ]

soluo da equao (4.5).

De fato, podemos es rever

2
P2k
2Q22k = (P2k

2Q2k )(P2k +

2Q2k )

(4.6)

Agora, note que o primeiro membro da ltima equao um nmero inteiro e,

portanto, o segundo membro tambm o . Vamos mostrar que o nmero
maior do que

e menor do que

utilizando a desigualdade (4.4) om

e, portanto, ter que ser igual a

0 < P2k
Assim, omo

P2k +

2Q2k > 0,

2,

2Q2k <

1
Q2k+1

(4.7)

temos que o seguno membro de (4.6) positivo e,

2
P2k
2Q22k > 0.
Por outro lado, temos que

Com efeito,

temos que

portanto,

P2k

1.

2
P2k
2Q22k

2Q2k <

1
Q2k+1

1
Q2k q2k+1 + Q2k1
1
=
2Q2k + Q2k1
1
<
,
2Q2k
=

61

j que

q2k+1 = 2.

Mas de (4.2), temos que

P2k
> 2
Q2k

2k =
e, portanto,

Somando

P2k

2Q2k < P2k .

em ambos os lados da ltima desigualdade, tem-se que

P2k +

2Q2k < 2P2k .

Sendo assim, obtemos as seguintes desigualdades para as expresses que ompe a

multipli ao do segundo membro de (4.6):

P2k
P2k +

2Q2k <

1
,
2Q2k

2Q2k < 2P2k .

Multipli ando estas duas desigualdades, obtemos que

(P2k

2Q2k ) (P2k +

2Q2k ) <

ou seja,

2
P2k
2Q22k <

62

P2k
.
Q2k

P2k
2P2k
=
,
2Q2k
Q2k

Assim, de (4.7), tem-se que

P2k
Q2k
1
P2k
=
Q2k



1
1
<
2Q2k +
Q2k
Q2k+1

1
=
2+
Q2k Q2k+1

2
P2k
2Q22k <

e omo

k 1,

1
1
1
1

=
= .
Q2k Q2k+1
Q2 Q3
25
10

Portanto,

1
Q2k Q2k+1

1
<
2+
10
< 2.

2
P2k
2Q22k <

2+

Sendo assim, temos que

2
0 < P2k
2Q22k < 2,
ou seja,

2
P2k
2Q22k = 1.
Portanto,

[P2k , Q2k ]

do as solues para a equao

x2 2y 2 = 1,

para ada

k 1.

Entretanto, no sabemos se tais solues so todas as solues possveis desta equao.

Naturalmente, surge a pergunta de omo obter todas as solues inteiras da

63

equao

x2 Ay 2 = 1,
onde

um nmero inteiro positivo e

(4.8)

um nmero irra ional. Para en on-

trar todas essas solues, devemos onhe er pelo menos uma soluo parti ular. De
a ordo om o que zemos para a equao (4.5), podemos on luir que equaes dessa
natureza possuem, de fato, solues. A partir de agora, vamos estudar o problema
de obter todas as solues inteiras de (4.8) sendo onhe ida uma determinada soluo. No vamos nos preo upar aqui se a equao (4.8) possui, pelo menos, uma
soluo inteira diferente da trivial

x = 1

y = 0.

Assumiremos que isto sempre

o orre.

Suponha que a equao (4.8) possui uma soluo no trivial

y0 > 0

[x0 , y0]

x0 > 0,

x20 Ay02 = 1.
Diremos que a soluo

om

[x0 , y0 ]

(4.9)

mnima se, pondo x = x0 e y = y0 , o nmero x +

Ay o menor valor possvel entre todos os seus valores ao substituir x e y por todas

as possvels solues positivas no nulas da equao (4.8). Por exemplo, a soluo

mnima da equao (4.5)

[x0 = 3, y0 = 2],

j que a equao no possui solues

inteiras positivas menores do que essa, omo f il de omprovar ao substituirmos

os nmeros inteiros positivos menores do que
prxima desta equao quando

x = 17

y = 12,

2.

Na verdade, a soluo mais

mas

no temos que

17 + 12 2 < 3 + 2 2.
Vamos provar agora que uma soluo mnima da equao (4.8) tem que ser ni a.
De fato, suponha que existem duas solues mnimas

64

[x1 , y1 ]

[x2 , y2 ]

que do um

mesmo valor ao nmero

x+

Ay .

x1 +
Da,

Mas

Ay1 = x2 +

Ay2 .

(4.10)

x1 x2 = (y2 y1 ) A.

um nmero irra ional, enquanto que

Isto um absurdo, pois

que

Logo,

x1 = x2

y1 = y2 .

(y2 y1 ) A 6 Q

x1 , x2 , y1

y2

x1 x2 Q.

so nmeros inteiros.

Esta ontradio nos d

Portanto, a soluo mnima ni a.

Provemos uma outra propriedade muito importa das solues da equao (4.8).
Seja

[x1 , y1 ]

uma dessas solues. Ento,

x21 Ay12 = 1,
ou ainda,

(x1 +

Ay1 )(x1

Ay1 ) = 1.

Elevemos os dois membros da equao (4.11) ao nmero

seguinte expresso:

(x1 +

Ay1 )n (x1

(4.11)

n N.

Fi amos om a

Ay1 )n = 1.

Pela frmula do binmio de Newton, obtemos

n(n 1) n2 2
x1 Ay1 + . . . + ( A)n y1n := xn + Ayn
(x1 + Ay1 )n = xn1 + nx1n1 Ay1 +
2
(4.12)
A segunda igualdade de (4.12) justi ada assim: os termos mpares no desenvolvimento do binmio de Newton so nmeros inteiros e os representamos por
j o restante vem sendo multipli ado pelo fator

65

e os representamos por

xn ;

Ayn .

Vamos mostrar que os nmeros

xn

yn

tambm satisfazem a equao (4.8). Com

efeito, da igualdade (4.12) podemos tro ar o sinal de

(x1

Ay1 )n = xn

e obter que

Ayn .

Da,

Ay1 )n (x1 Ay1 )n

= (xn + Ayn )(xn Ayn )

1 = (x1 +

= x2n Ayn2 ,
ou seja,

[xn , yn ]

uma soluo da equao (4.8). Finalmente, podemos demonstrar

o seguinte teorema que, alm de en errar este aptulo, nos d todas as solues da
equao (4.8), desde que saibamos qual a soluo mnima desta equao.

Teorema 5.

Qualquer soluo de (4.8) da forma:

xn =

Demonstrao.

yn =

1
[(x0 + y0 A)n
2

+ (x0 y0 A)n ]
(4.13)

1
[(x0 + y0 A)n (x0 y0 A)n ]
2 A

Suponha, por absurso, que existe uma soluo inteira

[x , y ] da equa-

o (4.8) tal que a igualdade

x +

Ay = (x0 +

Ay0 )n

no seja verdadeira para nenhum nmero natural

anteriormente, omo

[x0 , y0 ]

n.

(4.14)

Veja que, pelo que zemos

uma soluo de (4.8), deveremos ter

(x0 +

Ay0 )n = xn +
66

Ayn .

Dizer que a soluo

[x , y ]

no satisfaz a igualdade (4.14), dizer que ela no da

forma (4.13). Chegando a um absurdo, teremos provado que (4.13) nos d todas as
solues da equao (4.8).

Note primeiramente que a sequn ia

x0 +

Ay0 , (x0 +

res e ilimitadamente, j que

x0 , y0 1

Ay0 )2 , (x0 +
e

x0 +

Ay0 )3 , . . .

Ay0 > 1.

Como

[x0 , y0]

a soluo

mnima de (4.8), temos, por denio, que

x +

Ay > x0 +

Ay0 .

Portanto, possvel en ontrar um nmero natural

(x0 +

Ay0 )n < x +

n1

Ay < (x0 +

tal que

y0 )n+1 .

(4.15)

Agora, observe que

(x0 +
ou seja,

x0

Ay0 > 0,

Ay0 )(x0

j que

x0 +

Ay0 ) = x20 Ay02 = 1 > 0,

Ay0 > 0.

Logo,

(x0

Ay0 )n > 0

e, ento,

multipli ando este fator em (4.15), as desigualdades no se alteram e  amos om:

(x0 +

Ay0 )n (x0

Ay )(x0 Ay0 )n

< (x0 + Ay0 )n+1 (x0 Ay0 )n .

Ay0 )n < (x +

67

(4.16)

Agora, omo

(x0 +

Ay0 )n (x0

Ay0 )n = [(x0 +

Ay0 )(x0

Ay0 )]n

= (x20 Ay02 )n
= 1n
= 1
ento,

(x0 +

Ay0 )n+1 (x0

Ay0 )n = (x0 + Ay0 )[(x0 + Ay0 )n (x0 Ay0 )n ]

= x0 + Ay0 .

Alm disso,

(x +

onde

y )(x0

Ay0 )n

x e y so nmeros inteiros.

Ay )(xn Ay0 )

= x xn x Ayn + Ay xn Ay yn

= x xn Ay yn + A(y xn x yn )

:= x + Ay,
= (x +

Com isso, a desigualdade (4.16) torna-se a seguinte:

1<x+
Vamos demonstrar que

[x, y]

Ay < x0 +

Ay0

soluo da equao (4.8) e assim hegar numa on-

tradio. Com efeito, temos a igualdade

x+

(4.17)

Ay = (x +

Ay )(x0

68

Ay0 )n .

Tro ando o sinal de

A,

temos ainda que

Ay = (x

Ento,

(x +

Ay)(x

Ay )(x0 +

Ay0 )n .

Ay) = x2 Ay 2 .

Mas

(x +

Ay)(x

Ay0 )n (x Ay )(x0 + Ay0 )n

= (x + Ay )(x Ay )(x0 + Ay0 )n (x0 Ay0 )n

Ay) = (x +

Ay )(x0

= ((x )2 A(y )2 )(x20 Ay02 )n

= 1,
j que

[x , y ]

[x0 , y0]

so solues de (4.8).

Finalmente, vamos provar

x>0

a igualdade

(x +
torna-se

e que

y > 0.

Ay)(x

De fato, note que se

x = 0,

Ay) = 1

Ay 2 = 1,

o qual no pode a onte er pois

A > 0.

Por outro lado, se

y = 0,

ento

x 2 = 1,

que tambm no possvel a onte er, pois da desigualdade (4.17), temos que
Observemos ainda que
sinais de

ento

x > 1.

possuem o mesmo sinal. Com efeito, supondo que os

x e y tm o mesmo sinal. Comparando os

x + Ay e x Ay = x + A(y), resulta que o

so diferentes, ento

valores absolutos das expresses

valor absoluto da primeira expresso menor do que o valor absoluto da segunda,

69

j que na primeira

xey

tm sinais tro ados enquanto que na segunda, eles possuem

o mesmo sinal, lembrando que

A > 0.
x+

e, portanto

Ay

Mas de (4.17), sabemos que

Ay > 1

tambm maior do que

(x +

Ay)(x

1,

em valor absoluto. Mas

Ay) = 1,

o que um absurdo, pois a multipli ao de dois nmeros maiores do que

absoluto, maior do que

1.

Portanto, os sinais de

1 em valor

devem ser iguais e eles so

no nulos. Assim, novamente da desigualdade (4.17), se deduz que ambos

so

estritamente positivos.

[x , y ]

Portanto, supondo que existe uma soluo

da equao (4.8) tal que a

igualdade (4.14) no se estabelea para nenhum valor natural de

terminar uma soluo

[x, y] desta equao, onde x e y

n, onseguimos de-

so nmeros inteiros positivos

e que satisfazem a desigualdade (4.17). Isto um absurdo, pois ontradiz a deno

[x0 , y0] ser a soluo mnima de (4.8).

Com isso, supondo que existe uma soluo que

no satisfaz a igualdade (4.14), hegamos a uma ontradio. Dito de outro modo,

demonstramos que todas as solues da equao (4.8) podem ser obtidas atravs
da frmula (4.14), isto , qualquer soluo
igualdade

x+
om

n 0,

onde

[x0 , y0 ]

[x, y]

Ay = (x0 +

desta equao se obtm atravs da

Ay0 )n ,

a soluo mnima de (4.8). Tro ando o sinal de

(4.18)

na

igualdade (4.18), obtemos que

Ay = (x0
70

Ay0 )n ,

(4.19)

Somando e substraindo as expresses (4.18) e (4.19), obtemos (4.13) om

e

y = yn ,

que so frmulas expl itas para a determinao das solues

equao (4.8), onde

Exemplo 8.

x = xn

[x, y]

da

so nmeros inteiros positivos.

Na equao

x2 2y 2 = 1,
temos que a soluo mnima

[3, 2].

Portanto, todas as solues desta equao so

dadas pela frmula

xn =

yn =
Quando

n = 2, 3,

1
[(3 + 2 2)n
2

+ (3 2 2)n ]

1
[(3 + 2 2)n (3 2 2)n ]
2 2

por exemplo, tem-se que

[17 : 22]

[99 : 70]

so solues inteiras

da equao dada, omo se pode veri ar sem muitas di uldades.

71

Refern ias Bibliogr as

Teoria Elementar dos Nmeros

- 3 ed, Editora Nobel, So Paulo,

[2 Andrees u, T., Andri a, D., Cu urezeanu, I.

An Introdu tion to Diophantine

[1 Alen ar F., E.
1992.

Equations. A Problem-Based Approa h, Springer,

[3 Guelfond, A. O.

2010.

Resolu in de E ua iones en Nmeros Enteros, Editorial MIR,

Mos , 1979.
[4 Hefez, A.

Elementos da Aritmti a, Rio de

[5 Martinez, F. B.

Janeiro, SBM, 2006.

Teoria dos Nmeros: um passeio om primos e outros nmeros

familiares pelo mundo inteiro

Rio de Janeiro, IMPA, 2010.

[6 Oliveira, K. I. M. e Fernndez, A. J. C.

problemas e solues, Rio de

[7 Santos, J. P. de O.

Ini iao Matemti a: um urso om

Janeiro, SBM, 2010.

Introduo Teoria dos Nmeros,

Coleo Matemti a

Universitria, Rio de Janeiro, 1998.

[8 Shokranian, S.

Uma Introduo Teoria dos Nmeros,

Cin ia Moderna, Rio

de Janeiro, 2008.
[9 Silverman, J. H., Tate, J.
[10 Singh, S.

Rational Points on Ellipti Curves, Springer,

O ltimo Teorema de Fermat, Editora Re ord,

72

1992.

So Paulo, 1998.