Skip to content
Topos Uranos

Summary

This lesson carries into space the line given by a point and a direction vector, and describes the plane in vector and parametric form, by a point and two direction vectors, and in Cartesian form, by an equation ax+by+cz=dax + by + cz = d whose coefficients form a normal vector. The cross product connects both forms, and it is proved that every plane has a Cartesian equation, unique up to a factor. The relative positions of planes and lines are translated into linear systems and classified with the Rouché-Capelli theorem (known in the Spanish-speaking world as the Rouché-Frobenius theorem); the scalar triple product decides whether two lines intersect or are skew. The lesson ends with the pencil of planes and with problems on aircraft routes, the inclination of a piece of land and tetrahedra.

Learning objectives

  1. Write a line in space in vector, parametric and symmetric form, also when some component of the direction vector is zero, and prove that exactly one line passes through two distinct points.
  2. Write a plane in vector, parametric and Cartesian form, pass from one form to another with the cross product and construct the plane through three noncollinear points.
  3. Prove that every plane has a Cartesian equation, unique up to a nonzero factor, and that every linear equation in xx, yy and zz with some nonzero coefficient describes a plane.
  4. Decide the relative position of two or of three planes, of a line and a plane and of two lines by means of the ranks of a linear system and the scalar triple product, also when the data depend on a parameter.
  5. Construct with the pencil of planes the plane that contains a line and satisfies another condition, and model with lines and planes situations from air navigation, construction and design.

The line in space

In the lesson of the course Algebra and Geometry I on vectors in the plane and parametric equations of a line, the line in the plane, known as the graph of a first-degree equation since the lesson on the equation of a line, was described as P0+td⃗P_0 + t \vec{d}. In space there is no slope, and a first-degree equation in xx, yy and zz describes, as will be seen, a plane. If this is so, it is convenient to reverse the order: the vector description will be the definition, and the other forms will be deduced from it.

Vectors in space and their dot product were studied in the lesson on vectors in space and the dot product; the cross product and the scalar triple product, in the lesson on the cross product and the scalar triple product. As in the plane, Q=P+v⃗Q = P + \vec{v} means PQ⃗=v⃗\vec{PQ} = \vec{v}, and two nonzero vectors are parallel when one is a multiple of the other. In the figures, the yy-axis points to the right, the zz-axis upward and the xx-axis toward the viewer.

Let AA be a point and v⃗=(v1,v2,v3)\vec{v} = \left( v_1, v_2, v_3 \right) a nonzero vector. The line through AA with direction vector v⃗\vec{v} is the set of the points PP for which there exists a real number tt such that P=A+tv⃗P = A + t \vec{v}; the number tt is called the parameter of PP.
P=A+tv⃗,t∈RP = A + t \vec{v}, \quad t \in \mathbb{R}

The parameter of each point is unique: if A+tv⃗=A+sv⃗A + t \vec{v} = A + s \vec{v}, then (t−s)v⃗=0⃗\left( t - s \right) \vec{v} = \vec{0}, and since v⃗\vec{v} is not zero, t=st = s. For A=(x0,y0,z0)A = (x_0, y_0, z_0) and P=(x,y,z)P = (x, y, z), the vector equation, written in components, gives the parametric equations of the line:

