锐角三角形垂心到距离公式证明

方法一：利用相似三角形与外接圆

这是最直观且最具几何美感的证明方法。我们需要构建辅助线来建立垂心距离与外接圆半径的联系。

1. 作辅助线： 作△ABC的外接圆⊙O，连接BO并延长交⊙O于点M，连接MC、MA。作直径BM，则∠BCM = 90°（直径所对圆周角为直角）。
2. 分析角度： 因为BM是直径，所以MC⊥BC。又因为AD是△ABC的高，所以AD⊥BC。因此 MC // AD（即 MC // HD）。
3. 寻找等角： 连接CM。在圆中，∠MBC = ∠MAC（同弧所对圆周角相等，但这步不是关键）。关键是观察四边形HDCM。由于HD⊥BC且MC⊥BC，所以HD // MC。
4. 关键转换： 连接CH并延长交AB于F。我们知道∠HCD = 90° - B（在Rt△BCE中，∠CBE=90°-C... 等等，更简单的是：在Rt△ADC中，∠DAC = 90° - C。在Rt△BCE中，∠EBC = 90° - C。所以∠HCD = ∠EBC? 不对。让我们重新梳理角度。

修正后的严谨推导：

1. 连接BO并延长交外接圆于M，连接MC。则MC⊥BC。因为AD⊥BC，所以MC // AD，即MC // HD。
2. 连接MA。则MA⊥AB。因为CF⊥AB，所以MA // CF，即MA // HF。
3. 考察四边形AHCM。因为HD // MC 且 HF // MA，这似乎不能直接构成平行四边形，除非H是特殊点。让我们换一个更经典的辅助线。

经典辅助线路径：

1. 连接BO并延长交外接圆于K。连接CK、AK。则CK⊥BC，AK⊥AB。
2. 因为AD⊥BC，所以AD // CK。因为CF⊥AB，所以CF // AK。
3. 所以四边形AHCK是平行四边形（两组对边分别平行）。
4. 因此，AH = CK。
5. 在Rt△BCK中，BK是直径，长度为2R。∠CBK = ∠CAK (同弧)? 不，∠BCK=90°。∠CKB = ∠CAB = A。
6. 所以 CK = BK cos(∠BCK)? 不对，CK = BK sin(∠CBK)?
7. 在Rt△BCK中，CK = BK sin(∠CBK)。而∠CBK = 90° - ∠CKB = 90° - A。
8. 所以 CK = 2R sin(90° - A) = 2R cosA。
9. 即 AH = 2R cosA。这是垂心到顶点的距离公式。
10. 接下来求HD。在Rt△HBD中，∠HBD = ∠EBC = 90° - C。
11. HD = BH sin(∠HBD) = BH sin(90° - C) = BH cosC。
12. 同理，BH = 2R cosB。
13. 代入得：HD = (2R cosB) cosC = 2R cosB cosC。

证毕。