Você está na página 1de 13

Polos Olmpicos de Treinamento

Curso de Teoria dos Nmeros - Nvel 3


Carlos Gustavo Moreira
Aula
14
A equacao de Pell
1 Equacao de Pell
Seja A um inteiro positivo. Estamos interessados na equa cao x
2
Ay
2
= 1,
com x e y inteiros. Se A e um quadrado perfeito, digamos A = k
2
, temos que
x
2
Ay
2
= (x ky)(x + ky) = 1 admite apenas as solucoes triviais y = 0,
x = 1, pois teramos x ky = x + ky = 1. O caso interessante e quando
A nao e um quadrado perfeito, e portanto

A e um irracional (de fato, se

A =
p
q
, com mdc(p, q) = 1 e q > 1, teramos A =
p
2
q
2
o que e um absurdo, pois
mdc(p, q) = 1 = mdc(p
2
, q
2
) = 1, donde p
2
/q
2
nao pode ser inteiro). Nesse
caso, a equa cao x
2
Ay
2
= 1 e conhecida como uma equacao de Pell .
As solucoes da equa cao de Pell correspondem a pontos inteiros sobre uma
hiperbole. Por exemplo, para a hiperbole x
2
2y
2
= 1: o ponto (3, 2) e um
exemplo de ponto inteiro sobre a hiperbole pois 3
2
2 2
2
= 1 mas o ponto
(7, 5) esta proximo `a hiperbole mas nao pertence a ela pois 7
2
2 5
2
= 1 = 1.
Como veremos, o proximo ponto de coordenadas inteiras positivas sobre esta
hiperbole e (17, 12).
Outro ponto de vista e o de que estamos procurando pontos de uma hi-
perbole sobre um reticulado. A mesma equa cao de Pell acma corresponde `a
hiperbole e u
2
v
2
= 1 e ao reticulado que consiste nos pontos da forma
(a, b

2), a e b inteiros. As duas guras correspondentes s o diferem por uma


transformacao linear.

E facil ver que se a equa cao tem alguma solucao (x


1
, y
1
) entao possui in-
nitas. Mais geralmente, se x
2
1
Ay
2
1
= 1, temos
(x
1

Ay
1
)
n
(x
1
+

Ay
1
)
n
= (x
2
1
Ay
2
1
)
n
= (1)
n
.
Fazendo a substituicao
x
n
+

Ay
n
= (x
1
+

Ay
1
)
n
=
n

i=0
_
n
i
_
x
ni
1
(

A)
i
y
i
1
onde
x
n
=

n
2

i=0
_
n
2i
_
x
n2i
1
A
i
y
2i
1
e y
n
=

n1
2

i=0
_
n
2i + 1
_
x
n2i1
1
A
i
y
2i+1
1
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
obtemos x
2
n
Ay
2
n
= (1)
n
para todo n N.
De maneira mais ou menos equivalente, podemos dizer que se (x
1
, y
1
) e
solucao entao a transformacao linear
_
x
1
y
1

A
y
1

A x
1
_
preserva tanto a hiperbole u
2
v
2
= 1 quanto o reticulado que consiste nos
pontos da forma (a, b

A).
Vejamos agora que a equa cao de Pell sempre possui solucao.
Teorema 1. A equacao x
2
Ay
2
= 1, com A diferente de um quadrado perfeito,
possui solu cao n ao trivial em inteiros positivos, i.e., com x + y

A > 1.
Demonstracao. Considere o conjunto D = {x + y

A | x, y Q}. Denimos a
norma como sendo a funcao
N : D Q
x + y

A x
2
Ay
2
,
Temos que N e uma funcao multiplicativa, isto e,
N
_
(x + y

A)(u + v

A)
_
= N(x + y

A)N(u + v

A) x, y, u, v Q.
De fato,
N
_
(x + y

A)(u + v

A)
_
= N((xu + Ayv) + (xv + yu)

A)
= (xu + Ayv)
2
A(xv + yu)
2
= x
2
u
2
+ A
2
y
2
v
2
A(x
2
v
2
+ y
2
u
2
)
= (x
2
Ay
2
)(u
2
Av
2
).
Como

A e irracional, a desigualdade |

A
p
q
| <
1
q
2
tem innitas solucoes
racionais p/q. Note que se |

A
p
q
| <
1
q
2
entao
|p
2
Aq
2
| = q
2

A
p
q

p
q
+

<

p
q
+

A +

A
p
q

A + 1.
Considerando innitos pares de inteiros positivos (p
n
, q
n
) com |

A
p
n
q
n
| <
1
q
2
n
,
teremos sempre |p
2
n
Aq
2
n
| < 2

