Definition:
Sei n Element ℕ gerade <=> Es gibt ein k Element ℕ für das gilt 2k= n.
Da muss wohl ein Äquivalentzeichen hin, denn
wenn n gerade dann ........2k=n UND ( und diese Richtung brauchst du ja)
.............2k=n dann ist n gerade .
Kannst du natürlich auch mit m statt k formulieren, und dann ....
Beweis:
n2 = n * n = 2k * 2k = 4k2 = 2(2k2)
mit m= 2k^2 gilt dann n^2 = 2*m,
somit ist n2 eine gerade Zahl. q.e.d.