# Quadrature (mathématiques)

En mathématiques, la quadrature d'une surface est la recherche d'un carré ayant la même aire que la surface en question. Si dans le langage courant le terme de quadrature revêt le sens d'opération impossible, cela provient du fait que la quadrature la plus célèbre (la quadrature du cercle) se révèle impossible à réaliser à la règle et au compas. Mais, en mathématiques, le terme de quadrature va prendre très rapidement le sens de calcul d'aire. Jusqu'à la fin du XVIIe siècle, le calcul intégral est inconnu et ces calculs d'aires ne peuvent se faire qu'en utilisant des calculs approchés mettant en place des méthodes comme la méthode d'exhaustion d'Archimède, la méthode des indivisibles de Cavalieri…
La recherche de ces quadratures fait un bond prodigieux (1669-1704) grâce à Leibniz et Newton qui, avec le calcul infinitésimal, font le lien entre quadrature et dérivée.
Depuis cette époque, la recherche des quadratures est associée à celle des primitives : l'aire de la surface délimitée par les droites d'équation $x=a$ et $x=b$, l'axe (Ox) et la courbe d'équation $y=f(x)$, où $f$ est une fonction positive est $\int _{a}^{b}f(x)\,\mathrm {d} x$ ; l'unité d'aire est fournie par l'aire du rectangle unité OINJ où I est le point de coordonnées (1, 0) et J celui de coordonnées (0, 1).

## Quadratures célèbres
### Théorème de Pythagore et quadrature du rectangle

Une des préoccupations des géomètres de l'antiquité grecque était de ramener les surfaces de polygones quelconques à des surfaces de carrés. Il est relativement facile de découper n'importe quel polygone en triangles. Il est facile également, à partir d'un triangle, de construire un rectangle ayant même aire que ce triangle. Il est donc réalisable, à partir d'un polygone, de construire un rectangle de même aire. Il ne reste plus alors qu'à construire un carré de même aire que ce rectangle. C'est la quadrature du rectangle. Elle est exposée dans les Éléments d'Euclide - Livre II- proposition XIV où Euclide précise que cela permet, un polygone quelconque étant donné, de trouver un carré dont l'aire est égale à celle du polygone. Sa démonstration s'appuie sur des manipulations de gnomons et sur l'utilisation du théorème de Pythagore démontré à la proposition XXXXVII du Livre I$^,$. C'est l'élément conclusif du livre II. Le géomètre sait alors remplacer tout polygone par un carré de même aire, et remplacer la somme ou la différence de deux carrés par un carré unique grâce au théorème de Pythagore.
* Quadrature de la somme de deux carrés : $a^{2}+b^{2}=c^{2}$ (théorème de Pythagore).
* Quadrature de la différence de deux carrés : $b^{2}-a^{2}=c^{2}$ (théorème de Pythagore).
* Quadrature d'un rectangle : $p\times q=h^{2}$ (la hauteur h du triangle rectangle inscrit dans un demi-cercle est moyenne géométrique des segments découpés sur l'hypoténuse).
Ces quadratures sont l’occasion pour les mathématiciens grecs de manipuler des longueurs irrationnelles , comme √2, √3, √5... Platon, dans son Théétète mentionne que Théodore de Cyrène aurait démontrer, au Ve siècle av. J.-C., l'incommensurabilité de ces racines de nombres impairs non carrés jusqu'à 17.

### Quadrature du cercle

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$^2$. 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.

### Quadrature de la parabole

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 $y=x^{2}$ entre les points $a$ et $b$ est $b^{3}-a^{3} \over 3$.
    L'aire sous la corde correspondante est $(b-a)(b^{2}+a^{2}) \over 2$.
    L'aire délimitée par cette même parabole et la corde est ${\frac {\left(b-a\right)\left(a^{2}+b^{2}-2ab\right)}{6}}$.
    Si $a$ et $b$ sont opposés alors l'aire délimitée par la parabole et la corde est ${\frac {2}{3}}b\times b^{2}$.
    Cette formule se généralise à toute parabole d'équation $y=kx^{2}$ , l'aire devenant ${\frac {2}{3}}b\times f(b)$.

### Quadratures des fonctions de kx$^m$

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 à ${\frac {a^{m+1}}{m+1}}$.

### Quadrature de la cycloïde

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.

### Quadrature de l'hyperbole y = 1/x

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.