在RT△ABC中,∠A=90°,AD⊥BC,P是AD的中点,延长BP交AC于点E,EF⊥BC于F,求证:EF²=AE*E