Алекс в стране чисел. Необычайное путешествие в волшебный мир математики
Шрифт:
По мере появления новых знаков в числе становилось все более ясно, что найденные числа не подчиняются никакому очевидному порядку. Однако только в 1767 году математики смогли доказать, что сумбурная последовательность цифр числа никогда не повторяется. Это открытие вытекало из рассмотрения вопроса о том, числом какого типаможет быть .
Числа самого простого типа — натуральные.Это числа для счета, начинающиеся с единицы:
1, 2, 3, 4, 5, 6 …
Натуральные числа, однако, имеют некоторое ограничение, поскольку идут только в одном направлении. Более полезны целые числа, которые состоят из натуральных, нуля и отрицательных натуральных чисел:
… -4, -3, -2, -1, 0, 1, 2, 3, 4 …
Любое положительное или отрицательное целое число от минус
Числа другого основного типа — это дроби, которые представляют собой числа, записанные в виде a/ b, где аи b— целые, причем bне равно 0. Поскольку дроби эквивалентны отношениям между целыми числами, они также называются рациональными числами [27] , и их бесконечно много. На самом деле имеется бесконечно много рациональных чисел уже между 0 и 1. Давайте, например, возьмем дробь, числитель которой равен 1, а знаменатель — натуральное число, больше или равное 2. Это дает множество, составленное из
27
«Рациональный» от слова ratio — отношение. ( Примеч. перев.)
Можно пойти дальше и доказать, что имеется бесконечно много рациональных чисел между любыми двумя рациональными числами. Пусть си d —любые два рациональных числа, причем сменьше d.Точка на полпути между си dпредставляет собой рациональное число — оно равно (c + d)/2. Назовем эту точку e.Теперь можно найти точку на полпути между cи e. Это ( c+ e)/2 — рациональное число, которое также лежит между си d.Будем продолжать так до бесконечности, каждый раз разбивая расстояние между си dна все меньшие и меньшие части. Не важно, сколь малым было расстояние между си dв самый первый раз — между ними всегда найдется бесконечно много рациональных чисел.
Поскольку между любыми двумя рациональными числами всегда можно найти бесконечно много рациональных чисел, можно было бы подумать, что каждое число — рациональное. Без сомнения, именно на это одно время и надеялся Пифагор. Его метафизика основывалась на вере в то, что мир состоит из чисел и гармонических пропорций между ними. Существование числа, которое нельзя описать как отношение, по крайней мере сильно ослабляло его позиции, если не прямо им противоречило. Но, к несчастью для Пифагора, имеются числа, которые нельзя выразить в виде дроби, и к его немалому конфузу, одно из них дает его собственная теорема. Если взять квадрат со стороной, равной единице, то длина его диагонали равна квадратному корню из двух, а это число нельзя записать в виде дроби. (Доказательство — в приложении 2 на веб-сайте, посвященном этой книге.)
Числа, которые нельзя записать в виде дроби, называются иррациональными. Согласно легенде, их существование впервые доказал ученик Пифагора Гиппас, что, однако, не подарило ему симпатии Пифагорейского братства: его объявили отступником и утопили в море.
Когда рациональное число записано в виде десятичной дроби, оно всегда или содержит конечный набор цифр, как, например, 1/ 2, которая записывается в виде 0,5, или же разложение рано или поздно начинает повторяться, как, например, для числа 1/ 3, которое записывается в виде 0,3333…, где тройки продолжаются без конца. Иногда число «зацикливается» через более чем одну цифру — так обстоит дело с дробью 1/ 19, которая записывается как 0,0526315789473684210…, где 18-значный период 526315789473684210 повторяется до бесконечности. Наоборот — и в этом-то все дело! — когда число иррационально, его десятичное разложение никогда не будет повторять само себя.
В 1767 году швейцарский математик Иоганн Генрих Ламберт доказал, что — именно такое иррациональное число. Его первоисследователи еще могли надеяться, что вслед за начальным хаосом в 3,14159… сумбур уляжется и наконец-то появится закономерность. Однако открытие Ламберта подтвердило, что это невозможно. Десятичное разложение числа стремится в бесконечность некоторым предопределенным, но с виду совершенно беспорядочным образом.
Математики, занимавшиеся иррациональностями, страстно желали навести в них какой-то порядок. В XVIII столетии ученые начали размышлять об иррациональностях специального типа, получивших название трансцендентных чисел.То были числа столь таинственные и неуловимые, что получить их в конечной математике было нельзя. Квадратный корень из двух, например, — иррациональное число, но его можно описать как решение уравнения x 2= 2. Трансцендентное же число — это такое иррациональное, которое нельзя описать никаким уравнением с конечным числом членов. Когда концепция трансцендентных чисел впервые стала обсуждаться, никто не знал даже, существуют ли они вообще.
Оказалось, они действительно существуют, но прошло около ста лет до тех пор, пока были найдены первые их примеры — это сделал французский математик Жозеф Лиувилль. Числа среди них не было. Только еще спустя 40 лет Фердинанд фон Линдеманн смог доказать, что число и в самом деле трансцендентно, то есть существует за пределами царства конечной алгебры.
Открытие Линдеманна было ключевым моментом в теории чисел. Оно также раз и навсегда решило проблему, являвшуюся, пожалуй, самой знаменитой нерешенной задачей в математике: можно ли квадрировать круг или этого сделать нельзя. Но чтобы объяснить, как это следовало из результата Линдеманна, надо ввести уравнение, которое гласит, что площадь круга есть r 2,где r —радиус. Наглядное доказательство, почему это так, представляет собой тот случай, когда лучшей метафорой для числа является пирог. Представьте себе, что у вас два круглых пирога одного и того же размера, белый и серый, как на рисунке А. Длина окружности каждого пирога — произведение и диаметра, то есть ,умноженное на удвоенный радиус, или 2 r.После разрезания на равные сегменты куски можно сложить по-другому, как показано на рисунке В (там взяты четвертинки пирогов) или С (где пироги порезаны на десять кусков каждый). В обоих случаях длина стороны остается равной 2 r.Если делать куски все меньше и меньше, то получившаяся фигура в конце концов станет прямоугольником, как показано на рисунке D, причем стороны прямоугольника будут равны rи 2 r. Площадь прямоугольника — а она равна площади двух пирогов — поэтому равна 2 r 2,так что площадь одного пирога равна r 2.
Как показать, что площадь круга равна r 2
Чтобы квадрировать круг, нам надо, используя только циркуль и линейку, построить квадрат, который имеет в точности ту же площадь, что и круг, ограниченный заданной окружностью. Мы теперь знаем, что линия длиной r— это радиус окружности, площадь круга внутри которой равна r 2,а также что у квадрата с площадью r 2сторона должна иметь длину r(поскольку ( r) 2= r 2 2= r 2 = r 2). Так что превращение окружности в квадрат можно свести к задаче построения длины rпо заданной длине r. Или, если для удобства взять r равным 1, то к построению отрезка длины, если дан отрезок длины 1.
Используя координатную геометрию, о которой мы будем говорить в следующей главе, можно выразить процесс построения линии алгебраически, в виде конечного уравнения. Можно показать, что коль скоро xесть решение конечного уравнения, то начиная с отрезка длины 1 можно построить отрезок длины x.Но если xне есть решение какого-либо конечного уравнения — другими словами, если xтрансцендентно, — то построить отрезок длины xневозможно. Ну, а тот факт, что трансцендентно, означает, что квадратный корень из также трансцендентен (тут вам предстоит поверить мне на слово), и отрезок такой длины построить невозможно. Трансцендентность числа доказывает, что круг нельзя квадрировать.