Metoda epuizării ( lat. methodus exhaustionis ) este o metodă matematică antică concepută pentru a studia ariile figurilor geometrice curbilinii sau volumele corpurilor geometrice . Ideea metodei, în termeni nu foarte clari, a fost exprimată de Antiphon , cu toate acestea, dezvoltarea și aplicarea a fost realizată de Eudoxus din Cnidus .
Denumirea „metoda de epuizare” a fost propusă în 1647 de Grégoire de Saint-Vincent , în antichitate metoda nu avea un nume special. Rațiunea acestei metode nu se bazează pe conceptul de infinitezimale , ci include implicit conceptul de limită . Rafinarea metodei de epuizare a condus ulterior la calculul integral .
Metoda a fost următoarea: pentru a găsi aria (sau volumul) unei anumite figuri, în această figură a fost înscrisă o succesiune monotonă de alte figuri și s-a dovedit că ariile (volumele) acestora se apropie la infinit de aria (volumul) dorită. figura. Apoi s-a calculat limita succesiunii de arii (volume), pentru care s-a înaintat o ipoteză că este egală cu oarecare A și s-a demonstrat că opusul duce la o contradicție [1] . Întrucât nu exista o teorie generală a limitelor (grecii evitau conceptul de infinit), toți acești pași, inclusiv justificarea unicității limitei, s-au repetat pentru fiecare problemă.
În această formă, metoda epuizării se potrivește bine în construcția strict deductivă a matematicii antice, dar avea câteva dezavantaje semnificative. În primul rând, era excepțional de voluminos. În al doilea rând, nu exista o metodă generală de calcul a valorii limită a lui A; Arhimede , de exemplu, l-a dedus adesea din considerente mecanice sau pur și simplu a ghicit intuitiv. În cele din urmă, această metodă nu este potrivită pentru găsirea ariilor unor figuri infinite.
Baza teoretică a metodei de epuizare a lui Eudoxus este expusă în Cartea X a Elementelor lui Euclid . Acolo se formulează lema principală [2] :
Propunerea 1. Pentru două valori date inegale, dacă din cea mai mare se scade mai mult de jumătate și din restul mai mult de jumătate, iar acest lucru se face constant, atunci va rămâne o valoare care va fi mai mică decât valoarea mai mică dată.
Aceasta este una dintre puținele teoreme ale teoriei generale a limitelor date de autorii antici. În secolul al X-lea, Thabit ibn Qurra a propus o generalizare a acestei leme, înlocuind „jumătate” cu „orice parte”.
Folosind metoda epuizării, Eudoxus a dovedit riguros o serie de descoperiri deja cunoscute în acei ani (aria unui cerc , volumul unei piramide și al unui con ). Euclid , în Elementele sale, a folosit metoda epuizării pentru a demonstra cele șase teoreme din Cartea 12:
Cea mai fructuoasă metodă de epuizare a ajuns în mâinile adeptului remarcabil al lui Eudox, Arhimede , care a reușit să o îmbunătățească semnificativ și să o aplice cu pricepere la multe descoperiri noi. În special, a găsit următoarele:
În Evul Mediu, matematicienii europeni au folosit și metoda epuizării, până când aceasta a fost înlocuită mai întâi de metoda mai puternică și mai tehnologică a indivizibililor , iar apoi de calcul .
![]() |
---|