The isotropic three-dimensional Cauchy velocity distribution , , has density and one-dimensional marginal . Its second velocity moment diverges, so is a scale rather than a finite velocity dispersion. At zero phase speed, , giving . In the upper-half frequency plane, the marginal response is ; the growing branch has for .
For three non-collinear points with position vectors , a nonzero normal vector is
The plane is the set of satisfying . Expanding the cross product and using the scalar triple product gives
Non-collinearity is essential: otherwise and the equation fails to select a unique plane.
For a point on the plane, the Cauchy-Schwarz inequality gives , because is a unit vector. Equality is achieved at . Thus the distance from the origin is .
Let and let be the perpendicular projection of the sphere's center onto the plane. Every point of the plane has form with . The Pythagorean theorem gives
If , the sphere equation therefore forces . There is exactly one contact point, ; it lies on both surfaces.
Write . The nonzero scalar triple product proves that are linearly independent, so they form a positively oriented basis of and define a nondegenerate tetrahedron.
For the three faces through the origin, choose the inward unit vectors
Their signs are correct because each has positive inner product with the opposite vertex vector. Write the center as . It lies on the interior side of every face. Tangency of the interior sphere therefore means signed distance , not , from each of those three planes. Taking inner products gives
Solving proves the center formula
This is the sphere center from three tetrahedron face distances; the interior hypothesis selects these signs rather than an exterior center.
Finally set . The scalar triple product identities give . In particular , and the plane through the three vertices is
The second formula follows by normalizing to a unit vector and applying the first distance result.
An eigenvalue can be complex even though is real, so use the complex Hermitian inner product. For a nonzero complex eigenvector , the real orthogonal matrix also satisfies . Hence
and . Taking complex conjugates in gives because is real. The conjugate vector is nonzero, so .
For the unheaded geometrical conclusion, the third eigenvalue of must be real: nonreal eigenvalues of a real matrix occur in conjugate pairs. Its modulus is one, so it is or . Exact algebraic multiplicity two for excludes a third , leaving . By the supplied diagonalisability fact, the -eigenspace is a two-dimensional plane and the -eigenspace is a line. They are orthogonal: preservation of the inner product between a fixed vector and a negated vector gives . Therefore is the orthogonal reflection in its fixed plane. It fixes the two tangential directions and reverses the normal direction; with unit normal , .