Теорема Пифагора в сотне доказательств — зачем так много

Представь книгу, где одна и та же мысль доказана четыреста с лишним раз. Звучит как издевательство над читателем — но именно так выглядит история теоремы Пифагора. Зачем человечество, уже зная ответ, продолжало искать новые пути к нему?

Что вообще доказывают

Сначала освежим саму теорему — она простая до неприличия. Возьми прямоугольный треугольник, то есть такой, где один угол равен 90 градусам. Две стороны, что сходятся в прямом угле, называют катетами, а самую длинную, лежащую напротив, — гипотенузой. Теорема говорит: если построить квадрат на каждой стороне, то площадь большого квадрата (на гипотенузе) равна сумме площадей двух маленьких. В формуле это знаменитое a² + b² = c².

Звучит как абстракция, но это буквально про площади. Нарисуй треугольник с катетами 3 и 4 клетки — гипотенуза выйдет ровно 5 клеток. Потому что 9 + 16 = 25. Древние египтяне таким треугольником ловили прямой угол на стройке: завязывали на верёвке 12 узлов через равные промежутки, складывали стороны 3, 4 и 5 — и угол получался идеально прямым. Никаких транспортиров.

Сколько же их и кто их собрал

А теперь главное чудо. Эту единственную теорему доказали сотнями разных способов. В 1940 году американский математик Элиша Лумис выпустил книгу The Pythagorean Proposition, куда собрал 367 доказательств — и это была не вся коллекция, существующая в мире. Среди авторов кого только нет: древнегреческие геометры, индийские и арабские учёные, художник Леонардо да Винчи и даже Альберт Эйнштейн в детстве придумал своё.

Отдельная легенда — про политика. В 1876 году конгрессмен Джеймс Гарфилд, который через пять лет станет президентом США, придумал собственное доказательство через площадь трапеции. Он не был профессиональным математиком — просто увлекался геометрией в свободное время. Его доказательство до сих пор разбирают в школах, потому что оно короткое и изящное.

Одна истина — и четыреста способов её увидеть. Математика редко бывает такой щедрой на дороги к одной вершине.

А чем доказательства отличаются друг от друга

Тут кроется самое интересное: способы не просто «другие слова про то же». Они идут к ответу принципиально разными маршрутами. Грубо их можно разложить на семейства.

• Разрезания. Большой квадрат режут на части и складывают из них два маленьких — как пазл. Видно глазами, без единой формулы. Так доказывали в Древнем Китае и Индии.
• Через подобие. Высоту опускают на гипотенузу, треугольник распадается на два меньших, похожих на исходный, — и пропорции сами выдают результат.
• Через площади фигур. Гарфилдова трапеция, квадрат внутри квадрата — считаешь площадь двумя способами и приравниваешь.
• Алгебраические и даже физические. Эйнштейн опирался на подобие, а некоторые умельцы доказывали теорему через свойства жидкости в сосудах.

Представь, что тебе нужно подняться на холм. Можно по тропинке в лоб, можно по серпантину, можно прорубить лестницу, а можно заехать на велосипеде. Вершина одна, но каждый путь показывает холм с новой стороны — и кое-что рассказывает о тебе самом, о том, как ты любишь двигаться. Доказательства теоремы Пифагора устроены так же.

Так зачем же столько — если хватило бы одного

Логически верно: чтобы теорема считалась истинной, достаточно одного безупречного доказательства. Дальше она уже истина навсегда, второе ничего к надёжности не добавляет. Тогда зачем триста шестьдесят семь?

Во-первых, ради красоты. Математики ищут не только истину, но и изящество — доказательство, которое заставляет ахнуть от того, как просто всё сошлось. Новый способ — это как новая шахматная партия: исход известен, но путь к нему может быть произведением искусства.

Во-вторых, ради связей. Каждое доказательство цепляет теорему за разные области математики: за подобие, за площади, за тригонометрию, за алгебру. Чем больше мостов перекинуто к одному утверждению, тем глубже мы понимаем, как вообще устроена математика изнутри. Теорема Пифагора оказывается перекрёстком, к которому ведут дороги отовсюду.

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

Так что сотня с лишним доказательств — не избыточность и не упрямство. Это памятник человеческому любопытству. Люди столетиями подходили к одному и тому же простому факту с новых сторон не потому, что сомневались в нём, а потому что им было интересно. И если тебе вдруг захочется придумать доказательство номер триста шестьдесят восемь — знай, ты в очень хорошей компании.