分别延长BA和FE相交于G,
∵AD⊥BC,GF⊥BC,∴ AD‖GF
∴GE/AP=BE/BP,EF/DP=BE/BP,∴GE/AP=EF/DP
∵AP=DP, ∴GE=EF
∵∠AEG=∠FEC,∴Rt△AEG∽Rt△FEC
∴AE/FE=GE/EC,且EF=GE,∴EF²=AE*EC
证毕
分别延长BA和FE相交于G,
∵AD⊥BC,GF⊥BC,∴ AD‖GF
∴GE/AP=BE/BP,EF/DP=BE/BP,∴GE/AP=EF/DP
∵AP=DP, ∴GE=EF
∵∠AEG=∠FEC,∴Rt△AEG∽Rt△FEC
∴AE/FE=GE/EC,且EF=GE,∴EF²=AE*EC
证毕