Extrablatt 06 zur Diskreten Mathematik BHT Berlin FB II Satz 20.10.2010 O. Hamborg Studiengang Mathematik B – WS 2010/11 Notwendige Bedingungen für Primzahlen der Form an – 1 und an + 1 mit a, n Í \ {1} (an – 1 Ï n Ï) 1. (an + 1 Ï 2. a, n ô a, n 1 3. a, n ô a, n 1 (an – 1 Ï an + 1 Ï n = 2) 4. a, n ô a, n 1 n = 2k) k ô (an – 1 Ï n 2 an + 1 Ï) a, n ô a, n 1 Während 3. und 4. sofort aus 1. und 2. folgt, wird mit Hilfe der Formel für die geometrische Summe die Kontraposition von 1. bzw. 2. bewiesen, d. h. 1.* n Ï 2n – 1 Ï 2.* ( a, n ô a, n 1 a, n ô a, n 1 n 2m an + 1 Ï) . mô Der Beweis von 1* verläuft analog zu dem (etwas aufwendigeren) von 2.*, wenn man in 2.* die Prämisse durch eine äquivalente Aussage ersetzt, d. h. 2.** ( a, n ô a, n 1 n = k(2l + 1) an + 1 Ï) beweist. k, l ô Anmerkung: Die Äquivalenz der Prämissen in 2.* und 2.**, d. h. „n ist keine Zweierpotenz n lässt sich in ein Produkt mit mindestens einem ungeraden Faktor zerlegen“, folgt aus der eindeutigen Primfaktorzerlegung von natürlichen Zahlen (Fundamentalsatz der elementaren Zahlentheorie). an 1 a k ( 2l 1) 1 (a k ) 2l 1 1 . k k . a k 1 Vor a 1 a 1 2.** Nun der Beweis von 2.**: Zunächst gilt Mit u 1 qu 1 q 1 q an 1 ak 1 a : s i erhält man für q = – ak und u = 2l + 1 daraus: i 0 2l k i bzw. i 0 a an + 1 = (ak +1) 2l k i = (ak + 1) s Ï für n = k(2l + 1) i 0 n Fn 22 1 , n 0 Fermatsche Zahlen F0 = 3 , F1 = 5 = F0 + 2 , F2 = 17 = F0 F1 + 2 , F3 = 257 = F0 F1 F2 + 2 , F4 = 65537 = F0 F1 F2 F3 + 2 , F5 = 641 6700417 = n 1 Fn Fk 2 k 0 Beweis der Rekursionsformel durch vollständige Induktion: 2 2 2 Fk Fn Fk Fn Fn 2 2 1 2 1 2 n n 1 k 0 k 0 n n n 1 F1 = F0 + 2 ; 1 Fn 1 2 Satz: Je zwei Fermatsche Zahlen sind rel. prim, d. h. m n Fm , Fn relativ prim. Beweis: (indirekt) Sei n > m = k und p Ï ein gemeinsamer Primfaktor von Fk und Fn, dann gilt n 1 n 1 Fn pq Fk = pr . Daraus folgt mit Fn Fk 2 , dass q, r ô k 0 2 p Fn Fk k 0 p = q – s ô ist und n somit p = 1 oder p = 2. Also ist p = 2, und es folgt, dass Fn = 22 1 gerade ist. Extrablatt 06 Notwendige Bedingungen Primzahlen – 2010_10_20