For the particular eigenvectors chosen in (iii), the dot products are
Thus 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 gives
Each coefficient must vanish; choosing the three coordinate basis vectors as inputs already proves necessity. Solve , to obtain
These 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 is
Taking 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 is
The 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 gives
Thus 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.
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 by
Squaring and using proves Lagrange's identity:
Use as an anchor. Two directions in the required plane are
Their cross product is , so a normal vector is . The Cartesian equation of a plane is
Direct substitution verifies all three given points. The independent direction vectors ensure the plane is uniquely determined.
The axis intercepts of the plane are
Use two edge vectors from :
The triangle area is half this cross product magnitude:
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
Project the radius vector onto the - plane. The polar angle lies between the positive axis and . The azimuth lies in the - plane between the positive axis and the projection of , measured toward positive .
Figure 1.
Polar and azimuthal angles of the specified point in spherical coordinates
. Details.
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 determinant
The corresponding directions have for and for . Normalizing gives
Their 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 , so
Alternatively, symmetry gives . This is image-kernel orthogonality for an adjoint, with .
The nonparallel direction unit vectors have nonzero cross product. Let
For 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, is
The 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 write
Taking 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 is
The 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 to
At 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.