4143999
Beim Beweis der Irrationalität von \(\sqrt{2}\) spielt die Eigenschaft eine Rolle, dass aus der Teilbarkeit von \(p^2\) durch 2 auch die Teilbarkeit von \(p\) durch 2 folgt.
Untersuche, ob die folgende analoge Aussage wahr oder falsch ist:
„Wenn \(p^2\) durch 4 teilbar ist, dann muss auch \(p\) durch 4 teilbar sein.“
Begründe deine Entscheidung durch ein Gegenbeispiel und erkläre kurz, warum der entsprechende Beweisversuch für die Irrationalität von \(\sqrt{4}\) scheitert.
Denkanstöße
- Suche nach einer kleinen natürlichen Zahl, deren Quadrat durch 4 teilbar ist, die selbst aber kleiner als 4 ist.
- Was passiert in der Argumentationskette eines indirekten Beweises, wenn ein Schritt nicht mehr logisch zwingend ist?
- Überlege, was der Unterschied zwischen einer Primzahl wie 2 und einer zusammengesetzten Zahl wie 4 in Bezug auf Quadrate ist.
Lösung
1. Überprüfung der Aussage durch ein Gegenbeispiel: Wähle \(p = 2\). Dann ist \(p^2 = 2^2 = 4\).
2. Die Zahl \(p^2 = 4\) ist offensichtlich durch 4 teilbar.
3. Die Zahl \(p = 2\) ist jedoch nicht durch 4 teilbar. Damit ist die Aussage falsch.
4. Bedeutung für den Beweisversuch zur Irrationalität von \(\sqrt{4}\): Man gelangt aus \(\sqrt{4} = \frac{p}{q}\) zu \(p^2 = 4q^2\). Hieraus folgt zwar, dass \(p^2\) durch 4 teilbar ist, aber man kann nicht schlussfolgern, dass \(p\) durch 4 teilbar ist (nur, dass \(p\) gerade ist).
5. Setzt man \(p = 2k\), folgt aus \(p^2 = 4q^2\) lediglich \(k^2 = q^2\), also \(k = q\) für natürliche Zahlen. Damit kann \(p = 2q\) gelten; zum Beispiel erfüllen \(p = 2\) und \(q = 1\) die Gleichung, ohne die Teilerfremdheit zu verletzen. Es entsteht kein Widerspruch.
Antwort
Die Aussage ist falsch. Ein Gegenbeispiel ist \(p = 2\), da \(2^2 = 4\) durch 4 teilbar ist, 2 selbst aber nicht. Beim Beweisversuch für \(\sqrt{4}\) folgt aus \(p^2 = 4q^2\) nur, dass \(p\) gerade ist. Setzt man \(p = 2k\), erhält man \(k^2 = q^2\), nicht aber, dass \(q\) gerade ist. Daher entsteht kein Widerspruch zur Teilerfremdheit; \(p = 2\) und \(q = 1\) liefern bereits die gekürzte Darstellung \(\sqrt{4} = 2\).
