Linear Algebra/Determinants as Size Functions/Solutions

Solutions Problem 1 Find the volume of the region formed. <li> <li> <li> Answer For each, find the determinant and take the absolute value. <li> <li> <li> Problem 2 Is inside of the box formed by these three? Answer Solving gives the unique solution , and . Because , the vector is not in the box. Problem 3 Find the volume of this region. x100px Answer Move the parallelepiped to start at the origin, so that it becomes the box formed by and now the absolute value of this determinant is easily computed as . Problem 4 Suppose that . By what factor do these change volumes? <li> <li> <li> Answer <li> <li> <li> Problem 5 By what factor does each transformation change the size of boxes? <li> <li> <li> Answer Express each transformation with respect to the standard bases and find the determinant. <li> <li> <li> Problem 6 What is the area of the image of the rectangle under the action of this matrix? Answer The starting area is and the matrix changes sizes by . Thus the area of the image is . Problem 7 If changes volumes by a factor of and changes volumes by a factor of then by what factor will their composition changes volumes? Answer By a factor of . Problem 8 In what way does the definition of a box differ from the definition of a span? Answer For a box we take a sequence of vectors (as described in the remark, the order in which the vectors are taken matters), while for a span we take a set of vectors. Also, for a box subset of there must be vectors; of course for a span there can be any number of vectors. Finally, for a box the coefficients , ..., are restricted to the interval , while for a span the coefficients are free to range over all of . Problem 9 Why doesn't this picture contradict Theorem 1.5? <TR> <TD> x200px <TD> <TD>x200px <TR> <TD>area is <TD>determinant is <TD>area is Answer That picture is drawn to mislead. The picture on the left is not the box formed by two vectors. If we slide it to the origin then it becomes the box formed by this sequence. Then the image under the action of the matrix is the box formed by this sequence. which has an area of . Problem 10 Does ? ? Answer Yes to both. For instance, the first is . Problem 11 <li> Suppose that and that . Find . <li> Assume that . Prove that . Answer <li> If it is defined then it is . <li> . Problem 12 Let be the matrix representing (with respect to the standard bases) the map that rotates plane vectors counterclockwise thru radians. By what factor does change sizes? Answer Problem 13 Must a transformation that preserves areas also preserve lengths? Answer No, for instance the determinant of is so it preserves areas, but the vector has length . Problem 14 What is the volume of a parallelepiped in bounded by a linearly dependent set? Answer It is zero. Problem 15 Find the area of the triangle in with endpoints , , and . (Area, not volume. The triangle defines a plane— what is the area of the triangle in that plane?) Answer Two of the three sides of the triangle are formed by these vectors. One way to find the area of this triangle is to produce a length-one vector orthogonal to these two. From these two relations we get a system with this solution set. A solution of length one is this. Thus the area of the triangle is the absolute value of this determinant. Problem 16exer:DetProdEqProdDetsFcn An alternate proof of Theorem 1.5 uses the definition of determinant functions. <li> Note that the vectors forming make a linearly dependent set if and only if , and check that the result holds in this case. <li> For the case, to show that for all transformations, consider the function given by . Show that has the first property of a determinant. <li> Show that has the remaining three properties of a determinant function. <li> Conclude that . Answer <li> Because the image of a linearly dependent set is linearly dependent, if the vectors forming make a linearly dependent set, so that , then the vectors forming make a linearly dependent set, so that , and in this case the equation holds. <li> We must check that if then . We can do this by checking that pivoting first and then multiplying to get gives the same result as multiplying first to get and then pivoting (because the determinant is unaffected by the pivot so we'll then have that and hence that ). This check runs: after adding times row of to row of , the entry is , which is the entry of . <li> For the second property, we need only check that swapping and then multiplying to get gives the same result as multiplying by first and then swapping (because, as the determinant changes sign on the row swap, we'll then have , and so ). This ckeck runs just like the one for the first property. For the third property, we need only show that performing and then computing gives the same result as first computing and then performing the scalar multiplication (as the determinant is rescaled by , we'll have and so ). Here too, the argument runs just as above. The fourth property, that if is then the result is , is obvious. <li> Determinant functions are unique, so , and so . Problem 17 Give a non-identity matrix with the property that . Show that if then . Does the converse hold? Answer Any permutation matrix has the property that the transpose of the matrix is its inverse. For the implication, we know that . Then . The converse does not hold; here is an example. Problem 18 The algebraic property of determinants that factoring a scalar out of a single row will multiply the determinant by that scalar shows that where is , the determinant of is times the determinant of . Explain this geometrically, that is, using Theorem 1.5, Answer Where the sides of the box are times longer, the box has times as many cubic units of volume. Problem 19similar Matrices and are said to be similar if there is a nonsingular matrix such that (we will study this relation in Chapter Five). Show that similar matrices have the same determinant. Answer If then . Problem 20exer:BasisOrient We usually represent vectors in with respect to the standard basis so vectors in the first quadrant have both coordinates positive. x100px          Moving counterclockwise around the origin, we cycle thru four regions: Using this basis          x100px gives the same counterclockwise cycle. We say these two bases have the same orientation. <li> Why do they give the same cycle? <li> What other configurations of unit vectors on the axes give the same cycle? <li> Find the determinants of the matrices formed from those (ordered) bases. <li> What other counterclockwise cycles are possible, and what are the associated determinants? <li> What happens in ? <li> What happens in ? A fascinating general-audience discussion of orientations is in Gardner 1990. Answer <li> The new basis is the old basis rotated by . <li> , <li> In each case the determinant is (these bases are said to have positive orientation). <li> Because only one sign can change at a time, the only other cycle possible is Here each associated determinant is (such bases are said to have a negative orientation). <li> There is one positively oriented basis and one negatively oriented basis . <li> There are bases ( half-axis choices are possible for the first unit vector, for the second, and for the last). Half are positively oriented like the standard basis on the left below, and half are negatively oriented like the one on the right x200px                  x200px In positive orientation is sometimes called "right hand orientation" because if a person's right hand is placed with the fingers curling from to then the thumb will point with . Problem 21exer:DetProdEqProdDetsPerms This question uses material from the optional Determinant Functions Exist subsection. Prove Theorem 1.5 by using the permutation expansion formula for the determinant. Answer We will compare with to show that the second differs from the first by a factor of . We represent the 's with respect to the standard bases and then we represent the map application with matrix-vector multiplication where is column of . Then equals . As in the derivation of the permutation expansion formula, we apply multilinearity, first splitting along the sum in the first argument and then splitting each of those summands along the sums in the second arguments, etc. We end with, as in the derivation of the permutation expansion, summand determinants, each of the form . Factor out each of the 's . As in the permutation expansion derivation, whenever two of the indices in , ..., are equal then the determinant has two equal arguments, and evaluates to . So we need only consider the cases where , ..., form a permutation of the numbers , ..., . We thus have Swap the columns in to get the matrix back, which changes the sign by a factor of , and then factor out the determinant of . As in the proof that the determinant of a matrix equals the determinant of its transpose, we commute the 's so they are listed by ascending row number instead of by ascending column number (and we substitute for ). Problem 22 <li> Show that this gives the equation of a line in thru and . <li> Peterson 1955 Prove that the area of a triangle with vertices , , and is <li> Bittinger 1973 Prove that the area of a triangle with vertices at , , and whose coordinates are integers has an area of or for some positive integer . Answer <li> An algebraic check is easy. simplifies to the familiar form (the case is easily handled). For geometric insight, this picture shows that the box formed by the three vectors. Note that all three vectors end in the plane. Below the two vectors on the right is the line through and . x300px The box will have a nonzero volume unless the triangle formed by the ends of the three is degenerate. That only happens (assuming that ) if lies on the line through the other two. <li> This is how the answer was given in the cited source. The altitude through of a triangle with vertices and is found in the usual way from the normal form of the above: Another step shows the area of the triangle to be This exposition reveals the modus operandi more clearly than the usual proof of showing a collection of terms to be identitical with the determinant. <li>This is how the answer was given in the cited source. Let then the area of the triangle is . Now if the coordinates are all integers, then is an integer. References Marvin (proposer) Bittinger Quickie 578 Mathematics Magazine American Mathematical Society 46 5 286,296 Jan. 1973. Martin Gardner The New Ambidextrous Univers W. H. Freeman and Company Third Revised 1990. G. M. Peterson Area of a triangle American Mathematical Monthly American Mathematical Society 62 4 249 Apr. 1955. J. D. Weston Volume in Vector Spaces American Mathematical Monthly American Mathematical Society 66 7 575-577 Aug./Sept. 1959.