Planes

We shall next define another geometrical configuration in n-space; its category is again that of a set of points. It will be called a plane, and once again it is determined by giving a point and a vector. Our experience in geometry tells us that in ordinary 3-space a plane is completely determined if we know a point on the plane and a direction (i.e., a vector or a line segment) perpendicular to the plane. We shall find an equation which will provide a rule for deciding whether a given point is on our plane. For a given point and a given vector , the set of points whose coordinates satisfy this equation will then be called the plane through and perpendicular to .

Suppose is any point on such a plane. Then the line segment joining and must lie in this plane and therefore must itself be perpendicular to A. Considering this segment as a vector , as indicated in the diagram, we see that , or that This is then the desired equation, and the plane is the set of all points satisfying this relation.

For example, the equation of a plane in 3-space would look like where we use instead of . This is of the form , where . The point is a point of the plane, which we could take as our P. We see from this how to recover a vector perpendicular to a plane from the equation: we simply form a vector whose components are the coefficients of and , in this notation.

It is also evident how to determine from a pair of equations of this form whether the planes they define are parallel. For this question is equivalent to the question of parallelism for two vectors perpendicular to the planes. Since such vectors are given by reading off the coefficients of and , we see that the two planes are parallel if and only if these coefficients are proportional.