Aufgabe:
Für alle a element Z ist a gerade, falls 3a² gerade ist. Zeigen Sie diese Implikation durch einen direkten Beweis. Nutzen Sie hierzu, dass sich jede natürliche Zahl größer gleich 2 eindeutig als Produkt von Primzahlen schreiben lässt (Primfaktorzerlegung).
Ansatz:
3a² = 3 * 2 * p1 * p2 * ... * pn sollte die Primfaktorzerlegung sein. Die 3, weil es 3 * a² sind und die 2, weil jede gerade Zahl mindestens eine 2 in ihrer Primfaktorzerlegung enthält.
Probleme:
Ein paar Ansätze mit Widerspruch oder Kontraposition fielen mir ein, aber ein direkter Beweis mit Primfaktorzerlegung kommt mir nicht in den Sinn. Außerdem störe ich mich daran, dass die Primfaktorzerlegung nur für die natürlichen Zahlen angegeben ist. a ist allerdings auf Z definiert. a² wird natürlich sein, da jede Quadratzahl ja automatisch positiv sein muss, aber a könnte immernoch negativ sein, wodurch ich noch mehr ins Grübeln komme.