A + 1, portanto temos um n umero nito de


possibilidades para o valor (inteiro) de p
2
n
Aq
2
n
. Consequentemente, existe um
inteiro k = 0 tal que p
2
n
Aq
2
n
= k para innitos valores de n. Obtemos portanto
duas sequencias crescentes de pares de inteiros positivos (u
r
), (v
r
), r N tais
que u
2
r
Av
2
r
= k para todo r.
Como ha apenas |k|
2
possibilidades para os pares (u
r
mod k, v
r
mod k), exis-
tem inteiros a e b e innitos valores de r tais que u
r
a (mod k) e v
r
b
2
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
(mod k). Tomamos entao r < s com as propriedades acima. Seja
x + y

A =
u
s
+ v
s

A
u
r
+ v
r

A
=
(u
s
+ v
s

A)(u
r
v
r

A)
u
2
r
Av
2
r
=
u
s
u
r
Av
s
v
r
k
+
_
u
r
v
s
u
s
v
r
k
_

A.
Temos u
s
u
r
Av
s
v
r
u
2
r
Av
2
r
= k 0 (mod k) e u
r
v
s
u
s
v
r
ab ab = 0
(mod k) e portanto x =
u
s
u
r
Av
s
v
r
k
e y =
u
r
v
s
u
s
v
r
k
s ao inteiros. Por outro
lado, (x+y

A)(u
r
+v
r

A) = u
s
+v
s

A, donde N(x+y

A)N(u
r
+v
r

A) =
N(u
s
+ v
s

A). Como N(u


r
+ v
r

A) = N(u
s
+ v
s

A) = k, segue que N(x +


y

A) = x
2
Ay
2
= 1. Alem disso, como s > r, u
s
+v
s

A > u
r
+v
r

A, donde
x + y

A =
u
s
+v
s

A
u
r
+v
r

A
> 1.
Dentre todas as solucoes (x, y) N
2
da equa cao de Pell x
2
y
2
A = 1 com
x+y

A > 1, existe uma solu cao mnima ou fundamental, i.e., com x e portanto
y e x+y

A mnimos. Denote por (x


1
, y
1
) esta solucao mnima. Se, como antes,
denimos (x
n
, y
n
) N
2
pela rela cao x
n
+ y
n

A = (x
1
+ y
1

A)
n
, temos que
(x
n
, y
n
), n 1, s ao todas as solucoes inteiras positivas da equa cao de Pell: de
fato, ja vimos que (x
n
, y
n
) s ao solucoes, e se (x

, y

) e uma outra solucao, entao


como x
1
+ y
1

A > 1 existe n 1 tal que


(x
1
+ y
1

A)
n
x

+ y

A < (x
1
+ y
1

A)
n+1
.
Multiplicando por x
n
y
n

A = (x
1
+ y
1

A)
n
> 0, obtemos
1 (x

+ y

A)(x
n
y
n

A) = (x

x
n
y

y
n
A) + (y

x
n
x

y
n
)

A
< x
1
+ y
1

A.
Como N
_
(x

+y

A)(x
n
y
n

A)
_
= N(x

+y

A)N(x
n
y
n

A) = 1, temos
que (x

x
n
y

y
n
A, y

x
n
x

y
n
) tambem e uma solucao da equa cao de Pell,
menor que a solucao mnima. Temos que x

x
n
y

y
n
A 0, pois caso contrario
x

x
n
y

y
n
A < 0
x

x
n
y
n
< A, porem
x
2
n
y
2
n
A = 1 =
_
x
n
y
n
_
2
= A +
1
y
2
n
> A =
x
n
y
n
>

A
e analogamente
x

>

A, o que contradiz
x

x
n
y
n
< A. Da mesma forma, y

x
n

y
n
0 pois caso contrario
x
n
y
n
<
x

= A +
1
y
2
n
=
_
x
n
y
n
_
2
<
_
x

_
2
= A +
1
y

2
= y

< y
n
= x

< x
n
o que contradiz o fato de x
n
+y
n

A = (x
1
+y
1

A)
n
x

+y

A. Resumindo,
temos que (x

x
n
y

y
n
A, y

x
n
x

y
n
) N
2
e uma solucao menor do que a solucao
mnima, logo x

x
n
y

y
n
A = 1 e y

x
n
x

y
n
= 0, ou seja, (x

+ y

A)(x
1

3
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
y
1

A)
n
= 1 x

+ y

A = x
n
+ y
n

A, donde (x

, y

) = (x
n
, y
n
), como
queramos.
Assim, as solucoes com x e y inteiros positivos podem ser enumeradas por
(x
n
, y
n
), n 0 de modo que, para todo n, x
n
+y
n

