Открытие без границ. Бесконечность в математике
Шрифт:
Мы очень часто определяем, что верно, а что нет, руководствуясь здравым смыслом, основанным на чувствах, которые, говоря языком современных технологий, можно определить как средства фиксации и обработки окружающей нас реальности.
Нечто является разумным в той степени, в которой на это указывают наши ощущения. Сколь парадоксальным ни казался бы нам полёт стрелы, органы чувств ясно указывают, что стрела отдаляется от нас. Разумеется, Зенону это было прекрасно известно, но ему также было известно, что чувства не всегда могут служить надёжной опорой разуму.
Он рассуждал так: подобно тому, как у вещи либо есть размеры, либо нет, предмет издаёт или не издаёт звук. Корзина, полная зёрен пшеницы, издаёт определённый звук,
Целью Зенона было показать, что в определённых рассуждениях мы не можем доверять нашим органам чувств — они должны уступить место интуиции, что часто и происходит при математических рассуждениях. Однако, как вы увидите далее на примере теорий Кантора, интуиция также может быть обманчивой, и мы не можем руководствоваться ею тогда, когда бесконечность является реальным объектом, с которым можно работать так же, как с натуральными числами.
Зенон считал, что нечто может состоять из бесконечного числа элементарных частей только тогда, когда каждая из этих частей не имеет размера: в противном случае эти части можно разделить, и они не могут считаться элементарными. Однако если части объекта не имеют размеров, то не имеет размеров и сам объект, так как сумма величин, не имеющих размера, также не может иметь размер.
Так греки определили термин «апейрон», который пришёл на смену понятию «бесконечность». Апейрон означал отсутствие чётко определённого предела. Это соответствовало идее, согласно которой предмет бесконечен, поскольку может иметь сколь угодно большие размеры. Апейрон не относился, например, к бесконечному числовому ряду, в котором не существует последнего числа. Аналогичным образом определялись бесконечно малые величины, которые могут иметь сколь угодно малые размеры. Этому понятию было дано строгое определение в математическом анализе лишь в XIX веке.
Квадратура круга
Задачам на построение с помощью циркуля и линейки, известным с античных времён, в Древней Греции уделялось большое внимание. Разнообразие этих задач очень велико — они могут быть очень простыми, очень сложными, а порой и вовсе не имеющими решения. Наиболее известны из них задачи о трисекции угла, удвоении куба и квадратуре круга — сложность последней вошла в поговорку.
Когда речь идёт о построениях с помощью циркуля и линейки, следует придерживаться определённых правил, так как в противном случае задачи становятся тривиальными. Например, найти середину отрезка с помощью линейки, на которую нанесены миллиметровые деления, очень просто — для этого даже не потребуется циркуль. Но определим, что мы будем понимать под «линейкой» при решении этих задач. Линейка — это идеальный предмет с абсолютно ровной границей, который служит для проведения прямых. На ней отсутствуют какие-либо отметки, позволяющие измерить расстояние. Циркуль представляет собой обычный циркуль, раствор которого может быть любым. Логично, что его нельзя использовать для нанесения меток, с помощью которых можно измерить расстояние.
ЦИРКУЛЬ МАСКЕРОНИ
Задачи на построение с помощью циркуля и линейки всегда занимали почётное место среди занимательных задач. Одна из наиболее любопытных публикаций на эту тему принадлежит землемеру Уильяму Лейбурну, который в 1694 году опубликовал книгу Pleasure with Profit («Приятное
Определив правила игры, можно приступить к решению задач. Рассмотрим, например, как можно провести перпендикуляр к отрезку в его середине. Допустим, дан отрезок АВ. Сначала нужно провести окружность с центром в точке А и радиусом АВ. Далее нужно построить другую окружность такого же радиуса, но с центром в точке В. Прямая, соединяющая точки пересечения окружностей, и будет требуемым перпендикуляром.
Следует предостеречь читателя от бесплодных попыток решить задачу о квадратуре круга: в 1882 году немецкий математик Фердинанд Линдеман (1852–1939) доказал, что число является трансцендентным, поэтому эта задача не имеет решения.
Доказано, что с помощью циркуля и линейки можно построить правильный многоугольник с произвольным числом сторон, площадь которого будет равна площади данного квадрата. Хотя существование решения этой задачи доказано теоретически, найти его не всегда просто. Использовав это доказательство, Антифонт из Афин (ок. 480–411 гг. до н. э.) изложил метод решения задачи о квадратуре круга, логику которого сложно оспорить. Его суть заключалась в следующем: будем исходить из того факта, что можно построить квадрат, площадь которого будет равна площадям ряда правильных многоугольников, которые мы построим. Впишем в данную окружность шестиугольник.
Нам известно, что задача о квадратуре шестиугольника имеет решение, то есть мы можем построить с помощью циркуля и линейки такой квадрат, площадь которого будет равна площади заданного шестиугольника. Будем увеличивать число сторон многоугольника, вписанного в окружность, и для каждого из этих многоугольников задача о квадратуре по-прежнему будет иметь решение. Разница между площадью окружности и площадью вписанного многоугольника будет последовательно уменьшаться. По сути, она может быть сколь угодно малой. Представим себе, например, многоугольник, число сторон которого равняется нескольким квадриллионам.
Любая из его сторон будет очень близка к дуге окружности, так что их будет очень и очень сложно отличить. Антифонт считал, что таким способом можно решить задачу о квадратуре круга.
Его рассуждения логически безупречны. Единственный их недостаток заключается в том, что переход, который он считает совершенно естественным, выполняется на недоступной нам территории, где правят бесконечно малые величины.
Окружность — это реальная фигура, равно как и многоугольник с бесконечным числом сторон, но когда мы рассматриваем переход от многоугольника с бесконечным числом сторон к окружности, мы имеем дело с актуальной бесконечностью. Пока этого не происходит, речь идёт о потенциальной бесконечности.