如图:已知直线 , ,求证: .
证明:①∵ (已知)
∴ (垂直的定义)
②又∵ (已知)
③∴ (同位角相等,两直线平行)
∴ (等量代换)
④∴ (垂直的定义).
①以点 为圆心,以 为半径画弧,以点 为圆心,以 为半径画弧,两弧交于 点;②作线段 等于 ;③连接 , ,则 就是所求作图形.