两球方程做差
这个是两球交线圆 所在平面 ,此平面的单位法向量
与所求圆柱面母线平行. 而圆柱对称轴通过原点,只需知道圆柱半径 即可列出圆柱方程:
而圆柱半径,通过简单的平面几何计算可得. 先计算原点(球心)到平面 的距离
其中 .
由勾股定理可知
代入 即可得圆柱方程.