= Solution
{c}
<Augustin-Louis Cauchy>'s importance lies in the interaction of foundations, methods and applications. He made the justification of <limits>, <series> and <integrals> a programme for teaching and research; developed <complex analysis> into a source of powerful general methods; and contributed to <permutation groups>, <geometry> and <continuum mechanics>. His work is best assessed through particular achievements and their limitations, rather than by treating every theorem now bearing his name as a modern statement he already possessed. His engineering training and subsequent mathematical career also make a rigid separation of pure and applied work historically unhelpful.<Augustin-Louis Cauchy by the MacTutor History of Mathematics Archive>[Biographical account of engineering education and mathematical research]{ref}
The <Cours d'analyse by Augustin-Louis Cauchy> (1821) makes <convergence> a condition requiring argument. A <series> is studied through its <partial sums>; a <limit> describes a variable approaching a fixed value; an <infinitesimal> is a variable tending to zero, rather than simply a mysterious fixed quantity smaller than every positive number. The introduction explicitly challenges unrestricted transfers of rules from finite expressions to infinite ones. This is not an abandonment of calculation: it seeks to identify when calculations are valid.<Cours d'analyse by Augustin-Louis Cauchy>[Introduction; Chapter II, continuity; Chapter VI, convergence]{ref}
For example, the <Cauchy criterion for series> asks whether tails can all be made small:
$$
\forall\varepsilon>0\ \exists N\ \forall m>n\geq N:
\left|\sum_{k=n+1}^{m}a_k\right|<\varepsilon.
$$
This is a modern formulation of the convergence requirement, with the <completeness of the real numbers> understood. Merely requiring $a_n\to0$ is weaker. In the <harmonic series>, grouping the terms from $2^j+1$ to $2^{j+1}$ gives a block of at least $1/2$, so its tails cannot satisfy the criterion. In contrast, the <root test> compares a tail with a <geometric series>: if $\limsup |a_n|^{1/n}<q<1$, then eventually $|a_n|\leq q^n$, which proves <absolute convergence>. Such arguments explain the usefulness of convergence tests instead of reducing <Augustin-Louis Cauchy>'s contribution to a vocabulary of definitions.
His <Résumé des leçons sur le calcul infinitésimal by Augustin-Louis Cauchy> (1823) extends the programme to <differentiation> and <integration>. For a continuous <function> on a compact <interval>, an <integral> can be approached through sums of values times subinterval lengths. A modern justification uses <uniform continuity>: for a partition of mesh at most $\delta$, two choices of sample points give sums differing by at most $(b-a)\omega_f(\delta)$, where the <modulus of continuity> $\omega_f(\delta)$ tends to zero. Refinement then establishes the common <limit>. This reconstruction makes clear why control of error, rather than a geometrical picture of area alone, is decisive. It does not attribute the later full <Riemann integral> theory for discontinuous <functions> to the 1823 text.<Résumé des leçons sur le calcul infinitésimal by Augustin-Louis Cauchy>[1823 original edition, lessons on derivatives and definite integrals]{ref}
The achievement has limits. The 1821 <Sum theorem of Cauchy> asserts continuity of sums of convergent <series> of continuous <functions> in terms that, under a pointwise reading, are insufficient. The original proof treats the tail as negligible without establishing the uniform control needed near the point concerned. A modern diagnostic is $f_n(x)=x^n$ on $[0,1]$: every $f_n$ is continuous, but its <pointwise limit> is zero for $x<1$ and one at $1$. Thus a proof must distinguish <pointwise convergence> from <uniform convergence>. <Augustin-Louis Cauchy>'s use of variable and infinitesimal language deserves historical interpretation, but it does not license silently importing modern hypotheses into his printed theorem.<Cours d'analyse by Augustin-Louis Cauchy>[Chapter VI, §I, Theorem I and preceding remainder argument]{ref}
In <complex analysis>, the <Mémoire sur les intégrales définies, prises entre des limites imaginaires by Augustin-Louis Cauchy> (1825) exemplifies a new productive setting for <integration>. A <contour integral> depends on a path in the <complex plane>; deforming that path and accounting for <isolated singularities> can evaluate otherwise difficult <definite integrals>. In modern form, <Cauchy's integral theorem> applies to a <holomorphic function> on a suitable domain and <Cauchy integral formula> states, for a circle enclosing $z$ and lying with its interior in that domain,
$$
\boxed{f(z)=\frac{1}{2\pi i}\int_\gamma\frac{f(\zeta)}{\zeta-z}\,d\zeta.}
$$
The importance is structural: local values and <derivatives> are determined by data on a surrounding path. Historical proofs and hypotheses should be distinguished from later general forms of the theorem.<Mémoire sur les intégrales définies, prises entre des limites imaginaires by Augustin-Louis Cauchy>[1825 original edition, contour integration and the treatment of singularities]{ref}
A short modern consequence measures the power of this method. For an <entire function> bounded by $M$, the derivative version of <Cauchy integral formula> on a circle of radius $R$ gives $|f'(z)|\leq M/R$. Since $R$ is arbitrary, $f'=0$, proving <Liouville's theorem>. If a nonconstant <polynomial> $P$ had no <root>, then $1/P$ would be an <entire function>, bounded outside a large disc by the leading term and inside the disc by <compactness>. <Liouville's theorem> would force it to be constant, a contradiction. This proves the <fundamental theorem of algebra>. The chain is an assessment of the reach of the methods, not a claim that <Augustin-Louis Cauchy> alone originated every named result.
<Augustin-Louis Cauchy>'s <algebra> concerns concrete <permutations> as well as analytical formulas. His 1845 investigations developed the theory of substitutions; <Cauchy theorem for groups> says that a <prime number> dividing a finite <group order> occurs as an <element order>. One can appreciate its generality from a modern argument: rotate the coordinates of the tuples $(g_1,\ldots,g_p)$ satisfying $g_1\cdots g_p=e$. Rotation preserves this condition, since $g_2\cdots g_pg_1=g_1^{-1}(g_1\cdots g_p)g_1=e$. There are $|G|^{p-1}$ such tuples; nonfixed rotation <orbits> have $p$ elements, and fixed tuples correspond to $g^p=e$. When $p\mid|G|$, the number of fixed tuples is divisible by $p$, so besides $e$ there is an element of <element order> $p$. This is explanatory mathematics, not <Augustin-Louis Cauchy>'s original proof. The dating itself needs care: <Peter Michael Neumann>'s archival argument places the major burst of work in 1845 despite an 1844 date traditionally attached to a volume.<On the date of Cauchy's contributions to the founding of the theory of groups by Peter Michael Neumann>[1989, opening argument and discussion of the 1845 papers]{ref}
Finally, <Augustin-Louis Cauchy>'s work on <elasticity> shows the strength of making a local mathematical object out of physical interactions. Instead of describing only a force perpendicular to a surface, one studies the <traction> on a plane through a point, with its direction dependent on the plane's <unit normal>. In modern notation the relation is $\mathbf t(\mathbf n)=\boldsymbol\sigma\mathbf n$, where the <Cauchy stress tensor> contains the necessary directional information. Together with <balance of linear momentum>, this yields equations for the internal motion of a body. The modern tensor notation is later explanatory language; the conceptual contribution is the reduction of the forces on arbitrary internal planes to a finite collection of local components.<Augustin-Louis Cauchy by Hans Freudenthal>[Dictionary of Scientific Biography, section on mathematical physics, reproducing Cauchy's 1822 explanation of pressures and tensions]{ref}
\b[<Augustin-Louis Cauchy>'s lasting contribution was a powerful research programme, not a finished foundation.] His insistence on justified passage to a <limit> reshaped <analysis>, while <complex integration>, substitutions and local stresses opened methods whose value extended beyond their first applications. The inadequacy of a <pointwise convergence> hypothesis, the need to state domains in <complex analysis>, and the later construction of the <real numbers> show that nineteenth-century rigour remained a collective and revisable achievement. These qualifications strengthen an assessment of his influence by identifying what later mathematicians could extend and repair.
Back to article page
