公式o = circle(p[i], p[j], p[k])

核心问题：如何保证k能在单次循环中确定？

设原来的点是（i，j，k1），如何证明更新后的圆（i，j，k2）能够覆盖更新前的点k1？

证明是非平凡的，在我的编程书中和题解里也没有找到任何证明性的内容。。

觉得正确就请点个赞吧qwq