Die Übung besteht darin, diesen Satz mit den folgenden Lemmata zu beweisen:
1) Beweise Lemma A: Jede Primzahl ≠ 2 hat eine der beiden Formen oder
2) Beweisen Sie Lemma B: das Zahlenprodukt der Form ist von der Form .
Ich werde die Beweise der Lemmas weglassen, da ich an ihren Beweisen nicht zweifele. Ich frage noch einmal, ob der folgende Beweis irgendeinen Fehler hat.
Nachweisen:
Nehmen wir im Widerspruch an, dass es endlich viele Primzahlen der Form gibt , sagen, Definieren > und ist von der Form , ist also keine Primzahl. So muss durch eine Primzahl teilbar sein. Seit ist durch nichts teilbar oder 2, dieser Primteiler muss > sein und folglich nach Lemma A der Form . Nun besagt der Hauptsatz der Arithmetik, dass jede Nicht-Primzahl in Primzahlen faktorisierbar sein muss. Seit ist durch nichts teilbar , es muss Primzahlen geben auf welche ist faktorisierbar. Aus der Hypothese und aus Lemma A folgt, dass diese Primzahlen von der Form sein müssen und nach Lemma B muss es so sein , ein Widerspruch.
Ihr Beweis ist gut, betrachten Sie jedoch die folgende (etwas kürzere) Version:
Angenommen, es gibt endlich viele Primzahlen der Form , Ruf Sie an . Dann überlege
Dieser Beweis ist fast identisch mit Ihrem, aber zu beachten ist, dass Sie ihn einfach im Formular belassen können da dies äquivalent ist .
Der Beweis ist stichhaltig, je nach Studiengang kann es vorkommen, dass Sie aufgefordert werden (zumindest ohne weiteres in der Lage sein sollten), die Aussage zu begründen
„N ist durch nichts teilbar , oder 2.
Ansonsten sieht gut aus.
Legendre
izzorts
Legendre