Euler's Formula and the Enlightenment of Mathematics

Among the pantheon of mathematical equations, few command the same reverent awe as Euler's identity: $e^{i\pi} + 1 = 0$. This deceptively simple formula, linking five fundamental constants—$e$, $i$, $\pi$, $1$, and $0$—through the operations of exponentiation, multiplication, and addition, represents not merely a computational curiosity but a profound nexus where analysis, algebra, and geometry converge. Its discovery by Leonhard Euler in the mid-18th century marked a pivotal moment in the Enlightenment of mathematics, transforming abstract symbols into a unified vision of mathematical truth. Yet the identity's power extends far beyond aesthetic admiration; it serves as a foundational pillar in fields as diverse as electrical engineering and quantum mechanics, where its implications are felt in the very equations that describe our technological and physical reality. This chapter delves into the technical heart of Euler's formula, tracing its genesis through Taylor series expansions, contextualizing it within the vibrant mathematical discourse of the Enlightenment, and rigorously analyzing its structural beauty and practical applications. We will reconstruct Euler's probable thought process, examine the historical correspondence that seeded its development, and demonstrate through detailed case studies how this identity continues to illuminate the deepest problems of modern science.

Historical Context: The Enlightenment of Mathematical Thought

The first half of the 18th century was a period of extraordinary ferment in mathematics, particularly centered around the Bernoulli family in Basel and the nascent institutions of St. Petersburg and Berlin. The invention of calculus by Isaac Newton and Gottfried Wilhelm Leibniz had unleashed a powerful new tool for analyzing change and accumulation, but its foundations were still shaky, and its scope was largely confined to real-valued functions. It was within this environment that Leonhard Euler (1707–1783), a protégé of Johann Bernoulli, began his monumental work. Euler's career spanned two great academies: the St. Petersburg Academy (where he arrived in 1727) and the Berlin Academy (where he served from 1741 to 1766, under the patronage of Frederick the Great). This geographical and intellectual mobility allowed him to absorb and synthesize the diverse mathematical traditions of Europe.

The specific problem that led to Euler's identity was the search for a coherent theory of logarithms and exponentials for complex numbers. While John Napier's logarithms (1614) and the exponential function's properties were well-studied for real arguments, the extension to the complex plane was fraught with paradoxes. The key insight came from the power series representations that were being developed in this era. Brook Taylor had published his general theorem on series expansions in 1715, and Colin Maclaurin's special case (1742) was widely known. Euler, with his unparalleled computational skill, mastered these series and applied them aggressively to transcendental functions.

The Bernoulli correspondence provides crucial context. Johann Bernoulli (1667–1748) had already explored the exponential function's properties and its relationship to the logarithmic spiral. In a famous 1727–1728 exchange with Euler (then a young man in St. Petersburg), Bernoulli discussed the integration of $1/(1+x^2)$, which leads to the arctangent function and its series expansion. This series, $\arctan x = x - x^3/3 + x^5/5 - \cdots$, is the gateway to the inverse tangent's connection to the circular functions. Euler realized that by substituting $x = i$ (the imaginary unit) into such series, one could derive relationships between exponential and trigonometric functions. However, the step from formal manipulation to rigorous understanding would take another century, with contributions from Caspar Wessel (1797), Jean-Robert Argand (1806), and Carl Friedrich Gauss (1831) on the geometric interpretation of complex numbers, and Augustin-Louis Cauchy (1825) and Karl Weierstrass (mid-19th century) on the foundations of complex analysis.

Euler first published his formula $e^{i\theta} = \cos\theta + i\sin\theta$ in his monumental *Introductio in analysin infinitorum* (1748), though he had clearly discovered it earlier through his extensive correspondence. The specific case $\theta = \pi$ yields the identity $e^{i\pi} + 1 = 0$, a result that Euler himself seems to have stated explicitly in later works, such as his *Vollständige Anleitung zur Algebra* (1770). The historical record suggests that Euler arrived at the formula not through a single epiphany but through a series of computational experiments with series, guided by an intuitive belief in the algebraic consistency of the complex exponential. His method was characteristic: he would write down known series, substitute complex values, and simplify using the rules $i^2 = -1$, $i^3 = -i$, $i^4 = 1$, and so on, observing patterns that held true for real functions and then boldly extending them to the complex domain.

