ich soll zeigen, dass die folgende Relation auf Z eine Äquivalenzrelation ist:
$$x\sim y\quad :\Leftrightarrow \quad 5|(x+4y)$$
Ich weiß, dass ich dafür zeigen muss, dass die Relation reflexiv, symmetrisch u. transitiv ist, aber ich weiß nicht, wo ich anfangen soll.
Bei Reflexivität zeig ich ja, dass $$x \sim x $$ gilt, also das$$x\sim x\quad :\Leftrightarrow \quad 5|(x+4x) $$gilt?
Und reicht es dann das ich sage, dass 5 auf jeden fall 5x teilt, da ja 1x überbleibt nach der Teilung?
Blicke nicht ganz durch, Hilfe wäre echt cool :)