Choose two perpendicular unit directions in the eigenspace:Their pairwise dot products vanish and their Euclidean norms are one. They form an orthonormal basis of eigenvectors, with eigenvalues , as guaranteed for a real symmetric matrix by the spectral theorem for real symmetric matrices.
The normal from (ii) gives the plane equation . The distance from a point to a plane is the absolute value of the normalized plane equation at that point. At the origin this givesFor a geometric check, the perpendicular foot is , parallel to the normal and satisfying the plane equation. Its Euclidean norm is the same distance.
Use outward normal vectors to the two faces. The cross productspoint away from the opposite vertices, since and . Their Euclidean norms are and , and their dot product is . The interior dihedral angle of a convex polyhedron is supplementary to the outward-normal angle, soThis also equals the cosine of the acute angle between the unoriented face planes. The outward-normal angle itself has cosine ; keeping that distinction avoids a sign ambiguity.
A real square orthogonal matrix satisfiesequivalently . Its columns, and also its rows, form an orthonormal basis. Consequently it preserves dot products and Euclidean norms.
The cross product of the two in-plane directions is , with Euclidean norm . Either sign gives a unit normal vector:The plane equation is , so the distance from a point to a plane gives
The common ratio in the two plane equations can be denoted by . Their intersection then has , , and . The direction vector has Euclidean norm , so the requested unit vector form isSubstituting this expression into both equations gives the same ratio , verifying the entire line.
A row's squared Euclidean norm is , and the dot product of the two rows is . Thus the row Gram matrix isFor the column Gram matrix, the first and third squared column norms are , the middle one is , and the respective cross-products are . HenceThe two products are square matrices of different sizes; their unequal dimensions are consistent with being rectangular.
For a matrix with equal diagonal entries, the symmetric and antisymmetric directions and are eigenvectors. Direct multiplication of gives eigenvalues and . Dividing each direction by its Euclidean norm givesThe two normalized eigenvectors are orthogonal; either may independently be replaced by its negative.
For , the components of an eigenvector are equal; for , they are opposite. Dividing each vector by its Euclidean norm givesThey are mutually orthogonal and have unit norm. The labels specify their eigenvalues even when .
The dot product isBoth vectors have squared Euclidean norm . Under the given condition , their dot product is and each squared Euclidean norm is . Hence
The vector is an eigenvector with eigenvalue . The complementary subspace of vectors with first two components equal is preserved by : a vector maps to . There, the eigenvalue equations reduce to the matrix , whose characteristic polynomial is . For , ; for , .
Normalising by the Euclidean norm, a complete orthonormal basis of eigenvectors isSign changes of any of these eigenvectors are equally valid. The eigenvalues also check part (a): their sum is and the sum of their squares is .
The displayed matrix is not orthogonal: its first column has squared Euclidean norm three, whereas every column of an orthogonal matrix must have squared length one.
For the general assertion, put . In the Einstein summation convention, orthogonality gives and . The entries of satisfyThis is exactly , proving that the matrix product is orthogonal. The Kronecker delta contracts the two middle indices without changing the multiplication order of the matrices.
Parameterize the surface by . Its two tangent vectors are and , whose cross product is of Euclidean norm . Thus the scalar area element of a surface isEquivalently, projection onto the -plane reduces the surface area by .
The traversal fixes the orientation of the vector area as half the cross product of the edges and :Its Euclidean norm is the area of the triangle, and its direction follows the right-hand rule.
The first coordinate direction is already an eigenvector of with eigenvalue . On the last two coordinates, the matrix is , with characteristic polynomialThus the three eigenvalues are . For , the last two components are equal; for , they are opposite. Normalising by the Euclidean norm gives the complete listEach sign-reversed vector is an equally valid choice. The three displayed eigenvectors are mutually orthogonal, as expected for a real symmetric matrix with distinct eigenvalues.
The modulus is the Euclidean norm, obtained by taking the square root of the dot product of the vector with itself:
The removed vector is the orthogonal projection of onto the line through the origin in direction . The remaining vector measures the perpendicular displacement from that line. Fixing its Euclidean norm at therefore describes an infinite circular cylinder of radius , with axis , .
The dot product with the given unit vector is . Subtracting the corresponding orthogonal projection givesTaking its squared Euclidean norm yields the equivalent Cartesian equation