Let O be the origin. We define a relation between two points P and Q in a plane if OP = OQ. Show that the relation, so defined is an equivalence relation.


Let A be set of points on the plane.


Let R = {(P, Q) : OP = OQ} be a relation on A where O is the origin.


To prove R is an equivalence relation, we need to show that R is reflexive, symmetric and transitive on A.


Proof :


To prove that relation is equivalence, we need to prove that it is reflexive, symmetric and transitive.


Reflexivity : For Reflexivity, we need to prove that-


(a, a) R


Let p A


Since OP = OP (P, P) R


R is reflexive


Symmetric : For Symmetric, we need to prove that-


If (a, b) R, then (b, a) R


Let (P, Q) R for P, Q R


Then OP = OQ


Op = OP


(Q, P) R


R is symmetric


Transitive: For Transitivity, we need to prove that-


If (a, b) R and (b, c) R, then (a, c) R


Let (P, Q) R and (Q, S) R


OP = OQ and OQ = OS


OP = OS


(P, S) R


R is transitive


Thus, R is an equivalence relation on A


11