Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир

На протяжении тысяч лет этот чудесный факт подтверждался следующей диаграммой, представляющей мнемоническую символьную схему танца квадратов:

Рассматривать теорему с точки зрения площадей квадратов весьма приятно. Например, построив квадраты из множества маленьких крекеров45, вы можете сначала эмпирическим путем проверить верность теоремы, а затем съесть их. Или можно представить теорему как детскую головоломку, состоящую из пазлов различной формы и размера. Путем их перестановки теорему очень легко доказать.

Давайте вернемся к наклоненному квадрату, сидящему на гипотенузе.

Интуитивно это изображение должно немного смущать. Квадрат выглядит потенциально нестабильным: кажется, что он может свалиться или съехать вниз по наклонной плоскости. А тут еще явное самоуправство: каждая из его четырех сторон хочет соприкасаться с тре­угольником.

Чтобы усмирить все стороны квадрата, поместим еще три таких же треугольника на три его оставшиеся стороны так, чтобы получилась более устойчивая и симметричная картинка.

Теперь вспомним, что мы пытаемся доказать, что наклоненный белый квадрат (большой квадрат, все еще сидящий на гипотенузе) имеет такую же площадь, как малые и средние квадраты, вместе взятые. Но где же здесь другие квадраты? Чтобы найти их, надо переместить часть тре­угольников. Представьте картинку как изображение головоломки. В углах ее жесткой рамки вставлены четыре кусочка треугольной формы.

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

После небольшого мозгового штурма переставим пазлы таким образом:

Пустое пространство неожиданно принимает форму среднего и малого квадрата, которые мы ищем. А так как общая площадь свободного пространства неизменна, вот мы и доказали теорему Пифагора!

Это доказательство дает гораздо больше, чем уверенность в правильности теоремы, — оно ее разъясняет. И именно это делает его элегантным.

Для сравнения рассмотрим еще одно доказательство. Не менее знаменитое, и, пожалуй, самое простое из тех, где не используются площади.

Как и прежде, возьмем прямоугольный треугольник со сторонами a, b и гипотенузой с, как показано ниже на рисунке слева.

Далее (как что-то подсказывает нам по божественному вдохновению или благодаря собственной гениальности) проведем перпендикуляр вниз от гипотенузы к противоположному углу, как это сделано в правом треугольнике.

Эта маленькая умная «бестия» внутри исходного треугольника создает еще два меньших треугольника. Легко доказать, что все они подобны, то есть у них одинаковая форма, но различные размеры. Что, в свою очередь, означает, что длина их соответствующих сторон имеет подобные пропорции. Это можно записать в виде следующей системы равенств:

Мы также знаем, что

c = d + e,

поскольку построенный перпендикуляр делит гипотенузу c на два меньших отрезка d и e.

В этот момент не стыдно немного растеряться или просто не знать, что делать дальше. Мы в трясине из пяти представленных выше равенств и пытаемся привести их к равенству

a² + b

² = c².

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

Тем не менее, манипулируя тремя «нелишними» равенствами, можно вывести требуемое соотношение. (См. пропущенные шаги доказательства в примечании 46 в конце книги.)

Согласны ли вы с тем, что с эстетической точки зрения этот вариант уступает первому? Конечно, он приводит к доказательству. Но кто пригласил на вечеринку всю эту алгебру? Ведь это геометрическая теорема.

Однако более серьезный недостаток последнего доказательства — непрозрачность. К тому времени, когда вы закончите упорно продираться сквозь его дебри, может быть, скрепя сердце вы и поверите в верность теоремы, но все еще в этом не убедитесь.

Но оставим в стороне доказательства. Что вообще дает теорема Пифагора? Она выявляет фундаментальную истину о природе пространства, показывая, что оно плоское, а не изогнутое. Например, для поверхности шара или тора (фигура, похожая на бублик) подобную теорему придется изменить. Эйнштейн столкнулся с этим в своей общей теории относительности (где гравитация рассматривается не как сила, а как проявление искривления пространства), как и Георг Риман[15] и другие ученые в условиях, когда только закладывались основы неевклидовой геометрии.

От Пифагора до Эйнштейна пролегла долгая дорога. Но по крайней мере она прямая — свою большую часть.

13. Кое-что из ничего