Метод исчерпывания

Поделись знанием:
Перейти к: навигация, поиск

Метод исчерпывания (лат. methodus exaustionibus) — античный метод для исследования площади или объёма криволинейных фигур. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование этого метода не опирается на понятие бесконечно малых, но неявно включает понятие предела. Название «метод исчерпывания» предложил в 1647 году Грегуар де Сен-Венсан, в античные времена у метода не было особого названия.





Описание метода

Метод заключался в следующем: для нахождения площади (или объёма) некоторой фигуры в эту фигуру вписывалась монотонная последовательность других фигур и доказывалось, что их площади (объёмы) неограниченно приближаются к площади (объёму) искомой фигуры. Затем вычислялся предел последовательности площадей (объёмов), для чего выдвигалась гипотеза, что он равен некоторому A и доказывалось, что обратное приводит к противоречию[1]. Поскольку общей теории пределов не было (греки избегали понятия бесконечности), все эти шаги, включая обоснование единственности предела, повторялись для каждой задачи.

В такой форме метод исчерпывания хорошо вписывался в строго дедуктивное построение античной математики, однако имел несколько существенных недостатков. Во-первых, он был исключительно громоздким. Во-вторых, не было никакого общего метода для вычисления предельного значения A; Архимед, например, нередко выводил его из механических соображений или просто интуитивно угадывал. Наконец, этот метод не пригоден для нахождения площадей бесконечных фигур.

Обоснование

Теоретическая основа метода исчерпывания Евдокса изложена в X книге «Начал» Евклида. Там формулируется основная лемма[2]:

Предложение 1. Для двух заданных неравных величин, если от большей отнимается больше половины и от остатка больше половины, и это делается постоянно, то останется некоторая величина, которая будет меньше заданной меньшей величины.

Это одна из немногих теорем общей теории пределов, приведенная у античных авторов. В X веке Сабит ибн Курра предложил обобщение данной леммы, заменив «половину» на «любую часть».

С помощью метода исчерпывания Евдокс строго доказал ряд уже известных в те годы открытий (площадь круга, объём пирамиды и конуса). Евклид в своих «Началах» использовал метод исчерпывания для доказательства 6 теорем 12-й книги:

  • Теорема 2 (о площади круга)
  • Теорема 5 (объём тетраэдра)
  • Теоремы 10-12 (объёмы конуса и цилиндра)
  • Теорема 18 (зависимость объёма шара от его радиуса)

Применение

Наиболее плодотворным метод исчерпывания стал в руках выдающегося последователя Евдокса, Архимеда, который смог его значительно усовершенствовать и виртуозно применял для многих новых открытий. В частности, он обнаружил:

  • площадь поверхности сферы равна учетверённой площади большого круга этой сферы;
  • площадь сегмента параболы, отсекаемого от неё прямой, составляет 4/3 от площади вписанного в этот сегмент треугольника;
  • объём шара составляет 2/3 объёма описанного вокруг него цилиндра.

В средние века европейские математики также применяли метод исчерпывания, пока он не был вытеснен сначала более мощным и технологичным методом неделимых, а затем — математическим анализом.

См. также

Напишите отзыв о статье "Метод исчерпывания"

Литература

Примечания

  1. Башмакова И. Г., 1958, с. 333-335.
  2. [ilib.mirror1.mccme.ru/djvu/klassik/euclid48-2.htm Начала Евклида] / Перевод с греческого и комментарии Д. Д. Мордухай-Болтовского при редакционном участии М. Я. Выгодского и И. Н. Веселовского. — М.-Л.: ГТТИ, 1948. — Т. II. — С. 102.

Отрывок, характеризующий Метод исчерпывания

