4. To drop a perpendicular from a point not on a line to the line.

In the construction for dropping a perpendicular from a point to a line, we are given

Given: AB = AC, BD = CD

To prove: AD is perpendicular to BC

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