由射影定理，AD平方等于AE*AC。（AED和ADC相似：AE/AD=AD/AC）又AEF和ABC相似，从而有AE/AB=AF/AC，于是得到AE*AC=AF*AB。所以最后有：AD平方=AE*AC=AF*AB