A = (x
1
+y
1

A)
n
e portanto
x
n
=
(x
1
+ y
1

A)
n
+ (x
1
y
1

A)
n
2
e
y
n
=
(x
1
+ y
1

A)
n
(x
1
y
1

A)
n
2

A
.
Observe que as sequencias (x
n
) e (y
n
) acima satisfazem a recorrencia u
n+2
=
2x
1
u
n+1
u
n
, n 1.
A conjectura de Catalan arma que as unicas potencias perfeitas consecu-
tivas s ao 8 e 9 e foi resolvida completamente em 2003 por Mih ailescu. Vejamos
uma aplicacao da equa cao de Pell em um caso particular.
Teorema 2 (Ko Chao). Seja p um n umero primo com p 5, ent ao a equac ao
x
2
y
p
= 1
n ao possui solu cao com x e y inteiros n ao nulos.
Demonstracao. Suponhamos por contradi cao que a equa cao possui solucao in-
teira nao nula e sem perda de generalidade podemos supor x > 0 e y > 0.
No caso em que x e par e y e mpar, fazendo y
p
= x
2
1 = (x 1)(x + 1),
como mdc(x +1, x 1) = 1, segue que x 1 e x +1 s ao potencias p-esimas, ou
seja, existem inteiros s e t tais que x1 = s
p
e x+1 = t
p
= t
p
s
p
= 2 com
s, t Z e p 5. Com isto a unica solucao e t = 1 e s = 1, mas isso implica
que x = 0, o que foi descartado nas hip oteses.
Agora, no caso em que x e mpar e y e par, temos que x+1 e x1 s ao pares
e mdc(x + 1, x 1) = 2. Daqui podemos dividir o problema em dois subcasos:
no caso em que
x1
2
seja mpar, existem inteiros w e z tais que
x 1
2
= w
p
,
x + 1
2
= 2
p2
z
p
e y = 2wz com mdc(w, 2z) = 1.
Assim
w
p
=
x + 1
2
1 = 2
p2
z
p
1 (2
p2
1)z
p
,
isto e,
_
w
z
_
p
2
p2
1 > 1,
portanto w > z.
Por outro lado
w
2p
=
_
x 1
2
_
2
=
x
2
+ 6x + 9 8(x + 1)
4
=
_
x + 3
2
_
2
(2z)
p
.
Assim obtemos a equa cao (w
2
)
p
+ (2z)
p
= (
x+3
2
)
2
. Como
(w
2
)
p
+ (2z)
p
w
2
+ 2z
= (w
2
)
p1
(w
2
)
p2
(2z) + (w
2
)
p3
(2z)
2
+ (2z)
p1
p(w
2
)
p1
(mod w
2
+ 2z)
4
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
e mdc(w, 2z) = 1 temos
mdc
_
w
2
+ 2z,
(w
2
)
p
+ (2z)
p
w
2
+ 2z
_
= mdc(w
2
+ 2z, p(w
2
)
p1
) | p,
logo se p
x+3
2
temos que w
2
+ 2z e um quadrado. Mas w
2
< w
2
+ 2z <
w
2
+ 2w < (w + 1)
2
assim w
2
+ 2z nao pode ser um quadrado, logo p |
x+3
2
e
alem disso do fato que p > 3 segue que p x. De forma similar no caso que
x+1
2
= w
p
e
x1
2
= 2
p2
z
p
, usando a equa cao (w
2
)
p
(2z)
p
= (
x3
2
)
2
, conclumos
analogamente que p |
x3
2
e portanto p x.
Voltando `a equa cao original temos que x
2
= y
p
+ 1
p
. Como p x e
mdc
_
y + 1,
y
p
+1
y+1
_
| p temos que y + 1 = s
2
. Logo (s, 1) e (x, y
p1
2
) s ao so-
lu coes da equa cao de Pell
u
2
yv
2
= 1.
Observe que (s, 1) e uma solucao fundamental pela minimalidade da segunda
coordenada, donde existe um natural m N tal que
x + y
p1
2

y = (s +

y)
m
.
Desenvolvendo a anterior identidade obtemos
x = s
m
+
_
m
2
_
s
m2
y +
_
m
4
_
s
m4
y
2
+
y
p1
2
= ms
m1
+
_
m
3
_
s
m3
y +
_
m
5
_
s
m5
y
2
+
Desta segunda equa cao temos que y divide o termo ms
m1
, ou seja, ms
m1
0
(mod y). Como y e par e s e mpar segue que m e par. Novamente usando
a segunda equa cao, como s em cada somando `a direita esta elevado a uma
potencia mpar, temos que s | y
p1
2
. Mas y + 1 = s
2
, assim y 1 (mod s) e
elevando a
p1
2
obtemos
0 y
p1
2
(1)
p1
2
(mod s),
mas isto implica que s = 1 e neste caso y = 0. Portanto a unica solucao de
x
2
= y
p
+ 1 e x = 1 e y = 0.
1.1 Solucao Inicial da Equacao de Pell
Na prova da existencia de solucoes da equa cao de Pell, nao mostramos um
procedimento para encontrar explicitamente uma solucao, que e o que faremos
nesta secao.
Para determinar uma solucao da equa cao x
2
Ay
2
= 1, vamos considerar a
fracao contnua de

