Porisma

Describe a plane

Choose between parametric, normal and Cartesian forms.

Picture the coordinate planes

Choose the plane description from the information given: a point and two independent directions, or a point and a nonzero normal. Keep that distinction when converting forms. A normal is perpendicular to the plane; it is not a direction along it.

A plane is a flat, two-dimensional surface extending indefinitely.

In three-dimensional coordinates, each pair of axes determines a coordinate plane: the xyxy-plane (z=0z=0), xzxz-plane (y=0y=0), and yzyz-plane (x=0x=0).

The source room analogy places the floor in the xyxy-plane, the left wall in the xzxz-plane and the right wall in the yzyz-plane, using its chosen axes.

The walls and floor are finite pieces of these planes; there are also planes in other orientations.

Move within a plane

Choose a point A with position vector a\mathbf a and two nonzero, nonparallel directions b,c\mathbf b,\mathbf c parallel to the plane. For any point R in the plane,

AR→=λb+μc,OR→−OA→=λb+μc,r=a+λb+μc,λ,μ∈R.\begin{aligned}\overrightarrow{AR}&=\lambda\mathbf b+\mu\mathbf c,\\\overrightarrow{OR}-\overrightarrow{OA}&=\lambda\mathbf b+\mu\mathbf c,\\\mathbf r&=\mathbf a+\lambda\mathbf b+\mu\mathbf c,\quad\lambda,\mu\in\mathbb R.\end{aligned}

The drawn parallelogram is a finite representation of an infinite plane; any patch shape can be used. Real parameters are not restricted to its edges. Changing the base point or independent directions gives another equation of the same plane. Parallel directions span only a line. The source QR code links to a parametric-plane activity; this source pointer is retained, without claiming a review of the external activity.

Use a normal instead of two directions

For A and B in a plane with nonzero normal n\mathbf n, the in-plane displacement is perpendicular to n\mathbf n:

AB→⋅n=0,(b−a)⋅n=0,b⋅n=a⋅n=d.\begin{aligned}\overrightarrow{AB}\cdot\mathbf n&=0,\\(\mathbf b-\mathbf a)\cdot\mathbf n&=0,\\\mathbf b\cdot\mathbf n&=\mathbf a\cdot\mathbf n=d.\end{aligned}

The same value is obtained at any point R, giving the scalar-product form

r⋅n=a⋅n.\mathbf r\cdot\mathbf n=\mathbf a\cdot\mathbf n.

For two independent in-plane directions p,q\mathbf p,\mathbf q, a normal is p×q\mathbf p\times\mathbf q. If the plane passes through the origin, a⋅n=0\mathbf a\cdot\mathbf n=0. The converse also holds when n≠0\mathbf n\ne\mathbf0.

The source lists four ways to determine a unique plane: a nonzero normal and a point; two nonparallel directions and a point; two intersecting, nonparallel lines; or three non-collinear points. A zero normal gives no plane constraint, and three collinear points do not determine a unique plane.

For a line-plane angle, first compare the line direction with the plane normal, then take the complementary acute angle. For two planes, compare their normals.

Convert between plane equations

Write r=(x,y,z)\mathbf r=(x,y,z) and the nonzero normal n=(n1,n2,n3)\mathbf n=(n_1,n_2,n_3). Expanding r⋅n=d\mathbf r\cdot\mathbf n=d gives

n1x+n2y+n3z=d.n_1x+n_2y+n_3z=d.

These are equivalent forms of the same plane; choose the one convenient for the task. The source summary gives the conversion routes:

  • Parametric r=a+λm1+μm2\mathbf r=\mathbf a+\lambda\mathbf m_1+\mu\mathbf m_2: find n=m1×m2\mathbf n=\mathbf m_1\times\mathbf m_2, then d=a⋅nd=\mathbf a\cdot\mathbf n.
  • Scalar product r⋅n=d\mathbf r\cdot\mathbf n=d: expand the dot product to obtain the Cartesian equation.
  • Cartesian n1x+n2y+n3z=dn_1x+n_2y+n_3z=d: read off n=(n1,n2,n3)\mathbf n=(n_1,n_2,n_3) to recover the scalar-product form.

The directions must be independent and the normal nonzero. Multiplying both the normal and dd by the same nonzero scalar preserves the plane. Scaling only one side generally changes it.

Three forms of each coordinate plane

All parameters below are real.

xyxy

Parametric vector form:

r=λi+μj\mathbf r=\lambda\mathbf i+\mu\mathbf j

Scalar-product form:

r⋅k=0\mathbf r\cdot\mathbf k=0

Cartesian form:

z=0z=0

yzyz

Parametric vector form:

r=λj+μk\mathbf r=\lambda\mathbf j+\mu\mathbf k

Scalar-product form:

r⋅i=0\mathbf r\cdot\mathbf i=0

Cartesian form:

x=0x=0

xzxz

Parametric vector form:

r=λi+μk\mathbf r=\lambda\mathbf i+\mu\mathbf k

Scalar-product form:

r⋅j=0\mathbf r\cdot\mathbf j=0

Cartesian form:

y=0y=0

Diagrams for this unit

Open 3 diagrams

Try these examples

Open an example in chapter practice. Try it first, then read its solution. Use “Learn this step” to return to this unit.