另一个BUG是三角形ABC是锐角三角形。我的证明只在圆心在弦的上方有效，15少的证明只在下方有效。

两种情况混合，没有证明。这个可能是这个思路的关键。

一直没想出来。发上来供大家参考。