A +

A = [a
0
; a
1
, a
2
, . . .]. Vamos mostrar que existem
duas sequencias de inteiros positivos b
i
e c
i
de modo que

A + c
i
b
i
= [a
i
; a
i+1
, a
i+2
. . .] ()
5
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
para todo i 0. Come camos denindo b
0
= 1 e c
0
=

A. Em geral, denimos
recursivamente c
i+1
= a
i
b
i
c
i
e b
i+1
= (Ac
2
i+1
)/b
i
.
Mostremos inicialmente por indu cao que b
i
e c
i
s ao inteiros com b
i
= 0 e
tais que b
i
| A c
2
i
para todo i. Isto e claramente verdade para i = 0. Por
hip otese de indu cao, temos que b
i
e c
i
s ao inteiros, logo c
i+1
= a
i
b
i
c
i
tambem
sera inteiro e Ac
2
i+1
= 0 ja que A nao e quadrado perfeito. Alem disso,
Ac
2
i+1
= A(a
i
b
i
c
i
)
2
= Ac
2
i
b
i
(a
2
i
b
i
2a
i
c
i
)
sera m ultiplo de b
i
ja que b
i
| A c
2
i
por hip otese de indu cao. Assim b
i+1
=
(Ac
2
i+1
)/b
i
sera um inteiro nao nulo tal que b
i+1
| Ac
2
i+1
.
Desta forma, temos

A + c
i
b
i
= a
i
+

Ac
i+1
b
i
= a
i
+
b
i+1

A + c
i+1
= a
i
+
1

A + c
i+1
b
i+1
.
de modo que () sera valida para todo i. Falta apenas provar que b
i
e c
i
s ao
positivos. Para isto, vamos provar por indu cao que b
i
> 0 e 0 < c
i
<

A, o
que e verdadeiro para i = 0 pois c
0
=

A e A nao e quadrado perfeito. Alem


disso, pela denicao de a
i
temos
a
i
<

A + c
i
b
i
= [a
i
; a
i+1
, a
i+2
. . .] < a
i
+ 1
donde obtemos a
i
b
i
<

A+c
i
< a
i
b
i
+b
i
(ja que b
i
> 0 por hip otese de indu cao)
e portanto
c
i+1
= a
i
b
i
c
i
<

A < a
i
b
i
c
i
+ b
i
= c
i+1
+ b
i
e assim c
i+1
<

A, o que implica b
i+1
= (A c
2
i+1
)/b
i
> 0 tambem. Agora
suponha por absurdo que c
i+1
0. Neste caso teramos b
i
>

Ac
i+1

A,
mas como

A > c
i
por hip otese de indu cao, teramos b
i
> c
i
, donde c
i+1
=
a
i
b
i
c
i
b
i
c
i
> 0, o que e uma contradi cao. Portanto c
i+1
> 0, completando
a indu cao.
Como 0 < c
i
<

A e b
i
| A c
2
i
, temos que as sequencias {c
i
} e {b
i
} s o
assumem um n umero nito de valores. Alem disso, como b
i
= (A c
2
i+1
)/b
i+1
e c
i
= a
i
b
i
c
i+1
podemos recuperar os valores de b
i
e c
i
a partir dos de
b
i+1
e c
i+1
. Portanto estas duas sequencias, assim como a fra cao contnua

A +

A = [a
0
; a
1
, a
2
, . . .], s ao peri odicas puras, digamos de perodo k. Em
particular b
k
= 1 e c
k
= a
0
.
Note que como a
0
= 2

A, temos que a expans ao em fra cao contnua


de

A e [a
0
/2; a
1
, a
2
, . . .]. Logo, para i 1, denotando por p
i
/q
i
a i-esima
convergente desta fra cao contnua, temos

A =

A+c
i+1
b
i+1
p
i
+ p
i1

A+c
i+1
b
i+1
q
i
+ q
i1
,
6
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
e portanto
Aq
i
+ c
i+1

Aq
i
+

Ab
i+1
q
i1
=

