лю Хуэй

Генри Дьюдени

Леонардо да Винчи

Особо динамичное доказательство придумал в начале XX века нью-йоркский профессор математики Герман фон Баравалле. На рисунке показано, как большой квадрат, подобно амебе, делится на два меньших. Затемненные участки сохраняют свою площадь на каждом шаге. На шаге 4 два параллелограмма «скашиваются» за пределы области, а далее на шаге 5 эти параллелограммы преобразуются в квадраты, и — зри! — теорема доказана.

Доказательство Баравалле подобно наиболее общепринятому в математической литературе — тому, которое пошло от Евклида (около 300 года до н. э.).

Доказательство теоремы Пифагора, предложенное Германом фон Баравалле

Евклид — самый знаменитый греческий математик после Пифагора — жил в Александрии. В его шедевре «Начала» содержится 465 теорем, которые отражали объем знаний, доступных грекам того времени. Греческая математика почти целиком состояла из геометрии — слово это происходит от греческих слов, означавших «земля» и «измерение»,— хотя содержание «Начал» и не имело отношения к устройству реального мира. Евклид действовал в абстрактном мире точек и линий. Средства, которыми он разрешал себе пользоваться, представляли собой лишь карандаш, линейку и циркуль, — по каковой причине именно они стали основным содержимым детских пеналов на протяжении столетий.

Первая задача Евклида — книга 1, предложение 1 — состояла в том, чтобы показать, что по любому заданному отрезку можно построить равносторонний треугольник (то есть треугольник с тремя равными сторонами), причем со стороной, равной заданному отрезку. Он использовал следующий метод:

Затем Евклид методично продвигается от предложения к предложению, для чего требуется установление немалого числа свойств линий, треугольников и окружностей. Например, предложение 9 показывает, как провести «биссектрису» угла — построить угол, который есть в точности половина данного угла. Предложение 32 утверждает, что внутренние углы треугольника в сумме всегда дают два прямых угла, или 180 градусов. «Начала» — это гимн педантичности и строгости. Ничто никогда не принимается на веру. Каждая строчка логически следует из предыдущих. И тем не менее, исходя из всего нескольких основных аксиом (о них мы будем говорить позже), Евклид приводит впечатляющий набор неопровержимых результатов.

Первая книга завершается великолепным предложением 47. В издании 1570 года — первом английском переводе — имеется такой комментарий: «Эту самую замечательную и знаменитую теорему впервые открыл великий философ Пифагор, который так оттого возрадовался, что принес в жертву быка, как о том пишут Гиерон, Прокл, Дикий и Витрувий. И позднейшие варварские авторы называли ее Дулкарнон». «Дулкарнон» означает «двурогий», или «зашел ум за разум» — возможно, потому что рисунок, иллюстрирующий доказательство, содержит два похожих на рога квадрата, а быть может, потому что понять его действительно очень и очень непросто.

«Начала», книга 1, предложение 1.

Евклидово доказательство теоремы Пифагора лишено намека на изящество. Оно длинное, методичное, извилистое и требует рисунка, изобилующего линиями и наложенными друг на друга треугольниками. Выдающийся немецкий философ XIX века Артур Шопенгауэр заметил, что оно настолько неоправданно сложно, что представляет собой «блестящий образчик извращенности». Справедливости ради скажем, что Евклид не ставил перед собой задачу превратить доказательство в игру (как Дьюдени), или сделать его эстетским (как Аннаиризи), или интуитивным (как Баравалле). Евклида волновала — зато всерьез — одна только строгость его дедуктивной системы.

Тогда как Пифагор усматривал чудесное в числах, Евклид в своих «Началах» выявил более глубокую красоту — неопровержимую систему математических истин. Страница за страницей он демонстрирует, что математическое знание радикально отличается от любого другого. Предложения, доказанные в «Началах», не имеют срока давности. Они не становятся менее верными или даже менее актуальными с течением времени (это — причина, по которой Евклида изучают во всех школах мира, а греческих драматургов, поэтов и историков — нет). Мощь Евклидова метода внушает трепет. Про Томаса Гоббса — разносторонне одаренного человека, жившего в Англии в XVII веке, — говорят, что, когда ему было уже 40 лет, взгляд его как-то упал на «Начала», лежавшие открытыми в библиотеке. Он прочитал одно предложение и воскликнул: «Боже мой, не может быть!» Тогда ему пришлось прочитать предыдущее предложение, затем вернуться еще на одно назад, и так далее, пока он не убедился, что все верно. В результате он влюбился в геометрию из-за определенности, которую она предписывает, и дедуктивный подход оказал влияние на его самые знаменитые работы по политической философии. Начиная с «Начал» логическая аргументация стала золотым стандартом всех научных изысканий.

Евклид принялся за нарезание двумерного пространства на семейство фигур, известных как многоугольники — фигуры, построенные лишь из отрезков прямых линий. С помощью циркуля и линейки он сумел построить не только равносторонний треугольник, но и квадрат, пятиугольник и шестиугольник. Многоугольники, в которых все стороны имеют одну и ту же длину, а все углы между сторонами одинаковы, называются правильными.Интересно, что метод Евклида работает не для всех правильных многоугольников. Семиугольник, например, нельзя построить циркулем и линейкой, зато восьмиугольник — можно, но девятиугольник снова нельзя. Между тем сумасшедше сложный правильный многоугольник с 65 537 сторонами построить можно — более того, он был реально построен. (Такое число сторон выбрано потому, что оно равно 2 16+ 1.) Немецкий математик Иоган Густав Гермес, начав в 1894 году, потратил на эту работу десять лет [16] .