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ä[1]. Arkhimedes Syrakusalainen määritti piin arvon välille: . Tässä hän käytti kolmea lausetta, joista yksi oli ekshaustiomenetelmä[2].