Proving that planes are parallel

[Bipolarity]

In ℝ^{3}, how would I go about proving that two planes are parallel, given their equations? I know what the "word" parallel means, in the sense that two planes are always equidistant from one another, so that they must either never intersect, or that they must intersect at every point on their graphs.

But how does this translate to an algebraic, or vector definition of parallel planes, given the equations for both planes?

Say the equation for plane 1 is a_{1}x + b_{1}y + c_{1}z = d_{1} and the equation for plane 2 is a_{2}x + b_{2}y + c_{2}z = d_{2}.

Under what conditions would they be paralle, given the geometric definitions of parallel I have just given?

Or are my definitions just incorrect?

BiP

 

[Muphrid]

Construct the planes' normal vectors a_1 \hat x + b_1 \hat y + c_1 \hat z for the first plane and similarly for the second. If the vectors are parallel, the cross product must zero.

 

[Bipolarity]

Construct the planes' normal vectors a_1 \hat x + b_1 \hat y + c_1 \hat z for the first plane and similarly for the second. If the vectors are parallel, the cross product must zero.

I see, but how does this follow from the geometric definition I posted?

BiP

 

[Muphrid]

If the planes are parallel, the vectors normal to them are parallel. The cross product can then be used as a test of whether the vectors are parallel.

 

[Bipolarity]

If the planes are parallel, the vectors normal to them are parallel. The cross product can then be used as a test of whether the vectors are parallel.

Yes ok, but how does that follow from the fact that they must either never intersect or they must intersect at every point on their graphs if they are parallel?

The two definitions are quite distinct, and I am looking for a proof that they are definitions of the same thing, that is that satisfying one of the definitions automatically satisfies the other.

BiP

 

[Muphrid]

Let me resort to some projective geometry and geometric algebra then.

Consider a projective 2d space. This has a third "projection" dimension with unit vector e_0 (to go with e_1, e_2). Vectors in this space can be taken to represent points, and typically they're of the form e_0 + x^1 e_1 + x^2 e_2. Any scalar multiple of this vector is taken to represent the same 2d point. (This is why it's called "homogeneous" coordinates.)

To imagine the above, consider a 3d space with a plane offset 1 unit above the origin. Where vectors intersect this plane sets the true 2d coordinates of a given point, and clearly multiplying any such vector by a scalar will not change this point of intersection.

Now, consider two vectors p and q and the 2d subspace that they span. This subspace should intersect the projective plane in a line, and we get the familiar result from geometry that two points are all that's needed to describe a line. Let me denote this line with the following: p \wedge q.

Now let's consider two other vectors r, s, which form the line r \wedge s.

Remember that even though both these objects represent lines in real space, in the projective space they are 2d subspaces through the origin. If these lines are parallel, then the 2d subspaces they define should intersect only at the origin or they intersect everywhere (if the lines are coincident). If not, then the 2d subspaces share a common 1d subspace (a common vector). Since vectors = points, then if we can find the common vector, then we can find the point of intersection. The common elements between two subspaces is called the meet of the subspaces, and this is where I think we can connect to your geometric definition:

Theorem: Two non-identical subspaces are parallel if and only if the meet of those subspaces is only the origin. Two identical subspaces are always parallel.

I've introduces this notion based solely on lines, but I think it should be straightforward to extend to planes (if more difficult to visualize in projective space). Now, what is the meet between two projected lines? This is where the "geometric algebra" part really comes in. That formalism gives us the power to use a "commutator product" between subspaces that acts like an exclusive or. Between two projected lines, if they have a common vector, the commutator product of the lines will give us a 2d subspace that is orthogonal to that common line, which can then be found by duality. The process for planes in a real 3d space is similar.

I know that this may seem like a lot more overhead than you were looking for--projective geometry is a bit strange. But if you're interested, I can go into more detail and prove things more rigorously, where here I've only tried to be persuasive.

 

[chiro]

Hey BiPolarity.

Remember if two planes are parallel, the linear equations that describe them are linearly dependent.

If you have two normal vectors that are scalar multiples of each other, then can you use the basic formula of linear independence to show that there are non-zero constants for this to hold?

(Recall: a set of vectors are linearly independent if a linear combination equalling zero implies all coeffecients are also zero).

 

[Erland]

Suppose we have two planes with equations

a_{1}x + b_{1}y + c_{1}z = d_{1} and a_{2}x + b_{2}y + c_{2}z = d_{2}.

(We assume here that a_1, b_1,c_1 are not all 0, for then the solution set of the first equation alone is all the space, if d_1=0, and empty otherwise. Similarly for the second equation.)

Now, if a_1=a_2, b_1=b_2, c_1=c_2, or if we can obtain this by multiplying one of the equations with a nonzero constant (which does not change the solution set), then the equations can have no common solution, and hence the planes do not intersect, so they are parallell, unless also d_1=d_2, in which case the equations are identical and the planes coincide.

In every other case, solving the equation system gives a one-parameter solution, where one of the variables can be choosen freely. This means that the planes intersect along a line.