## What are perpendicular bisectors?

Consider two fixed points \(A\) and \(B\) in the plane. Suppose that \(C\) is a **moving** point which moves in such a way so that it is always equidistant (at the same distance) from \(A\) and \(B\).

**Think:** What will be the path traced out by \(C\)? In technical language, what will be the **locus** of \(C\), given this constraint? **Locus** is a latin word, and you can think of it as the path traced out by a point under a given set of conditions.

The answer to this question is: The path traced out by \(C\) will be the **perpendicular bisector** of the segment joining \(A\) and \(B\). In other words, if \(C\) lies anywhere on the** perpendicular bisector** of \(AB\), it will necessarily be equidistant from \(A\) and \(B\).

Let us see how. Consider the following figure, in which \(C\) is an arbitrary point on the perpendicular bisector of \(AB\) (which intersects \(AB\) at \(D\)):

Compare \(\Delta ACD\) and \(\Delta BCD\). We have:

- \(AD = BD\)
- \(CD = CD\) (common)
- \(\angle ADC = \angle BDC = 90^\circ \)

We see that \(\Delta ACD \cong \Delta BCD\) by the SAS congreunce criterion. Thus, \(CA = CB\), which means that \(C\) is equidistant from \(A\) and \(B\).

**✍****Note:** Refer SAS congreunce criterion to understand why \(\Delta ACD\) and \(\Delta BCD\) are congruent.

To repeat this extremely important point once again: If a point \(C\) is equidistant from two fixed points \(A\) and \(B\), then it **must** lie on the perpendicular bisector of \(A\) and \(B\). Every point on the perpendicular bisector of \(AB\) will be equidistant from \(A\) and \(B\).

## Definition of Perpendicular Bisector:

A **perpendicular bisector** is a special kind of segment, ray, or line that:

- intersects a given segment at a \(90^\circ \)
**angle**, and, - passes through the given
**segment's midpoint**.

**✍****Note:** In the above figure, segment \(CD\) is the **perpendicular bisector** to segment \(AB\).