请保证两圆是有交点的！这个好吧，这个是给计算机用的，当然如果你想笔算，也成。
如果你试图把公式汇总，好吧，我想你不会这么干的！
下面我给出一个大致的推导（可能不是太严格）
三角形的九点圆其实是垂心西面体十二点共球在平面的特例。我在下面给出证明（MathType写的，打错了几个字，但是因为是图片，悲剧了呵）
