《几何与代数导引》习题1.38

在一个仿射标架中，设平面$\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$