Complex number trigonometry functions

By Martin McBride, 2024-03-06
Tags: sine cosine tangent hyperbolic functions
Categories: complex numbers imaginary numbers


In this article, we will see how to calculate the sine, cosine and tangent of a complex variable z. In the process, we will discover how the trigonometry functions sin and cos are related to the hyperbolic functions sinh and cosh.

To do that, we need to understand what it means to find the sine of a complex number. We know that the sine of a real value θ can be defined as the opposite side over the hypotenuse of a right-angled triangle with angle θ. But it isn't obvious how that applies when the angle is a complex number.

So we will first look at some other ways of interpreting complex trig functions. Then, with the help of Euler's formula and the hyperbolic functions, we will derive useful formulas for doing complex trigonometry using familiar functions of the real domain.

Alternative interpretations of the sine function

The sine function isn't just about triangles, of course. We also know that sine, viewed purely as a mathematical function, has a special property. The second derivative of the sine function is the negative of the sine function:

Derivative of size function

This means that, give or take a couple of constants, the sine function is the solution to the second-order differential equation:

Derivative of size function

This is the formula that governs, among other things, the motion of an ideal pendulum.

We also know that the sine function can be expressed as a Maclaurin series:

Maclaurin series of size function

There are similar results for the other trig functions. It is possible to differentiate complex functions, and it is possible to calculate polynomials for a complex variable, so we have good reason to expect that these mathematical functions can be applied to complex numbers.

Unfortunately, these interpretations don't directly help in finding an expression for the complex versions of the functions. We will need to take a slightly different approach to that.

What are we hoping to achieve?

It is worth taking a step back and asking what we are hoping to get out of this. If we have some real function f(x), and we are convinced that it works with complex numbers too, then of course we can just call it f(z). Job done.

The problem is that we know nothing about f(z). We might not even know how to calculate f(z) for any particular value of z. In the case of the sine function, we can calculate its approximate value, using the Maclaurin expansion. We can even calculate its derivative, but that will be in terms of the complex cosine function, which is equally mysterious.

What we don't know is anything about the nature of the function. Compared to all the well-known properties of the real sine function, the complex sine function is a closed book.

What would help with that? Well, perhaps if we could split the function's result into real and imaginary parts, that would help. That is, if we could express f(z) like this:

Maclaurin series of sine function

Here, the real part of the result is u(x, y), a real function of two real variables - the real and imaginary parts of z. The imaginary part of the result is v(x, y), also a real function of the same two real variables. If u and v relate to functions that we already know about, even better.

Of course, complex functions are never going to be as easy to get to grips with as real functions. That is because the input is 2-dimensional, and the output domain is also 2-dimensional.

An example - imaginary exponential function

One example you might be familiar with is the imaginary exponential function:

imaginary exponential function

We know from Euler's formula that this can be written as:

imaginary exponential function

Although this involves an imaginary argument rather than a general complex argument, it follows the pattern we described earlier. We can calculate the real and imaginary parts of the result as separate real functions.

As an aside, it is fairly easy to extend this to a complex argument:

Complex exponential function

For our purposes, the imaginary version of the formula is all we need.

Sine and cosine as imaginary functions

Euler's formula provides a useful link between sine, cosine, and the realm of imaginary numbers. Here is Euler's function again, with its equivalent for negative θ:

Sine and cosine

If we add these two equations, it allows us to express the cosine function in terms of imaginary exponents:

Sine and cosine

This simplifies to:

Sine and cosine

We can do the same thing for sine, by subtracting the two equations:

Sine and cosine

This gives us a couple of slightly strange equations for sine and cosine in terms of imaginary exponential functions. It isn't exactly what we need, but it is a step closer.

Hyperbolic functions

If you are familiar with the hyperbolic functions, the formulas above might look familiar. The hyperbolic sine function, sinh is defined as:

Sinh

The hyperbolic cosine function, cosh is defined as:

Cosh

These will become quite useful in a little while.

Sine and cosine of imaginary values

This is where it starts to get interesting. What if we take the previous expressions for sine and cosine, but apply them to an imaginary argument?

