Formulate a conjecture about the relationship between the area of the polygon and the area of its image under a linear transformation.
Determinants, Areas, and Volumes
Determinant and the Area of a Parallelogram
Consider the parallelogram determined by vectors and in .
Recall that the area of a parallelogram is given by the product of the length of the base and the height. As shown in the diagram below, the length of the base is the magnitude of . The height, , can be found using trigonometry
Using the area of a parallelogram formula together with Theorem th:crossproductsin we get We have established the following formula.
Formula form:areaofparallelogram can be easily adapted to parallelograms determined by vectors in , as illustrated by the following example.
Example ex:areaofparallelogram illustrates an important phenomenon. Observe that the zeros in the last column of the determinant ensure that the and components of the cross product are zero, while the last component is the determinant of the matrix whose rows (or columns) are the two vectors that determine the parallelogram in . In general, if the parallelogram is determined by vectors then the area of the parallelogram can be computed as follows:
So the area of the parallelogram turns out to be the absolute value of the determinant of the matrix whose rows (or columns) are the two vectors that determine the parallelogram. The following formula summarizes our discussion.
We can find the total area of the polygon by finding the area of each triangle. The area of each triangle is half of the area of the corresponding parallelogram. For instance, is half of the area of the parallelogram depicted below.
We compute The total area of the polygon is .
Determinant and the Volume of a Parallelepiped
Our next goal is to find the volume of a three-dimensional figure called a parallelepiped. A parallelepiped is a six-faced figure whose opposite faces are congruent parallelograms located in parallel planes. A parallelepiped is a three-dimensional counterpart of a parallelogram, and is determined by three non-coplanar vectors in . The figure below shows a parallelepiped determined by three vectors.
Consider a parallelepiped determined by vectors , and , as shown below.
The volume of a parallelepiped is given by We will consider the parallelogram determined by and to be the base of the parallelepiped. Thus, the area of the base is given by
The height of the parallelepiped is measured along a line perpendicular to the base. By Theorem th:crossproductorthtouandv, lies on such a line. Let be the angle between and , . Then the height, , of the parallelepiped is given by
It may be difficult to visualize this in two dimensions. Below is a replica of of the above diagram in GeoGebra. RIGHT-CLICK and DRAG to rotate the image.
This gives us the following formula for the volume of the parallelepiped
We have established the following formula.
Our next goal is to show that this expression for the volume is equal to the determinant of a matrix whose rows are the vectors that determine the parallelepiped.
Let then \begin{align} \label{eq:boxproduct}(\vec{u}\times \vec{v})\dotp \vec{w}=\begin{vmatrix}\vec{i}&\vec{j}&\vec{k}\\u_1&u_2&u_3\\v_1&v_2&v_3\end{vmatrix}\dotp \begin{bmatrix}w_1\\w_2\\w_3\end{bmatrix}=\begin{vmatrix}w_1&w_2&w_3\\u_1&u_2&u_3\\v_1&v_2&v_3\end{vmatrix} \end{align}
The expression in (eq:boxproduct) is sometimes referred to as the box product or the scalar triple product.
Recall that (Theorem th:detoftrans). Therefore, the three vectors that determine the parallelogram can be used to form rows or columns of the determinant on the right side of (eq:boxproduct). This gives us the following formula.
Determinants and Linear Transformations
We will now turn our attention to the determinant of a matrix of a linear transformation.
Practice Problems
- (a)
- Sketch both figures in the same coordinate plane, and use geometry to
explain why and have the same area. Compute the area of using Formula
form:areaofparallelogramdeterminant.
- (b)
- Suppose is the standard matrix of a linear transformation such that . Find .