Leonhard Euler

Leonhard Euler created the foundational infrastructure of modern mathematical analysis, graph theory, topology, and rational mechanics. Prior to Euler, the infinitesimal calculus of Newton and Leibniz remained tethered to geometric diagrams, kinematic curves, and conflicting idiosyncratic notations. Euler decoupled analysis from geometric figures, transforming it into an autonomous, rigorous algebraic discipline based on the formal manipulation of functions, infinite series, and complex variables.

His monumental architecture spans four primary pillars: 1. Foundations of Graph Theory & Topology: Inventing network topology by proving the non-existence of an Eulerian trail across the Bridges of Königsberg through degree parity invariants, and formulating the polyhedral characteristic $\chi = V - E + F = 2$. 2. Complex Analysis & Transcendental Unification: Formulating Euler's formula $e^{ix} = \cos x + i \sin x$, bridging circular trigonometry and hyperbolic exponentiation within the complex plane $\mathbb{C}$. 3. Analytic Number Theory & Infinite Series: Solving the Basel Problem ($\sum n^{-2} = \pi^2/6$) and formulating the Euler Product Formula linking the Riemann zeta function to prime distribution. 4. Variational Calculus & Continuum Mechanics: Co-founding the calculus of variations (the Euler-Lagrange equations) and formulating the Euler equations of inviscid fluid dynamics and rigid-body rotation.

2.1 Graph Parity Invariant (The Königsberg Bridge Problem)

Let a connected multigraph be defined as $G = (V, E)$, where $V$ is the set of landmasses and $E$ is the set of connecting bridges. The degree of a vertex $v \in V$, denoted $\deg(v)$, is the number of edges incident to $v$.

Handshaking Lemma: $$\sum_{v \in V} \deg(v) = 2|E|$$

Eulerian Trail Theorem (1736): A connected graph $G$ admits an Eulerian trail (a walk traversing every edge $e \in E$ exactly once) if and only if the number of vertices with odd degree is either $0$ (Eulerian circuit) or $2$ (Eulerian trail with distinct start and endpoints): $$|\{ v \in V \mid \deg(v) \equiv 1 \pmod 2 \}| \in \{0, 2\}$$

For the seven bridges of Königsberg: $$V = \{A, B, C, D\}, \quad \deg(A) = 5, \, \deg(B) = 3, \, \deg(C) = 3, \, \deg(D) = 3$$ Because all four vertices possess odd degrees ($|\text{Odd}(V)| = 4 \notin \{0, 2\}$), traversing the bridges without retracing an edge is mathematically impossible.

2.2 The Basel Problem (1734)

The Basel Problem asked for the exact sum of the reciprocal squares: $$S = \sum_{n=1}^\infty \frac{1}{n^2} = 1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \dots$$

Euler considered the Taylor series expansion of $\frac{\sin x}{x}$: $$\frac{\sin x}{x} = 1 - \frac{x^2}{3!} + \frac{x^4}{5!} - \frac{x^6}{7!} + \dots$$

The roots of $\frac{\sin x}{x} = 0$ occur at $x = \pm \pi, \pm 2\pi, \pm 3\pi, \dots$ Treating the transcendental function as an infinite polynomial factored over its roots (Weierstrass Factorization Theorem precursor): $$\frac{\sin x}{x} = \prod_{n=1}^\infty \left(1 - \frac{x^2}{n^2 \pi^2}\right) = \left(1 - \frac{x^2}{\pi^2}\right) \left(1 - \frac{x^2}{4\pi^2}\right) \left(1 - \frac{x^2}{9\pi^2}\right) \dots$$

Expanding the infinite product and collecting the quadratic coefficient of $x^2$: $$[x^2] = -\sum_{n=1}^\infty \frac{1}{n^2 \pi^2} = -\frac{1}{\pi^2} \sum_{n=1}^\infty \frac{1}{n^2}$$

Equating this to the $x^2$ coefficient from the Taylor series ($-\frac{1}{3!} = -\frac{1}{6}$): $$-\frac{1}{\pi^2} \sum_{n=1}^\infty \frac{1}{n^2} = -\frac{1}{6} \implies \sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} \approx 1.6449340668$$

2.3 Euler’s Formula & Complex Exponentiation

Expanding $e^{ix}$ via its formal Taylor power series: $$e^{ix} = \sum_{k=0}^\infty \frac{(ix)^k}{k!} = 1 + ix - \frac{x^2}{2!} - \frac{ix^3}{3!} + \frac{x^4}{4!} + \frac{ix^5}{5!} - \dots$$ Splitting into real and imaginary components: $$e^{ix} = \left(1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \dots\right) + i\left(x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots\right) = \cos x + i \sin x$$

Evaluating at $x = \pi$: $$e^{i\pi} = \cos \pi + i \sin \pi = -1 + i(0) \implies e^{i\pi} + 1 = 0$$

