2
$\begingroup$

I would like to prove that having two planes

$ax+by+cz+d_1 = 0 \quad\text{and}\quad ax+by+cz+d_2 = 0$

you can automatically have a plane with equal distance from each plane that looks like this:

$ax+by+cz+\frac{d_1+d_2}{2}=0.$

I have tried deriving this from the formula for the distance of a point to a plane, but with no success. Any suggestions?

  • 0
    (and @theo): For completeness, one should note that $c$ could be zero, in which case the $x=y=0$ point doesn't help; however, given that we're talking about actual planes, we are assured that $a$, $b$, and $c$ cannot *all* be zero, so we can always make the argument work. (That said, @Theo's approach is better.)2011-04-13

3 Answers 3

3

Think about the geometric meaning of the scalar product $(a,b,c)\cdot(x,y,z) = ax + by +cz$.

The vector $(a,b,c)$ is orthogonal to the two planes and has length $\sqrt{a^2 + b^2 + c^2} \neq 0$ (if this were zero, the equations wouldn't give planes since then $a=b=c=0$).

Therefore the (signed) distance of the two planes to the origin is given by $-\frac{d_1}{\sqrt{a^2 + b^2 + c^2}}$ and $-\frac{d_2}{\sqrt{a^2 + b^2 + c^2}}$, respectively. So the signed distance of the plane lying in the middle must be $-\frac{(d_1+d_2)/2}{\sqrt{a^2 + b^2 + c^2}}$, in other words, the plane in the middle must be given by the equation $ax + by + cz + \frac{d_1 + d_2}{2} = 0.$

  • 0
    I was proposed to use the distance to plane formula `ax1 + by2 + cz3 + d / sqrt(a^2 + b^2 + c^2)`2011-04-13
1

The "plane in between" $\pi_m$ is the locus of all midpoints of segments having one endpoint on $\pi_1$ and the other on $\pi_2$. Now the linear function $f(x,y,z):=a x+ by + c z$ assumes the constant value $-d_1$ on $\pi_1$ and the constant value $-d_2$ on $\pi_2$, so it has to assume the value $-(d_1+d_2)/2$ on $\pi_m$.

0

These equations can be rewritten as $z_1 = \frac{-a(x + \frac{d_1}{a}) - by}{c}$ and $z_2 = \frac{-a(x + \frac{d_2}{a}) - by}{c}$, while the third one becomes $z_3 = \frac{-a(x + \frac{d_1 + d_2}{2a}) - by}{c}$. Recall that for a constant $c$, $f(x,y) \rightarrow f(x + c,y)$ translates the graph of the function left by $c$ units. Combining these facts should give you your answer.

  • 0
    @Theo: Yes, but if this is the case then the problem reduces to an even simpler version in lower dimension.2011-04-13