Interchange the diagonal entries, negate the off-diagonal entries, and divide by the nonzero determinant. The matrix inverse isMultiplication by gives the identity matrix, since each diagonal product sum is and each off-diagonal product sum is zero.
At an intersection, the two position vectors agree, so . The scalar triple product with is thereforesince a determinant with repeated columns vanishes. Geometrically the displacement of the two anchor points must lie in the same plane as the two line directions.
This is a necessary condition. If are not parallel, it is also sufficient, because their span is exactly the plane perpendicular to . For parallel directions the triple product vanishes automatically, even for distinct lines, so the condition alone cannot guarantee intersection.
Since , a level can occur only for . Taking its natural logarithm gives . Thus produces rectangular hyperbolas in the first and third quadrants, produces them in the second and fourth quadrants, and consists of both coordinate axes.
The gradient vanishes only at , where . The Hessian matrix there is , with negative determinant. Equivalently, while for nonzero small . Hence the only stationary point is a saddle point at on the graph; its location in the contour plane is the origin.
The characteristic polynomial, using the convention , isIts zeros give the eigenvalues, including algebraic multiplicity:Their product is and their sum is , agreeing with the determinant and trace of the matrix.
Expand the determinant along the first row:Thus . The signs in the middle cofactor account for its positive contribution.
Take determinants of . In order three, multiplication of a matrix by minus one changes its determinant's sign. HenceThe assumption is the same as , so multiplication by givesSince the matrices are real, the first factor is strictly positive. Thus , proving that is a singular matrix. This is singularity forced by an odd-dimensional transpose-inverse identity; no orthogonality of was used.
Collecting the coefficients gives the coefficient matrixA square homogeneous linear system has a nonzero solution precisely when its matrix is a singular matrix. Expanding the determinant down the first column,Hence the necessary and sufficient condition is or or . A zero determinant gives a nontrivial kernel of a linear map; otherwise multiplication by the matrix inverse would force the zero solution.
Apply the vector triple product identity and the two plane constraints:Put . If is one intersection point, subtraction gives , so is parallel to . Conversely, adding any multiple of preserves both plane constraints because is orthogonal to both normal vectors. The whole intersection is thereforeSuch an exists: choose and solve the two-by-two linear system with determinant . This also proves sufficiency rather than assuming a nonempty intersection.
The trace is the sum of the eigenvalues, counting multiplicity, while the determinant is their product:A direct expansion along the middle row checks the latter: .
The determinant is , so the matrix inverse exists. Using the two-by-two adjugate matrix formula givesMultiplication on either side gives the identity matrix, which also checks the signs of the off-diagonal entries.
Choose Cramer's rule, the permitted alternative to finding an inverse. The determinant isReplacing each column by the right-hand side givesConsequentlyThe nonzero determinant also proves uniqueness.
For a classical solution take twice differentiable, so that the second derivatives exist. Direct use of the chain rule giveswith the two profile arguments as specified. Thus .
To prove generality, introduce characteristic coordinates , , whose Jacobian determinant is . For the differential operator isThe equation becomes . Integrating once in each variable yieldsThis is the countertravelling decomposition of the one-dimensional wave equation, with wave speed . Once differentiability alone is not sufficient for a classical second-order equation; the displayed argument uses the required second derivatives.
Direct multiplication gives . Therefore , yieldingThe nonzero determinant ensures that this two-sided inverse is unique as a matrix inverse.
A real two-dimensional antisymmetric matrix has the form . Its determinant is , and the specified positive upper-right entry selects . Thus
Expanding the determinant along the first row givesThe matrix trace is the sum of the diagonal entries, . Since the determinant is the product of the eigenvalues, at least one eigenvalue is zero. Thus is singular; the determinant alone does not specify the two other eigenvalues.
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).
The gradient equations factor asFor they give . Otherwise , which gives and the matching . Thus there are exactly four stationary points.
The Hessian matrix isAt it is , and at it is . At and its determinant is . The second-derivative test therefore yieldsThe extrema are local: along the cubic is unbounded both above and below.
At a regular constrained stationary point, the Lagrange multiplier equations are , . Eliminating the multiplier givesThus the required Lagrange multiplier determinant condition in two variables isIf the constraint gradient vanishes, this determinant is zero automatically, although the regular multiplier theorem cannot be applied. The condition is necessary and is not sufficient to classify the constrained point. This addresses the original unnumbered task before part (a).
The same elimination at general gives the rowsThe coefficient determinant is . Only or can therefore fail to have a unique solution. At , the second row reads , so there is no solution. At , the last two rows are proportional and both specify , leaving one free unknown; hence there are infinitely many solutions. Every other real gives a unique solution.
At , eliminate the first column by and in the augmented matrix. The last two rows give and . Hence , , and the first row then gives . ThusThe coefficient determinant at this parameter is nonzero, so this solution is unique.
