围绕「对角互补 + 角平分线 ⟹ CD = CE」· 做完先在实验台拖一拖验证
「对角互补」(∠O + ∠DCE = 180°)+「角平分线」同框 —— 立刻作双垂线,全等三角形就在眼前。
「对角互补平分线,双垂一出全等现;CD 等于 CE,两边和是二倍半弦(2cos(α/2)·OC),面积等于二分一 OC²·sinα」。