The polar form is . Interpreting the fractional complex exponentiation as all its values, a candidate satisfies . The three roots of a complex number are
They have arguments , and , respectively. Since all have modulus one, their squared distances from in the complex plane are , giving
The last is strictly largest, so the required root of a complex number is
Restricting complex exponentiation to its principal value would give only ; the request to choose among roots requires all three values.
Figure 1.
The three values of the fractional complex power and their distances from z
. Details.
Apply the vector triple product identity with . This gives
For column vectors , the scalar triple product is ; replacing by gives the other coefficient. Therefore
The signs follow the stated column convention and the cyclic invariance of the scalar triple product. No independence assumptions on the four vectors are needed.
Write the given matrix as . Expanding its characteristic polynomial along the middle column gives
Thus the eigenvalues are , counted with algebraic multiplicity.
For , solving gives and . For , solving gives , with free. A convenient eigenbasis is therefore
The last two eigenvectors span the two-dimensional eigenspace for . The three columns have determinant , so they are linearly independent and form a basis of . In particular the repeated eigenvalue causes no failure of diagonalizability here.
Let with , using the standard complex Hermitian inner product. Then
Taking the complex conjugate and using yields . Since ,
Thus every eigenvalue of an anti-Hermitian matrix lies on the imaginary axis, including the possible zero eigenvalue; each nonzero eigenvalue is purely imaginary.
Now take and . On one hand . On the other hand
Consequently . Distinct eigenvalues therefore imply
which is the required orthogonality of the eigenvectors.
A normal vector to the plane is , with Euclidean norm . For , , so the distance from a point to a plane is
To verify that this is the minimum, the displacement to the closest point on a plane is parallel to . Put and require . This gives and
For every other point on the plane, the displacement is orthogonal to . The Pythagorean theorem gives , proving minimality.
On the interval containing the initial point, divide the linear ordinary differential equation by to obtain . Its integrating factor is , giving
The initial condition gives . Hence
Direct differentiation gives , so and . The coefficient of vanishes at zero; the boxed expression is the solution on the regular initial-value interval, rather than an assertion of unique continuation through zero.
The right-hand side depends on , suggesting the substitution . Then , so the ordinary differential equation becomes
The original equation is undefined at . If , this is a separable differential equation:
Substituting back gives the implicit family
Differentiating the implicit equation gives , or , verifying it on its permitted intervals.
Division by excluded the constant solution , which must be restored separately:
It satisfies . Together these give all local real solutions on intervals where .

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