∵AB⊥CD,BC中点为F
∴FP=FC (直角三角形性质)
∴∠DPE=∠CPF=∠FCP
∵∠FCP+∠FBP=90° (AB⊥CD)
∠EDP=∠FBP (同弧所对的圆周角)
∴∠EDP+∠DPE=∠FBP+∠FCP=90°
∴∠DEP=90°
故EF⊥AD.
∵AB⊥CD,BC中点为F
∴FP=FC (直角三角形性质)
∴∠DPE=∠CPF=∠FCP
∵∠FCP+∠FBP=90° (AB⊥CD)
∠EDP=∠FBP (同弧所对的圆周角)
∴∠EDP+∠DPE=∠FBP+∠FCP=90°
∴∠DEP=90°
故EF⊥AD.