Exhaustion

Nom commun - français

exhaustion \??.zos.tj??\ féminin

1. (Vieilli) Action d'épuiser un gaz, un liquide contenu dans un récipient.
   • pompe d'exhaustion.
2. (Vieilli) Action de prendre, d'user entièrement.
3. (Logique) Énumération de tous les cas possibles dans une question.
   • L'induction est impossible, car elle suppose l'exhaustion de tous les singuliers. ? (Diderot, Opinions des anciens philosophes)

• 1 Terme didactique. Action d'épuiser. Pompe d'exhaustion, pompe placée sur quelques navires à vapeur pour enlever du fond de la chaudière une certaine portion d'eau sursaturée soit de sel marin, soit de toute autre matière tenue en dissolution, Legoarant ?
• 2Fig. Terme de logique. Action d'épuiser tous les cas possibles dans une question. L'induction est impossible, car elle suppose l'exhaustion de tous les singuliers, Diderot, Opin. des anc. philos. (Pyrrhoniens).

  Terme de mathématique. Méthode d'exhaustion, manière de prouver que deux grandeurs sont égales, en montrant que la différence en est plus petite que toute quantité donnée.

EXHAUSTION, s. f. terme de Mathématiques. La méthode d'exhaustion est une maniere de prouver l'égalité de deux grandeurs, en faisant voir que leur différence est plus petite qu'aucune grandeur assignable ; & en employant, pour le démontrer, la réduction à l'absurde.

Ce n'est pourtant pas parce que l'on y réduit à l'absurde, que l'on a donné à cette méthode le nom de méthode d'exhaustion : mais comme l'on s'en sert pour démontrer qu'il existe un rapport d'égalité entre deux grandeurs, lorsqu'on ne peut pas le prouver directement, on se restraint à faire voir qu'en supposant l'une plus grande ou plus petite que l'autre, on tombe dans une absurdité évidente : afin d'y parvenir, on permet à ceux qui nient l'égalité supposée, de déterminer une différence à volonté ; & on leur démontre que la différence qui existeroit entre ces grandeurs (en cas qu'il y en eût) seroit plus petite que la différence assignée ; & qu'ainsi cette différence ayant pû être supposée d'une petitesse qui, pour ainsi dire, épuisât toute grandeur assignable, c'est une nécessité de convenir que la différence entre ces grandeurs s'évanoüit véritablement. Or c'est cette petitesse indicible, inassignable, & qui épuise toute grandeur quelconque, qui a fait donner à la méthode présente le nom de méthode d'exhaustion, du mot latin exhaustio, épuisement.

La méthode d'exhaustion est fort en usage chez les anciens géometres, comme Euclide, Archimede, &c. Elle est fondée sur ce théorème du dixieme livre d'Euclide, que des quantités sont égales lorsque leur différence est plus petite qu'aucune grandeur assignable ; car si elles étoient inégales, leur différence pourroit être assignée ; ce qui est contre l'hypothèse.

C'est d'après ce principe qu'on démontre que, si un polygone régulier d'une infinité de côtés est inscrit ou circonscrit à un cercle, l'espace qui constitue la différence entre le cercle & le polygone s'épuisera & diminuera par degrés ; de sorte que le cercle deviendra égal au polygone. Voyez Quadrature, Polygone, &c. Voyez aussi Limite, Infini, &c. (E)

Le calcul différentiel n'est autre chose que la méthode d'exhaustion des anciens, réduite à une analyse simple & commode ; c'est la méthode de déterminer analytiquement les limites des rapports ; la métaphysique de cette méthode est expliquée très-clairement au mot Différentiel.