过抛物线焦点弦长公式：AB=x1+x2+p=p(1+2/k²+1)=2p(1+1/k²)=2p(1+cos²/sin²a)=2p/sin²a。
公式就是用数学符号表示各个量之间的一定关系(如定律或定理)的式子。具有普遍性，适合于同类关系的所有问题。 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。