Без
чисел 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 при помощи последовательности сумм:
Члены
этой последовательности постепенно сходятся к √2 поочередно слева и
справа, что можно видеть в следующей таблице, где представлены значения
первых девяти членов.
Таким
образом, начав с 1 — оценки √2 слева и 1,5 — оценки справа, мы
постепенно приближаемся к истинному значению этого числа. Речь идет о
бесконечных последовательностях, которые постепенно приближаются к
истинному значению √2, однако утверждать, что √2 — конкретное число,
означает признать существование актуальной бесконечности. Если
кто-то, подобно древним грекам и многим другим математикам различных
эпох, утверждает, что иррациональных чисел не существует, то можно быть
уверенным, что он, пусть и неявно, отрицает существование актуальной
бесконечности.