δS = 0

Joseph-Louis Lagrange

1736 – 1813

Master of analysis who reformulated mechanics without a single diagram, founded the calculus of variations, and proved the four-square theorem

Analytical Mechanics Calculus of Variations Number Theory Algebra
01 — ORIGINS

Early Life & Education

  • Born Giuseppe Luigi Lagrangia on January 25, 1736, in Turin, capital of the Kingdom of Sardinia
  • Of mixed Italian-French ancestry; his family had French roots but had lived in Italy for generations
  • Initially studied law at the University of Turin, but after reading Halley's work on optics, became passionate about mathematics
  • Self-taught, he mastered the latest analysis by reading Euler's works
  • At age 19, wrote to Euler with a new approach to the calculus of variations that greatly impressed the master
  • Appointed professor at the Royal Artillery School of Turin at age 19

Euler's Generosity

When the young Lagrange sent Euler his variational method, Euler recognized it as superior to his own approach. Rather than publishing his own version first, Euler delayed his paper so that Lagrange would receive full credit. This act of intellectual generosity deeply shaped Lagrange's career.

02 — CAREER

Career & Key Moments

Berlin Academy (1766–87)

Succeeded Euler as director of mathematics at the Berlin Academy under Frederick the Great. His most productive period: number theory, algebra, celestial mechanics.

Mécanique Analytique (1788)

His magnum opus reformulated all of mechanics using pure analysis — no diagrams. He boasted it contained "not a single figure." Reduced mechanics to the calculus of variations.

Paris & the Revolution (1787–1813)

Moved to Paris, survived the Revolution (unlike Lavoisier and Condorcet). Chaired the commission that created the metric system. Taught at the École Polytechnique and École Normale.

Honours Under Napoleon

Napoleon made Lagrange a Count of the Empire, a Senator, and a Grand Officer of the Légion d'Honneur. Napoleon called him "the lofty pyramid of the mathematical sciences."

03 — CONTEXT

Historical Context

Mathematics c. 1760

  • Euler dominated mathematics, producing a torrent of results in analysis, number theory, and mechanics
  • The calculus of Leibniz and Newton was mature but lacked rigorous foundations
  • Mechanics was formulated using forces and geometry (Newtonian style); a more analytical approach was needed
  • The Bernoullis had posed the brachistochrone problem, launching the calculus of variations
  • Number theory was advancing through Euler's work on primes, quadratic reciprocity hints, and partition functions

The Enlightenment

  • The Age of Reason: Frederick the Great and Catherine the Great competed for the best mathematicians
  • Scientific academies (Berlin, Paris, St. Petersburg) were the primary institutions for research
  • The French Revolution (1789) upended European intellectual life
  • The metric system, decimal time, and rational governance reflected the era's faith in mathematical order
04 — VARIATIONS

The Calculus of Variations

