给定两点 formula_1 和 formula_2 和两直线 formula_7 和 formula_8，可以一次将 formula_1 、formula_2 分别折到 formula_7 、formula_8 上。这个公理相当于找到同时与两条抛物线相切的直线，等价于解一个三次方程。两条抛物线的焦点分别是 formula_1 和 formula_2，准线分别是 formula_7 和 formula_8。
公理 7.给定一点 formula_29 和两直线 formula_