另一個BUG是三角形ABC是銳角三角形。我的證明隻在圓心在弦的上方有效，15少的證明隻在下方有效。

兩種情況混合，沒有證明。這個可能是這個思路的關鍵。

一直沒想出來。發上來供大家參考。