立体几何中，点到平面的距离公式应该先求平面的法向量，然后过这一点和法向量求点到平面的垂线方程，再计算垂线和平面的交点，交点到那个点的距离就是点到平面的距离。

过空间的一点，与已知直线垂直的平面只有一个。因此，给定平面上的一点和垂直于该平面的一个非零向量，平面就确定了。这就是所谓的点法式方程的基础。任意垂直与一个平面的向量被称为法向量。法向量有无数个。