关于垂心的定理的证明

问题描述:

关于垂心的定理的证明
圆O是三角形ABC的外接圆,点H是三角形ABC的垂心,AD垂直BC于点D,延长AD交圆O于点E,则HD=DE
求此定理的名称及证明

这个应该不是什么定理,但证明很简单
HAC=HBC=CBE
就是倒角和弧的对应关系