Metode penghabis

Dalam matematika, metode penghabis^[1][2] (Latin: methodus exhaustionibus) adalah suatu cara kuno untung menghitung luas, volume, dan panjang dari bentuk geometri melengkung, seperti lingkaran. Gagasan tentang metode ini mulanya dicetuskan oleh Antifon, namun pengembangan dan penerapannya dilakukan oleh Eudoksos dari Knidos

Istilah "metode penghabis" mula digunakan oleh Grégoire de Saint-Vincent di tahun 1647, yang mana sebelumnya metode ini tidak dinamai khusus. Metode penghabis secara implisit telah menggunakan konsep limit. Penyempurnaan metode penghabis kemudiannya mengarah pada kalkulus integral.

Untuk mencari luas (atau volume) suatu bentuk geometri, suatu barian dari segibanyak dimuatkan di dalam (atau dipaskan di luar) bentuk geometri tersebut, sehingga semakin banyak sisi segibanyaknya maka selisih luas antara bentuk geometri dan segibanyak tersebut akan habis (exhausted). Luas dari barisan segibanyak tersebut dihitung dan nilainya akan mendekati luas bentuk geometri yang dicari luasnya, diasumsikan luasnya adalah A. Dapat dibuktikan bahwa apabila luas dari bentuk geometri itu tidak sama dengan A, maka akan berlaku kontradiksi^[3].

Orang Yunani menghindari konsep tak hingga.

Dasar dari metode penghabis Eudoksos telah diketengahkan dalam preposisi pertama kitab kesepuluh buku Elemen Euklides^[4].