Шрифт:
В том, что сходит за доказательство на уроке геометрии, нет ничего очаровательного. Школьникам дают негибкий, догматический формат, в котором они должны производить так называемые «доказательства» — формат настолько непотребный и неподходящий, как, например, требование от детей, желающих высадить сад цветами, называть их цветы латинскими видом и родом.
Рассмотрим примеры этого безумия. Начнем с рисунка двух пересекающихся прямых:
На первом шаге рисунок следует замутить излишними обозначениями. Нельзя говорить о двух пересекающихся прямых: им следует дать вычурные обозначения. Не просто «прямая 1» и «прямая 2», или a и b. Мы должны, в соответствии с требованиями школьной геометрии, выбрать произвольные ненужные точки на этих прямых и называть эти прямые в соответствии со специальной «системой обозначения прямых».
Теперь мы будем называть их AB и CD. Боже упаси забыть надчеркивание: запись AB обозначала бы длину отрезка (во всяком случае, как это делается сейчас [15] ). Ничего, что эта система бессмысленно усложнена, просто научитесь ею пользоваться. Теперь начинается собственно доказательство, обычно предваряемое каким-нибудь абсурдным названием, например,
15
Намек, несомненно, на слишком быстрое изменение правил математической записи — она столь строга, но меняется, тем не менее, едва ли не ежегодно.
ТЕОРЕМА 2.1.1
Пусть AB и CD пересекаются в точке P.
Тогда APC BPD [16] .
То есть — что углы одинаковы. Да пересекающиеся прямые симметричны, ради всего святого! И, как будто этого мало, это очевидно верное утверждение должно быть «доказано»:
Доказательство.
16
Система записи, очевидно, такова: APC обозначает угол APC, а mAPC — величину угла APC. Знак = означает равенство и применяется только к численным величинам, напр., величинам углов, а знак обозначает конгруэнтность и применяется только к геометрическим объектам, напр., углам. Читателю в качестве головоломки предлагается выдумать систему еще ужаснее этой. Читателя же, собравшегося уже обвинить автора в утрированном преувеличении, переводчик, также знакомый с американской школьной системой, может заверить со всей серьезностью, что дела обстоят именно так.
Вместо остроумного и интересного рассуждения, написанного человеческим существом на одном из естественных языков Земли, нам предлагается это гнетущее, бездушное, бюрократическое заполнение бланка. И какого слона удалось раздуть из мухи! Мы что, на самом деле хотим показать, что самоочевидное наблюдение требует такого огромного введения? Честно: вы его прочитали или нет? Нет. Кто станет это читать?
Такой вывод столь элементарного утверждения заставляет людей сомневаться в собственной интуиции. Подвергая сомнению очевидное, настаивая на том, чтобы оно было «строго доказано» (как будто вышеприведенное доказательство строгое!), ученику как бы говорят: «Твоя интуиция и твои идеи сомнительны. Ты должен говорить и думать по-нашему».
В математике, без сомнения, есть место формальному доказательству. Но место ему не в первом введении ученика в предмет математического рассуждения. Позвольте ему сперва ознакомиться с некоторыми математическими объектами, понять, чего от них можно ожидать, перед тем, как вы начнете все формализовать. Строгое формальное доказательство необходимо только в кризисной ситуации, когда ваши воображаемые объекты начинают вести себя противоинтуитивным образом, когда возникает парадокс. Но излишняя профилактическая гигиена здесь излишня — никто еще не заболел! Разумеется, если логический кризис рано или поздно происходит, его следует исследовать, а аргументы прояснить, но и этот процесс может быть проделан интуитивно и неформально. Дух математики как раз и состоит в этом диалоге со своим собственным доказательством.
Дети не только запутываются этим педантизмом — ведь нет ничего более непонятного, чем доказательство очевидного — но даже те, чья интуиция еще пока цела, вынуждены переводить их отличные, прекрасные идеи на этот язык абсурдных иероглифов, который учитель называет «верным». Учитель же льстит себе, полагая, что это каким-то неизвестным образом «оттачивает ум» ученика.
В качестве более серьезного примера, рассмотрим случай треугольника в полукруге.
Чудесная закономерность в этом геометрическом узоре состоит в том, что, куда бы вы ни поместили вершину треугольника, угол при этой вершине всегда будет прямым.
В этом случае наша интуиция находится в сомнении. Вовсе даже и не ясно, что это утверждение всегда истинно, даже и не похоже на то — разве не должен угол меняться, когда мы двигаем вершину треугольника по окружности? Это замечательная задача! Всегда ли угол прямой? Если да, почему? Какая чудесная самостоятельная работа! Какая чудесная возможность проявить смекалку и воображение! Разумеется, такой возможности ученикам не дают, и их интерес немедленно сбивается нижеследующим:
ТЕОРЕМА 9.5.
Пусть ABC вписан в полукруг диаметром AC.
Тогда угол ABC прямой.
Доказательство.
Возможно ли что-нибудь более непривлекательное и неэлегантное? Можно ли было сделать доказательство более запутанным и нечитабельным? Это не математика! Доказательство должно быть посланием богов, а не телеграммой Алекса Юстасу! Вот к чему приводит неуемное чувство строгости: к мерзости. Дух доказательства похоронен под грудой путаного формализма.