# Complex Analysis/Trigonometry

## The complex exponential, sine and cosine

editAs Leonhard Euler observed, the exponential function can assume a central rule in trigonometry. In this exposition, we will first formally define the exponential function as a power series, and then define sine and cosine by Euler's formula (not precisely the one in the caption on the right, but a slightly *more general* formula containing it as a special case) and argue why sine and cosine thus defined have the geometric meaning which one learns in school.

**Definition 5.1**:

The **complex exponential function** is the function

- .

According to the ratio test, the convergence radius of this function is . Thus, is an entire function by the results of chapter 3.

We now consider what happens if we insert a number of the form into , where is a real number, which we may choose to think of as an angle (on the level of interpretation); this will be made precise only later. Indeed, in this case, we get

- .

We now would like to split up the above into real part and imaginary part. To do so, we use commutativity of complex multiplication, ie. , and then we observe that cycles periodically through the values as is seen by induction and using . In particular, in the series above, odd will be the ones contributing to the imaginary part of , whereas even will contribute to the real part of . We thus get:

If we then *define*

- and ,

we immediately get what's called *Euler's formula*:

**Theorem 5.2 (Euler's formula)**:

A way to remember this formula is to realize that the letter i is contained in , and thus it's (instead of, say, ).

## Algebraic properties of exp, sin and cos

editWe now prove a few algebraic properties of the functions exp, sin and cos. First of all, we prove what's called the *functional equation* of the exponential function (it is called that way because the exponential function is, up to a constant, precisely the solution to the equation ; and we normalize by ):

**Theorem 5.3 (functional equation)**:

For , .

**Proof**:

by the Binomial theorem.

From this theorem we can immediately deduce what's called the *addition theorems* for sine and cosine. Indeed, we have for that

- .

On the other hand, by the functional equation,

- .

Comparing real and imaginary parts,

- and .

Let's put a theorem box around this, since it's really important:

**Theorem 5.4 (addition theorems)**:

If , then

Another important consequence is the following formula, which is used fairly often in many fields of analysis:

**Theorem 5.5**:

For ,

- .

**Proof**:
For this proof, we use the "trick" . Indeed, we have

from the series definition. Thus, and by the addition theorems:

Now we observe that and ; again this follows from the power series definition. Hence,

as desired.

## Analytic properties of sine and cosine

editSine and cosine have several obvious analytical properties. First of all, by differentiating the series term by term, we get

- .

From this and by induction, we see that the derivatives of and cycle periodically through , , and , for example

or

and so on.

Now sine and cosine are continuous. Further, by the identity

- ( ),

they are actually *bounded by on *. (We will later see that this identity holds, in fact, for , but this does NOT mean that e.g. is bounded by on all of , since we don't have in general for .)

For reasons which will become clear later, we have to insert a theorem from *convex analysis* at this point.

**Theorem 5.6**:

Let be a concave function, where is a real vector space. Consider the line in defined by a . Take . Then for all , we'll have .

**Proof**:

## Connection of the above to trigonometry

editAt school, one learns the usual geometrical meanings of sine and cosine. Namely, sine is the length of the opposite-cathetus divided by the length of the hypotenuse of a triangle, and cosine is the length of the on-cathetus divided by the length of the hypotenuse of the triangle.

Now actually, the and that we defined above by series are precisely these, so that given an angle in an arbitrary triangle between an on-cathetus and a hypotenuse, the value ( ) equals the length of the opposite-cathetus (on-cathetus) divided by the length of the hypotenuse of the triangle.

We shall now rigorously prove that.

First, we consider the real numbers . Together with addition, they form a group, and if we endow with the *Eucliden* (ie. standard) topology, this is even a **topological group**, by which we mean that the map

is continuous, where has the product topology induced by the topology we put on (in this case, the standard (ie. Euclidean) topology).

Furthermore, the set

forms an additive subgroup of . Since is abelian, is a normal subgroup of (additively); this fact may be written (where again both groups have addition as composition law). Thus, we may form the quotient group

and endow it with the quotient topology. It takes a little thought to see that this is actually a *topological group* together with that topology; more generally, we have

**Theorem 5.?**:

Let be a topological group and . Then is a topological group with the subspace topology.