Technical Derivation: The Taylor Series Pathway

The most direct route to Euler's formula proceeds from the Taylor series expansions of the exponential, sine, and cosine functions about the origin. For a function $f(x)$ analytic at $x=0$, the Taylor series is $f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n$. Applying this to the exponential function $e^x$, we note that all derivatives are $e^x$, so $f^{(n)}(0) = 1$ for all $n$. Thus:

$$e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots$$

This series converges for all real $x$, and indeed for all complex $x$ (as can be shown by the ratio test). Now consider the trigonometric functions. For $\sin x$, the derivatives cycle: $\sin x$, $\cos x$, $-\sin x$, $-\cos x$, and repeat. Evaluating at $x=0$: $\sin 0 = 0$, $\cos 0 = 1$, $-\sin 0 = 0$, $-\cos 0 = -1$, etc. Thus the nonzero terms occur for odd $n$:

$$\sin x = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots$$

For $\cos x$, the nonzero terms are for even $n$:

$$\cos x = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots$$

Euler's masterstroke was to substitute $x = i\theta$ (where $\theta$ is real) into the exponential series and then separate real and imaginary parts. Let us perform this substitution carefully:

$$e^{i\theta} = \sum_{n=0}^{\infty} \frac{(i\theta)^n}{n!} = \sum_{n=0}^{\infty} \frac{i^n \theta^n}{n!}$$

Now, the powers of $i$ cycle with period 4: $i^0 = 1$, $i^1 = i$, $i^2 = -1$, $i^3 = -i$, $i^4 = 1$, and so on. We can split the sum into four cases based on $n \mod 4$:

• For $n = 4k$: $i^{4k} = (i^4)^k = 1^k = 1$, term is $\frac{\theta^{4k}}{(4k)!}$
• For $n = 4k+1$: $i^{4k+1} = i^{4k} \cdot i = 1 \cdot i = i$, term is $i \frac{\theta^{4k+1}}{(4k+1)!}$
• For $n = 4k+2$: $i^{4k+2} = i^{4k} \cdot i^2 = 1 \cdot (-1) = -1$, term is $(-1) \frac{\theta^{4k+2}}{(4k+2)!}$
• For $n = 4k+3$: $i^{4k+3} = i^{4k} \cdot i^3 = 1 \cdot (-i) = -i$, term is $(-i) \frac{\theta^{4k+3}}{(4k+3)!}$

Grouping the real parts (terms with coefficient 1 or -1) and imaginary parts (terms with coefficient $i$ or $-i$), we get:

Real part: $\sum_{k=0}^{\infty} \left( \frac{\theta^{4k}}{(4k)!} - \frac{\theta^{4k+2}}{(4k+2)!} \right)$

Imaginary part: $i \sum_{k=0}^{\infty} \left( \frac{\theta^{4k+1}}{(4k+1)!} - \frac{\theta^{4k+3}}{(4k+3)!} \right)$

Now, observe that the real part is exactly the series for $\cos\theta$:

$$\cos\theta = \sum_{n=0}^{\infty} (-1)^n \frac{\theta^{2n}}{(2n)!} = 1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \frac{\theta^6}{6!} + \cdots$$

Indeed, writing out terms: for $2n=0$: $1$; $2n=2$: $-\theta^2/2!$; $2n=4$: $+\theta^4/4!$; $2n=6$: $-\theta^6/6!$; etc. This matches the real part grouping: positive for $4k$ (i.e., $0,4,8,\dots$), negative for $4k+2$ (i.e., $2,6,10,\d