Méthode d’exhaustion

Bonjour.

Cherche les textes d'Archimède qui nous sont parvenus. Il me semble qu'il utilise des raisonnements mécaniques pour trouver les formules, puis justifie par exhaustion les intuitions obtenues.
N'importe comment, tu n'iras pas loin, seuls quelques textes mathématiques ont été conservés, parfois par pur hasard (palimpsestes), parfois grâce à la civilisation arabo-perse. Par exemple, on n'a aucun texte de l'école pythagoricienne.

Cordialement.

Pour y parvenir, il a utilisé un découpage du cylindre et de la sphère en tranches horizontales (une méthode qui s'apparente au principe de Cavalieri).

Pour simplifier le problème, on va imaginer que la sphère en question est celle ayant pour centre l'origine et pour rayon 1 (d'équation x²+y²+z²+1, même si les équations de surfaces n'existaient pas à l'époque d'Archimède), et le cylindre est celui de rayon 1, orienté verticalement (d'équation x²+y²+1).

Si on se place au niveau d'une tranche à l'ordonnée z, alors la tranche de cylindre est un cercle de rayon 1 (et d'aire pi) et la tranche de sphère est un cercle de rayon sqrt(1-z²), et donc d'aire pi*(1-z²). Sur cette tranche, si on retranche l'aire du petit cercle à l'aire du grand cercle, on obtient pi-pi*(1-z²) = pi*z². On peut remarquer que cette valeur correspond à l'aire d'une tranche de cylindre (d'équation x² + y² = z²). Autrement dit, pour chaque tranche, c'est à dire à chaque ordonnée z, l'aire de la section de cylindre moins l'aire de la section de sphère donne l'aire d'une section de cône.

Sauf que l'on sait depuis Eudoxe que le volume d'un cône est égale au tiers de celui d'un cylindre dans lequel celui-ci est placé. Du coup, en retirant le volume du cône à celui du cylindre, il reste le volume de la sphère, qui correspond donc aux deux tiers de celui du cylindre.