Ap
i
+ c
i+1
p
i
+ b
i+1
p
i1
.
Separando parte racional da parte irracional obtemos as equa coes
Aq
i
= c
i+1
p
i
+ b
i+1
p
i1
e p
i
= c
i+1
q
i
+ b
i+1
q
i1
.
Isolando c
i+1
nas equa coes anteriores e igualando obtemos
Aq
i
b
i+1
p
i1
p
i
=
p
i
b
i+1
q
i1
q
i
Aq
2
i
b
i+1
p
i1
q
i
= p
2
i
b
i+1
q
i1
p
i
p
2
i
Aq
2
i
= b
i+1
(p
i
q
i1
p
i1
q
i
)
p
2
i
Aq
2
i
= (1)
i+1
b
i+1
donde obtemos uma solucao da equa cao x
2
Ay
2
= (1)
i+1
b
i+1
. Se k e o
perodo teremos que b
k
= 1 e portanto a equa cao x
2
Ay
2
= 1 tem solucao se
k e mpar, enquanto que x
2
Ay
2
= 1 sempre tem solucao (tomando i+1 = 2k).
Por exemplo, se queremos encontrar uma solucao da equa c ao x
2
21y
2
= 1,
como
4 +

21 = [8; 1, 1, 2, 1, 1] e
p
6
q
6
=
55
12
,
(a barra denota o perodo) temos que 55
2
21 12
2
= 3025 3024 = 1.
1.2 A Equa cao x
2
Ay
2
= 1
Suponha, como sempre, que A nao e quadrado perfeito. Na secao anterior
mostramos que a equa cao de Pell sempre possui solucao. Em contrapartida, a
equa cao x
2
Ay
2
= 1 nem sempre possui solucao, de fato se p e um divisor
primo de A temos que x
2
Ay
2
x
2
1 (mod p), assim uma condi cao
necessaria para a existencia de solucao e que todo divisor primo de A seja 2 ou da
forma 4k +1. Porem, esta condi cao ainda nao e suciente. O seguinte teorema
da uma rela cao entre as solucoes fundamentais da equa coes x
2
Ay
2
= 1 e
x
2
Ay
2
= 1.
Teorema 3. Suponha que a equacao x
2
Ay
2
= 1 admita solu c ao inteira e
seja a + b

A sua solu cao fundamental. Seja c + d

A a solu c ao fundamental
da equacao x
2
Ay
2
= 1. Ent ao
(a + b

A)
2
= c + d

A, a
2
=
c 1
2
.
Demonstracao. Observemos que (a+b

A)
2
e solucao da equa cao x
2
Ay
2
= 1.
Suponhamos por contradi cao que nao e a solucao fundamental, isto e suponha-
mos que
(a + b

A)
2
> c + d

A > 1
7
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
Como (a + b

A)(a b

A) = 1 < 0 temos que 1 > a + b

A > 0, de
fato a + b

A e a maior solucao positiva que tem x negativo e y positivo.


Multiplicando a desigualdade anterior por a + b

A, obtemos
(a + b

A) > (c + d

A)(a + b

A) = (ac + bdA) + (cb ad)

A
> a + b

A > 0.
Temos que (ac + bdA, cb ad) e solucao de x
2
Ay
2
= 1. Observemos
que ac + bdA, cb ad nao podem ser simultaneamente positivos, porque isto
contradiz a escolha da solucao fundamental. Tambem nao podemos ter que
ac + bdA < 0, cb ad > 0 porque a + b

A e a maior solucao positiva com


x negativo e y positivo. Por ultimo, no caso ac + bdA > 0, cb ad < 0,
isto e, bdA > ac, ad > cb, multiplicando a primeira desigualdade por d e a
segunda por c obtemos bd
2
A > acd > c
2
b, assim 0 > b(c
2
Ad
2
) = b, o que
tambem e contradit orio. Assim conclumos que (a + b

A)
2
= c + d

A. Como
a
2
Ab
2
= 1, somando as igualdades temos c1 = 2a
2
logo a
2
= (c1)/2.
Vejamos agora que a condi cao sobre os fatores primos de A nao e suciente
para garantir a existencia de solucao. Por exemplo, x
2
34y
2
= 1 nao possui
solucao inteira. De fato, a solucao fundamental de x
2
34y
2
= 1 e 35 + 6

34,
mas
351
2
= 17 nao e quadrado, logo, pelo teorema anterior, x
2
34y
2
= 1
nao possui solucoes.
No caso em que A e um primo da forma 4k + 1, a equa cao x
2
Ay
2
= 1
sempre possui solucao. Mais geralmente, temos o seguinte resultado, devido a
Dirichlet.
Proposicao 4 (Dirichlet). Seja A produto de no maximo tres primos distintos
da forma 4k+1 tais que
_
p
q
_
= 1 para todo p = q divisores primos de A. Ent ao
a equacao x
2
Ay
2
= 1 possui solu cao.
Demonstracao. Seja x
0
+