Ростов почувствовал на себе взгляд Денисова, поднял глаза и в то же мгновение опустил их. Вся кровь его, бывшая запертою где то ниже горла, хлынула ему в лицо и глаза. Он не мог перевести дыхание.
– И в комнате то никого не было, окромя поручика да вас самих. Тут где нибудь, – сказал Лаврушка.
– Ну, ты, чог'това кукла, повог`ачивайся, ищи, – вдруг закричал Денисов, побагровев и с угрожающим жестом бросаясь на лакея. – Чтоб был кошелек, а то запог'ю. Всех запог'ю!
Ростов, обходя взглядом Денисова, стал застегивать куртку, подстегнул саблю и надел фуражку.
– Я тебе говог'ю, чтоб был кошелек, – кричал Денисов, тряся за плечи денщика и толкая его об стену.
– Денисов, оставь его; я знаю кто взял, – сказал Ростов, подходя к двери и не поднимая глаз.
Денисов остановился, подумал и, видимо поняв то, на что намекал Ростов, схватил его за руку.
– Вздог'! – закричал он так, что жилы, как веревки, надулись у него на шее и лбу. – Я тебе говог'ю, ты с ума сошел, я этого не позволю. Кошелек здесь; спущу шкуг`у с этого мег`завца, и будет здесь.
– Я знаю, кто взял, – повторил Ростов дрожащим голосом и пошел к двери.
– А я тебе говог'ю, не смей этого делать, – закричал Денисов, бросаясь к юнкеру, чтоб удержать его.
Но Ростов вырвал свою руку и с такою злобой, как будто Денисов был величайший враг его, прямо и твердо устремил на него глаза.
– Ты понимаешь ли, что говоришь? – сказал он дрожащим голосом, – кроме меня никого не было в комнате. Стало быть, ежели не то, так…
Он не мог договорить и выбежал из комнаты.
– Ах, чог'т с тобой и со всеми, – были последние слова, которые слышал Ростов.
Ростов пришел на квартиру Телянина.
– Барина дома нет, в штаб уехали, – сказал ему денщик Телянина. – Или что случилось? – прибавил денщик, удивляясь на расстроенное лицо юнкера.
– Нет, ничего.
– Немного не застали, – сказал денщик.
Штаб находился в трех верстах от Зальценека. Ростов, не заходя домой, взял лошадь и поехал в штаб. В деревне, занимаемой штабом, был трактир, посещаемый офицерами. Ростов приехал в трактир; у крыльца он увидал лошадь Телянина.
Во второй комнате трактира сидел поручик за блюдом сосисок и бутылкою вина.
– А, и вы заехали, юноша, – сказал он, улыбаясь и высоко поднимая брови.
– Да, – сказал Ростов, как будто выговорить это слово стоило большого труда, и сел за соседний стол.
Оба молчали; в комнате сидели два немца и один русский офицер. Все молчали, и слышались звуки ножей о тарелки и чавканье поручика. Когда Телянин кончил завтрак, он вынул из кармана двойной кошелек, изогнутыми кверху маленькими белыми пальцами раздвинул кольца, достал золотой и, приподняв брови, отдал деньги слуге.
– Пожалуйста, поскорее, – сказал он.
Золотой был новый. Ростов встал и подошел к Телянину.
– Позвольте посмотреть мне кошелек, – сказал он тихим, чуть слышным голосом.
С бегающими глазами, но всё поднятыми бровями Телянин подал кошелек.
– Да, хорошенький кошелек… Да… да… – сказал он и вдруг побледнел. – Посмотрите, юноша, – прибавил он.
Ростов взял в руки кошелек и посмотрел и на него, и на деньги, которые были в нем, и на Телянина. Поручик оглядывался кругом, по своей привычке и, казалось, вдруг стал очень весел.
– Коли будем в Вене, всё там оставлю, а теперь и девать некуда в этих дрянных городишках, – сказал он. – Ну, давайте, юноша, я пойду.
Ростов молчал.
– А вы что ж? тоже позавтракать? Порядочно кормят, – продолжал Телянин. – Давайте же.
Он протянул руку и взялся за кошелек. Ростов выпустил его. Телянин взял кошелек и стал опускать его в карман рейтуз, и брови его небрежно поднялись, а рот слегка раскрылся, как будто он говорил: «да, да, кладу в карман свой кошелек, и это очень просто, и никому до этого дела нет».
– Ну, что, юноша? – сказал он, вздохнув и из под приподнятых бровей взглянув в глаза Ростова. Какой то свет глаз с быстротою электрической искры перебежал из глаз Телянина в глаза Ростова и обратно, обратно и обратно, всё в одно мгновение.
– Подите сюда, – проговорил Ростов, хватая Телянина за руку. Он почти притащил его к окну. – Это деньги Денисова, вы их взяли… – прошептал он ему над ухом.
– Что?… Что?… Как вы смеете? Что?… – проговорил Телянин.
Но эти слова звучали жалобным, отчаянным криком и мольбой о прощении. Как только Ростов услыхал этот звук голоса, с души его свалился огромный камень сомнения. Он почувствовал радость и в то же мгновение ему стало жалко несчастного, стоявшего перед ним человека; но надо было до конца довести начатое дело.