Das kann man denke ich ganz einfach über die Primfaktorzerlegung argumentieren.
Aus \( 3 | a^2 \) folgt, dass ein \( k \in \mathbb{N} \) existiert mit \( 3\cdot k = a \cdot a \). Also enthält mindestens einer der Faktoren von \( a \cdot a \) die 3 als Primfaktor (also da es sich um eine Zahl \( a \) handelt sogar beide \). Demzufolge ist auch 3 ein Teiler von \( a \).
M.Sc., Punkte: 6.68K