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

Прим. ред.: О связи математики и музыки см. Волошинов А.В. Математика и искусство. М.: Просвещение, 2000. Эта книга не только для тех, кто любит математику или искусство, но и для тех, кто желает задуматься о природе прекрасного и красоте науки. Настоятельно рекомендую эту книгу.

Оказывается, древние вавилоняне, индийцы и китайцы уже за несколько веков до Пифагора и греков обладали знаниями, содержащимися в теореме Пифагора. Для получения дополнительных сведений об истории и значении теоремы, а также обзор множества ее изобретательных доказательств см. книгу E. Maor, The Pythagorean Theorem (Princeton University Press, 2007).

Прим. ред.: Аналогом данной книги на русском языке может служить книга Литцман В. Теорема Пифагора. М.: ГИФМЛ, 1960.

На странице 13 своей книги Маор объясняет, что слово «гипотенуза» означает «натянутая под», и указывает, что это имеет смысл, если считать, что гипотенуза прямоугольного треугольника находится внизу (см. евклидово доказательство теоремы Пифагора). Он также отмечает, что эта интерпретация хорошо вписывается в китайское слово, обозначающее гипотенузу, «сянь» ( hsien) — струна, натянутая между двумя точками (как в лютне).

Дети и их родители насладятся съедобными иллюстрациями теоремы Пифагора, предложенными Джорджем Хартом на его постере Pythagorean crackers («Пифагорейские крекеры») для музея математики по адресу http://momath.org/home/pythagorean-crackers/.

Вот рассуждения, пропущенные во втором доказательстве. Возьмем равенство a/d = c/a и преобразуем его в d = a 2 /c . Аналогично преобразуя другое равенство, получим e = b 2 /c . Наконец, подставив выражения для d и e в равенство c = d + e , получим c = a 2 /c + b 2 /c . Теперь умножим обе части последнего равенства на c и выведем искомую формулу c 2= a 2+ b 2.

Георг Риман (1826–1866) — немецкий математик. Внес огромный вклад сразу в несколько разделов математической науки. Положил начало геометрическому направлению в теории аналитических функций, вместе с Огюстеном Коши сформулировал теорию интегралов. Развил комплексный анализ и теорию чисел. Прим. перев.

Все 13 книг Elements в одном удобном томе с большим количеством иллюстраций: Euclid’s Elements, edited by D. Densmore, (Green Lion Press, 2002). Еще один отличный перевод в формате PDF: http://farside.ph.utexas.edu/euclid.html.

Прим. ред.: В английской традиции книги Евклида называются Elements («Элементы»), в отличие от русской традиции, где книги Евклида имеют название «Начала». Русское полное издание «Начал» Евклида: Начала Евклида. Пер. и комм. Д. Д. Мордухай-Болтовского при ред. участии И. Н. Веселовского и М. Я. Выгодского. В 3 т. (Серия «Классики естествознания»). М.: ГТТИ, 1948–50.

Бенедикт Спиноза (1632–1677) — нидерландский философ-материалист, натуралист, один из главных представителей философии Нового времени. Считал, что мир — закономерная система, которая до конца может быть познана геометрическим методом. Прим. перев.

Дополнительные сведения о Томасе Джефферсоне, о его преклонении перед Евклидом и Ньютоном и использовании им аксиоматического подхода при написании Декларации независимости, можно найти в книге I. B. Cohen, Science and the Founding Fathers, (W. W. Norton and Company), 1995 и J. Fauvel, Jefferson and mathematics на http://www.math.virginia.edu/Jefferson/jefferson.htm.

В этой главе я умолчал о ряде тонкостей в двух представленных доказательствах. Например, в доказательстве о равностороннем треугольнике неявно предполагается (как сделал Евклид), что две окружности пересекаются в какой-то определенной точке, которую мы обозначили С . Но нет никаких аксиом Евклида, подтверждающих это свойство, — нужна дополнительная аксиома о непрерывности окружностей. Бертран Рассел, в частности, отметил этот пробел в статье B. Russell, The Teaching of Euclid, Mathematical Gazette, Vol. 2, No. 33 (1902), рр. 165–167, доступна по адресу http://www-history.mcs.st-and.ac.uk/history/Extras/Russell_Euclid.html.

Другая тонкость в доказательстве того, что сумма углов треугольника равна 180 градусам, заключается в безоговорочном использовании постулата о пересечении параллельных прямых третьей. Этот постулат позволил нам построить линию, параллельную основанию треугольника. Но в другой геометрии (неевклидовой) может не быть ни одной линии, параллельной заданной, или существовать бесконечно много таких линий. В геометриях, столь же логически последовательных, как и Евклидова, углы треугольника не всегда равны 180 градусам. Таким образом, приведенное здесь доказательство Пифагора больше чем просто элегантное, оно говорит о глубинной природе самого пространства. Для получения дополнительных комментариев по этим вопросам см. блог A. Bogomolny, Anglesin triangle add to 180°: http://www.cut-the-knot.org/triangle/pythpar/AnglesInTriangle.shtml и статью T. Beardon, When the angles of a triangle don’t add up to 180 degrees по адресу http://nrich.maths.org/1434.