5. To construct the perpendicular bisector of a line segment

In the construction of the perpendicular bisector of a line segment, we are

Given: AC = BC = AD = BD

To prove: AE = BE, CD is perpendicular to AB.

If you do not want to use the result in the last step, you can prove the result about isosceles triangles.