S. f. terme de Mathématiques. La méthode d'exhaustion est une manière de prouver l'égalité de deux grandeurs, en faisant voir que leur différence est plus petite qu'aucune grandeur assignable ; et 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 restreint à 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é ; et on leur démontre que la différence qui existerait entre ces grandeurs (en cas qu'il y en eut) serait plus petite que la différence assignée ; et qu'ainsi cette différence ayant pu ê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'évanouit véritablement. Or c'est cette petitesse indicible, inassignable, et 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.
Lire la suite...