Ich weiß, dass ich bereits eine Frage zu diesem Beweis gestellt habe. Ich wollte jedoch sehen, ob meine Umformulierung dieses Beweises (mit meinem besseren Verständnis in meinen eigenen Worten und nach einiger Zeit) richtig ist.
Beweisen Sie: Es gibt unendlich viele Primzahlen mit Rest wenn geteilt durch :
Beweis: Angenommen nicht. Angenommen, es gibt endlich viele Primzahlen mit Rest wenn geteilt durch . Das ist:
Es gibt endlich viele Primzahlen der Form für einige . Daher können wir eine Liste dieser ungeraden Primzahlen erstellen (um 2 auszuschließen) und ihr Produkt nehmen:
für einige
Jetzt bedenke :
Wir wissen das und hat eine Zerlegung in Primzahlen. Das wissen wir auch seitdem ist von der Form Es gibt mindestens einen Primfaktor von des Formulars . Wir wissen auch, dass keine der Primzahlen teilen denn wenn sie es täten, hätten wir eine Primzahl in unserer Liste:
Was nicht passieren kann, da unsere Liste der Primzahlen ausschließt . Damit haben wir die beiden widersprüchlichen Aussagen:
Es existiert ein Primfaktor der Form und es gibt keinen Primfaktor (aus unserer endlichen Liste ) des Formulars . Daher ist die Annahme falsch und es gibt unendlich viele Primzahlen mit Rest wenn geteilt durch .
Ist das richtig?
So wie Euklids Beweis fälschlicherweise (von Dirichlet, GH Hardy und anderen) als Widerspruchsbeweis bezeichnet wird, ist Ihr Beweis komplizierter als er sein muss. Anstatt anzunehmen, dass nur endlich viele existieren, sagen Sie einfach, dass Sie eine Menge von endlich vielen haben, und gehen Sie dann Ihr Argument durch, um zu zeigen, dass Sie es auf eine größere endliche Menge erweitern können.
Ansonsten finde ich dich ok.
Brian M. Scott
CodeKingPlusPlus
Brian M. Scott
CodeKingPlusPlus
Brian M. Scott
Darij Grinberg