Escolar Documentos
Profissional Documentos
Cultura Documentos
Meeting #21
Course: Teora de Nmeros.
Group: Pre-olmpico.
Professor: Rolando
Vega.
PELLS EQUATION
INTRODUCTION:
Definition 1: Pells equation is a Diophantine equation of the form
x 2d y 2=1, x , y Z , where d is
An arbitrary quadratic Diophantine equation with two unknowns can be reduced to a Pell-type
equation. How can such equations be solved? Recall that the general solution of a linear diophantine
equation is a linear function of some parameters. This does not happen with general quadratic
diophantine equations. However, as we will see later, in the case of such equations with two
unknowns there still is a relatively simple formula describing the general solution.
Why does the definition of Pells equations assume d is not a square? Well, for
equation
x 2d y 2=a
can be factored as
d=c2 , c Z
the
further theory. So, unless noted otherwise, d will always be assumed not to be a square.
The equation
x 2d y 2=a
( x+ y d ) ( x y d )=a
In order to be able to make use of this factorization, we must deal with numbers of the form
x+ y d , where x,y are integers. This set is denoted by
Z [d ].
is that the sum and product of two of its elements remain in the set (i.e. this set is really a ring).
Definition 2: The conjugate of number
N ( Z )=Z . z =x 2d y 2 Z .
z=x + y d
is defined as
N ( z1 z 2) =N ( z 1 ) N ( z 2 )
and
z 1z 2 =
z1 z2 .
z0
Theorem 2: If
elements
z Z [ d ] with
Corollary. If
( x0, y0 )
N Z =1 are given by
z=x + y d
with
z 0> 1
and
z= z0 , n Z .
is the smallest solution of the Pells equation with d given, then all natural
Note that
Z [d ]
x+ y d= ( x 0 + y 0 d ) , n N .
x=
z + z
2 and
y=
zz
2 d
n
n
z 0 z0
y=
2 d
Lemma 1 (Dirichlets theorem). Let be an irrational number and n be a positive integer. There exist
p Z
| pq|< ( n+11 ) q
Lemma 2. If is an arbitrary real number, then there exist infinitely many pairs of positive integers
(p,q) satisfying
| pq|< q1
PELL-TYPE EQUATIONS:
A Pell-type equation in general may not have integer solutions (for example, the equation
2
z 12 =z0 .
x 2d y 2=1
z1 Z [ d ]
0
there is a solution with |x| 2 z |a| and the corresponding upper bound for
0
y=
x2a
.
d