Ay
0
a solucao fundamental de x
2
Ay
2
= 1. Como
1 = x
2
0
Ay
2
0
x
2
0
y
2
0
(mod 4),
entao x
0
e mpar e y
0
e par. Alem disso, do fato de que (x
0
1)(x
0
+1) = Ay
2
0
e x
0
+1 e x
0
1 s o tem fator comum 2, segue que existem inteiros s e t primos
relativos e inteiros a, b com A = ab tais que
y
0
= 2st, x
0
1 = 2as
2
e x
0
+ 1 = 2bt
2
e assim as
2
bt
2
= 1. Basta portanto mostrar que a = 1 (de modo que b = A).
Para isto, observemos que a = A porque caso contrario b = 1 e (t, s) seria uma
solucao menor do que a solucao mnima (x
0
, y
0
) de x
2
Ay
2
= 1. Por outro
lado, se 1 < a < A temos dois possveis casos:
1. a e primo, neste caso tomamos um divisor primo p de b e temos que
as
2
1 (mod p). Logo
_
a
p
_
= 1, mas p e da forma 4k + 1 e portanto
isto implica
_
a
p
_
= 1, o que contradiz a hip otese do teorema.
8
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
2. a e produto de dois primos e b e primo, neste caso se p e um divisor primo
de a temos que bt
2
1 (mod p), assim
_
b
p
_
= 1, o que de novo contradiz
a hip otese do teorema.
O resultado anterior foi generalizado por Richaud, Tano e outros. O seguinte
teorema contem essencialmente todos estes resultados.
Teorema 5 (Nagell-Trotter). Sejam p
1
, . . . , p
n
n umeros primos congruentes a 1
modulo 4 e A = p
1
p
2
. . . p
n
. Suponha que nao existam ndices diferentes i, j, k
tais que
_
p
i
p
j
_
=
_
p
j
p
k
_
= 1. Ent ao x
2
Ay
2
= 1 possui solu cao.
Demonstracao. Ver [3] ou [2].
1.3 Solucoes da Equacao x
2
Ay
2
= c
Novamente assumimos que A nao e quadrado perfeito. Seja (x
1
, y
1
)
(N
>0
)
2
a solucao mnima de x
2
Ay
2
= 1. Dado c Z nao nulo, se existe
alguma solucao de x
2
Ay
2
= c com (x, y) N
2
, entao existem innitas: de
fato, se u + v

A = (x + y

A)(x
1
+ y
1

A)
n
com n Z, entao u
2
Av
2
= c.
Por outro lado, nem sempre existe uma tal solucao. Uma condi cao necessaria
para a existencia de solucoes e a seguinte: se p e um divisor primo de A, temos
x
2
c (mod p), assim para que exista solucao c deve ser resduo quadratico
m odulo p para todo divisor primo p de A. Infelizmente esta condi cao nao e
suciente, por exemplo a equa cao x
2
7y
2
= 11 nao possui solucao ja que
olhando m odulo 4
x
2
+ y
2
x
2
7y
2
= 11 1 (mod 4),
o que e impossvel. Entretanto
_
11
7
_
=
_
4
7
_
= 1.
A seguinte proposicao ajuda a reduzir o trabalho necessario para decidir se
x
2
Ay
2
= c tem alguma solucao (x, y) N
2
.
Proposicao 6. Seja = x
1
+ y
1

A > 1 onde (x
1
, y
1
) e a solu c ao mnima de
x
2
Ay
2
= 1. Dado c Z n ao nulo, se existem x, y N com x
2
Ay
2
= c,
ent ao existem u, v N com u + v

A
_
|c| e u
2
Av
2
= c (em particular,
para esta solu cao 0 u
_
|c| e 0 v
_
|c|/A).
Demonstracao. Se = r + s

A com r, s Q denimos = r s

A, temos
entao N() = N( ) = = r
2
As
2
.
Seja = x+y

A > 0 com N() = x


2
Ay
2
= c. Entao N(
k
) = c para
todo k Z. Em particular podemos escolher um k Z tal que
_
|c| <
k

_
|c|. No caso que
_
|c| <
k

_
|c| denimos =
k
e no caso que
_
|c| <
k

_
|c|, podemos denir = |c|/(
k
) =

1k
onde
=
c
|c|
{1, 1}, assim N() = N() = N(

) = c e
_
|c| <
_
|c|. Logo,
sem perda de generalidade, podemos supor que
_
|c|
_
|c|.
Assim temos que = u+v

