Complex inverse cosine via the logarithm

ID: complex-inverse-cosine-via-the-logarithm

Set in . The resulting quadratic equation is , with roots . Their product is one, so taking a complex logarithm never encounters zero. Solving the exponential equation gives the displayed full inverse relation, with integer . The principal complex logarithm and principal square root do not make both signs identical to the principal inverse cosine: at they yield , while principal . A single analytic branch requires compatible choices of sign and branches.

New to topics? Read the docs here!