2.4 The Polyhedral Characteristic ($\chi$)

In 1750, Euler communicated to Christian Goldbach that for any simple convex polyhedron with $V$ vertices, $E$ edges, and $F$ faces: $$\chi = V - E + F = 2$$ This formula represents the first topological invariant: independent of edge lengths, face angles, or surface curvature, $\chi = 2$ for all homeomorphic spherical 2-manifolds.

2.5 Calculus of Variations: The Euler-Lagrange Equation

To find a function $y(x)$ that extremizes an action functional $J[y] = \int_{x_1}^{x_2} L(x, y, y') \, dx$: Perturbing $y(x) \to y(x) + \epsilon \eta(x)$ with boundary conditions $\eta(x_1) = \eta(x_2) = 0$: $$\left. \frac{dJ}{d\epsilon} \right|_{\epsilon=0} = \int_{x_1}^{x_2} \left( \frac{\partial L}{\partial y} \eta + \frac{\partial L}{\partial y'} \eta' \right) dx = 0$$ Integrating the second term by parts yields the fundamental stationary condition: $$\frac{\partial L}{\partial y} - \frac{d}{dx} \left( \frac{\partial L}{\partial y'} \right) = 0$$

3.1 The Königsberg Bridge Multigraph (Topological Abstraction)

        Mainland North (A) [deg = 5]
            /    |    \
           /     |     \
   Bridge 1   Bridge 2  Bridge 3
         /       |       \
        v        v        v
  [Island Kneiphof (C)] <=== Bridge 6, 7 ===> [Mainland South (B)]
      [deg = 3]                                    [deg = 3]
        ^        ^
         \      /
   Bridge 4    Bridge 5
           \  /
      [East Bank (D)] [deg = 3]

3.2 Complex Exponential Unit Circle

                         Im (z)
                           ^
                           |   e^{ix} = cos(x) + i sin(x)
                 e^{i*pi}  |       * (cos x, sin x)
                   (-1)    |      /|
             <-----+-------+-----+ | --------> Re (z)
                           |     | |    (1)
                           |     +-+
                           |
                           v

5.1 Unregulated Divergent Series Operations

Euler frequently manipulated divergent series without modern Cauchy convergence criteria: $$1 - 1 + 1 - 1 + \dots = \frac{1}{2}, \quad 1 - 2 + 3 - 4 + \dots = \frac{1}{4}, \quad 1 + 2 + 4 + 8 + \dots = -1$$ While these intuitions anticipated Abel summation, Borel regularization, and analytic continuation of the zeta function ($\zeta(-1) = -1/12$), they occasionally led to contradictory conclusions when applied without topological constraints.

5.2 Topological Regularity Blindspot in $\chi = V - E + F = 2$

Euler assumed the polyhedral formula applied universally to all polyhedra. In 1813, Simon Lhuilier discovered that for toroidal polyhedra (polyhedra with a hole, genus $g=1$), the invariant becomes $\chi = V - E + F = 2 - 2g = 0$. Euler’s original formulation required convexity and simple connectivity.

5.3 D'Alembert’s Paradox in Inviscid Fluid Mechanics

Euler’s equations for incompressible, inviscid fluid flow predict zero aerodynamic drag on any closed body moving through a fluid: $$F_{\text{drag}} = \iint_{\partial B} p \, (\hat{\mathbf{n}} \cdot \hat{\mathbf{x}}) \, dA = 0$$ This contradicts all physical experience. Resolution required Navier and Stokes to incorporate viscous shear stresses ($\mu \nabla^2 \mathbf{u}$) and Prandtl to introduce boundary layer theory (1904).

1. Euler, L. (1736). Solutio problematis ad geometriam situs pertinentis. Commentarii Academiae Scientiarum Petropolitanae, 8, 128–140.
2. Euler, L. (1744). Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes (The Art of Finding Curved Lines Enjoying Maximal or Minimal Properties). Marc-Michel Bousquet, Lausanne & Geneva.
3. Euler, L. (1748). Introductio in analysin infinitorum (2 vols.). Marc-Michel Bousquet, Lausanne.
4. Euler, L. (1755). Institutiones calculi differentialis. Imperial Academy of Sciences, St. Petersburg.
5. Euler, L. (1757). Principes généraux du mouvement des fluides. Mémoires de l'académie des sciences de Berlin, 11, 274–315.
6. Euler, L. (1768–1770). Institutiones calculi integralis (3 vols.). Imperial Academy of Sciences, St. Petersburg.
7. Euler, L. (1768–1772). Lettres à une princesse d'Allemagne sur divers sujets de physique et de philosophie (3 vols.). St. Petersburg.
8. Euler, L. (1911–present). Leonhardi Euleri Opera Omnia (Series I–IV, 74+ vols.). Birkhäuser, Basel.