Metoda wyczerpywania

Archimedes korzystał z metody wyczerpywania do obliczeń powierzchni koła

Metoda wyczerpywania (łac. methodus exhaustionibus) – metoda obliczania pola powierzchni figury geometrycznej za pomocą wpisania w nią ciągu wzajemnie rozłącznych wielokątów o znanej powierzchni, których suma pól zbliża się do powierzchni badanej figury.  

Zastosowanie metody wyczerpywania wymaga zazwyczaj zastosowania rodzaju dowodu nie wprost (łac. reductio ad absurdum). Polega on na tym, że pole powierzchni części figury znajduje się za pomocą porównania z polem powierzchni innej części drogą kolejnych przybliżeń (aż do momentu, w którym różnica między oboma polami staje się pomijalna). Następnie należy założyć, że powierzchnia sprawdzanej figury jest większa niż suma powierzchni wpisanych figur i dowieść błędności takiego założenia, a następnie dowieść błędności założenia przeciwnego, że pole badanej figury jest mniejsze niż suma pól figur wpisanych.

Choć rozwój rachunku różniczkowego wyparł metodę z użycia, pomysł wykorzystywany jest do dzisiaj w nieco zmodyfikowanej formie w matematycznej teorii miary, np. przy obliczaniu miary Lebesgue’a oraz całki Lebesgue’a.

Historia

Grégoire de Saint-Vincent

Na pomysł na obliczanie powierzchni figury za pomocą ciągu wpisanych figur o znanej powierzchni wpadł w V wieku p.n.e. Antyfont, który zauważył, że podwajając kolejno liczbę boków wielokąta wpisanego w okrąg można przybliżyć się do sprawdzenia pola powierzchni samego okręgu[1], nie jest jednak jasne czy sam dobrze rozumiał swoje odkrycie[2]. Kilka dekad później Eudoksos z Knidos dopracował tę metodę i z jej pomocą poprawnie obliczał pola i objętości[3][1]. W starożytności stosowali ją także Euklides i Archimedes[3], który opisał ją w swoich pismach i wykorzystywał w codziennej pracy do obliczania objętości i pól brył i figur[1]. Niezależnie od nich, w III wieku n.e. chiński matematyk Liu Hui wykorzystał ją do obliczenia pola powierzchni koła[4]. Współczesną nazwę nadał jej w 1647 Grégoire de Saint-Vincent w swoim dziele Opus geometricum quadraturae circuli et sectionum.

Metoda wyczerpywania uważana jest za prekursora rachunku różniczkowego i teorii granic[3]. Rozwój geometrii analitycznej i zintegrowanego rachunku całkowego pomiędzy XVII a XIX wiekiem wyparł tę metodę z użycia[5].

Podejście alternatywne wobec metody wyczerpywania reprezentuje zasada Cavalieriego, którą ostatecznie Gilles de Roberval, Evangelista Torricelli, John Wallis, Gottfried Wilhelm Leibniz i inni myśliciele przekształcili w rachunek różniczkowy liczb nieskończenie małych.

Zobacz też

Przypisy

  1. a b c Michał Heller, Uchwycić przemijanie, wyd. 2 popr., Społeczny Instytut Wydawniczy „Znak”, 2010, s. 83, ISBN 83-240-1338-5, OCLC 833576851 [dostęp 2015-12-09].
  2. Antiphon the Sophist, [w:] J J O’Connor, E F Robertson, MacTutor History of Mathematics archive, School of Mathematics and Statistics, University of St Andrews, 2015 [dostęp 2015-12-09].
  3. a b c Maciej Kandulski, Zarys historii matematyki: od czasów najdawniejszych do średniowiecza, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 1983, s. 16-17, 22, OCLC 21702875 [dostęp 2015-12-09].
  4. Liu Dun, A comparison of Archimedes' and Liu Hui's studies of circles, [w:] Fan Dainian, Robert S. Cohen (red.), Chinese Studies in the History and Philosophy of Science and Technology, Kathleen Dugan, Jiang Mingshan (tłum.), Dordrtecht, Boston, London: Kluwer, 1996, s. 279, ISBN 0-7923-3463-9 [dostęp 2015-12-09] (ang.).
  5. Wyczerpywania metoda, [w:] Encyklopedia PWN [online] [dostęp 2021-07-29].

Media użyte na tej stronie

Archimedes pi.svg
Metoda aproksymacji Pi
Grégoire de Saint-Vincent (1584-1667).jpg
Ancienne gravure de Grégoire de Saint-Vincent