Wir wollen mit vollständiger Induktion zeigen dass wenn n∈ ℕ in der Form 2k+1 ist, für ein k ∈ ℕ0, dann ist das n2 auch in der Form 2m+1, für ein m ∈ ℕ0.
Induktionsanfang: Für n=1 gilt es : 1 ist ungerade (1=2*0+1) und 12 =1 ist auch ungerade (1=2*0+1).
Induktionsbehauptung: Wir behaupten dass es für n=i gilt, also wenn i ungerade ist (i=2k+1) dann ist i2 auch ungerade (i2=2m+1).
Induktionsschritt: Wir wollen zeigen dass es auch für n=i+2 gilt. Wir wollen also zeigen dass wenn i+2 ungerade ist dann ist auch (i+2)2 ungerade. Wir haben dass $$n^2=(i+2)^2=i^2+2i+4=i^2+2(i+2)$$ Von der Induktionsbehauptung haben wir dass i2 ungerade ist. Wir haben auch dass i+2 ungerade ist. Das 2(i+1) ist dann also gerade. Die Summe einer ungeraden und einer geraden Zahlen ist ungerade, weil: $$(2k+1)+2m=2k+1+2m=2(k+m)+1$$ Daher folgt es dass (i+1)2 ungerade ist.