下面是小西“过直线外一点作这条直线的垂线”的尺规作图过程.
已知:直线
l及直线
l外一点
P.
求作:直线
PQ,使得
PQ⊥
l.
做法:如图,
①在直线
l的异侧取一点
K,以点
P为圆心,
PK长为半径画弧,交直线
l于点
A,
B;
②分别以点
A,
B为圆心,大于
AB的同样长为半径画弧,两弧交于点
Q(与
P点不重合);
③作直线
PQ,则直线
PQ就是所求作的直线.
根据小西设计的尺规作图过程,
(1)使用直尺和圆规,补全图形;(保留作图痕迹)
(2)完成下面的证明.
证明:∵
PA=
,
QA=
,
∴
PQ⊥
l( )(填推理的依据).