{x=x0+tv1y=y0+tv2z=z0+tv3\begin{cases} x = x_0 + t v_1 \\ y = y_0 + t v_2 \\ z = z_0 + t v_3 \end{cases}

If the parameter is time, these equations describe a uniform motion with velocity v⃗\vec{v}, as in the plane. The same line admits many starting points and many direction vectors; the theorem below shows that two of its points determine it.

TheoremThe line through two points

Through two distinct points AA and BB there passes exactly one line, the one with equation P=A+tAB⃗P = A + t \vec{AB}. Consequently, the equations P=A+tv⃗P = A + t \vec{v} and P=C+sw⃗P = C + s \vec{w} describe the same line if and only if CC lies on the first and w⃗\vec{w} is parallel to v⃗\vec{v}.

In the figure, A=(2,0,1)A = (2, 0, 1) and B=(1,2,2)B = (1, 2, 2), so that AB⃗=(−1,2,1)\vec{AB} = \left( -1, 2, 1 \right), and the other line passes through C=(0,4,3)C = (0, 4, 3) with direction vector v⃗=(1,−2,−1)\vec{v} = \left( 1, -2, -1 \right).

Proof

  1. A+0⋅AB⃗=A,A+1⋅AB⃗=BA + \resaltar{0} \cdot \vec{AB} = A, \qquad A + \resaltar{1} \cdot \vec{AB} = B

    Existence: the vector AB⃗\vec{AB} is not zero, because A≠BA \neq B, and the line through AA with that direction vector contains AA, with parameter 00, and BB, with parameter 11.

  2. A=C+t1v⃗,B=C+t2v⃗\dato{ab}{A = C + t_1 \vec{v}, \qquad B = C + t_2 \vec{v}}

    Uniqueness: let rr be any line, P=C+tv⃗P = C + t \vec{v}, that contains AA and BB, and let t1t_1 and t2t_2 be their parameters. In the figure, t1=2t_1 = 2 and t2=1t_2 = 1.

  3. AB⃗=t2v⃗−t1v⃗=(t2−t1)v⃗\vec{AB} = t_2 \vec{v} - t_1 \vec{v} = \dato{d}{\resaltar{\left( t_2 - t_1 \right)} \vec{v}}

    By the Chasles relation, AB⃗=CB⃗−CA⃗\vec{AB} = \vec{CB} - \vec{CA}. The parameters are distinct, because A≠BA \neq B; therefore AB⃗\vec{AB} is parallel to v⃗\vec{v}. In the figure, AB⃗=−v⃗\vec{AB} = -\vec{v}.

  4. C+tv⃗=A+(t−t1)v⃗=A+t−t1t2−t1AB⃗C + t \vec{v} = A + \left( t - t_1 \right) \vec{v} = A + \resaltar{\frac{t - t_1}{t_2 - t_1}} \vec{AB}

    Every point of rr lies on the line ABAB: we start from AA instead of CC and replace v⃗\vec{v} by its expression in terms of AB⃗\vec{AB}. In the figure, the point of rr with parameter 12\frac{1}{2} is the point of the line ABAB with parameter 32\frac{3}{2}.

  5. A+sAB⃗=A+s(t2−t1)v⃗=C+(t1+s(t2−t1))v⃗A + s \vec{AB} = A + s \left( t_2 - t_1 \right) \vec{v} = C + \resaltar{\left( t_1 + s \left( t_2 - t_1 \right) \right)} \vec{v}

    Conversely, the point with parameter ss on the line ABAB is the one with parameter t1+s(t2−t1)t_1 + s \left( t_2 - t_1 \right) on rr: the two lines have the same points. For the second claim: if the equations describe the same line, CC and C+w⃗C + \vec{w} lie on it, and by the third step w⃗\vec{w} is a multiple of v⃗\vec{v}; if CC lies on the first and w⃗=kv⃗\vec{w} = k \vec{v}, the first contains CC and C+w⃗C + \vec{w}, and it is the line through them.

It follows that two distinct lines have at most one common point: if they shared two, both would be the only line through them. Three points are collinear when some line contains them. If A≠BA \neq B, the point CC is collinear with them if and only if C=A+tAB⃗C = A + t \vec{AB} for some tt, that is, if and only if AC⃗\vec{AC} is a multiple of AB⃗\vec{AB}.

The symmetric equations

Solving for the parameter and equating the results gives equations without a parameter, with care for the zero components of the direction vector.

PropositionSymmetric equations of a line

Let rr be the line through A=(x0,y0,z0)A = (x_0, y_0, z_0) with direction vector v⃗=(v1,v2,v3)\vec{v} = \left( v_1, v_2, v_3 \right). If the three components of v⃗\vec{v} are nonzero, a point (x,y,z)(x, y, z) lies on rr if and only if the equalities below hold. If only v2v_2 is zero, the condition is x−x0v1=z−z0v3\frac{x - x_0}{v_1} = \frac{z - z_0}{v_3} and y=y0y = y_0; if v2v_2 and v3v_3 are zero, the condition is y=y0y = y_0 and z=z0z = z_0. The cases in which other components vanish are obtained by interchanging the roles of the coordinates.

x−x0v1=y−y0v2=z−z0v3\frac{x - x_0}{v_1} = \frac{y - y_0}{v_2} = \frac{z - z_0}{v_3}

In the figure, A=(1,2,−1)A = (1, 2, -1) and v⃗=(2,0,4)\vec{v} = \left( 2, 0, 4 \right), the vector that goes from AA to B=(3,2,3)B = (3, 2, 3).

Proof

  1. x−x0v1=t,y−y0v2=t,z−z0v3=t\frac{x - x_0}{v_1} = \resaltar{t}, \quad \frac{y - y_0}{v_2} = \resaltar{t}, \quad \frac{z - z_0}{v_3} = \resaltar{t}

    If the three components are nonzero and P=A+tv⃗P = A + t \vec{v}, we solve each parametric equation for tt: the three quotients equal tt.

  2. x=x0+tv1,y=y0+tv2,z=z0+tv3x = x_0 + \resaltar{t} v_1, \quad y = y_0 + \resaltar{t} v_2, \quad z = z_0 + \resaltar{t} v_3

    Conversely, if the three quotients are equal, we call tt their common value; multiplying each equality by its denominator recovers the parametric equations, and P=A+tv⃗P = A + t \vec{v} lies on rr.

  3. x−12=z+14,y=2\frac{x - 1}{2} = \frac{z + 1}{4}, \quad \resaltar{y = 2}

    If only v2v_2 is zero, the second equation is y=y0y = y_0 for every tt, and it is written separately, because dividing by 00 makes no sense. In the figure, the line lies in the plane y=2y = 2.

  4. y=2,z=−1\resaltar{y = 2}, \quad \resaltar{z = -1}

    If v2v_2 and v3v_3 are zero, the last two equations fix yy and zz, and for each xx the parameter t=x−x0v1t = \frac{x - x_0}{v_1} gives the point: the line is the parallel to the xx-axis drawn through AA, which appears in the background of the figure.

  5. 4−12=5+14=32,2−12≠2+14\frac{4 - 1}{2} = \frac{5 + 1}{4} = \frac{3}{2}, \qquad \frac{2 - 1}{2} \neq \frac{2 + 1}{4}

    Check in the figure: C=(4,2,5)C = (4, 2, 5) lies on the line, with parameter 32\frac{3}{2}, and D=(2,2,2)D = (2, 2, 2) does not, although it satisfies y=2y = 2.

Each equality of the symmetric equations is a first-degree equation: the line in the figure is the solution set of 2x−z=32x - z = 3 and y=2y = 2. Once it is seen that every such equation describes a plane, this will say that the line is the intersection of two planes, its implicit form.