wenn n2 gerade ist, lässt es sich darstellen als (2k)2
(n = 4 => k = 2; n = 2 => k = 1; n = 0 => k = 0)
Dann ist n = ± √n2 = ± √(2k)2 = ± 2k
Und 2k ist gerade.
Eine andere Möglichkeit wäre ein Beweis folgender Art:
(a => b ist gleichbedeutend mit ¬b => ¬a)
Aus n2 gerade folgt n gerade <=> Aus n ungerade folgt n2 ungerade
Wenn n ungerade ist, lässt es sich darstellen als 2*k + 1. Dann ist n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2 * (2k2 + 2k) + 1, also ungerade.
Besten Gruß