Истина и красота. Всемирная история симметрии.
Шрифт:
Такая ситуация может показаться достаточно негативной. На протяжении большей части жизни люди решают проблемы и преодолевают трудности с помощью самых разнообразных средств, какие только подворачиваются под руку. Если высокое здание нельзя построить из кирпича и раствора, инженеры используют стальную арматуру и железобетон. Никто не стяжал себе славы доказательством того, что кирпичи не подходят для данной стройки.
Математика устроена несколько иначе. Ограничения, присущие используемым инструментам, часто так же важны, как и успехи в их применении. Важность математического вопроса часто зависит не от ответа как такового, а от того, почему ответ оказывается правильным. Так обстояло дело и с тремя задачами Античности.
Гроза всех и вся трисекторов родился в
В 1828 году Пьер поступил в Коллеж Карла Великого. В 1831-м он был первым учеником и по французскому, и по латыни, а также показал первый результат на вступительных экзаменах как в Политехническую школу, так и на естественный факультет того, что сейчас называется Нормальной школой, — ранее такого не удавалось добиться никому. Его интересовало буквально все — математика, музыка, философия, история, и ничто не привлекало сильнее, чем жаркие, ожесточенные споры.
В 1834 году он обратился к инженерному делу, посещая занятия в Школе мостов и дорог. Но вскоре признался своим друзьям, что инженер из него выйдет «не более чем посредственный». Он решил, что на самом деле хочет преподавать математику, и оставил занятия инженерным делом. Такое резкое переключение принесло свои плоды: в 1838 году он начал читать лекции по анализу в Политехнической школе, а к 1841-му стал еще и профессором прикладной механики в своей старой инженерной школе. Сен-Венан говорит нам, что Пьер «обыкновенно работал в течение вечера, не ложась спать до поздней ночи, а затем читал, оставляя себе лишь несколько часов неспокойного сна и при этом злоупотребляя кофе и опиумом, а до своей женитьбы еще и неправильно и нерегулярно питаясь». Женился он на дочери своего бывшего учителя латыни.
Ванцель изучал работы Руффини, Абеля, Галуа и Гаусса, высказывая большой интерес к теории уравнений. В 1837 году его работа «О средствах, позволяющих установить, разрешима ли геометрическая задача с помощью циркуля и линейки» вышла в Лиувиллевском Journal de Math'ematiques Pures et Appliqu'ees.Вопрос о возможности построения рассматривался в ней начиная с того места, на котором остановился Гаусс. Ванцель умер в 1848 году в возрасте 33 лет — вероятно, в результате чрезмерной нагрузки из-за избытка преподавания и административных обязанностей.
В вопросах о трисекции угла и удвоении куба данные Ванцелем доказательства невозможности напоминают эпическую работу Гаусса о правильных многоугольниках, только являются намного более простыми. Я начну с задачи об удвоении куба, в которой суть дела очень наглядна. Можно ли циркулем и линейкой построить отрезок длины 32?
Выполненный Гауссом анализ правильных многоугольников основан на идее, что любое геометрическое построение сводится к решению ряда квадратных уравнений. По существу, он считает это само собой разумеющимся, поскольку это алгебраически следует из свойств линий и окружностей. Некоторые не слишком сложные алгебраические выкладки позволяют заключить, что для любой допускающей построение величины ее «минимальный многочлен» — простейшее уравнение, которому она удовлетворяет — имеет степень, равную степени двойки [29] . Это уравнение может быть линейным, квадратным, иметь степень 4, 8, 16, 32, 64… — одну из степеней числа 2.
29
На тот случай, если у читателя накопилось недоумение по поводу «перегрузки» слова «степень», признаем очевидное — употребительных слов в русском языке несколько меньше, чем в английском, поэтому приходится смириться с тем, что «степень»
С другой стороны, число 32 удовлетворяет кубическому уравнению x 3– 2 = 0, и это [30] и есть его минимальный многочлен. Его степень равна 3, что не есть степень числа 2. Поэтому допущение о возможности удвоения куба с использованием циркуля и линейки в силу безупречной логики ведет к заключению, что 3 есть степень числа 2. Это очевидным образом неверно. Тем самым, методом reductio ad absurdumпоказано, что интересующего нас построения не существует.
30
Левая часть этого уравнения. (Примеч. перев.)
Трисекция угла невозможна по схожим причинам, однако доказательство тут немного сложнее.
Во-первых, некоторыеуглы можно точно разделить на три части. Хороший пример дается углом 180°, который при делении на три части дает 60° — угол, который можно построить при построении правильного шестиугольника. Таким образом, доказательство невозможности следует начать с выбора некоторого другого угла и с доказательства, что этот угол нельзя разбить на три равные части. Проще всего взять уже появлявшийся у нас угол 60°. Одна треть от него составляет 20°, и мы покажем, что угол 20° построить циркулем и линейкой нельзя.
Вот отрезвляющие соображения. Возьмем транспортир — инструмент для измерения углов. На нем четко нанесены углы 10°, 20° и так далее. Но эти углы не вполне точные — хотя бы из-за того, что линии, которыми они обозначены, имеют некоторую толщину. Можно отмерить угол в 20° с достаточной точностью для архитектурных или инженерных чертежей. Но, используя эвклидовы методы, нельзя построить угол, в точности равный 20°; сейчас мы это покажем.
Ключевую роль здесь играет тригонометрия — наука о количественных мерах углов. Предположим, что мы начинаем с шестиугольника, вписанного в окружность радиуса 1. Там имеются углы 60°, и если мы сможем разбить один из них на три равные части, мы сможем, тем самым построить отрезок, выделенный жирным на рисунке.
Трисекция угла 60° эквивалентна построению отрезка, длина которого обозначена буквой x.
Пусть его длина равна x. Тригонометрия говорит нам, что xудовлетворяет уравнению 8 x 3– 6 x– 1 = 0. Как и в задаче об удвоении куба, это кубическое уравнение, и оно также представляет собой минимальный многочлен, которому удовлетворяет x. Но если бы отрезок длины xможно было построить, то степень его минимального многочлена была бы степенью числа 2. Мы пришли к тому же противоречию и к тому же выводу: данное построение невозможно.
Способ, которым я представил эти доказательства, скрывает более глубокую структуру. С более абстрактной точки зрения решения этих двух задач Античности Ванцелем сводятся к симметрийным аргументам: группы Галуа уравнений, которые отвечают геометрии, имеют «неправильную» структуру для построений циркулем и линейкой. Ванцель был хорошо знаком с группами Галуа и в 1845 году нашел новое доказательство того факта, что некоторые алгебраические уравнения нельзя решить в радикалах. Доказательство близко следовало идеям Руффини и Абеля, но позволяло упростить эти идеи и выразить их более ясно. Во введении Ванцель пишет: