折痕的参数方程是：
公理 5.给定两点 formula_1 和 formula_2 和一条直线 formula_7，可以沿过 formula_2 的直线将 formula_1 折到 formula_7 上。这个公理相当于找出圆和直线的交点，所以有最多2个解，最少也可能无解。这取决于直线 formula_7 和以formula_2 为圆心，formula_2 到 formula_1 的距离为半径的圆的位置关系。如果直线和圆不相交则无解，相切则有1解，相交则有2解.如果我们知道