esaustióne

sf. [sec. XIX; da esausto]. Esauriente trattazione di un soggetto o di un concetto. In particolare: metodo di esaustione, schema di ragionamento matematico, le cui basi furono poste da Eudosso di Cnido; è fondato su successive dimostrazioni per assurdo. Il metodo, che consente di evitare l'uso di procedimenti infinitesimali nelle questioni relative ad aree e a volumi, fu usato da Euclide per dimostrare che l'area di un cerchio è proporzionale al quadrato del diametro.