《几何与代数导引》习题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$
原文地址:https://www.cnblogs.com/yeluqing/p/3828040.html