Multiplying by gives . The sixth roots of unity do not solve the original equation, since substituting either gives three. The other four do, because the extra factor is nonzero. Hence
Their real parts are and their imaginary parts are , giving the four corners in the left Argand diagram below.
Figure 1.
Four roots on the unit circle and the two horizontal rows of complex sine solutions
. Details.
The logarithm's argument is , with complex modulus one. The principal complex logarithm is therefore , giving
If denotes all logarithm values rather than the principal branch, they are for : the real part remains zero and the imaginary part changes by integer multiples of . The principal value is the conventional single-valued answer.
The complex sine function identity follows from the exponential definition of sine. With , its imaginary term vanishes, while
Consequently the real part is and the imaginary part is .
Multiply numerator and denominator by the complex conjugate of the denominator:
Squaring gives . Thus the real part and imaginary part are
Write a square root as , with real. Equating the real part and imaginary part of its square gives and . Taking complex modulus also gives . Therefore
Since , the signs agree. The two roots are
The changes both signs together, rather than independently.
The complex modulus is a nonnegative real number. Equality therefore requires itself to be real and nonnegative. Its imaginary part gives , and its real part then gives . Conversely every such point satisfies the equality. Hence the complete solution set is
Geometrically this is the closed ray on the real axis starting at .
Use and . Then
The real part and imaginary part are therefore
A constant real part means , so its level sets are the concentric circles
Their radii are strictly positive. The real part is independent of the logarithm's branch, so there is no branch ambiguity in these circles.
For , the equation is . If , complete the square to obtain
These circles have centres on the real axis and are tangent to the imaginary axis at the excluded origin. Positive puts the circle to the right, negative to the left. The separate case gives the punctured imaginary axis . The sketch uses an open marker at the origin to emphasize that is never defined there.
Figure 1.
Constant real-part contours of the complex logarithm and reciprocal
. Details.
The complex exponential satisfies . Multiplying by gives
Thus its real part is
By De Moivre's theorem, is the real part of . Writing and , the binomial theorem gives
Use the Pythagorean trigonometric identity and expand:
Therefore
Put and . Taking the real part of in De Moivre's theorem gives
Taking the imaginary parts of the second and fourth powers gives and . Hence
The mixed powers cancel exactly.
Take and select a complex argument for . To specify the complex exponentiation, use . Expanding its exponent gives
Its complex logarithm therefore has values
The continuous logarithm obtained by retaining the displayed exponent uses . If the outer logarithm is the principal logarithm, choose to put the imaginary part in instead; the real part is unchanged. In particular one cannot generally assert without checking its imaginary part.
The condition on the real part gives , so the required logarithmic spiral has polar coordinates
As increases, it runs from the negative real axis near radius through , and to the negative real axis at radius . The angle increases by one complete turn. Using the conventional principal argument , the inner negative-axis endpoint is excluded and the outer endpoint is included. The convention reverses those endpoint choices. If both limiting arguments are admitted by the paper's wording, both limiting endpoints are drawn; the interior curve is the same. The origin is never included because the complex logarithm is undefined there.
Figure 1.
One turn of the logarithmic spiral, with an enlarged view near the origin
. Details.
The exponential definitions of hyperbolic sine and hyperbolic cosine, together with Euler's formula, give and . The argument of the complex logarithm therefore reduces to .
Using the principal logarithm, , so
If no branch of the complex logarithm is selected, its complete set of values is , . The real part remains zero, while the imaginary part is . The original paper does not explicitly state a branch convention.