Sie sind auf Seite 1von 3

Pellsche Gleichung mit Hilfe von Matrizen behandelt

Darstellung ausgehend von [1], S. 46-47.


Die Gleichung

x 2 dy 2 1,

(1)

wo d , d 2 und d nicht ein vollstndiges Quadrat ist, heit Pellsche Gleichung oder
Gleichung von Pell-Fermat. Es werden Lsungen ( x, y)

gesucht.

Offenbar sind die Paare (1, 0) und (1, 0) Lsungen der Gleichung. Diese heien banale
Lsungen. Ist ein Paar ( x, y ) Lsung, dann sind auch die Paare ( x, y), ( x, y),
zu finden. Ist
( x, y) Lsungen. Es gengt somit, die Lsungen ( x, y)
( x, y) Lsung, dann gilt x y. Ist die Lsung nichtbanal, dann ist x 2.
x dy
Jedem Paar ( x, y)
ordnen wir die Matrix Axy
zu und stellen fest, dass
y x
( x, y) genau dann eine Lsung von (1) ist, wenn det Axy 1. Auerdem ist die Lsung
( x, y) genau dann banal, wenn Axy I 2 .
Der Beweis folgenden Satzes ist z.B. in [2] zu finden.
Satz 1 Die Gleichung (1) hat auch nichtbanale Lsungen.

Somit ist die Menge A x

x 2, y , det Axy 1 nicht leer. Da die Menge

wohlgeordnet ist, hat A ein kleinstes Element x0 . Aus der Definition von A folgt, dass es
ein Element y0 in

gibt, so dass ( x0 , y0 ) Lsung von (1) ist. Aus (1) folgt, dass dieses y0

einzig ist. Offenbar ist x0 2, y0 1 und fr jede andere Lsung ( x, y)

von (1) gilt


x0 x, y0 y. (Wre y0 y, dann wrde im Fall y0 y aus (1) folgen x x0 , was einen
Widerspruch darstellt, weil die Lsungen ( x, y ) und ( x0 , y0 ) verschieden sind; im Fall
y y0 wrde aus (1) folgen, dass x x 0 , was im Widerspruch zur Wahl von x0 steht.)
Das auf diese Weise eindeutig bestimmte Paar ( x0 , y0 ) nennen wir kleinste positive

x0
y0

nichtbanale Lsung von (1). Die ihr zugeordnete Matrix ist Ax0 y0

x
Axn0y10 n
yn

dy0
. Setzen wir
x0

dyn
, fr alle n , dann gilt:
xn

Satz 2 Alle Paare ( xn , yn ), wo n


n 2

, sind nichtbanale Lsungen von (1).

xn1 dyn1
xn
n 2
n 1
und
A

A
A

y
x0 y0
x0 y0 x0 y0
yn1 xn1
n

Beweis Es gilt Ax0 y0

dyn x0
xn
y0

dy0

x0
1

x x dy0 yn
0 n
y0 xn x0 yn

d ( y0 xn x0 yn )
, also bestehen fr alle n
x0 xn dy0 yn

die Beziehungen

xn1 x0 xn dy0 yn

yn1 y0 xn x0 yn .

(2)

Durch Induktion folgt mit Hilfe der Gleichungen (2), dass xn und yn fr alle natrlichen n
natrlich sind und x0 x1 x2 ...,

y0 y1 y 2 .... Somit gilt ( xn , yn ) (1, 0) fr alle

und wegen det Ax0 y0 det Ax0 y0

1 sind alle Paare ( xn , yn ) Lsungen von (1).

Nun bezeichne S P die Menge der nichtbanalen Lsungen ( x, y)

von (1) und S sei

die Menge aller Paare ( xn , yn ) , wie sie oben definiert wurden. Aus Satz 2 folgt S S P . Wir
werden beweisen, dass auch S P S gilt, also S P S .

Lemma Ist ( x0 , y0 ) die kleinste positive nichtbanale Lsung von (1) und ( x, y)
eine andere nichtbanale Lsung von (1), dann gilt:

x x0
.
y y0

(3)

Beweis Es gilt: x d y

d y 1 x d y

1
x dy
1

x
x
1
d
.
und analog 0 d
y
y0
y x dy
y0 x0 d y0

Da ( x0 , y0 ) die kleinste positive nichtbanale Lsung von (1) ist, folgt

x
x
1
1
d
d
0.
y
y0
y x dy
y0 x0 d y0

Satz 3 Alle nichtbanalen Lsungen ( x, y)

von (1) haben die Form ( xn , yn ) , wo

