02.01.2015 Aufrufe

Elementare Zahlentheorie und Problemlösen (11'') - Mathematik und ...

Elementare Zahlentheorie und Problemlösen (11'') - Mathematik und ...

Elementare Zahlentheorie und Problemlösen (11'') - Mathematik und ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

4.3 Kongruenzsätze 91<br />

4.3 Kongruenzsätze<br />

Satz über die lineare Kongruenz<br />

Sind a ∈ N 1 <strong>und</strong> m ∈ N 2 mit ggT (a, m) = 1, so stellt x = (−1) n Q n−1 b<br />

für jedes b ∈ Z eine Lösung der linearen Kongruenz a x ≡ b (mod m) dar.<br />

Dabei ist Q n−1 der Nenner des vorletzten Näherungsbruches der Kettenbruchentwicklung<br />

von a m .<br />

Beweis (direkt, r1):<br />

Ist P n−1<br />

der vorletzte Näherungsbruch der Kettenbruchentwicklung von a Q n−1<br />

m , so<br />

wird im Satz über die lineare diophantische Gleichung (Seite 28) gezeigt, dass<br />

(x, y) : = ((−1) n Q n−1 b, (−1) n P n−1 b) eine Lösung der linearen diophantischen<br />

Gleichung ax−my = b darstellt. Wegen ax−b<br />

m<br />

= y ∈ Z ist damit x = (−1)n Q n−1 b<br />

eine Lösung der linearen Kongruenz a x ≡ b (mod m).<br />

Satz über Kongruenzkürzung<br />

Sind k, m ∈ Z 2 mit k ≠ 0, m ≥ 1 <strong>und</strong> d : = ggT (k, m), so gilt k a ≡<br />

k b (mod m) genau dann, wenn a ≡ b (mod m d ) ist.<br />

Beweis (zwei Teile, direkt, r1):<br />

i) Ist k = k 1 d <strong>und</strong> m = m 1 d mit ggT (k 1 , m 1 ) = 1, so gilt<br />

k a − k b<br />

m<br />

= k 1 d a − k 1 d b<br />

m 1 d<br />

= k 1 (a − b)<br />

m 1<br />

.<br />

Aufgr<strong>und</strong> des Produktteilersatzes (Seite 23) folgt m 1 | (a − b), d.h. a ≡ b (mod<br />

m 1 ).<br />

ii) Ist m 1 | (a − b), so zeigt die Gleichungskette, dass auch m | (k a − k b) gilt.<br />

Satz über Kongruenzvergröberung<br />

Sind m, n ∈ N 1 mit n | m, so folgt a ≡ b (mod n) aus a ≡ b (mod m).

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!