This construction shows how to draw the perpendicular bisector of a given line segment with compass and straightedge or ruler. This both bisects the segment (divides it into two equal parts, and is perpendicular to it. It finds the midpoint of the given line segment.

The above animation is available as a printable step-by-step instruction sheet, which can be used for making handouts or when a computer is not available.

This construction works by effectively building congruent triangles that result in right angles being formed at the midpoint of the line segment. The proof is surprisingly long for such a simple construction.

The image below is the final drawing above with the red lines and dots added to some angles.

Argument | Reason | |
---|---|---|

1 | Line segments AP, AQ, PB, QB are all congruent | The four distances were all drawn with the same compass width c. |

Next we prove that the top and bottom triangles are isosceles and congruent | ||

2 | Triangles ∆APQ and ∆BPQ are isosceles | Two sides are congruent (length c) |

3 | Angles AQJ, APJ are congruent | Base angles of isosceles triangles are congruent |

4 | Triangles ∆APQ and ∆BPQ are congruent | Three sides congruent (sss). PQ is common to both. |

5 | Angles APJ, BPJ, AQJ, BQJ are congruent. (The four angles at P and Q with red dots) | CPCTC. Corresponding parts of congruent triangles are congruent |

Then we prove that the left and right triangles are isosceles and congruent | ||

6 | ∆APB and ∆AQB are isosceles | Two sides are congruent (length c) |

7 | Angles QAJ, QBJ are congruent. | Base angles of isosceles triangles are congruent |

8 | Triangles ∆APB and ∆AQB are congruent | Three sides congruent (sss). AB is common to both. |

9 | Angles PAJ, PBJ, QAJ, QBJ are congruent. (The four angles at A and B with blue dots) | CPCTC. Corresponding parts of congruent triangles are congruent |

Then we prove that the four small triangles are congruent and finish the proof | ||

10 | Triangles ∆APJ, ∆BPJ, ∆AQJ, ∆BQJ are congruent | Two angles and included side (ASA) |

11 | The four angles at J - AJP, AJQ, BJP, BJQ are congruent | CPCTC. Corresponding parts of congruent triangles are congruent |

12 | Each of the four angles at J are 90°. Therefore AB is perpendicular to PQ | They are equal in measure and add to 360° |

13 | Line segments PJ and QJ are congruent. Therefore AB bisects PQ. | From (8), CPCTC. Corresponding parts of congruent triangles are congruent |

- Q.E.D

- Introduction to constructions
- Copy a line segment
- Sum of n line segments
- Difference of two line segments
- Perpendicular bisector of a line segment
- Perpendicular at a point on a line
- Perpendicular from a line through a point
- Perpendicular from endpoint of a ray
- Divide a segment into n equal parts
- Parallel line through a point (angle copy)
- Parallel line through a point (rhombus)
- Parallel line through a point (translation)

- Bisecting an angle
- Copy an angle
- Construct a 30° angle
- Construct a 45° angle
- Construct a 60° angle
- Construct a 90° angle (right angle)
- Sum of n angles
- Difference of two angles
- Supplementary angle
- Complementary angle
- Constructing 75° 105° 120° 135° 150° angles and more

- Copy a triangle
- Isosceles triangle, given base and side
- Isosceles triangle, given base and altitude
- Isosceles triangle, given leg and apex angle
- Equilateral triangle
- 30-60-90 triangle, given the hypotenuse
- Triangle, given 3 sides (sss)
- Triangle, given one side and adjacent angles (asa)
- Triangle, given two angles and non-included side (aas)
- Triangle, given two sides and included angle (sas)
- Triangle medians
- Triangle midsegment
- Triangle altitude
- Triangle altitude (outside case)

- Right Triangle, given one leg and hypotenuse (HL)
- Right Triangle, given both legs (LL)
- Right Triangle, given hypotenuse and one angle (HA)
- Right Triangle, given one leg and one angle (LA)

- Finding the center of a circle
- Circle given 3 points
- Tangent at a point on the circle
- Tangents through an external point
- Tangents to two circles (external)
- Tangents to two circles (internal)
- Incircle of a triangle
- Focus points of a given ellipse
- Circumcircle of a triangle

- Square given one side
- Square inscribed in a circle
- Hexagon given one side
- Hexagon inscribed in a given circle
- Pentagon inscribed in a given circle

(C) 2011 Copyright Math Open Reference.

All rights reserved

All rights reserved