For many practical applications you have to work with the mathematical descriptions of lines, planes, curves, and surfaces in 3-dimensional space. This requires some knowledge on vectors and the ability to construct 3-dimensional graphs without using calculators.
Although the equation for lines is discussed in previous chapters (see Chapter 7.1), this chapter will explain more in detail about the properties and important aspects of lines, as well as the expansion into general curves in 3-dimensional space.
Recall in Chapter 5.1, parametric equations use a different variable to express the relation between two variables. For example, look at the following equation of a circle:
If we express variables and with a new variable , and we know that , we can rewrite the original equation into:
The equation above is the parametric form of a circle with a radius of .
Now, let's talk about lines in 3-dimensional space.
A line in space is defined by two points in space, which I will call and . Let be the vector from the origin to , and the vector from the origin to .
Given these two points, every other point on the line can be reached by
where is the vector from and :
To intuitively understand the equation of a line, imagine that there is a line going through the end point of the vector and stretches in the direction of the vector . Just view it as a vector version of the point-slope form. For example, assume there is a line in 3-dimensional space with the equation:
We can graph the line by first finding the point . Then, we stretch the line in the direction parallel with the vector . The final graph is the graph of the line . Sometimes the direction vector is unknown. However, it can be easily solved by finding another point on the line. In this case, the point is on the line. By calculating the vector between the two points, we can find out that the direction vector is . Thus, the equation for the line can be written as
which is equivalent with the original equation because if we let , the original equation will turn into the equation above. Therefore, there are infinitely many ways to write an equation of a line in 3-dimensional space using the vector form.
Now, there is a parametric form of expressing a line. Recall that there is another way to write down vectors: . So, we can rewrite the original equation into:
Then, we assign the respective parts to the corresponding axes
This is the parametric form of the equation for lines.
The final common way to notate lines is the symmetric equations, which is just another slight transformation from the parametric form:
To summarize, there are basically three ways to write the equation for a line that passes through the point with the direction .
There are lines which intersect each other and those which do not. There can be parallel, perpendicular, and skew lines, which will be discussed in this part.
Intersection
Assume there are two lines with the equations:
or in parametric form
or in parametric form
To find out if they intersect or not, we just need to solve the system of equations
If the system of equations has only one solution, then the two lines intersect at one point. If the system of equations has infinitely many solutions, then the two lines are the same. If the system of equations does not have a solution, then the two lines do not intersect at all. In this case, there is a solution:
Thus the two lines intersect at point .
If we want to further know the angle between the two lines, we can apply the dot product formula. The angle between the two lines should be:
Parallel
To spot two parallel lines in 3-dimensional space, we just need to look at the direction vector . If the direction vectors of the two lines have such relationship that , then the two lines are parallel with each other. For example, the two lines and are parallel with each other because .
Perpendicular
To have two lines perpendicular with each other, those two lines must intersect first. If they do intersect, recall the dot product of vectors. The dot product states that:
If two lines are perpendicular with each other, , which results in .
So, if we continue this flow of thought, we can find that if we choose two vectors on each line, have a dot product between them, and the result is zero, then we can safely say that the two lines are perpendicular with each other. However, there is a more convenient way to simplify the process. Instead of finding two vectors on each line, we just need to apply the dot product on the two direction vectors because the direction vectors are calculated from points on the respective lines.
So if we have two lines:
and
They are perpendicular with each other because
has one and only solution: , which means they intersect. And
Thus ending the proof.
Skew lines
Skew lines are lines that do not intersect and are not parallel with each other. For example, lines and are skew lines.
Distance between two skew lines
To solve this problem, we need to know more about planes in 3-dimensional space, which will be discussed below.
The same idea can be used to describe a plane in 3-dimensional space, which is uniquely defined by three points (which do not lie on a line) in space ().
Let be the vectors from the origin to . Then
with:
Note that the starting point does not have to be , but can be any point in the plane. Similarly, the only requirement on the vectors and is that they have to be two non-collinear vectors in our plane.
Recall that in 2-dimensional vectors, if there are two vectors , any vector on the Cartesian plane can be expressed in terms of the vectors by . Using the same method, we can deduce that
the part tells us that the graph should be a plane, and the part describes the "slope" and the axes intersections
However, there two other ways to express a plane in 3-dimensional space: the vector equation and the scalar equation.
The vector equation for planes requires us to understand the power of the dot product. We already knew that when the dot product of two vectors is zero, the two vectors should be perpendicular with each other. Now, imagine a vector in 3-dimensional space. If we graph out all the vectors that are perpendicular with , what will the result be?
The result should be a plane with a vector perpendicular with the plane. Thus, the vector equation for planes is simply .
the vector is the normal vector, which is perpendicular with the plane
the vector is the variable vector where (unknown points on the plane) and (a given point on the plane). This expressions simply means all the vectors on the plane.
Of course, the vector equation for planes can be rewritten as or , depending on the writer.
To find out the scalar equation, we just need to calculate the dot product and do some simplifications. So, let's assume that
, , and
According to the vector equation
Thus, we have
After some algebraic manipulations, we can get
Since the is a constant, we just let . As a result, the scalar equation for planes is
Note that the constants are the same as the components of the normal vector. This property will be extremely useful when discussing the relations between two planes. Also, .
To summarize, there are three ways to notate a plane in 3-dimensional space, with the latter two more commonly used:
The normal vector is important because it determined the how the plane is shaped. So when we are discussing the relations between two planes, we are actually trying to find out the connections between the normal vectors of the two planes. In this case, assume there are two planes in the 3-dimensional space: and . The normal vectors for the planes should be:
Since normal vectors are perpendicular with their corresponding planes, if the normal vectors are parallel with each other, the respective planes should also be parallel with each other. Thus,
If , then and are parallel with each other.
Perpendicular
If the normal vectors are perpendicular with each other, the respective planes will be perpendicular. In other words, if , then the planes are perpendicular with each other.
Intersection
To fully understand how to find the intersection between two lines, we should be familiar with the normal vector and its potential. If the two planes are not parallel and are not basically the same plane, then they must intersect with each other. The intersection should form a line. Imagine there are two planes and , and their respective normal vectors (which means they are not parallel).
Because normal vectors are perfectly perpendicular to all vectors on the plane, the opposite is also true: all vectors on the plane are perpendicular to their respective normal vectors. This is why is the vector equation of the plane. Since the intersection of the two planes is a line, we can say that the direction vector should be on both planes.
Because is on both planes, should be perpendicular with both normal vectors
Recall that the cross product of two vectors will result in a new vector that is perpendicular with both the original vectors. We can calculate the cross product of to create .
So the direction vector for the line is
We still need to know a point on the line to finish the equation because . To find a point, simply let and solve for in the following system of equations
Because the solution is too complicated to write down, we will let and . Thus, the point is on both planes (recall that we let ) and .
Now, we know a point on the line and the direction vector , the intersection between the two planes is:
For those who prefer a cleaner expression:
And if we want to know the angle between the planes, similar to how we find out the angle between two lines, we apply the dot product:
Distance between two parallel planes
The distance between two non-parallel planes is zero because they intersect. So, we should focus on the distance between parallel planes. Before we do that, it will be more convenient if we know the distance from a point to a plane.
Let the distance be , the point be , the plane be .
Knowing the equation for the plane can help us know the normal vector, since the normal vector is perpendicular to the plane, the exact direction we need. .
Now, we start solving. First, assume there is point on the plane . Then, we create a vector from to : . We will also let the angle between vectors and be . If we graph out what it looks like, we can easily understand how the distance is deduced.
(the absolute value is needed because the distance should always be larger than zero)
However, we do not know . We can calculate by applying the dot product. But, there is a simpler way:
Using some very interesting manipulation, we can get
As we can see, the nominator is actually the other way of expressing the dot product of two vectors. So, we can stop worrying about not knowing the value of .
We can now substitute those vectors with their coordinates. After some algebra, we get
Since is on the plane, . We can further simplify the formula into , thus finishing our deduction.
There are other ways to write down the formula. For people who prefer simpler notations, the following formulae are also ways to express the distance:
or
After we do some further "investigation" on the distance formula, we can find that only the equation of the plane and one point are needed to calculate the distance between them, which is very convenient because the fewer things we need to solve a problem, the more convenient the problem is. When we try to find the distance between two parallel planes, we just need one point on one plane and the equation for the other plane to solve.
Distance between two skew lines (continue)
Assume that lines are skew lines, we can calculate the distance by assuming that those lines belong in two parallel planes respectively. Then, the problem changes from solving the distance between two skew lines to solving the distance between two parallel planes.
We still need to know the normal vector of both planes. We can simply apply the cross product on the two direction vectors of both lines: . because are not pointing towards the same direction. Now we can apply the newly deduced distance formula on the two skew lines.
A cylinder is a surface that consists of all lines that are parallel to a given line and pass through a given plane curve. There are several special cylinders such as the parabolic cylinder and the circular cylinder. For example, the image on the right is a parabolic cylinder. Parabolic cylinder typically has an equation of:
etc.
If we want to move the cylinder around without rotating it, we can have the equation:
, where are constants.
It is just like the parabola we have discussed early in Chapter 1.6 but with a new dimension. Circular cylinders, similar to how we derive the parabolic cylinder, looks just like a cylinder with a circle as its "base", with an equation of:
etc.
If we want to make the circular cylinder more "elliptic", just like how we derive the equation for an ellipse, the elliptic cylinder has an equation of:
, where are constants.
It is just like an ellipse on the -plane but infinitely stretched in the direction.
It looks similar to the general equation for conic sections (), except it has one more variable . After some translations and rotations, we can simplify the general equation into the standard equations:
Standard equations for quadric surfaces
The standard equations for quadric surfaces are:
where are constants.
Of course, depending on the specific quadric surface, there are different forms of standard equations, which we will see in the following discussions.
It is difficult to sketch quadric surfaces because instead of two variables, there are three, making the process very complicated without the help of calculators. However, there is a way to make us easier to understand. We can analyze each plane to see what the shape looks like, and then combine what we analyzed from each plane to form a rather complete graph of the surface. Take this for example:
Let us first examine the -plane. To examine the -plane, we need to imagine as a constant. In this case, imagine that , so
, where .
We can see that in the -plane, the graph will be like an ellipse. We call that the horizontal trace in the plane is an ellipse.
Let us furthermore analyze the vertical traces in the planes .
, where .
, where .
We can see that on both vertical traces in the planes are ellipses. In other words, the graphs in both -plane and -plane look like ellipses. Since all traces are ellipses, the surface is an ellipsoid with vertices .
There are variations of the equation depending on which trace is an ellipse. For the equation above, the horizontal trace is an ellipse as seen in the image on the right.
Take for example. the horizontal trace, which means , is:
, where .
For both vertical traces, we can see that those traces have the shape of a parabola.