Perpendicular bisector
Take any line segment. Is there a single, well-defined line that passes through its midpoint and is perpendicular to it? Yes , and we can construct it without measuring a single thing.
Idea
A perpendicular bisector of a segment is a line that
- passes through the midpoint of , and
- is perpendicular to .
Every segment has exactly one perpendicular bisector.
Key property. A point lies on the perpendicular bisector of if and only if . That is, the perpendicular bisector is the set of all points equally far from and from .
Why? Suppose . Drop a perpendicular from to meeting it at . Triangles and share side , have equal hypotenuses , and share a right angle at . By RHS congruence, , so is the midpoint. So every "equidistant" point sits on one specific line: the perpendicular bisector.
The construction (compass + unmarked ruler).
- Open the compass to any radius bigger than half of .
- With centre , draw an arc above and an arc below .
- With the same radius and centre , draw arcs above and below. They meet the previous arcs at two points , call them (above) and (below).
- Draw the line with the ruler. This is the perpendicular bisector!
Why it works. By construction, (both equal to the chosen radius). So is equidistant from and , and therefore on the perpendicular bisector. Same for . Two points determine the line, so is the perpendicular bisector.
The Śulba-Sūtra version. Ancient Indian geometers did the same thing with a folded rope: fix the ends of a long rope at and , find the midpoint of the loose rope, pull it taut above and then below , mark those positions, and join them. Same construction , different compass!
Worked examples
Example 1. Construct the perpendicular bisector of a cm segment .
Draw . Open compass to about cm (more than half of ). Mark arcs above and below from , then from using the same radius. Join the two intersection points. The line cuts at its midpoint and at .
Example 2. Use the perpendicular bisector to find the midpoint of a given segment.
Construct the perpendicular bisector as above. The intersection with the original segment is the midpoint , and this is more accurate than measuring with a ruler.
Example 3. Given a segment , can two different perpendicular bisectors exist?
No. The set of points equidistant from and is a single line. So the perpendicular bisector is unique.
Example 4. Why must the radius be greater than half the segment?
If the radius is less than half, the arcs from and never meet , no intersection points, no line. If the radius is exactly half, they meet only on the segment itself, not above or below, so you cannot draw a clean line.
Try it yourself
- Construct the perpendicular bisector of an cm segment.
- Draw a cm segment. Using your construction, mark its midpoint.
- Why is the perpendicular bisector of the set of all points with ?
- Construct a segment of length cm and use the perpendicular bisector to divide it into four equal parts. (Hint: bisect, then bisect each half.)
- Three towns , and want a well that is equally far from and from . Where could it be?
- Show that the perpendicular bisector of a chord of a circle passes through the centre.
- Construct a triangle and the perpendicular bisectors of all three sides. Do they meet at one point? (Yes , the circumcentre.)
- With an cm segment, what is the smallest compass radius that will work?
Activity
Take a long piece of string and two pencils. Fix one pencil at each end of a cm chalk line on the floor. Tie the string between the two pencils so it is taut. Pull the midpoint of the string above the line and mark a point on the floor. Repeat below. Join the two marks. You have just done the Śulba-Sūtra perpendicular-bisector construction!