在一个仿射标架中，设平面$\pi$的方程为$ax+by+cz=d$.对空间的每一点

$p(x,y,z)$,定义$f(p)=ax+by+cz-d$.证明：对于空间中任意两点$p_1,p_2$,它

们位于平面的两侧，当且仅当$f(p_1)f(p_2)<0$.

证明：当$c\neq 0$时，我们定义平面的上方:平面的上方集合$A$,

\begin{equation}

  A=\{(x,y,z)|ax+by+c(z-k)=d,k\in\bf{R^{+}}\}

\end{equation}

当$c\neq 0$时，我们定义平面的下方：平面上的集合$B$,

\begin{equation}

  B=\{(x,y,z)|ax+by+c(z+k)=d,k\in\bf{R^{+}}\}

\end{equation}

显然，$c\neq 0$时，$A\bigcap B=\emptyset$.

当$a\neq 0$时，我们定义平面的前方：平面的前方集合$C$,

\begin{equation}

  C=\{(x,y,z)|a(x-k)+by+cz=d,k\in\bf{R^{+}}\}

\end{equation}

当$a\neq 0$时，我们定义平面的后方：平面的后方是一个集合$D$,

\begin{equation}

  D=\{(x,y,z)|a(x+k)+by+cz=d,k\in\bf{R^{+}}\}

\end{equation}

显然$C\bigcap D=\emptyset$.

当$b\neq 0$时，我们定义平面的左方是一个集合$E$,

\begin{equation}

  E=\{(x,y,z)|ax+b(y+k)+cz=d,k\in\bf{R^{+}}\}

\end{equation}

当$b\neq 0$时，我们定义平面的右方是一个集合$F$,

\begin{equation}

  F=\{(x,y,z)|ax+b(y-k)+cz=d,k\in\bf{R^{+}}\}

\end{equation}

显然$E\bigcap F=\emptyset$.我们知道，$a,b,c$不可能同时为0，否则平面将

不再是平面了.因此$p_1,p_2$位于平面的两侧，必定有如下三种情形之一：

1.一左一右

2.一上一下

3.一前一后

无论是哪种情形，我们都易得$f(p_1)f(p_2)<0$