For this homogeneous tangent differential equation, set on an interval not containing . Since , cancellation gives . Away from zeros of , separation and integration give
Restoring a signed constant yields the compact implicit solution
A complete real branch description is
Here is real and the interval must satisfy and . The strict inequality excludes points with , where the original tangent function is undefined. Separating divided by , so its zeros must be checked separately: gives . These are exactly the branches already included. The branch integer is fixed on each connected solution interval; it cannot be changed arbitrarily at a regular point.
A real square orthogonal matrix satisfies . A complex square unitary matrix satisfies , where denotes conjugate transpose. A Hermitian matrix satisfies . The distinction between transpose and conjugate transpose matters for imaginary entries.
For the three displayed matrices, in their source order:
For the first matrix, and , so but . It also fails , even if complex orthogonality is considered. The second matrix is real diagonal with entries : its transpose, conjugate transpose and inverse all equal itself. In the third matrix the imaginary off-diagonal entries are conjugate pairs, establishing the Hermitian matrix condition. Its first column has squared norm , so it is not a unitary matrix; it is not real orthogonal, and the complex bilinear first-column square is as well.
Subtracting the first equation from the third gives , so . The second equation then becomes . The third fixes . Therefore the three possibilities are
For the first case the coefficient determinant is , confirming uniqueness. At its matrix rank is two. The augmented matrix has the same matrix rank only for , giving one free variable in a linear system; otherwise the linear system is inconsistent.
Use parametric equations for the two lines,
Their cross product is . Projection of the separation of the base points onto this common normal gives the shortest distance between skew lines:
This projection is a lower bound on every connecting segment because adding either line's direction leaves its normal component unchanged. It is attained: imposing perpendicularity of to both directions gives and . The corresponding points are and ; their difference is , perpendicular to both lines and of length .
Put . The expression whose complex argument is constrained becomes
Its principal argument is exactly when its real part is zero and its imaginary part is strictly positive. Hence
The locus consists of the upper-right half of the upper hyperbola branch, with , and the lower-left half of the lower branch, with . The vertices are excluded because there and zero has no complex argument. The remaining halves have negative imaginary part and give argument , not . The right panel of the original illustration marks the excluded vertices with open circles.
Write . Every cube root has complex modulus and an angle one third of one of these complex arguments:
Equivalently the three complex roots are
They lie on the circle of radius centred at the origin in the Argand plane, spaced by . Further integer values of repeat these three points. Cubing any of them multiplies its angle by three and cubes its complex modulus from to , giving .
Figure 1.
Original Argand diagrams for the three cube roots and the argument-constrained hyperbola
. Details.
Squaring first is simpler than expanding the tenth powers. Since and , while , the requested Cartesian forms are
Thus the real part is zero in each case, and the imaginary parts are and . The results are complex conjugates, as also follows because the two inputs are complex conjugates and the fifth-power polynomial has real coefficients.

There are unlisted articles, also show them or only show them.