A com u, v Z, assim ainda precisamos vericar


que u, v s ao naturais, mas
c = N() = u
2
Av
2
= (u + v

A)(u v

A).
9
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
Temos entao
|u v

A| =
|c|
u + v

|c|
_
|c|
=
_
|c| u + v

A.
Temos assim uv

A u+v

A, donde v 0 e simultaneamente u+v

A
u + v

A, e logo u 0.
1.4 Solucoes da Equacao mx
2
ny
2
= 1
Suponha que mn nao seja quadrado perfeito. Vejamos que se mx
2
0
ny
2
0
=
1 possui uma solucao (x
0
, y
0
) entao possui innitas solucoes. Temos
(

mx
0
+

ny
0
)(

mx
0

ny
0
) = 1.
Como mn nao e um quadrado perfeito, a equa cao de Pell X
2
mnY
2
= 1
possui innitas solucoes; se (z, w) e uma delas, temos
(z +

mnw)(z

mnw) = 1.
Multiplicando estas duas equa coes obtemos
(

mx
0
+

ny
0
)(z +

mnw)(z

mnw)(

mx
0

ny
0
) = 1,
que e equivalente a
(

m(zx
0
+ ny
0
w) +

n(y
0
z + mx
0
w))
(

m(zx
0
+ ny
0
w)

n(y
0
z + mx
0
w)) = 1
portanto x

= zx
0
+ ny
0
w e y

= y
0
z + mx
0
w geram uma nova solucao da
equa cao mx
2
ny
2
= 1.
Reciprocamente, para toda solucao (a, b) de mx
2
ny
2
= 1,
1 = (ma
2
nb
2
)
2
= (

ma +

nb)
2
(

ma

nb)
2
= (ma
2
+ nb
2
+ 2

mnab)(ma
2
+ nb
2
2

mnab)
= (2ma
2
1)
2
mn(2ab)
2
.
Assim (2ma
2
1, 2ab) e solucao da equa cao x
2
mny
2
= 1. Por outra parte,
xando A = mn, o seguinte resultado mostra que nem para todo valor de m e
n a equa cao mx
2
ny
2
= 1 possui solucao.
Teorema 7. Seja A Z livre de quadrados. Ent ao existe um unico par de
inteiros positivos (m, n), com A = mn, tal que uma das equacoes mx
2
ny
2
= 1
ou mx
2
ny
2
= 2 possui solu cao. No primeiro caso, (m, n) = (1, A).
Demonstracao. Seja (x
1
, y
1
) solucao fundamental de x
2
Ay
2
= 1, assim (x
1

1)(x
1
+ 1) = x
2
1
1 = Ay
2
1
. Observemos que mdc(x
1
1, x
1
+ 1) = mdc(x
1

1, 2) = d, onde d = 1 ou d = 2. Segue que
x
1
1
d
e
x
1
+1
d
s ao primos relativos, e
d
2
| Ay
2
1
. Mas A e livre de quadrados, donde conclumos que d | y
1
.
10
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
Denamos m = mdc(
x
1
+1
d
, A) e n = mdc(
x
1
+1
d
, A), e assim m e n cumprem
que A = mn e
x
1
+ 1
dm
x
1
+ 1
dn
=
_
y
1
d
_
2
,
logo existem s, t primos relativos tais que y
1
= dst e
x
1
+ 1
d
= ms
2
e
x
1
1
d
= nt
2
,
donde subtraindo as equa coes obtemos
2
d
= ms
2
nt
2
, o que garante a existencia
de m e n. Alem disso, no caso que d = 2, o par (m, n) e diferente de (1, A) ja
que t < y
1
e (x
1
, y
1
) e a solucao fundamental.
Por outra parte, suponhamos que existam (m

, n

) e (a, b) tais que A = m

e m

a
2
n

b
2
= e com e = 1 ou e = 2.
No caso e = 1, o par (2m

a
2
1, 2ab) e solucao de x
2
Ay
2
= 1, isto e,
(

a +

b)
2
= (2ma
2
1) + 2ab

A = (x
1
+ y
1

A)
k
para algum inteiro k N. Se k e par, vemos que

a+

b = x
k/2
+y
k/2

A
assim a unica possibilidade e m

= 1 e n

= A (verique!). No caso k mpar, do


fato que
x
k
=
(k1)/2

j=0
_
k
2j
_
x
k2j
1
A
j
y
2j
1
x
k
1
(mod A)
temos que
m = mdc
_
x
1
+ 1
2
, A
_

mdc
_
x
k
1
+ 1
2
, A
_
= mdc
_
x
k
+ 1
2
, A
_
= mdc(a
2
m

, A) = m

