Polos Olmpicos de Treinamento

Curso de Teoria dos Nmeros - Nvel 3 Aula 14

Carlos Gustavo Moreira

A equac
ao de Pell

1 Equac
ao de Pell
Seja A um inteiro positivo. Estamos interessados na equacao x2 Ay 2 = 1,
com x e y inteiros. Se A e um quadrado perfeito, digamos A = k 2 , temos que
x2 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
2
A = pq , com mdc(p, q) = 1 e q > 1, teramos A = pq2 o que e um absurdo, pois
mdc(p, q) = 1 = mdc(p2 , q 2 ) = 1, donde p2 /q 2 nao pode ser inteiro). Nesse
caso, a equacao x2 Ay 2 = 1 e conhecida como uma equac ao de Pell .
As solucoes da equacao de Pell correspondem a pontos inteiros sobre uma
hiperbole. Por exemplo, para a hiperbole x2 2y 2 = 1: o ponto (3, 2) e um
exemplo de ponto inteiro sobre a hiperbole pois 32 2 22 = 1 mas o ponto
a hiperbole mas nao pertence a ela pois 72 2 52 = 1 6= 1.
(7, 5) esta proximo `
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 equacao de Pell acma corresponde `a
rbole e u2 v 2 = 1 e ao reticulado que consiste nos pontos da forma
hipe
(a, b 2), a e b inteiros. As duas figuras correspondentes s o diferem por uma
transformacao linear.
E facil ver que se a equacao tem alguma solucao (x1 , y1 ) entao possui infi-
nitas. Mais geralmente, se x21 Ay12 = 1, temos

(x1 Ay1 )n (x1 + Ay1 )n = (x21 Ay12 )n = (1)n .
Fazendo a substituicao
n  
X n ni i i
xn + Ayn = (x1 + Ay1 )n = x ( A) y1
i 1
i=0

onde
n
2   n1
2
 
X n n2i i 2i X n
xn = x A y1 e yn = xn2i1 Ai y12i+1
2i 1 2i + 1 1
i=0 i=0
POT 2012 - Teoria dos N 1 EQUA
umeros - Nvel 3 - Aula 3 - Carlos C DE
AO
Gustavo PELL
Moreira

obtemos x2n Ayn2 = (1)n para todo n N.

De maneira mais ou menos equivalente, podemos dizer que se (x1 , y1 ) e
solucao entao a transformacao linear
 
x1 y1 A
y1 A x1

rbole u2 v 2 = 1 quanto o reticulado que consiste nos

preserva tanto a hipe
pontos da forma (a, b A).
Vejamos agora que a equacao de Pell sempre possui solucao.

Teorema 1. A equac ao x2 Ay 2 = 1, com A diferente de um quadrado

perfeito,
possui soluc ao trivial em inteiros positivos, i.e., com x + y A > 1.
ao n

Demonstrac ao. Considere o conjunto D = {x + y A | x, y Q}. Definimos a
norma como sendo a funcao

N: D Q

x + y A 7 x2 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
= x2 u2 + A2 y 2 v 2 A(x2 v 2 + y 2 u2 )
= (x2 Ay 2 )(u2 Av 2 ).

Como A e irracional, a desigualdade | A pq | < 1
q2
tem infinitas solucoes

racionais p/q. Note que se | A pq | < q12 entao
 p  p   p 
|p2 Aq 2 | = q 2  A  + A <  + A

q q q
 p 
2 A +  A  2 A + 1.

q

Considerando infinitos pares de inteiros positivos (pn , qn ) com | A pqnn | < q12 ,
n
teremos sempre |p2n Aqn2 | < 2 A + 1, portanto temos um n umero finito de
possibilidades para o valor (inteiro) de p2n Aqn2 . Consequentemente, existe um
inteiro k 6= 0 tal que p2n Aqn2 = k para infinitos valores de n. Obtemos portanto
duas sequencias crescentes de pares de inteiros positivos (ur ), (vr ), r N tais
que u2r Avr2 = k para todo r.
Como ha apenas |k|2 possibilidades para os pares (ur mod k, vr mod k), exis-
tem inteiros a e b e infinitos valores de r tais que ur a (mod k) e vr b

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

(mod k). Tomamos entao r < s com as propriedades acima. Seja

