双垂模型 · 两条高的倒角链

锐角 △ABC 中 BE⊥AC、CD⊥AB 交于 O——∠ABE = ∠ACD = 90° − ∠A；
经典版验证两高交点的倒角账，进阶版拆解同角的余角相等原理。