The first question is, can we do that? Is it valid? We won't prove it here, but we can justify it. We know that the exponential function can be applied to an imaginary value. If we define the function using its Maclaurin expansion, then it is simply a polynomial:

Maclaurin exp

There is no reason we can't use a complex value in a polynomial. Similarly, we can define sine and cosine by their Maclaurin expansions, so again there is no reason we can't use an imaginary argument:

Maclaurin trig

Given that, what is the sine of an imaginary number? We can find from the previous definition of sine, with an argument of :

Imaginary sine

h exponents contain a factor of i times i, which we can simplify to -1:

Imaginary sine

Remember, also, the 1/i is equal to -i, so we can move the i term out of the denominator. We then swap the terms in e and remove the negative:

Imaginary sine

The fraction term now is the definition of the sinh function. So we have this nice result:

Imaginary sine

We can do something very similar with the cosine of an imaginary value:

Imaginary cosine

We now have everything we need to find the sine and cosine of a complex number.

Complex sine

To deal with the complex number case, we will make use of the standard formula for the sine of the sum of two angles:

Complex sine

For a complex number x + iy we will substitute the real part x for A, and the imaginary part iy for B:

Complex sine

Can we do that? We won't prove it here, but it can be proven using the exponential forms of sine and cosine from earlier.

Now we have a couple of terms in sin(iy) and cos(iy). We know how to handle those by converting them to hyperbolic functions. Substituting those gives us:

Complex sine

Here is a colour map of the real and imaginary parts of the complex sine function:

Complex sine

Here is a 3d graph of the same thing:

Complex sine

Complex cosine

The complex cosine function can be calculated in a similar way to the sine using the formula for the cosine of a sum of angles:

Complex cosine

Once again, we substitute the real part x for A, and the imaginary part iy for B:

Complex cosine

And converting the imaginary terms to hyperbolic functions:

Complex cosine

Here is a colour map:

Complex cosine

Here is a 3d graph:

Complex cosine

Complex tangent

We can do similar things for the other trigonometric functions. We won't cover them all, but as an illustration here is how we find the tangent of a complex number. First, we will find an expression for the tangent of an imaginary number. For the definition of tan:

Complex cosine

If we substitute the imaginary sine and cosine with the hyperbolic functions, just like before, we can find the tangent in terms of the hyperbolic tangent:

Complex cosine

This result is, perhaps, not too surprising. Next, we will use the standard formula for the tangent of the sum of two angles:

Complex cosine

As before we apply this to the real and imaginary parts of x + yi:

Complex cosine

Finally, substituting the hyperbolic tangent for the tangent of iy gives us a formula for the tangent of a complex number:

Complex cosine

Here is the colour map and 3d graph:

Complex cosine

Complex cosine

See also



Join the GraphicMaths Newletter

Sign up using this form to receive an email when new content is added:

Popular tags

adder adjacency matrix alu and gate angle area argand diagram binary maths cartesian equation chain rule chord circle cofactor combinations complex modulus complex polygon complex power complex root cosh cosine cosine rule cpu cube decagon demorgans law derivative determinant diagonal directrix dodecagon eigenvalue eigenvector ellipse equilateral triangle euler eulers formula exponent exponential exterior angle first principles flip-flop focus gabriels horn gradient graph hendecagon heptagon hexagon horizontal hyperbola hyperbolic function hyperbolic functions infinity integration by parts integration by substitution interior angle inverse hyperbolic function inverse matrix irrational irregular polygon isosceles trapezium isosceles triangle kite koch curve l system line integral locus maclaurin series major axis matrix matrix algebra mean minor axis nand gate newton raphson method nonagon nor gate normal normal distribution not gate octagon or gate parabola parallelogram parametric equation pentagon perimeter permutations polar coordinates polynomial power probability probability distribution product rule proof pythagoras proof quadrilateral radians radius rectangle regular polygon rhombus root sech set set-reset flip-flop sine sine rule sinh sloping lines solving equations solving triangles square standard curves standard deviation star polygon statistics straight line graphs surface of revolution symmetry tangent tanh transformation transformations trapezium triangle turtle graphics variance vertical volume of revolution xnor gate xor gate