Equivalence relation proof and notation

I missed a lecture last week and am now struggling with my homework. This is the first question (and the easiest lol):

1. Denote by D the set of all triangles in the plane.

Define for ABC; A'B'C' in D the relation ABC ~_{s} A'B'C' if and only if ABC is similar to A'B'C'.

Prove that ~_{s} is an equivalence relation on D.

I've got my head around the basics of equivalence relations, I think but firstly I dont understand the notation my lecturer has used (~_{s }and ~_{c} ~_{2} in other questions). If someone could explain the notation and give me a little help with this question I would be very grateful, and then I could do the rest of them myself :)

Thank you

Re: Equivalence relation proof and notation

Re: Equivalence relation proof and notation

Ah I understand, in the lecture notes he used xRy, which I understand, it threw me when he changed notation. Thanks for the help x

Re: Equivalence relation proof and notation

Re: Equivalence relation proof and notation

I think I've got it. My answer is:

For all ABC, A'B'C' and A''B''C'' in D

Reflexive: A triangle is similar to itself since AB/AB=BC/BC=AC/AC

so ABC ~s ABC

Symmetric: If ABC and A'B'C' are similar then its corresponding angles are equal so

if ABC ~s A'B'C' then A'B'C' ~s ABC

Transistive: If ABC is similar to A'B'C' then their corresponding angles are equal, and if A'B'C' is similar to A''B''C'' then its corresponding angles are are also equal.Therefore the corresponding angles of ABC and A''B''C'' must be equal so they must also be similar.

Hence if ABC ~s A'B'C' and A'B'C' ~s A''B''C'' then ABC ~s A''B''C''

So ~s is an equivalence relation on D.

I'm assuming thats enough for the proof? Thanks