Tyhjennysmenetelmä

Ekshaustio- eli tyhjennysmenetelmä on Eudoksos Knidoslaisen kehittämä menetelmä, joka vastaa nykyistä integraalilaskentaa. Menetelmällä todistettiin pyöreäreunaisten kaksi- ja kolmiulotteisten kappaleiden aloja ja tilavuuksia koskevia väitteitä. Arkhimedes Syrakusalainen määritti piin arvon välille: . Tässä hän käytti kolmea lausetta, joista yksi oli ekshaustiomenetelmä.

Katso myös 
Puolisuunnikassääntö

Lähteet 

Geometria
Matematiikan historia
Integraalilaskenta