Quadrature (mathématiques)

C'est un problème vieux de plus de 2000 ans, posé par l'école pythagoricienne : peut-on tracer à la règle et au compas un carré ayant même aire qu'un cercle donné ? La réponse à cette question ne viendra que plus de 19 siècles plus tard grâce à Pierre-Laurent Wantzel, Joseph Liouville et Ferdinand von Lindemann : la réponse est non. Le calcul de l'aire d'un disque de rayon r est pourtant réalisable : c'est πr². Cependant le carré qu'il faudrait construire aurait pour côté r√π, construction impossible à la règle et au compas car π n'est pas un nombre algébrique.

La parabole n'est pas une surface. La quadrature de la parabole consiste à déterminer l'aire de la surface comprise entre une corde et une portion de parabole.

Elle est résolue par Archimède (287-212 av. J.-C.). C'est le premier exemple de calcul d'aire par la méthode d'exhaustion (l'erreur commise diminue de plus de 50 % à chaque étape). Le résultat est connu de nos jours très facilement grâce au calcul de primitive :

L'aire sous la courbe d'équation ${\displaystyle y=x^{2}}$ entre les points ${\displaystyle a}$ et ${\displaystyle b}$ est ${\displaystyle b^{3}-a^{3} \over 3}$.

L'aire sous la corde correspondante est ${\displaystyle (b-a)(b^{2}+a^{2}) \over 2}$.

L'aire délimitée par cette même parabole et la corde est ${\displaystyle {\frac {\left(b-a\right)\left((a^{2}+b^{2}-2ab\right)}{6}}}$.

Si ${\displaystyle a}$ et ${\displaystyle b}$ sont opposés alors l'aire délimitée par la parabole et la corde est ${\displaystyle {\frac {2}{3}}b\times b^{2}}$.

Cette formule se généralise à toute parabole d'équation ${\displaystyle y=kx^{2}}$ , l'aire devenant ${\displaystyle {\frac {2}{3}}b\times f(b)}$.

Elles concernent le calcul de l'aire de la surface comprise entre l'axe des x, la courbe et la droite d'équation x = a (pour m > 0), ou bien l'aire de la surface comprise entre l'axe des x, la courbe, et située à droite de la droite d'équation x = a (pour m ≤ –2).

Elles sont mises au point par Fermat pour tout entier relatif différent de –1, ainsi que pour tout m rationnel positif. Il démontre que cette aire est toujours égale à ${\displaystyle {\frac {a^{m+1}}{m+1}}}$.

La cycloïde est une courbe particulièrement étudiée par Galilée (1599). De nombreux mathématiciens ont cherché à calculer l'aire sous une arche de cycloïde. Galilée même a tenté une résolution expérimentale en découpant un cycloïde et en la pesant. La quadrature de la cycloïde est résolue presque simultanément par Roberval (1634) et Torricelli qui démontrent que l'aire sous une arche est égale à 3 fois l'aire du cercle qui génère la cycloïde.

C'est l'aire comprise entre la courbe, l'axe des abscisses et les droites d'équations x = a et x = 1.

Elle est découverte par Grégoire de Saint-Vincent (1647) qui met en évidence la propriété L(ab) = L(a) + L(b) si l'on appelle L(a) l'aire entre 1 et a, rangeant cette aire dans la famille de fonctions logarithmes. Il s'agit par définition de la fonction logarithme népérien.