Direkter Beweis. Seien m,n ∈ ℕ
(2n+1)(2m+1) = 4mn + 2n + 2m + 1 = 2(2mn + n + m) + 1
Indirekter Beweis: Seien m,n ungerade Zahlen.
Annahme n*m ist gerade
m*n = 2k , wobei k ∈ ℕ. So haben m,n und k Primfaktorzerlegungen:
(a*b*....)*(p*q*.....) = 2*(u*v*w...)
Links kommt 2 nach Voraussetzung nicht vor, rechts aber schon. Wegen der Eindeutigkeit der Primfaktorzerlegung, ist das der gesuchte Widerspruch dazu, dass n*m gerade ist. qed. fertig.
Anmerkung: Nun müsste einfach noch die Eindeutigkeit der Primfaktorzerlegung einer natürlichen Zahl bereits bewiesen sein.