e
n = mdc
_
x
1
1
2
, A
_

mdc
_
x
k
1
1
2
, A
_
= mdc
_
x
k
1
2
, A
_
= mdc(b
2
n

, A) = n

,
onde as ultimas igualdades seguem do fato de que m

(a
2
m

) Ab
2
= m

e
Aa
2
n

(n

b
2
) = n

. Mas A = mn | m

= A logo m = m

e n = n

.
No caso e = 2 o argumento e an alogo, ja que (m

a
2
1, ab) e solucao de
x
2
Ay
2
= 1.
Corolario 8. A equacao mx
2
ny
2
= 1 possui uma solu cao se, e so se, dada
a solu cao fundamental (x
1
, y
1
) de x
2
mny
2
= 1, o sistema de equac oes
2mx
2
1 = x
1
2xy = y
1
tem solu cao inteira.
11
POT 2012 - Teoria dos N umeros - Nvel 3 - Aula 3 - Carlos Gustavo Moreira 1 EQUA C

AO DE PELL
Exemplo 9 (OIbM1987). Demonstrar que existe uma innidade de pares (x, y)
de n umeros naturais tais que
2x
2
3x 3y
2
y + 1 = 0.
Solu c ao: Completando quadrados e fatorando temos que a equa cao original
e equivalente a
3(4x 3)
2
2(6y + 1)
2
= 1.
Substituindo z = 4x 3 e w = 6y + 1, o problema inicial se transforma em
encontrar innitas solucoes da equa cao
3z
2
2w
2
= 1 com z 1 (mod 4) e w 1 (mod 6).
Para isto, consideremos a equa cao de Pell auxiliar s
2
6t
2
= 1, que possui
solucao mnima (5, 2), assim todas as solucoes positivas s ao dadas por
s
n
+

6t
n
= (5 + 2

6)
n
= (5 + 2

6)(s
n1
+

6t
n1
),
ou seja,
s
n
= 5s
n1
+ 12t
n1
e t
n
= 2s
n1
+ 5t
n1
.
A partir de uma solucao de s
2
6t
2
= 1 obtemos uma solucao de 3z
2
2w
2
= 1
da seguinte forma

3z
n
+

2w
n
= (

3 +

2)(s
n
+

6t
n
),
ou seja,
z
n
= s
n
+ 2t
n
e w
n
= s
n
+ 3t
n
.
Assim, s o nos falta mostrar que existem innitos pares (z
n
, w
n
) tais que z
n
1
(mod 4) e w
n
1 (mod 6). Vamos provar por indu cao que para todo n par
s
n
1 (mod 12) e t
n
0 (mod 2)
donde concluiremos que, para todo n par,
z
n
1 (mod 4) e w
n
1 (mod 6)
Temos que s
2
= 49 e t
2
= 20 cumprem as condi coes pedidas. Agora se n 2 e
par temos, por hip otese de indu cao,
s
n+2
5s
n+1
5
2
s
n
s
n
(mod 12)
t
n+2
5t
n+1
5
2
t
n
t
n
(mod 2)
o que encerra a prova.
12
Problemas Propostos
Problema 10. Demonstrar que (1 +

3)
2n1
e divisvel por 2
n
.
Problema 11. Encontrar todos os tri angulos ret angulos com lados inteiros tais
que a diferen ca entre os catetos e 1.
Problema 12. Demonstrar que a equacao 7x
2
13y
2
= 1 n ao tem solu c oes
inteiras.
Problema 13. Seja p um primo. Demonstrar que a equacao x(x+1) = p
2
y(y+1)
n ao tem solu coes inteiras positivas. A equacao pode ter solu coes inteiras?
Problema 14. Demonstrar que 2x
2
219y
2
= 1 n ao tem solu c oes inteiras,
mas 2x
2
219y
2
1 (mod m) tem solu coes para todo inteiro positivo m.
Sugestao: Considere a nova solu cao x
1
= |293x 3066y|, y
1
= 28x +
293y.
Problema 15. (OBM2010) Encontre todos os pares (a, b) de inteiros positivos
tais que
3
a
= 2b
2
+ 1.
Dicas e Solu coes
Em breve.
Referencias
[1] F. E. Brochero Martinez, C. G. Moreira, N. C. Saldanha, E. Tengan -
Teoria dos N umeros - um passeio com primos e outros n umeros familiares
pelo mundo inteiro, Projeto Euclides, IMPA, 2010.
[2] T. Nagell, On a special class of Diophantine equation of the second degree,
Ark. Mat. 3 (1954), 5165.
[3] H. F. Trotter, On the norms of units in quadratic elds, Proc. Amer Math.
Soc. 22 (1969), 198201.