( x0 , y0 ) die kleinste positive nichtbanale Lsung ist und ( xn , yn ) fr n


x dyn
x0 dy0
gegeben sind, mit Ax0 y0
Axn0y10 n

.
yn xn
y0 x0
Beweis

Teil 1. Es sei ( x, y)

durch

eine nichtbanale Lsung von (1). Wir setzen

x ' dy '
A Ax0 y0 , B A xy und B1 A1B. Mit der Bezeichnung B1
ist dann
y
'
x
'

det B1 1 und aus


dy0 x dy x0 x dy0 y d ( y0 x x0 y )
x
folgt
B1 A1B 0

x0 y x y0 x x0 y
x0 x dy0 y
y0

x ' x0 x dy0 y

y ' y0 x x0 y.
Die Gleichungen (4) zeigen, dass die Zahlen x ' und y ' ganze Zahlen sind. Da aber (mit
(4)

CBS) x0 x 1 dy0 1 dy 1 dy0 y, folgt aus der ersten Beziehung (4), dass x ' 1.
2

Zieht

man

(3)

in

Betracht,

so

folgt

aus

der

zweiten

Beziehung

(4),

dass

x x
y ' yy0 0 0. (Anders als in (3) wurde hier statt das Zeichen
y y0
verwendet, da ( x, y) und ( x0 , y0 ) gleich sein knnten.) Es folgt somit, dass x ' und y '
natrliche Zahlen sind, und da det B1 1 , dass ( x ', y ') eine Lsung von (1) ist.
Wir zeigen, dass x ' x und y ' y.
Unter Verwendung der ersten Gleichung (4) folgt:

x ' x x x0 x dy0 y x dy0 y x0 x

1 dy 2 dy0 y 1 dy02 1 dy 2

Durch Erheben zum Quadrat wird die Ungleichung

1 dy 2 2dy0 y 1 dy 2 d 2 y02 y 2 1 dy02 dy 2 d 2 y02 y 2 , also 2 y 1 dy 2 y0 , was


offensichtlich ist, da y y0 .
Unter Verwendung der zweiten Gleichung (4) ist

y ' y y0 x x0 y y x0 y y0 x y

y 1 dy02 y0 1 dy 2 y,

was durch Erheben zum Quadrat die offensichtliche Ungleichung 0 y0 2 y0 1 dy


ergibt.
2

Teil 2. Wenn ( x ', y ') (1, 0), dann B1 I 2 , also A B I 2 , woraus B A. Das

bedeutet, dass Axy Ax0 y0 , also ( x, y) ( x0 , y0 ) und in diesem Fall ist die Behauptung
1

bewiesen. Wenn ( x ', y ') (1, 0), dann sei B2 A B1 und es gilt das Ergebnis von Teil 1
wobei ( x, y ) durch ( x ', y ') und B1 durch B2 ersetzt werden. Wenn B2 I 2 , dann B1 A
1

und somit A B A, also B A , woraus ( x, y) ( x1 , y1 ) folgt, und damit ist die


2

Behauptung bewiesen ist. Falls B2 I 2 , wird das Verfahren weitergefhrt und man setzt

B3 A1B2 , B4 A1B3 , Wegen den strengen Ungleichungen x ' x und y ' y kann
das Verfahren nicht unendlich fortgesetzt werden, also muss es ein k

geben mit

Bk A Bk 1 I 2 . Aus den Definitionsgleichungen der Matrizen B1 , B2 , ..., Bk erhlt man

B Ak , also Axy Axk0 y0 , woraus ( x, y) xk 1 , yk 1 , und damit ist der Satz bewiesen.
Aus den Stzen 2 und 3 folgt, dass man alle nichtbanalen Lsungen ( x, y)

der

Gleichung (1) erhlt, wenn man die kleinste positive nichtbanale Lsung ( x0 , y0 ) findet und
die natrlichen Potenzen der Matrix Ax0 y0 berechnet. Die brigen Lsungen der Gleichung
(1) erhlt aus den Paaren der Menge S P , indem man vor eine oder beide Komponenten das
Vorzeichen setzt und die banalen Lsungen hinzufgt.
[1] Vasile Pop, Dana Heuberger, Matematic de excelen pentru concursuri, olimpiade i centre de excelen.
Volumul I Algebr, cl. A XI-a. Ed. Paralela 45, Piteti 2014.
[2] www.uni-ulm.de/fileadmin/website_uni_ulm/mawi.inst.100/vorlesungen/ss12/seminar_dioph/Pell_s_eq.pdf