Hallo :-)
Du kannst auch einen Beweis durch Kontraposition machen, d.h., wenn \(a\) ungerade ist, dann ist auch \(a^2\) ungerade.
Beweis. Sei \(a\in \mathbb{Z}\) ungerade. Also gibt es ein \(n\in \mathbb{Z}\) mit \(a=2n+1\). Dann gilt weiter \(a^2=(2n+1)^2=4n^2+4n+1=2\underbrace{(2n+2)n}_{=:m}+1=2m+1\). Damit ist \(a^2\) ebenfalls ungerade.