Professional Documents
Culture Documents
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.
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
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
xn1 dyn1
xn
n 2
n 1
und
A
A
A
y
x0 y0
x0 y0 x0 y0
yn1 xn1
n
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 ...,
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
x
x
1
1
d
d
0.
y
y0
y x dy
y0 x0 d y0
.
yn xn
y0 x0
Beweis
Teil 1. Es sei ( x, y)
durch
x ' dy '
A Ax0 y0 , B A xy und B1 A1B. Mit der Bezeichnung B1
ist dann
y
'
x
'
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:
1 dy 2 dy0 y 1 dy02 1 dy 2
y ' y y0 x x0 y y x0 y y0 x y
y 1 dy02 y0 1 dy 2 y,
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
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
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