Красота физики. Постигая устройство природы - стр. 12
Доказательство Гвидо
«Так просто!»
Именно эти слова произнес Гвидо, юный герой рассказа Олдоса Хаксли «Молодой Архимед», описывая свое доказательство теоремы Пифагора. Доказательство Гвидо основывается на формах, изображенных на цветной вклейке (иллюстрация С).
Забава Гвидо
Давайте разберем то, что было очевидно для Гвидо с первого взгляда.
Каждый из двух больших квадратов, разделенных на части, содержит четыре цветных треугольника, и они одинаковы в обоих больших квадратах. Все цветные треугольники являются прямоугольными треугольниками, и все они имеют одинаковый размер. Будем считать, что длина самой короткой стороны есть a, следующей по длине – b, а самой длинной (гипотенузы) – с. Тогда легко заметить, что стороны двух больших квадратов имеют длину a + b, и далее, что эти два квадрата равны по площади. Таким образом, не вошедшие в треугольники части больших квадратов тоже должны иметь равные площади.
Но из чего состоят эти равные площади? В первом большом квадрате, слева, у нас есть синий квадрат со стороной a и красный квадрат со стороной b. Они имеют площади a² и b². Во втором большом квадрате, справа, у нас есть серый квадрат со стороной c. Его площадь равна c². Вспомнив то, о чем говорилось в предыдущем абзаце, мы можем прийти к выводу, что a² + b² = c².
А это и есть теорема Пифагора!
Доказательство Эйнштейна (?)
В своих автобиографических записках Эйнштейн вспоминает:
Помню, дядя рассказал мне о теореме Пифагора еще до того, как священная книжка по геометрии попала мне в руки. В результате многочисленных усилий мне удалось добиться успеха в «доказательстве» этой теоремы на основании подобия треугольников; таким образом мне казалось «очевидным», что соотношение сторон в прямоугольном треугольнике должно определяться одним из острых углов.
В этой записи действительно недостаточно деталей, чтобы с полной достоверностью реконструировать доказательство Эйнштейна, но ниже, на илл. 2, приведено мое наилучшее предположение. Оно претендует на правильность, поскольку является самым простым и самым красивым доказательством теоремы Пифагора. В частности, это доказательство делает совершенно понятным, почему именно квадраты сторон задействованы в этой теореме.
Илл. 2. Вероятная реконструкция доказательства Эйнштейна из автобиографических записок
Отполированная драгоценность
Мы начинаем с наблюдения о том, что прямоугольные треугольники, которые имеют общий угол φ, являются подобными друг другу в строгом смысле, т. е. вы можете перейти от одного к другому с помощью изменения масштаба (увеличения или сжатия). Кроме того, если мы изменим длину стороны треугольника, умножив ее на какой-либо коэффициент, то его площадь изменится в количество раз, равное квадрату этого коэффициента. Теперь рассмотрим три прямоугольных треугольника, показанных на илл. 2: всю фигуру и два треугольника, которые она включает в себя. Каждый из этих треугольников содержит угол φ, следовательно, они подобны. Вследствие этого их площади пропорциональны a², b², c² в порядке от самого маленького к самому большому. Но так как два меньших треугольника составляют большой треугольник, соответствующие площади также должны суммироваться, поэтому
И теорема Пифагора тут как тут!
Прекрасная насмешка