Lagrange transformed the calculus of variations from a collection of tricks into a systematic theory.

  • Problem: find the function y(x) that extremizes a functional J[y] = ∫L(x, y, y')dx
  • Lagrange derived the Euler-Lagrange equation: ∂L/∂y − d/dx(∂L/∂y') = 0
  • This single equation encodes the principle of least action — the most powerful principle in physics
  • Applies to classical mechanics, optics, general relativity, quantum field theory
Principle of Least Action t q A B actual path: δS = 0 S = ∫L(q, q̇, t) dt
05 — EULER-LAGRANGE

The Euler-Lagrange Equation

The condition for a function y(x) to extremize J[y] = ∫L dx yields:

∂L/∂y − d/dx(∂L/∂y') = 0

  • Brachistochrone: L = √((1+y'²)/(2gy)) gives the cycloid — the curve of fastest descent
  • Geodesics: L = √(gij dxidxj) gives shortest paths on curved surfaces
  • Catenary: The hanging chain shape minimizes potential energy subject to fixed length
  • In mechanics, L = T − V (kinetic minus potential energy) gives Newton's equations as a consequence

Lagrange Multipliers

To handle constrained optimization, Lagrange invented the method of Lagrange multipliers.

The Idea

Maximize f(x,y) subject to g(x,y)=0: introduce λ and solve ∇f = λ∇g. At the optimum, the gradient of the objective is proportional to the gradient of the constraint.

Impact

Used throughout physics, economics, machine learning, and engineering optimization. Support vector machines, portfolio optimization, and control theory all rely on Lagrange multipliers.

06 — MECHANICS

Mécanique Analytique

Lagrange reformulated all of Newtonian mechanics using generalized coordinates and the principle of virtual work, eliminating forces and diagrams entirely.

  • Any mechanical system described by coordinates q1,...,qn
  • The Lagrangian L = T − V encodes all dynamics
  • Equations of motion: d/dt(∂L/∂q̇i) − ∂L/∂qi = 0
  • Works for any coordinate system — Cartesian, polar, spherical, or any generalized coordinates
Lagrangian vs. Newtonian Mechanics Newton Forces & vectors F = ma Free-body diagrams Cartesian coords Constraints as reaction forces Hard for complex systems Lagrange Energies & scalars d/dt(∂L/∂q̇)=∂L/∂q No diagrams needed Any coordinates Constraints built into coordinates Scales to any system
07 — EXAMPLE

The Double Pendulum — Lagrangian in Action

Consider a double pendulum — two masses on hinged rods. In Newtonian mechanics, the free-body diagram requires tracking tensions and accelerations in both rods. In Lagrangian mechanics:

  • Generalized coordinates: θ1, θ2 (the two angles)
  • Write T (kinetic energy) and V (potential energy) in terms of θ1, θ2, θ̇1, θ̇2
  • Form L = T − V
  • Apply Euler-Lagrange equations for each coordinate
  • The constraint forces (rod tensions) are automatically eliminated

The resulting system is chaotic — one of the simplest systems exhibiting deterministic chaos.

m1 m2 θ1 θ2 chaotic trajectory
08 — NUMBER THEORY

Number Theory & Algebra

Four-Square Theorem (1770)

Proved that every positive integer can be expressed as the sum of four squares. Fermat had conjectured this; Euler had worked on it; Lagrange completed the proof using descent and the Euler identity for products of sums of four squares.

Wilson's Theorem

Provided the first proof that (p−1)! ≡ −1 (mod p) for every prime p. This elegant result connects factorials to primality.

Continued Fractions

Developed the theory of continued fractions systematically, proving that quadratic irrationals have eventually periodic continued fraction expansions.

Lagrange's Theorem on Groups

In his study of polynomial equations (Réflexions, 1770), Lagrange showed that the order of a subgroup divides the order of the group — a foundational result of abstract algebra, though he stated it in terms of permutations.

09 — METHOD

Lagrange's Mathematical Method

Generalize

Replace specific coordinates with abstract variables

Algebraize

Express everything as formulas, not diagrams or constructions

Vary

Apply variational principles to find extrema

Unify

Show diverse phenomena as instances of one principle

"One will not find figures in this work. The methods which I set forth do not require either constructions or geometrical or mechanical reasonings, but only algebraic operations."

— Lagrange, Preface to Mécanique Analytique
10 — NETWORK

Connections & Influence

Lagrange 1736-1813 Euler mentor d'Alembert Laplace Fourier Hamilton reformulator
11 — STRUGGLE

Depression & the French Revolution

Lagrange suffered from profound periods of depression and mathematical exhaustion throughout his life.

  • After publishing the Mécanique Analytique, he declared he was "disgusted with mathematics" and did no research for two years
  • During the Reign of Terror, his friend Lavoisier was guillotined (1794). Lagrange said: "It took them only an instant to cut off his head, and a hundred years may not suffice to produce one like it."
  • As a foreigner in Paris, he was nearly expelled by a decree banishing aliens from France; Lavoisier had arranged an exemption
  • Eventually revived by love: at age 56, he married a much younger woman, Renée-Françoise-Adélaïde Le Monnier, who brought joy back to his life

"It took them only an instant to cut off his head, and one hundred years might not suffice to produce its like."

— Lagrange, on the execution of Lavoisier (1794)

The Metric System

Lagrange chaired the revolutionary commission that designed the metric system, arguing successfully for base-10 over base-12. He also advocated for decimal time (10-hour days, 100-minute hours), though this was quickly abandoned.

12 — LEGACY

Legacy in Modern Mathematics

Lagrangian Mechanics

The standard formulation of classical mechanics used in physics worldwide. Extended by Hamilton, Jacobi, and eventually Feynman's path integral formulation of quantum mechanics.

Optimization Theory

Lagrange multipliers are fundamental to constrained optimization in economics, engineering, machine learning, and operations research.

Abstract Algebra

Lagrange's theorem (order of subgroup divides order of group) and his analysis of permutation groups directly inspired Galois, Abel, and the birth of group theory.

Numerical Analysis

Lagrange interpolation provides a fundamental method for polynomial interpolation, used in computer graphics, signal processing, and numerical methods.

13 — APPLICATIONS

Applications in Science & Engineering

Robotics

Robot arm dynamics are formulated using Lagrangian mechanics with joint angles as generalized coordinates.

Quantum Field Theory

The Standard Model of particle physics is defined by its Lagrangian density. Every fundamental interaction is encoded this way.

Machine Learning

Support vector machines use Lagrange multipliers to find optimal separating hyperplanes in classification problems.

Spacecraft Navigation

The five Lagrange points where gravitational and centrifugal forces balance are used for satellite placement (e.g., JWST at L2).

Economics

Constrained utility maximization and cost minimization use Lagrange multipliers as the core mathematical tool.

Computer Graphics

Lagrange interpolation smooths curves and surfaces in animation, font rendering, and 3D modeling.

14 — TIMELINE

Life Timeline

1736 Born Turin 1755 Letter to Euler 1766 Berlin Academy 1770 Four-Square Thm 1788 Mécanique Analytique 1793 Metric system 1813 Death, Paris
1787
Move to ParisLeft Berlin for Paris at the invitation of Louis XVI; remained through the Revolution
1797
Théorie des fonctions analytiquesAttempted to base calculus on Taylor series, avoiding infinitesimals entirely
15 — FURTHER READING

Recommended Reading

Analytical Mechanics

J.-L. Lagrange, trans. A. Boissonnade & V. Vagliente (1997). The foundational text itself, in English translation.

Joseph Louis Lagrange: From Turin to Paris

Craig Fraser, in Mathematics and the Historian's Craft (2005). Scholarly analysis of Lagrange's mathematical development.

The Variational Principles of Mechanics

Cornelius Lanczos (1949). A beautifully written exposition of Lagrangian and Hamiltonian mechanics for mathematicians.

A History of Mechanics

René Dugas (1955). Places Lagrange's contributions in the full arc from Aristotle to quantum mechanics.

"One will not find figures in this work. The methods which I set forth do not require either constructions or geometrical or mechanical reasonings, but only algebraic operations, subject to a regular and uniform procedure."

— Joseph-Louis Lagrange, Preface to Mécanique Analytique (1788)

Joseph-Louis Lagrange · 1736–1813 · Analytical Mechanics