Шрифт:
Не повезло. Хотя линии образуют треугольник, нет никакой гарантии, что он равносторонний.
Пытаемся провести несколько окружностей с помощью циркуля и опять попадаем пальцем в небо. Где выбрать центр окружности? В конечных точках отрезка?
Или в какой-то его внутренней точке?
Второй вариант выглядит совершенно бесперспективным, поэтому нет смысла перебирать все внутренние точки отрезка одну за другой. Так что давайте вернемся к построению окружности вокруг конечных точек.
К сожалению, здесь много неопределенности. Какими должны быть радиусы окружностей? Что ж, пока мы ничего не смогли придумать.
Спустя несколько минут бесполезных размышлений вы, окончательно расстроившись, готовы сдаться. Но если мы все-таки устоим перед соблазном и продолжим, то нам, возможно, повезет, и мы поймем, что нужно построить всего одну окружность. Давайте посмотрим, что произойдет, если поставить иголку циркуля на один конец отрезка, карандаш на другой, а потом сделать циркулем полный оборот. Выйдет следующее:
Конечно, если бы мы использовали в качестве центра окружности другую конечную точку, то получили бы другое изображение:
Как насчет того, чтобы одновременно нарисовать обе окружности без причины, просто ради интереса?
Вас словно током ударило? Вы даже задрожали от предвкушения? Взгляните еще раз на рисунок. Оттуда на нас «уставилось» соблазнительно округлое изображение равностороннего треугольника. Его верхний угол — точка пересечения окружностей.
А теперь давайте превратим его в обычный прямосторонний треугольник, проведя линии через точку пересечения и конечные точки исходного треугольника. В результате треугольник выглядит точно так же, как равносторонний.
Мы позволили интуиции завести нас так далеко, что теперь и только теперь наступило время логике взяться за доказательство и завершить его. Для наглядности сделаем панорамную съемку полного изображения и промаркируем интересующие нас точки как A, B и C.
А вот и само доказательство. У сторон АС и ВС такая же длина, как и у исходного отрезка АВ, поскольку радиусы обеих окружностей равны длине отрезка AB. АС и ВС — радиусы окружностей, имеющие такую же длину. Следовательно, все три длины равны и треугольник является равносторонним. Что и требовалось доказать.
Идея с радиусами окружностей существует уже много столетий. Действительно, она открывает первую книгу евклидовых «Начал». Но укоренившаяся тенденция предлагать ученикам уже готовую окончательную схему с хитрыми окружностями лишает их радости открытия. Это педагогическая ошибка. Такой подход настраивает молодого человека на то, что идея очевидна. А ведь она может стать озарением для каждого нового поколения, если учить его правильно.
Конечно, ключом к данному доказательству было вдохновенное построение двух окружностей. С его помощью можно доказать еще одну, более известную теорему, которая звучит следующим образом: сумма углов треугольника равна 180°.
В этом случае лучшим будет не доказательство Евклида, а более раннее, приписываемое пифагорейцам. Делается это так. Рассмотрим любой треугольник и обозначим его углы, как a, b и c.
Через верхний угол треугольника проведем линию, параллельную основанию.
Теперь на секунду отвлечемся и вспомним свойства параллельных прямых: если третья прямая пересекает две параллельные прямые, как здесь,
то углы, помеченные как а, равны.
Попробуем применить это свойство углов к сделанным выше построениям, в которых через вершину угла треугольника проведена прямая, параллельная его основанию.
Построив внутренние накрест лежащие углы, мы видим, что угол слева от верхнего угла треугольника должен быть равен a. Аналогичным образом угол справа от верхнего угла равен b. Таким образом, вместе углы а, b и с образуют развернутый угол в 180°. Что и требовалось доказать.
Это одно из самых убедительных доказательств во всех разделах математики. Оно начинается со вспышки молнии, сопровождаемой раскатами грома, — построения параллельной прямой. Как только прямая линия проведена, доказательство, как создание доктора Франкенштейна, начинает гулять само по себе.
И кто знает? Если мы высветим эту другую сторону геометрии — занимательную и интуитивную, где искра воображения может быстро возгореться в доказательство, — то, может быть, ученики запомнят уроки геометрии как уроки, где они научились мыслить логически и творчески [65] .
65
В этой главе я умолчал о ряде тонкостей в двух представленных доказательствах. Например, в доказательстве о равностороннем треугольнике неявно предполагается (как сделал Евклид), что две окружности пересекаются в какой-то определенной точке, которую мы обозначили С. Но нет никаких аксиом Евклида, подтверждающих это свойство, — нужна дополнительная аксиома о непрерывности окружностей. Бертран Рассел, в частности, отметил этот пробел в статье 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°:и статью T. Beardon, When the angles of a triangle don’t add up to 180 degrees по адресу http://nrich.maths.org/1434.