求两条直线的交点公式：A1x+B1y+C1=0。交点式是抛物线的一种数学表达形式，即用抛物线与x轴的两个交点来表示抛物线的函数形式。在解决与二次函数的图象和x轴交点坐标有关的问题时，使用交点式较为方便。
公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。具有普遍性，适合于同类关系的所有问题。在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）:公式是相对于特定语言而定义的就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（arity）来指示它所接受的参数的数目。
