For the particular eigenvectors chosen in (iii), the dot products areThus only and are orthogonal for this choice. The matrix is not symmetric, so distinct eigenvalues alone do not imply orthogonality. Another basis within the repeated eigenspace may change which chosen vectors are perpendicular; the dot products above specify the convention completely.
Use orthogonality to the image of a matrix. For , the condition is , since must vanish for every nonzero input. Direct multiplication givesEach coefficient must vanish; choosing the three coordinate basis vectors as inputs already proves necessity. Solve , to obtainThese values make every output have zero dot product with , including any zero output. Here orthogonality is understood in this algebraic sense; no direction is assigned to the zero vector.
The nonzero vectors are normal vectors to the two planes. If , then for some nonzero real . Their equations are therefore and .
When , the planes coincide and their intersection is an entire plane. Otherwise they are distinct parallel planes and have no intersection. Neither case has exactly a line as its intersection. Hence is necessary for intersection in a line. It means that the two normal vectors are not parallel; in that case it is also sufficient.
A directional derivative measures change per unit distance, so first normalize the direction: . The gradient isTaking the dot product with the unit vector,Using the unnormalized vector would instead give , the change per unit parameter along ; it is not the rate per unit distance requested here.
Solving gives and . A convenient normalized eigenvector isThe displayed nonzero vector proves that four is an eigenvalue. Every nonzero multiple represents the same eigendirection.
A vector perpendicular to has the form . Direct matrix multiplication givesThus every nonzero such vector is an eigenvector with . The zero vector must be excluded from the literal claim about “any” perpendicular vector, since an eigenvector is nonzero. The eigenspace is two-dimensional. Equivalently, exhibits the spectrum of a scalar matrix plus a rank-one projector.
The volume of a parallelepiped is the absolute scalar triple product of its three edge vectors. Since ,The factor appropriate to a tetrahedron must not be applied to this parallelepiped.
If either vector is zero, both sides vanish. Otherwise let be the angle between them. The magnitudes of the cross product and dot product are described bySquaring and using proves Lagrange's identity:
Use as an anchor. Two directions in the required plane areTheir cross product is , so a normal vector is . The Cartesian equation of a plane isDirect substitution verifies all three given points. The independent direction vectors ensure the plane is uniquely determined.
The two derivatives are and . At the intersection their slopes are and , so their direction vectors and have zero dot product. Thus the tangent lines are perpendicular and their angle is
The symmetry between the first and third coordinates makes an eigenvector, with eigenvalue . In the remaining invariant plane, write a vector as . Its image is , so the reduced eigenvalue equation has determinantThe corresponding directions have for and for . Normalizing givesTheir squared unnormalized norms are . The pairwise unnormalized dot products are , , and , so these unit eigenvectors are mutually orthogonal. The eigenvalues sum to and have product zero, agreeing with part (a).
Expand an arbitrary vector in the orthonormal eigenbasis:Its image has no component along , soAlternatively, symmetry gives . This is image-kernel orthogonality for an adjoint, with .
The nonparallel direction unit vectors have nonzero cross product. LetFor any joining vector , its normal component is fixed:Thus its length is at least the absolute value of that component. Since the two line directions span , suitable cancel the entire component in that plane, attaining the bound. Therefore the distance between skew lines, including the zero-distance intersecting case, isThe numerator is a scalar triple product. The nonparallel hypothesis is essential to the denominator and to the spanning argument.
Choose any nonzero auxiliary vector not collinear with . Then form a basis, so writeTaking the dot product with gives . This separates the two cases requested in the hint.
If , choose freely and solve for :If , the coefficient of is fixed and the other two are free:These formulas describe the whole plane with normal , including . Completeness follows from the basis expansion, not only from checking that the displayed vectors satisfy the equation. The parametrization of a plane with an auxiliary vector also gives a single formula valid in both cases.
Collect the coefficients of the unknowns into the matrix and the constants into a column. The requested linear system isThe unknown coordinate here is a scalar component; the right-hand column is the vector denoted by the question's matrix-form notation.
The vectors and are eigenvectors, with respective eigenvalues and . The exponential definitions reduce these toAt they coincide and the matrix is the identity.
Let be the Cartesian basis vectors, with the given vector . The permutation matrix cycles them forward:Thus three applications return the original vector.
