解∶ AD⊥BC，理由如下∶

.∠1=∠C（已知）

 DG // AC （   ）

∠2=∠4（  ）

∵∠2+∠3=180°（已知），∠3+∠4=180°（    ）

∶AD / /EF （同旁内角互补，两直线平行），

∠ADC=∠EFC（      ）

'.'EFLBC（已知），

∠EFC=90°（    ）

∠ADC=90°（等量代换），

∴AD⊥BC（垂直的定义）.

试说明∶ ∠EDF=∠A.

解∶ DF//AB已知，

∠A+∠AFD=180°（     ）

DE//AC 已知，

∠AFD+∠EDF=180°（  ）

∠A=∠EDF （      ）

①如图2，点P在线段 上， 沿直线 翻折后得到的 ，请用无刻度的直尺和圆规作出点P；（不写作法，保留作图痕迹） 

②如图3， ，点P在射线 上， 沿直线 翻折后得到的 ，若 ，则线段 的长度为  ▲  .