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

Строгац Стивен

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

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

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

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

Умение приводить доказательства

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

Евклид [62] установил этот дедуктивный подход в своих «Началах» (в настоящее время наиболее часто перепечатываемый учебник всех времен) около 2300 лет назад. С тех пор евклидова геометрия стала моделью логического мышления во всех сферах жизни — от науки и философии до права и политики. Например, Исаак Ньютон применил метод Евклида в структуре своего шедевра «Математические начала натуральной философии». Используя геометрические доказательства, он вывел законы Галилея и Кеплера о движении летящих предметов и планет на основе их собственных глубинных законов движения и гравитации. «Этика» Спинозы [63] следует той же схеме. Полное название книги «Этика, доказанная в геометрическом порядке» (Ethica Ordine Geometrico Demonstrata). Вы можете услышать отголоски Евклида даже в Декларации независимости. Когда Томас Джефферсон [64] писал: «Мы считаем эти истины самоочевидными», он имитировал стиль «Начал» Евклида. Древнегреческий математик начал с определений, постулатов и самоочевидных истин геометрии, аксиом, и из них воздвиг здание утверждений и доказательств, где истины связаны между собой посредством неопровержимой логики. Джефферсон построил Декларацию аналогичным образом: его радикальные выводы о том, что колонии имеют право на самоуправление, казались неотвратимыми, как факт геометрии.

62

Все 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.

63

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

64

Дополнительные сведения о Томасе Джефферсоне, о его преклонении перед Евклидом и Ньютоном и использовании им аксиоматического подхода при написании Декларации независимости, можно найти в книге 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.

Даже если этот документ с некоторой натяжкой можно воспринимать как часть интеллектуального наследия, имейте все же в виду, что Джефферсон читал Евклида. Через несколько лет после окончания второго президентского срока он отошел от общественной жизни и писал об этом своему старому другу Джону Адамсу 12 января 1812 года: «Я отказался от газет в обмен на Тацита и Фукидида, Ньютона и Евклида, и считаю себя гораздо счастливее».

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

в память мелодию? Это тайна музыки; своя тайна присуща и математике.

В качестве иллюстрации рассмотрим задачу построения равностороннего треугольника. Правила игры заключаются в том, что вам дают одну сторону треугольника (отрезок), как показано на рисунке:

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

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

Готовы? Поехали!

Вы в ступоре. С чего начать?

Логика здесь не поможет. Те, кому приходится часто принимать решения, знают, что в такой ситуации лучше всего расслабиться и попробовать разгадать головоломку в надежде, что что-нибудь придет в голову. Например, с помощью поверочной линейки попробовать через концы отрезка провести наклонные линии.

Не повезло. Хотя линии образуют треугольник, нет никакой гарантии, что он равносторонний.

Пытаемся провести несколько окружностей с помощью циркуля и опять попадаем пальцем в небо. Где выбрать центр окружности? В конечных точках отрезка?

Или в какой-то его внутренней точке?

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

К сожалению, здесь много неопределенности. Какими должны быть радиусы окружностей? Что ж, пока мы ничего не смогли придумать.

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

Конечно, если бы мы использовали в качестве центра окружности другую конечную точку, то получили бы другое изображение:

Как насчет того, чтобы одновременно нарисовать обе окружности без причины, просто ради интереса?

Вас словно током ударило? Вы даже задрожали от предвкушения? Взгляните еще раз на рисунок. Оттуда на нас «уставилось» соблазнительно округлое изображение равностороннего треугольника. Его верхний угол — точка пересечения окружностей.

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

Мы позволили интуиции завести нас так далеко, что теперь и только теперь наступило время логике взяться за доказательство и завершить его. Для наглядности сделаем панорамную съемку полного изображения и промаркируем интересующие нас точки как A, B и C.