趣味的数学-350
锐角三角形ABC的BC边和AC边上的高分别是AD和BE,AD和BE相交于H点【即ΔABC的垂心,orthocenter】。
证明:HD:HA = [cos(∠ABC)*cos(∠ACB)] / cos(∠BAC)