显然，出自小蓝本第 4 本「直角三角形」习题第 4 题。

$AD⊥BC,EF⊥BC$,$P$ 为 $AD$ 中点。求证：若 $\angle BAC=\dfrac{\pi}{2}$，则 $EF^2=AE\cdot CE$，反之，也成立。

90 度打不出来打一个 pi/2。

另外问一下同章例题最后一道题有没有用平面向量的简单方法。