我四年前的时候证明了目前只能由计算机证明的一个定理，其中有一步想来无法说清，现在已经不会再走数学这条路了，打算把我的证明过程扔出来，所以请贴吧高手帮忙。实在不行就找老师帮忙啦。
这一步其实类似Hilbert体系里面直线异侧两点的连线必与直线相交。“圆内外2点的连线必与圆相交”。但这一步完全无法证明。
大家帮忙顶一顶啦。。。