|
Aufgabe: Ist ℤ, dann ist auch ℤ.
Wie beweist man diesen Satz?
|
|
|
Gar nicht, denn das ist falsch. Nimm .
|
|
Womöglich fehlt die Voraussetzung , d.h., ist rational ? Mit der wäre die Aussage dann doch richtig.
|
|
Genau. Habe vergessen es mit anzugeben.
|
|
Oha, hab ich mal richtig geraten...
Beweisskizze: Wir gehen gemäß Voraussetzung aus von mit teilerfremden ganzen Zahlen und .
Forderung heißt demnach, es existiert ein mit , umgestellt .
Der eigentliche Beweis geschieht nun indirekt: Angenommen, es ist , dann besitzt einen Primfaktor , der aufgrund der Gleichung dann auch Teiler von , und damit mittelbar auch von ist - Widerspruch zur vorausgesetzten Teilerfremdheit von . Damit war die Annahme falsch, und es ist zwingend .
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|