# Thread: Equivalence relation proof and notation

1. ## 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 ~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

2. ## Re: Equivalence relation proof and notation

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 $\displaystyle \Delta ABC \approx \Delta PQR$ is used for similar triangles. It seems that you instructor uses $\displaystyle \Delta ABC \sim _S \Delta PQR$ in its place.

In general, relations are sets of ordered pairs.
We write $\displaystyle (x,y)\in\mathcal{R}$ to say that $\displaystyle x\text{ is }\mathcal{R}\text{ related to }y$.

Now that is often written as $\displaystyle x\mathcal{R}y$. But it appears that your instructor would prefer to use $\displaystyle x\sim_{\mathcal{R}}y~.$

3. ## 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

4. ## Re: Equivalence relation proof and notation

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 $\displaystyle \Delta~I\sim_S\Delta~II$ is true that $\displaystyle \Delta~II\sim_S\Delta~I~?$

If $\displaystyle \Delta~I\sim_S\Delta~II~\&~\Delta~II\sim_S\Delta~I II$ is true that $\displaystyle \Delta~I\sim_S\Delta~III~?$

5. ## 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