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: ${\displaystyle 3{\frac {10}{71}}<\pi <3{\frac {10}{70}}}$. Tässä hän käytti kolmea lausetta, joista yksi oli ekshaustiomenetelmä^[2].

• Puolisuunnikassääntö