关于三角形垂心性质的一个定理

一个熟知的命题是:一个锐角三角形的垂心必为它的垂足三角形的内心。 如图,O为锐角三角形ABC的三条高AD、BE、CF的交点,则由 EODC、EFBC、FODB三个四点共圆,可以马上证得∠FDA=∠EDA。 下面给出这个命题的逆命题。先证一个引理。 引理:D、E、F分别为锐角三角形BC、AC、AB上的点,AD、BE、CF交于一点O,若DO平分角FDE,则AD⊥BC。