The Constant Known as e

Table of Contents

Introduction

To grasp the concept of ee, imagine this scenario: you've invested 100100 units into a financial scheme promising a 100%100\% return over a year. While such a scheme would certainly be a scam in real life, let's overlook that for the sake of explanation.

A year later, your investment doubles to 200200 units, marking a growth factor of 22. But what happens if you opt for a semester-long investment instead, achieving a 50%50\% return, then reinvest the total (now 150150 units) for another semester? The growth factor of your investment becomes:

(1.5)2=2.25(1.5)^2 = 2.25

Notice how it increases. Let's break down the investment further into quarters, each with a 25% return. The growth now becomes:

(1.25)4=2.441(1.25)^4 = 2.441

What if the investment were even more frequent, say monthly? This would yield:

(1+112)12=2.613(1 + \frac{1}{12})^{12} = 2.613

The formula for calculating the growth factor is thus:

(1+1n)n(1 + \frac{1}{n})^n

Does this mean the growth factor increases infinitely? Not quite. Eventually, it approaches a constant value, known as ee. Hence, ee is defined by the term:

limn(1+1n)n\lim\limits_{n \to \infty} (1 + \frac{1}{n})^n

Understanding Euler's Identity

Before we connect exe^x to the trigonometric world, we first need to expand sin(x)\sin(x) and cos(x)\cos(x) as infinite series.

sin(x)=xx33!+x55!x77!+cos(x)=1x22!+x44!x66!+\begin{split} \sin(x) &= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \\ \cos(x) &= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \end{split}

See Polynomial Approximation for a detailed explanation of how these series are derived using repeated differentiation.

We also need to expand exe^x:

ex=k=0xkk!e^x = \sum_{k = 0}^{\infty} \frac{x^k}{k!}

See Binomial Expansion for how this form emerges from combinatorial reasoning. Alternatively, the same result can be derived through the Taylor Series, where each term comes from successive derivatives of exe^x.


From Exponential to Trigonometric

Now, what if we substitute xx with an imaginary number ixix (where i=1i = \sqrt{-1})? We get:

eix=k=0(ix)kk!e^{ix} = \sum_{k=0}^{\infty} \frac{(ix)^k}{k!}

Let's expand the first few terms:

eix=1+ix+(ix)22!+(ix)33!+(ix)44!+=1+ixx22!ix33!+x44!+ix55!\begin{split} e^{ix} &= 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \cdots \\ &= 1 + ix - \frac{x^2}{2!} - i\frac{x^3}{3!} + \frac{x^4}{4!} + i\frac{x^5}{5!} - \cdots \end{split}

Now separate the real and imaginary parts:

eix=(1x22!+x44!x66!+)+i(xx33!+x55!x77!+)\begin{split} e^{ix} &= \left(1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \right) \\ &\quad + i \left(x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \right) \end{split}

These two grouped series are exactly the definitions of cos(x)\cos(x) and sin(x)\sin(x):

cos(x)=1x22!+x44!x66!+sin(x)=xx33!+x55!x77!+\begin{split} \cos(x) &= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\ \sin(x) &= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \end{split}

So we can combine them into the famous relation:

eix=cos(x)+isin(x)e^{ix} = \cos(x) + i\sin(x)

The Final Step to Euler's Identity

Now, let's substitute x=πx = \pi into that equation:

eiπ=cos(π)+isin(π)e^{i\pi} = \cos(\pi) + i\sin(\pi)

We know that cos(π)=1\cos(\pi) = -1 and sin(π)=0\sin(\pi) = 0, so:

eiπ=1e^{i\pi} = -1

And by adding 1 to both sides:

eiπ+1=0e^{i\pi} + 1 = 0

This is Euler's Identity, often celebrated as one of the most elegant equations in mathematics. It ties together five of the most fundamental constants in a single expression:


The Geometry Behind eixe^{ix}

If we imagine the complex plane, where the horizontal axis represents real numbers and the vertical axis represents imaginary numbers, then any complex number z=a+biz = a + bi can be visualized as a point at coordinates (a,b)(a, b).

Now, for eixe^{ix}, we can write it as:

z=cos(x)+isin(x)z = \cos(x) + i\sin(x)

This means:

If we plot the point (cos(x),sin(x))(\cos(x), \sin(x)), it always lies on a unit circle, since:

cos2(x)+sin2(x)=1\cos^2(x) + \sin^2(x) = 1

Thus, as xx increases, eixe^{ix} traces a circle of radius 1 centered at the origin. It rotates counterclockwise with angle xx measured in radians.

You can think of eixe^{ix} as describing a continuous rotation on the complex plane.

At:

When the exponent has both real and imaginary parts, say ex+iye^{x + iy}, we can separate them as:

ex+iy=exeiy=ex(cos(y)+isin(y))e^{x + iy} = e^x \cdot e^{iy} = e^x(\cos(y) + i\sin(y))

The term exe^x scales the radius while eiye^{iy} controls the rotation.