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.

3.4 Vollkommene Zahlen <strong>und</strong> spezielle Primzahlen 57<br />

Satz über die Teilersummenfunktion<br />

Hat n ∈ N 2 die Primpotenzdarstellung n =<br />

(3.15) σ (n) =<br />

r∏<br />

k=1<br />

r ∏<br />

k=1<br />

q e k+1<br />

k<br />

− 1<br />

q k − 1 .<br />

q e k<br />

k<br />

, so gilt<br />

Beweis (Vollständige Induktion, r1):<br />

Wegen σ(q e ) = 1+q+· · ·+q e = qe+1 −1<br />

für alle q ∈ P <strong>und</strong> jedes e ∈ N<br />

q−1<br />

1 liegt 1 in der<br />

Induktionsmenge M : = {r ∈ N 1 ; (3.15) ist richtig für alle n mit ω(n) = r} . Ist<br />

m ∈ M,<br />

n ∈ N 2 mit ω(n) = m <strong>und</strong> q m+1 ∤ n, so erhält man alle Teiler von<br />

n q e m+1<br />

m+1 , indem man alle Teiler von n mit jedem Teiler von q e m+1<br />

m+1 multipliziert.<br />

Also ist<br />

e∑<br />

m+1<br />

σ(n q e m+1<br />

m+1 ) = σ(n)<br />

k=0<br />

q k m+1 = σ(n) qe m+1+1<br />

m+1 − 1<br />

q m+1 − 1 ,<br />

d. h. es gilt m + 1 ∈ M, <strong>und</strong> der Induktionssatz (Seite 12) ergibt M = N 1 .<br />

Dieser Satz ermöglicht einen Beweis der auf Seite 15 erwähnten Ergebnisse von<br />

Euklid <strong>und</strong> Euler über vollkommene Zahlen, die heute mit Hilfe der Teilersummenfunktion<br />

definiert werden.<br />

Definition der vollkommenen Zahlen<br />

Eine Zahl n ∈ N 1 heißt vollkommen, wenn σ(n) = 2 n ist.<br />

Beispiele<br />

Wegen σ(6) = 12, σ(28) = 56 <strong>und</strong> σ(496) = 992 sind 6, 28 <strong>und</strong> 496 vollkommene<br />

Zahlen. Unterhalb von 8127 gibt es keine weiteren.<br />

Satz über gerade vollkommene Zahlen<br />

Ist n ∈ N 2 mit 2|n, so stellt n genau dann eine vollkommene Zahl dar, wenn<br />

es ein m ∈ N 2 mit 2 m − 1 ∈ P gibt, sodass<br />

(3.16) n = 2 m−1 (2 m − 1)<br />

gilt.

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!