# Chapter 5: History of Analysis

## Overview & Core Themes

This chapter traces the multi-millennium intellectual history of mathematical analysis from ancient paradoxes to modern rigorous foundations.

1. **The Greek Crisis of Continuous Magnitudes**  
   - **Incommensurability:** The Pythagorean discovery that the diagonal of a unit square ($\sqrt{2}$) cannot be expressed as a ratio of whole numbers shattered the belief that whole numbers could measure all spatial geometry.
   - **Zeno's Paradoxes:** Puzzles such as *Achilles and the Tortoise* and the *Dichotomy* highlighted the conceptual hazards of treating infinite subdivisions of space and time as completed infinities.
   - **Method of Exhaustion:** Eudoxus and Archimedes bypassed actual infinitesimals by using rigorous double *reductio ad absurdum* proofs, proving geometric theorems by trapping curved areas between inscribed and circumscribed rectilinear shapes.

2. **Medieval Kinematics and Coordinate Representation**  
   In the 14th century, the Oxford Calculators (Merton College) and Nicole Oresme in Paris introduced graphical models of varying quantities:
   - **Oresme's Geometry of Qualities:** Plotted velocity against time, demonstrating geometrically that the distance traversed under uniform acceleration equals the area of a right triangle (the Merton Mean Speed Rule).

3. **The 17th-Century Synthesis: Newton and Leibniz**  
   - **Analytic Geometry:** Descartes and Fermat connected algebra with geometry, allowing curves to be treated as algebraic equations.
   - **Isaac Newton (1660s):** Conceived motion as continuous flows, defining variables as *fluents* and their instantaneous velocities as *fluxions* ($\dot{x}, \dot{y}$), driven primarily by problems in celestial mechanics and optics.
   - **Gottfried Wilhelm Leibniz (1670s):** Approached the subject through combinatorial sums and differences, creating the durable operational notation of differentials ($dx, dy$) and the elongated 'S' for summation ($\int$).

4. **18th-Century Expansion: The Age of Euler**  
   Freed by algebraic notation, mathematicians applied calculus to physical mechanics, celestial orbits, acoustics, and fluid flow:
   - **Leonhard Euler:** Shifted analysis from geometry to the study of *functions*, pioneering infinite series, the calculus of variations, and complex exponential relations ($e^{i\pi} + 1 = 0$).

5. **19th-Century Arithmetization and Rigor**  
   Vague appeals to "infinitesimal quantities" or "evanescent increments" proved inadequate when counterintuitive functions appeared:
   - **Cauchy and Bolzano:** Defined continuity, limits, and convergence using inequalities.
   - **Karl Weierstrass:** Established the canonical $(\epsilon, \delta)$-definition of limits, completely eliminating reliance on physical motion or geometric intuition.
   - **Dedekind and Cantor:** Constructed the real number continuum $\mathbb{R}$ algebraically via Dedekind cuts and equivalence classes of Cauchy sequences.

---

## Generative AI Prompts for Visuals

> ### Diagram: Nicole Oresme’s Mean Speed Theorem
> **Generative AI Prompt:**  
> *An antique technical geometry diagram in medieval manuscript style on parchment paper. A Cartesian-style coordinate plot shows a right-angled triangle representing uniformly accelerating velocity over time. A horizontal dashed line at half the maximum height forms an equivalent rectangle of equal area, demonstrating that the distance traversed under uniform acceleration equals distance at mean speed. Latin annotations, crisp brown ink line art, authentic historical treatise illustration.*

> ### Diagram: Archimedes' Quadrature of the Parabola
> **Generative AI Prompt:**  
> *A clean vector geometry figure on a white background. A parabolic segment bounded by a secant base line has an inscribed triangle connecting the base endpoints to the vertex. Successive smaller triangles are inscribed in the remaining parabolic lobes, illustrating the geometric progression $\sum (1/4)^n = 4/3$. Sharp vector lines, labeled vertices, distinct monochrome and blue accents, textbook geometry style.*

> ### Portrait: Gottfried Wilhelm Leibniz in His Study
> **Generative AI Prompt:**  
> *A rich, authentic 17th-century European oil painting portrait of Gottfried Wilhelm Leibniz. The philosopher and mathematician is depicted in fine baroque attire with an elaborate dark peruke wig, seated in a wood-paneled library. On his desk are handwritten mathematical manuscripts showing differential notation $dx$ and the integral symbol $\int$, alongside an antique mechanical calculating machine. Warm directional candle lighting, classic chiaroscuro, oil on canvas texture.*