Mein Prof hat heute so bewiesen, dass das Quadrat einer geraden Zahl eine gerade Zahl ist.
Mal ganz davon abgesehen, dass offensichtlich das Quadrat einer geraden Zahl eine gerade Zahl ist, finde ich den Beweis schwierig.
Erst wird die Zahl x als gerade definiert. Dann wird die Gleichung quadriert und es wird überprüft, ob die Bedingung, die x als gerade definiert immer noch erfüllt wird.
Bei dieser Überprüfung wird folgendermaßen vorgegangen: 2n ist die Definition von gerade. Die Definition von gerade zum Quadrat ist ebenfalls gerade. Das doppelte der Definition von gerade zum Quadrat ist ebenfalls gerade. Damit ist das Quadrat einer geraden Zahl gerade.
Aber wir wollen doch beweisen, dass eine Zahl zum Quadrat gerade ist. Da kann doch nicht der kern der Begründung sein, dass die Definition von gerade zum Quadrat ebenfalls gerade ist. Das ist als würde ich Beweisen, dass ein Baum ein Baum ist, weil er ein Baum ist.