us + v s A (us + vs A)(ur vr A)
x+y A= =
ur + v r A u2r Avr2
ur v s us v r
 
us ur Avs vr
= + A.
k k

Temos us ur Avs vr u2r Avr2 = k 0 (mod k) e ur vs us vr ab ab = 0

(mod k) e portanto x = us ur Av s vr
e y = ur vs u s vr
s
ao inteiros. Por outro
k k
y A)(ur + vr A) = us
lado, (x + + vs A, donde N (x + y A)N (ur + vr A) =
N(us + vs A). Como N (ur + vr A) = N (us + vs A) = k, segue que
N (x +
2 2
y A) = x Ay = 1. Alem disso, como s > r, us + vs A > ur + vr A, donde

x + y A = uus +v s A
+v A
> 1.
r r

Dentre
todas as solucoes (x, y) N2 da equacao de Pell x2 y 2 A = 1 com
x+y A > 1, existe uma solucao mnima ou fundamental, i.e., com x e portanto
y e x+y A mnimos. Denote por (x1 , y1 ) estasolucao mnima. Se, como antes,
definimos (xn , yn ) N2 pela relacao xn + yn A = (x1 + y1 A)n , temos que
(xn , yn ), n 1, sao todas as solucoes inteiras positivas da equacao de Pell: de
ao solucoes, e se (x , y ) e uma outra solucao, entao
fato, ja vimosque (xn , yn ) s
como x1 + y1 A > 1 existe n 1 tal que

(x1 + y1 A)n x + y A < (x1 + y1 A)n+1 .

Multiplicando por xn yn A = (x1 + y1 A)n > 0, obtemos

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

< x1 + y1 A.


Como N (x + y A)(xn yn A) = N (x + y A)N (xn yn A) = 1, temos
que (x xn y yn A, y xn x yn ) tambem e uma solucao da equacao de Pell,
menor que a solucao mnima. Temos que x xn y yn A 0, pois caso contrario

x xn y yn A < 0 xy xynn < A, porem
 x 2
n 1 xn
x2n yn2 A = 1 = =A+ 2
> A = > A
yn yn yn
x xn
e analogamente xy > A, o que contradiz y yn < A. Da mesma forma, y xn
x yn 0 pois caso contrario

xn x 1  x 2  x 2
n 1
< = A + 2 = < = A + 2
yn y yn yn y y
= y < yn = x < xn

o que contradiz o fato de xn + yn A = (x1 + y1 A)n x + y A. Resumindo,
temos que (x xn y yn A, y xn x yn ) N2 e uma solucao menor do quea solucao
mnima, logo x xn y yn A = 1 e y xn x yn = 0, ou seja, (x + y A)(x1

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

y1 A)n = 1 x + y A = xn + yn A, donde (x , y ) = (xn , yn ), como
queramos.
Assim, as solucoes com x e y inteiros positivos
podem ser
enumeradas por
(xn , yn ), n 0 de modo que, para todo n, xn +yn A = (x1 +y1 A)n e portanto

(x1 + y1 A)n + (x1 y1 A)n
xn = e
n 2 n
(x1 + y1 A) (x1 y1 A)
yn = .
2 A
Observe que as sequencias (xn ) e (yn ) acima satisfazem a recorrencia un+2 =
2x1 un+1 un , n 1.
A conjectura de Catalan afirma que as u nicas potencias perfeitas consecu-
tivas s
ao 8 e 9 e foi resolvida completamente em 2003 por Mih ailescu. Vejamos
uma aplicacao da equacao de Pell em um caso particular.
Teorema 2 (Ko Chao). Seja p um n
umero primo com p 5, ent
ao a equaca
o
x2 y p = 1
n
ao possui soluc
ao com x e y inteiros n
ao nulos.
Demonstrac ao. Suponhamos por contradicao que a equacao 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 = x2 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 x 1 = s e x + 1 = tp = tp sp = 2 com
p

s, t Z e p 5. Com isto a u nica 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 x 1 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
x1 x+1
= wp , = 2p2 z p e y = 2wz com mdc(w, 2z) = 1.
2 2
Assim
x+1
wp = 1 = 2p2 z p 1 (2p2 1)z p ,
2
isto e,  w p
2p2 1 > 1,
z
portanto w > z.
Por outro lado
x 1 2 x2 + 6x + 9 8(x + 1) x+3 2
   
2p
w = = = (2z)p .
2 4 2
Assim obtemos a equacao (w2 )p + (2z)p = ( x+3 2
2 ) . Como

(w2 )p + (2z)p
= (w2 )p1 (w2 )p2 (2z) + (w2 )p3 (2z)2 + (2z)p1
w2 + 2z
p(w2 )p1 (mod w2 + 2z)

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

e mdc(w, 2z) = 1 temos

(w2 )p + (2z)p
 
2
mdc w + 2z, = mdc(w2 + 2z, p(w2 )p1 ) | p,
w2 + 2z

logo se p x+32 temos que w + 2z

2 e um quadrado. Mas w2 < w2 + 2z <
w2 + 2w < (w + 1)2 assim w2 + 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 x1
p
2 =w e 2 =2
p2 z p , usando a equacao (w2 )p (2z)p = ( x3 2
2 ) , conclu
mos
x3
analogamente que p | 2 e portanto p x.
Voltando a equa
` 2 p p
 p
 cao original temos que x = y + 1 . Como p1
p x e
y +1 2
mdc y + 1, y+1 | p temos que y + 1 = s . Logo (s, 1) e (x, y 2 ) s ao so-
lucoes da equacao de Pell
u2 yv 2 = 1.
Observe que (s, 1) e uma solucao fundamental pela minimalidade da segunda
coordenada, donde existe um natural m N tal que
p1
x+y 2 y = (s + y)m .

Desenvolvendo a anterior identidade obtemos

   
m m2 m m4 2
x = sm + s y+ s y +
2 4
   
p1
m1 m m3 m m5 2
y 2 = ms + s y+ s y +
3 5

Desta segunda equacao temos que y divide o termo msm1 , ou seja, msm1 0
(mod y). Como y e par e s e mpar segue que m e par. Novamente usando
a segunda equacao, como s em cada somando `a direita esta elevado a uma
p1
potencia mpar, temos que s | y 2 . Mas y + 1 = s2 , assim y 1 (mod s) e
elevando a p12 obtemos
p1 p1
0y 2 (1) 2 (mod s),

mas isto implica que s = 1 e neste caso y = 0. Portanto a u

nica solucao de
x2 = y p + 1 e x = 1 e y = 0.

1.1 Soluc
ao Inicial da Equa
c
ao de Pell
Na prova da existencia de solucoes da equacao de Pell, nao mostramos um
procedimento para encontrar explicitamente uma solucao, que e o que faremos
nesta secao.
Para determinaruma solu 2 2
cao da equacao x Ay = 1, vamos considerar a
fracao contnua de A + A = [a0 ; a1 , a2 , . . .]. Vamos mostrar que existem
duas sequencias de inteiros positivos bi e ci de modo que

A + ci
= [ai ; ai+1 , ai+2 . . .] ()
bi

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

para todo i 0. Comecamos definindo b0 = 1 e c0 = A. Em geral, definimos
recursivamente ci+1 = ai bi ci e bi+1 = (A c2i+1 )/bi .
Mostremos inicialmente por inducao que bi e ci s ao inteiros com bi 6= 0 e
2
tais que bi | A ci para todo i. Isto e claramente verdade para i = 0. Por
hipotese de inducao, temos que bi e ci sao inteiros, logo ci+1 = ai bi ci tambem
sera inteiro e A c2i+1 6= 0 ja que A nao e quadrado perfeito. Alem disso,

A c2i+1 = A (ai bi ci )2 = A c2i bi (a2i bi 2ai ci )

ultiplo de bi ja que bi | A c2i por hip

sera m otese de inducao. Assim bi+1 =
2
(A ci+1 )/bi sera um inteiro nao nulo tal que bi+1 | A c2i+1 .
Desta forma, temos

A + ci A ci+1 bi+1 1
= ai + = ai + = ai + .
bi bi A + ci+1 A + ci+1
bi+1

de modo que () sera valida para todo i. Falta apenas provar que bi e ci sao
positivos. Para isto, vamos provar porinducao que bi > 0 e 0 < ci < A, o
que e verdadeiro para i = 0 pois c0 = A e A nao e quadrado perfeito. Alem
disso, pela definicao de ai temos

A + ci
ai < = [ai ; ai+1 , ai+2 . . .] < ai + 1
bi

donde obtemos ai bi < A+ci < ai bi +bi (ja que bi > 0 por hip otese de inducao)
e portanto

ci+1 = ai bi ci < A < ai bi ci + bi = ci+1 + bi

e assim ci+1 < A, o que implica bi+1 = (A c2i+1 )/bi > 0 tambem. Agora

suponha por absurdo que ci+1 0. Neste caso teramos bi > A ci+1 A,
mas como A > ci por hip otese de inducao, teramos bi > ci , donde ci+1 =
ai bi ci bi ci > 0, o que e uma contradicao. Portanto ci+1 > 0, completando
a inducao.
Como 0 < ci < A e bi | A c2i , temos que as sequencias {ci } e {bi } s o
assumem um n umero finito de valores. Alem disso, como bi = (A c2i+1 )/bi+1
e ci = ai bi ci+1 podemos recuperar os valores de bi e ci a partir dos de
bi+1 e ci+1 . Portanto estas duas sequ encias, assim como a fracao contnua
A + A = [a0 ; a1 , a2 , . . .], s
ao peri odicas puras, digamos de perodo k. Em
particular bk = 1 e ck = a0 .
Note que como a0 = 2 A, temos que a expans
ao em fracao contnua
de A e [a0 /2; a1 , a2 , . . .]. Logo, para i 1, denotando por pi /qi a i-esima
convergente desta fracao contnua, temos

A+ci+1
bi+1 pi + pi1
A= ,
A+ci+1
bi+1 qi + qi1

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

e portanto

Aqi + ci+1 Aqi + Abi+1 qi1 = Api + ci+1 pi + bi+1 pi1 .

Separando parte racional da parte irracional obtemos as equacoes

Aqi = ci+1 pi + bi+1 pi1 e pi = ci+1 qi + bi+1 qi1 .

Isolando ci+1 nas equacoes anteriores e igualando obtemos

Aqi bi+1 pi1 pi bi+1 qi1

=
pi qi
2 2
Aqi bi+1 pi1 qi = pi bi+1 qi1 pi
p2i Aqi2 = bi+1 (pi qi1 pi1 qi )
p2i Aqi2 = (1)i+1 bi+1

donde obtemos uma solucao da equacao x2 Ay 2 = (1)i+1 bi+1 . Se k e o

perodo teremos que bk = 1 e portanto a equacao x2 Ay 2 = 1 tem solucao se
k e mpar, enquanto que x2 Ay 2 = 1 sempre tem solucao (tomando i+1 = 2k).
Por exemplo, se queremos encontrar uma solucao da equacao x2 21y 2 = 1,
como
p6 55
4 + 21 = [8; 1, 1, 2, 1, 1] e = ,
q6 12
(a barra denota o perodo) temos que 552 21 122 = 3025 3024 = 1.

1.2 A Equaao x2 Ay 2 = 1
c
Suponha, como sempre, que A nao e quadrado perfeito. Na secao anterior
mostramos que a equacao de Pell sempre possui solucao. Em contrapartida, a
equacao x2 Ay 2 = 1 nem sempre possui solucao, de fato se p e um divisor
primo de A temos que x2 Ay 2 x2 1 (mod p), assim uma condicao
necessaria para a existencia de solucao e que todo divisor primo de A seja 2 ou da
forma 4k + 1. Porem, esta condicao ainda nao e suficiente. O seguinte teorema
da uma relacao entre as solucoes fundamentais da equacoes x2 Ay 2 = 1 e
x2 Ay 2 = 1.

Teorema ao x2 Ay 2 = 1
3. Suponha que a equac admita soluca
o inteira e
seja a + b A sua solucao fundamental. Seja c + d A a soluca
o fundamental
ao x2 Ay 2 = 1. Ent
da equac ao
c1
(a + b A)2 = c + d A, a2 = .
2

ao. Observemos que (a+b A)2 e solucao da equacao x2 Ay 2 = 1.
Demonstrac
Suponhamos por contradicao 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 1 EQUA
umeros - Nvel 3 - Aula 3 - Carlos C DE
AO
Gustavo PELL
Moreira

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 x2 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 u ltimo, 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 bd2 A > acd > c2 b, assim 0 >b(c2 Ad2 ) = b, o que
orio. Assim conclumos que (a + b A)2 = c + d A. Como
tambem e contradit
a2 Ab2 = 1, somando as igualdades temos c1 = 2a2 logo a2 = (c1)/2.

Vejamos agora que a condicao sobre os fatores primos de A nao e suficiente

para garantir a existencia de solucao. Por exemplo, x2 34y 2 = 1 nao possui

solucao inteira. De fato, a solucao fundamental de x2 34y 2 = 1 e 35 + 6 34,
mas 3512 = 17 nao e quadrado, logo, pelo teorema anterior, x2 34y 2 = 1
nao possui solucoes.
No caso em que A e um primo da forma 4k + 1, a equacao x2 Ay 2 = 1
sempre possui solucao. Mais geralmente, temos o seguinte resultado, devido a
Dirichlet.

Proposicao 4 (Dirichlet).
Seja A produto de no m

aximo tres primos distintos
p
da forma 4k +1 tais que q = 1 para todo p 6= q divisores primos de A. Ent ao
ao x2 Ay 2 = 1 possui soluc
a equac ao.

Demonstracao. Seja x0 + Ay0 a solucao fundamental de x2 Ay 2 = 1. Como

1 = x20 Ay02 x20 y02 (mod 4),

entao x0 e mpar e y0 e par. Alem disso, do fato de que (x0 1)(x0 + 1) = Ay02
e x0 + 1 e x0 1 so tem fator comum 2, segue que existem inteiros s e t primos
relativos e inteiros a, b com A = ab tais que

y0 = 2st, x0 1 = 2as2 e x0 + 1 = 2bt2

e assim as2 bt2 = 1. Basta portanto mostrar que a = 1 (de modo que b = A).
Para isto, observemos que a 6= A porque caso contrario b = 1 e (t, s) seria uma
solucao menor do que a solucao mnima (x0 , y0 ) de x2 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
2 a
as 1 (mod p). Logo p = 1, mas p e da forma 4k + 1 e portanto
isto implica ap = 1, o que contradiz a hip


otese do teorema.

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

2. a e produto de dois primos e b e primo, neste

caso se p e um divisor primo
2 b
de a temos que bt 1 (mod p), assim p = 1, o que de novo contradiz
a hipotese 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 p1 , . . . , pn n
umeros primos congruentes a 1
modulo 4 e
A = p1
p2 . . . pn . Suponha que nao existam ndices diferentes i, j, k
p
tais que ppji = pkj = 1. Ent ao x2 Ay 2 = 1 possui soluc
ao.
Demonstrac
ao. Ver [3] ou [2].

1.3 Soluc
oes da Equaao x2 Ay 2 = c
c
Novamente assumimos que A nao e quadrado perfeito. Seja (x1 , y1 )
(N>0 )2 a solucao mnima de x2 Ay 2 = 1. Dado c Z nao nulo, se existe
alguma solucao de x2 Ay 2
= c com (x, y) N2 , entao existem infinitas: de
fato, se u + v A = (x + y A)(x1 + y1 A)n com n Z, entao u2 Av 2 = c.
Por outro lado, nem sempre existe uma tal solucao. Uma condicao necessaria
para a existencia de solucoes e a seguinte: se p e um divisor primo de A, temos
x2 c (mod p), assim para que exista solucao c deve ser resduo quadratico
modulo p para todo divisor primo p de A. Infelizmente esta condicao nao e
suficiente, por exemplo a equacao x2 7y 2 = 11 nao possui solucao ja que
olhando m odulo 4
x2 + y 2 x2 7y 2 = 11 1 (mod 4),
o que e impossvel. Entretanto 11 4



7 = 7 = 1.
A seguinte proposicao ajuda a reduzir o trabalho necessario para decidir se
x Ay 2 = c tem alguma solucao (x, y) N2 .
2

Proposic ao 6. Seja = x1 + y1 A > 1 onde (x1 , y1 ) e a soluca o mnima de
x2 Ay 2 = 1. Dado c Z n ao nulo,
se existem x, y N com x 2 Ay 2 = c,
2 2
p
ent ao existem u, v N compu + v A |c| p e u Av = c (em particular,
para esta solucao 0 u |c| e 0 v |c|/A).

Demonstrac ao. Se = r + s A com r, s Q definimos = r s A, temos
entao N () = N () = = r2 As2 .
Seja = x + y A > 0 com N () = x2 Ay 2 = c. Entao N ( k
p ) = c para
todo
p k Z. Em particular podemos escolher um k Z tal que |c| < k
que p |c| < |c| definimos = k e no caso que
k
p p

p |c|. No caso
|c| < k |c|, podemos definir = |c|/( k ) = p 1k onde

c = c e |c| < |c|. Logo,
p
= |c| {1, 1}, assim N () = N () = N ()
p p
sem perda de generalidade, podemos
supor que |c| |c|.
Assim temos que = u+v A com u, v Z, assim ainda precisamos verificar
que u, v sao naturais, mas

c = N () = u2 Av 2 = (u + v A)(u v A).

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

Temos entao
|c| |c| p
|u v A| = p = |c| u + v A.
u+v A |c|

Temosassim u v A u + v A, donde v 0 e simultaneamente u + v A
u + v A, e logo u 0.

1.4 Soluc
oes da Equaao mx2 ny 2 = 1
c
Suponha que mn nao seja quadrado perfeito. Vejamos que se mx20 ny02 =
1 possui uma solucao (x0 , y0 ) entao possui infinitas solucoes. Temos

( mx0 + ny0 )( mx0 ny0 ) = 1.

Como mn nao e um quadrado perfeito, a equacao de Pell X 2 mnY 2 = 1

possui infinitas solucoes; se (z, w) e uma delas, temos

(z + mnw)(z mnw) = 1.

Multiplicando estas duas equacoes obtemos

( mx0 + ny0 )(z + mnw)(z mnw)( mx0 ny0 ) = 1,

que e equivalente a

( m(zx0 + ny0 w) + n(y0 z + mx0 w))

( m(zx0 + ny0 w) n(y0 z + mx0 w)) = 1

portanto x = zx0 + ny0 w e y = y0 z + mx0 w geram uma nova solucao da

equacao mx2 ny 2 = 1.
Reciprocamente, para toda solucao (a, b) de mx2 ny 2 = 1,

1 = (ma2 nb2 )2 = ( ma + nb)2 ( ma nb)2

= (ma2 + nb2 + 2 mnab)(ma2 + nb2 2 mnab)
= (2ma2 1)2 mn(2ab)2 .

Assim (2ma2 1, 2ab) e solucao da equacao x2 mny 2 = 1. Por outra parte,

fixando A = mn, o seguinte resultado mostra que nem para todo valor de m e
n a equacao mx2 ny 2 = 1 possui solucao.

Teorema 7. Seja A Z livre de quadrados. Ent ao existe um u nico par de

inteiros positivos (m, n), com A = mn, tal que uma das equacoes mx2 ny 2 = 1
ou mx2 ny 2 = 2 possui solucao. No primeiro caso, (m, n) 6= (1, A).

Demonstrac ao. Seja (x1 , y1 ) solucao fundamental de x2 Ay 2 = 1, assim (x1

1)(x1 + 1) = x21 1 = Ay12 . Observemos que mdc(x1 1, x1 + 1) = mdc(x1
1, 2) = d, onde d = 1 ou d = 2. Segue que x1d1 e x1d+1 s ao primos relativos, e
2 2
d | Ay1 . Mas A e livre de quadrados, donde conclumos que d | y1 .

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

Definamos m = mdc( x1d+1 , A) e n = mdc( x1d+1 , A), e assim m e n cumprem

que A = mn e
x 1 + 1 x 1 + 1  y1  2
= ,
dm dn d
logo existem s, t primos relativos tais que y1 = dst e
x1 + 1 x1 1
= ms2 e = nt2 ,
d d
donde subtraindo as equacoes obtemos d2 = ms2 nt2 , 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 < y1 e (x1 , y1 ) e a solucao fundamental.
Por outra parte, suponhamos que existam (m , n ) e (a, b) tais que A = m n
e m a2 n b2 = e com e = 1 ou e = 2.
No caso e = 1, o par (2m a2 1, 2ab) e solucao de x2 Ay 2 = 1, isto e,

( m a + n b)2 = (2ma2 1) + 2ab A = (x1 + y1 A)k

para algum inteiro k N. Se k e par, vemos que m a + n b = xk/2 + yk/2 A
assim a unica possibilidade e m = 1 e n = A (verifique!). No caso k mpar, do
fato que
(k1)/2  
k
xk2j Aj y12j xk1 (mod A)
X
xk =
2j 1
j=0

temos que
x + 1    xk + 1  x + 1 
1 k
m = mdc , A  mdc 1 , A = mdc ,A

2 2 2
= mdc(a2 m , A) = m

e
x 1    xk 1  x 1 
1 k
n = mdc , A  mdc 1 , A = mdc ,A

2 2 2
= mdc(b2 n , A) = n ,

onde as u ltimas igualdades seguem do fato de que m (a2 m ) Ab2 = m e

Aa n (n b2 ) = n . Mas A = mn | m n = A logo m = m e n = n .
2

No caso e = 2 o argumento e an alogo, ja que (m a2 1, ab) e solucao de

x2 Ay 2 = 1.

Corol ao mx2 ny 2 = 1 possui uma soluc

ario 8. A equac ao se, e s
o se, dada
a soluc 2 2
ao fundamental (x1 , y1 ) de x mny = 1, o sistema de equaco
es

2mx2 1 = x1
2xy = y1

tem soluc
ao inteira.

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

Exemplo 9 (OIbM1987). Demonstrar que existe uma infinidade de pares (x, y)

de n
umeros naturais tais que

2x2 3x 3y 2 y + 1 = 0.

Soluca o: Completando quadrados e fatorando temos que a equacao 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 infinitas solucoes da equacao

3z 2 2w2 = 1 com z 1 (mod 4) e w 1 (mod 6).

Para isto, consideremos a equacao de Pell auxiliar s2 6t2 = 1, que possui

solucao mnima (5, 2), assim todas as solucoes positivas s
ao dadas por

sn + 6tn = (5 + 2 6)n = (5 + 2 6)(sn1 + 6tn1 ),

ou seja,
sn = 5sn1 + 12tn1 e tn = 2sn1 + 5tn1 .
A partir de uma solucao de s2 6t2 = 1 obtemos uma solucao de 3z 2 2w2 = 1
da seguinte forma

3zn + 2wn = ( 3 + 2)(sn + 6tn ),

ou seja,
zn = sn + 2tn e wn = sn + 3tn .
Assim, s
o nos falta mostrar que existem infinitos pares (zn , wn ) tais que zn 1
(mod 4) e wn 1 (mod 6). Vamos provar por inducao que para todo n par

sn 1 (mod 12) e tn 0 (mod 2)

donde concluiremos que, para todo n par,

zn 1 (mod 4) e wn 1 (mod 6)

Temos que s2 = 49 e t2 = 20 cumprem as condicoes pedidas. Agora se n 2 e

par temos, por hip
otese de inducao,

sn+2 5sn+1 52 sn sn (mod 12)

2
tn+2 5tn+1 5 tn tn (mod 2)

o que encerra a prova.

12
 Problemas Propostos

Problema 10. Demonstrar que (1 + 3)2n1 e divisvel por 2n .

Problema 11. Encontrar todos os tri angulos ret

angulos com lados inteiros tais
que a diferenca entre os catetos e 1.

ao 7x2 13y 2 = 1 n
Problema 12. Demonstrar que a equac ao tem soluco
es
inteiras.

Problema 13. Seja p um primo. Demonstrar que a equac ao x(x+1) = p2 y(y+1)

n
ao tem soluc
oes inteiras positivas. A equac
ao pode ter soluc
oes inteiras?

Problema 14. Demonstrar que 2x2 219y 2 = 1 n ao tem soluco

es inteiras,
2 2
mas 2x 219y 1 (mod m) tem soluc oes para todo inteiro positivo m.
ao: Considere a nova soluc
Sugest ao x1 = |293x 3066y|, y1 = 28x +
293y.

Problema 15. (OBM2010) Encontre todos os pares (a, b) de inteiros positivos

tais que
3a = 2b2 + 1.

Dicas e Solu
c
oes

Em breve.

Refer
encias
[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 fields, Proc. Amer Math.
Soc. 22 (1969), 198201.