下面是小元设计的“经过已知直线外一点作这条直线的垂线”的尺规作图过程,已知:如图1,直线
l和
l外一点
P.求作:直线
l的垂线,使它经过点
P,作法:如图2,
(1)在直线
l上任取一点
A;
(2)连接
AP,以点
P为圆心,
AP长为半径作弧,交直线
l于点
B(点
A,
B不重合);
(3)连接
BP,作∠
APB的角平分线,交
AB于点
H;
(4)作直线
PH,交直线
l于点
H.
所以直线
PH就是所求作的垂线.根据小元设计的尺规作图过程,
(1)使用直尺和圆规,补全图形(保留作图痕迹);
(2)完成下面的证明.
证明:∵
PH平分∠
APB,
∴∠
APH=
.
∵
PA=
,
∴
PH⊥直线
l于
H.(
) (填推理的依据)
