在△ABC中,当AB⊥AC,AD⊥BC时AB^2=BC*BD,AC^2=CB*CD,(射影定理)∴AB^2/AC^2=BD/CD.若AE是中线,则∠BAE=∠B=∠CAD.反过来,若AD是高,AE是中线,∠BAE=∠CAD,设AE的延长线交△ABC的外接圆于F,连BF,则∠F=∠C,∴∠ABF=∠ADC=90°,∴AF是直径。若BC是直径,则AB⊥AC;若BC不是直径,则AF⊥BC,于是D,E重合,AB=AC,也有AB^2/AC^2=BD/CD。