Dann mach mal langsam:
reflexiv heißt:
jeder steht mit sich selbst in der Relation
Die Elemente zwischen denen die Rel. definiert
ist sind Paare aus R^2. Also musst du für jedes
Paar (x,y) prüfen, ob es mit sich selbst in der
Relation steht
d.h. . für alle (x;y) aus R2 gilt (x;y) ~ (x;y)
Und die Definition ist ja y~z ⇔ f(y1,y2) =f(z1,z2).
und die Funktion f ist ja auch bekannt, also kannst
du einsetzen
wurzel(x2 + y2) = wurzel(x2 + y2 ) stimmt also.
Wirds klarer ?