证明：连接OC，
∵PC为⊙O的切线，
∴∠OCP=∠FCP+∠OCF=90°，
∵PC=PF，
∴∠PCF=∠PFC，
∵OA=OC，
∴∠OCA=∠OAC，
∵∠CFP=∠AFH，
∴∠AFH+∠OAC=90°，
∴∠AHF=90°，
即：AB⊥ED．