Note liminaire : Tout ce qui suit est une fiction narrative. Les résultats mathématiques sont historiquement documentés ; la conversation est inventée.
C’est exactement la question qui m’a occupé toute ma vie. Pour un rectangle, l’aire est base fois hauteur. Pour un triangle, la moitié. Mais pour une parabole, un cercle, une spirale ? Il n’y a pas de formule directe.
Ma méthode est l'exhaustion : j’enferme la figure courbe entre des polygones dont je sais calculer l’aire — un polygone inscrit (par défaut) et un polygone circonscrit (par excès). Puis je multiplie le nombre de côtés. Les deux aires se rapprochent, et elles encadrent l’aire cherchée de plus en plus près.
Archimède démontre que l’aire du segment parabolique (la région entre une parabole et une droite) est exactement les deux tiers du rectangle englobant.
En notation moderne : si \(f(x) = x^2\) sur \([0, a]\), alors :
C’est \(\frac{1}{3}\) de l’aire du rectangle \(a \times a^2 = a^3\). L’aire sous la parabole est \(\frac{1}{3}\), l’aire au-dessus (le segment) est \(\frac{2}{3}\).
Comment Archimède le démontre-t-il sans intégrale ? Il découpe le segment en triangles de plus en plus petits et montre que leur somme est une série géométrique :
où \(T\) est l’aire du grand triangle inscrit. C’est une somme de série géométrique — un résultat que vous connaissez en Seconde !
Note historique : La méthode d’exhaustion est en réalité due à Eudoxe de Cnide (IVe s. av. J.-C.). Archimède la perfectionne et l’applique systématiquement à de nombreuses figures. Sa démonstration de l’aire du segment parabolique figure dans son traité La Quadrature de la parabole.
Archimède savait calculer l’aire sous \(x^2\). Moi, j’ai voulu calculer le volume d’un solide de révolution — le volume obtenu en faisant tourner une parabole autour d’un axe. Pour cela, j’avais besoin de la somme :
Personne ne l’avait calculée avant moi.
Voici les formules, dans l’ordre historique :
| Somme | Formule | Auteur |
|---|---|---|
| \(\displaystyle\sum_{k=1}^n k\) | \(\dfrac{n(n+1)}{2}\) | Pythagoriciens (Ve s. av. J.-C.) |
| \(\displaystyle\sum_{k=1}^n k^2\) | \(\dfrac{n(n+1)(2n+1)}{6}\) | Archimède (IIIe s. av. J.-C.) |
| \(\displaystyle\sum_{k=1}^n k^3\) | \(\left[\dfrac{n(n+1)}{2}\right]^2\) | Al-Karajī (Xe s.) |
| \(\displaystyle\sum_{k=1}^n k^4\) | \(\dfrac{n(n+1)(2n+1)(3n^2+3n-1)}{30}\) | Ibn al-Haytham (XIe s.) |
Vérification pour \(n = 3\) :
Ce qui est remarquable, c’est que chaque somme \(\sum k^p\) est un polynôme en \(n\) de degré \(p+1\). Autrement dit, la somme des premières puissances \(p\)-ièmes se comporte comme \(\dfrac{n^{p+1}}{p+1}\) quand \(n\) est grand.
En notation moderne : \(\displaystyle\sum_{k=1}^n k^p \approx \frac{n^{p+1}}{p+1}\). C’est exactement la formule de l’intégrale \(\displaystyle\int_0^n x^p\,dx = \frac{n^{p+1}}{p+1}\) !
Le lien entre sommes et intégrales est au cœur du calcul infinitésimal :
Si \(\sum k^p \approx \frac{n^{p+1}}{p+1}\), alors :
C’est la formule de l’intégrale des puissances ! Archimède l’a trouvée pour \(p = 2\). Ibn al-Haytham l’a étendue à \(p = 4\) — et la méthode fonctionne pour tout \(p\).
Pour les élèves de Seconde : la somme \(1 + 2 + \cdots + n = \frac{n(n+1)}{2} \approx \frac{n^2}{2}\) est le cas \(p = 1\). C’est l’aire d’un triangle de base \(n\) et de hauteur \(n\) — l’intégrale de \(x\) entre 0 et \(n\).
Mon autre grand résultat est l’encadrement de \(\pi\). J’inscris et je circonscris des polygones réguliers au cercle. Avec un polygone à 96 côtés :
soit \(3{,}1408 < \pi < 3{,}1429\). Deux décimales exactes, par un calcul purement géométrique, sans ordinateur — au IIIe siècle avant votre ère.
C’est la même idée que l’exhaustion : on encadre une quantité inconnue entre deux approximations dont on sait qu’elles convergent. C’est précisément ce que vos élèves appellent le théorème des gendarmes.
L’idée d’Archimède est exactement :
donc \(\text{Aire} = A\). C’est le théorème des gendarmes (ch. 2, suites, Terminale) appliqué à la géométrie. Archimède l’utilisait 2 000 ans avant qu’il ne soit formalisé par Cauchy.
Ce qui me rend le plus fier, c’est d’avoir montré que les courbes ne sont pas mystérieuses. On peut les mesurer — il suffit de les approcher par des figures simples, de plus en plus fines. C’est un principe universel.
Et moi, j’ai montré que ce principe fonctionne pour les volumes et les puissances supérieures. La méthode d’exhaustion n'était pas une curiosité grecque — c'était le début d’une théorie générale. Newton et Leibniz, six siècles après moi, formaliseront cette théorie sous le nom de calcul intégral.
| Date | Auteur | Contribution |
|---|---|---|
| IVe s. av. J.-C. | Eudoxe (Cnide) | Invente la méthode d’exhaustion |
| IIIe s. av. J.-C. | Archimède (Syracuse) | Aire sous la parabole, encadrement de \(\pi\), somme \(\sum k^2\) |
| Xe s. | Al-Karajī (Bagdad) | Somme des cubes \(\sum k^3 = (\sum k)^2\) |
| XIe s. | Ibn al-Haytham (Le Caire) | Somme \(\sum k^4\), volume du paraboloïde |
| XVIIe s. | Cavalieri, Fermat | \(\int x^p\,dx = \frac{x^{p+1}}{p+1}\) pour tout \(p\) |
| 1666–1684 | Newton, Leibniz | Calcul intégral formalisé |
Idée centrale : Le calcul intégral n’est pas apparu soudainement au XVIIe siècle. Il est le fruit d’une chaîne inéinterrompue : Eudoxe invente l’exhaustion, Archimède l’applique aux paraboles et au cercle, Ibn al-Haytham l'étend aux puissances supérieures, et Newton/Leibniz achèvent l'édifice. Chaque génération hérite du passé et prépare l’avenir.