Thread: 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.
Define 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 ~₂ 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

Originally Posted by carla1985

1. Denote by D the set of all triangles in the plane.
Define 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.

It is impossible to know why one notation is used over another.

In most geometry courses is used for similar triangles. It seems that you instructor uses in its place.

In general, relations are sets of ordered pairs.
We write to say that .

Now that is often written as . But it appears that your instructor would prefer to use

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

Originally Posted by carla1985

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

Is it true that any triangle is similar to itself?

If is true that

If is true that

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