Алекс Беллос - Алекс в стране чисел. Необычайное путешествие в волшебный мир математики

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

Это так потому, что, как утверждает теорема, общая площадь двух меньших квадратов равна площади большего квадрата. На каждом прямоугольном треугольнике можно построить таким способом три квадрата, так что площадь большего можно в точности разделить на площади двух меньших. И так получается всегда.

Неизвестно, действительно ли честь открытия этой теоремы принадлежит Пифагору, однако еще с античных времен имя его прочно связано с ней. Эта теорема подтверждает его мировоззрение, демонстрируя замечательную гармонию математической вселенной. И действительно, теорема выявляет связь более глубинную, чем просто между квадратами, построенными на сторонах прямоугольного треугольника. Площадь полуокружности, построенной на гипотенузе, например, равна сумме площадей полуокружностей, построенных на двух других сторонах. Площадь пятиугольника, построенного на гипотенузе, равна сумме площадей пятиугольников, построенных на двух других сторонах; то же верно для шестиугольников, восьмиугольников и вообще для любых правильных или неправильных фигур. Если, скажем, к сторонам прямоугольного треугольника пририсовать три портрета Моны Лизы, то площадь большой Моны будет равна площади двух меньших.

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

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

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

Захватывающая увлекательность математики коренится в моменте внезапного проявления истины в доказательствах, подобных приведенному выше, когда все вдруг становится ясным. И тогда испытываемое интеллектуальное удовольствие граничит с физическим. В XII столетии это доказательство так потрясло индийского математика Бхаскару, что под иллюстрирующим его рисунком он в своей математической книге «Лиливати» вместо объяснений написал всего одно слово: «Зри!»

Имеется много других доказательств теоремы Пифагора; одно, особенно милое, приведенное на рисунке, приписывается арабскому математику Аннаиризи, а появилось оно около 900 года. Теорема там извлекается из повторяющегося узора. Улавливаете? (Если нет, то помощь можно почерпнуть в приложении 1 на веб-сайте, посвященном этой книге.)

В книге «Пифагорово предложение» Элиша Скотта Лумиса, изданной в 1940 году, приведено 371 доказательство этой теоремы. Их авторы были на редкость несхожие между собой люди; к примеру, одно доказательство в 1888 году предложила слепая девушка Эмма Кулидж; второе, в 1938 году — Энн Кондит, 16-летняя старшеклассница; авторами других считаются Леонардо да Винчи и американский президент Джеймс А. Гарфилд, правивший страной с марта по сентябрь 1881 года. Гарфилд наткнулся на свое доказательство во время математических развлечений с коллегами в бытность свою конгрессменом от Республиканской партии. «Мы рассматриваем его как нечто, по поводу чего члены обеих палат могут проявить единство, невзирая на партийные различия», — сказал он, когда его доказательство впервые было опубликовано в 1876 году.