Том 18. Открытие без границ. Бесконечность в математике - Энрике Грасиан

Доказано, что с помощью циркуля и линейки можно построить правильный многоугольник с произвольным числом сторон, площадь которого будет равна площади данного квадрата. Хотя существование решения этой задачи доказано теоретически, найти его не всегда просто. Использовав это доказательство, Антифонт из Афин (ок. 480–411 гг. до н. э.) изложил метод решения задачи о квадратуре круга, логику которого сложно оспорить. Его суть заключалась в следующем: будем исходить из того факта, что можно построить квадрат, площадь которого будет равна площадям ряда правильных многоугольников, которые мы построим. Впишем в данную окружность шестиугольник.

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

Любая из его сторон будет очень близка к дуге окружности, так что их будет очень и очень сложно отличить. Антифонт считал, что таким способом можно решить задачу о квадратуре круга.

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

Окружность — это реальная фигура, равно как и многоугольник с бесконечным числом сторон, но когда мы рассматриваем переход от многоугольника с бесконечным числом сторон к окружности, мы имеем дело с актуальной бесконечностью. Пока этого не происходит, речь идет о потенциальной бесконечности.

* * *

КВАДРАТУРА СТОЛА

Задача о квадратуре обычно представляет сложность даже для очень простых фигур, например треугольника, пятиугольника или шестиугольника, и некоторые решения названы по именам их авторов. Например, чтобы решить задачу о квадратуре для равностороннего треугольника, нужно разделить его (разумеется, с помощью циркуля и линейки) следующим образом.

Из этих частей можно составить квадрат той же площади, что и треугольник.

Мати Грюнберг использовал это решение и создал стол-трансформер, который, в зависимости от ситуации, может иметь форму квадрата или треугольника.

Без чисел 1, 2, 3, …» которые мы обычно используем при счете, во время измерений не обойтись. Если мы возьмем, например, сравнительно ровный кусок дерева и нанесем на него метки, соответствующие каждому числу так, что они будут находиться на равном расстоянии друг от друга, то сможем измерять расстояния. Расстояние между двумя соседними отметками будет единицей измерения.

Допустим, что наша единица измерения задается отрезком ОА, и мы хотим измерить длину доски В. Наложим единичный отрезок на доску и подсчитаем, сколько раз он укладывается на ней. Допустим, что отрезок укладывается на доске ровно пять раз. В этом случае говорят, что длина доски равна 5 единицам. Нам повезло: результат оказался целым числом.

Но могло случиться и так, что длина составила бы 4 с половиной единицы. Ничего страшного — это означает, что нужно всего лишь разделить нашу единицу измерения пополам. На языке математики это записывается дробью вида 1/2. Именно так изготавливаются линейки, и чем больше на них делений, тем выше точность измерений.

Очевидно, что точность измерений в этом случае будет иметь предел по чисто физическим причинам, связанным с шириной отметок и нашей способностью различить их. В школьных линейках расстояние между соседними отметками обычно равняется одному миллиметру, то есть единица измерения (сантиметр) делится на десять частей.

Прежде чем продолжить объяснения, напомним читателю некоторые определения элементарной геометрии. Прямоугольный треугольник — это треугольник, в котором один из углов прямой, то есть составляет 90°. Например, треугольник АВС, изображенный на следующей странице, прямоугольный, так как угол В равен 90°. Стороны, образующие прямой угол, называются катетами, третья сторона — гипотенузой. Как следствие, гипотенуза всегда — самая длинная сторона прямоугольного треугольника, и лежит она против прямого угла.

Знаменитая теорема Пифагора гласит, что в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы. Таким образом, выполняется равенство:

С его помощью можно найти длину гипотенузы по известным катетам. Например, в треугольнике

выполняется равенство

Таким образом, длина гипотенузы равна 5.

Теперь предположим, что мы выбрали единицу измерения на прямой с началом отсчета в точке О так, что ОС = 1. Построим отрезок, перпендикулярный этой прямой, проходящий через точку С, такой что длина CD также будет равна 1. Как можно видеть на следующем рисунке, мы получили прямоугольный треугольник OCD с гипотенузой OD.

Применив теорему Пифагора, получим

Таким образом,  откуда OD = √2.

Если мы с помощью циркуля отложим значение OD на прямой, то не сможем присвоить отрезку ОС никакого значения. В этом смысле отрезок ОС является несоизмеримым.

Это означает, что √2 нельзя представить в виде дроби, что приводит нас к строгому определению рационального числа: говорят, что произвольное число N является рациональным, когда его можно представить в виде частного двух целых.

По этому определению, рациональными являются 2/3, 8/5, 2773/12452. Логично, что целые числа также являются рациональными, так как любое целое можно представить в виде частного двух других: например 8 можно представить как 16/2.

В некоторых неканонических изданиях «Начал» Евклида можно встретить доказательство того, что √2 не является рациональным (доказательство, изложенное на языке современной математики, приведено в приложении).

Числа, не являющиеся рациональными, называются иррациональными, что очень точно характеризует их природу. Однако более серьезная проблема заключается в том, что не только диагонали квадратов, но и соотношения между высотой и стороной равностороннего треугольника или между диагональю и стороной правильного пятиугольника также выражаются иррациональными числами. Иными словами, мы открыли не единственное иррациональное число, а множество иррациональных чисел. С помощью целых чисел нельзя с точностью измерить размеры фигур, имевших наибольшее значение для пифагорейцев. Можно решительно утверждать, что открытие иррациональных чисел привело к беспрецедентному кризису в истории греческой математики. В школах пифагорейцев, куда не допускались непосвященные, одним из самых тщательно охраняемых секретов было существование иррациональных чисел. По легенде, разглашение этого секрета каралось смертью.

Если мы рассмотрим представление рациональных и иррациональных чисел в виде десятичных дробей, то увидим, что между ними имеется существенная разница. Например, число 1/2 в виде десятичной дроби записывается как 0,5, а 1/3 = 0,333333333 … — в записи этого числа бесконечно много десятичных знаков, однако ситуация по-прежнему у нас под контролем, так как все эти знаки равны 3.

Число вида (325/100) = 3,25 имеет всего два десятичных знака.

(95/99) = 0,4545… имеет бесконечно много знаков, но цифры 45 повторяются бесконечное число раз (эта группа цифр называется периодом).

(47113/ 9000) = 5,2347777… представляет собой еще один вид десятичных дробей, в записи которых период появляется после непериодической части.

Квадратный корень из 2 записывается в виде бесконечной десятичной дроби, цифры которой чередуются без всякого порядка, как если бы они выбирались с помощью рулетки. Можем ли мы говорить, что нам действительно известно значение √2? Ответ: нам известно лишь его приближенное значение, хотя точность может быть сколь угодно высокой — не больше и не меньше. При этом слова «точность может быть сколь угодно высокой» подразумевают, что эта бесконечная десятичная дробь полностью находится под нашим контролем.

Британский математик Брук Тейлор (1685–1731) вычислил приближенное значение √2 при помощи последовательности сумм: