With A and B as centres and any radius greater than half of AB, draw arcs on either side of AB so that they meet at X and Y as shown. Join XY. Here XY is the _____
If XY is a perpendicular bisector of line AB, it should divide AB in such a way that AO = OB and ∠ AOX = ∠ BOX = 90∘. We shall see if it is true or not.
Join AX, AY and BX, BY.
Consider △ AXY and △ BXY,
AX = AY = BX = BY (same radius)
XY = XY (common side)
△ AXY ≅ △ BXY (By S.S.S congruency)
∴ ∠ AXY = ∠ BXY (by CPCT)
Now consider △ AXO and △ BXO:
△ AXO ≅ △ BXO
by SAS,
as AX = BX ( same radius)
OX is the common side and
∠ AXY = ∠ BXY ( proved above)
∴ △ AXO ≅ △ BXO
⇒ AO = BO
which means XY bisects AB.
Now, ∠ AOB = 180∘
⇒ ∠ AOX = ∠ BOX = 90∘
⇒ XY is the perpendicular bisector of AB