22.下面是小红设计的“在矩形内作正方形”的尺规作图过程.
已知:四边形ABCD为矩形.
求作:正方形ABEF(E在BC上,点F在AD上).
作法:①以A为圆心,AB为半径作弧,交AD于点F;
②以B为圆心,AB为半径作弧,交BC于点E;
③连接EF.
所以四边形ABEF为所求的正方形.
(1)根据小红设计的尺规作图过程,使用直尺和圆规,补全图形(保留作图痕迹);
(2)证明:∵
=AB,
=AB,
∴AF=BE,
∵矩形ABCD中,AD//BC,
∴AF//BE.
∴四边形ABEF为平行四边形,
∵四边形ABCD是矩形,
∴∠A=90°.
∴四边形ABEF为矩形(
),
∵AF=AB,
∴四边形ABEF为正方形(
).