Плач математика. Эссе о преподавании математики в школе
Шрифт:
В том, что сходит за доказательство на уроке геометрии, нет ничего очаровательного. Школьникам дают негибкий, догматический формат, в котором они должны производить так называемые «доказательства» — формат настолько непотребный и неподходящий, как, например, требование от детей, желающих высадить сад цветами, называть их цветы латинскими видом и родом.
Рассмотрим примеры этого безумия. Начнем с рисунка двух пересекающихся прямых:
На первом шаге рисунок следует замутить излишними обозначениями. Нельзя говорить о двух пересекающихся прямых: им следует дать вычурные обозначения. Не просто «прямая 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 прямой.
Доказательство.
Возможно ли что-нибудь более непривлекательное и неэлегантное? Можно ли было сделать доказательство более запутанным и нечитабельным? Это не математика! Доказательство должно быть посланием богов, а не телеграммой Алекса Юстасу! Вот к чему приводит неуемное чувство строгости: к мерзости. Дух доказательства похоронен под грудой путаного формализма.
Математики так не работают. Ни один математик никогда так не работал. Это полное и окончательное непонимание предприятия математики. Математика не занимается возведением барьеров между нами и нашей интуицией, чтобы сделать простое сложным. Математика убирает препятствия нашей интуиции, и сохраняет простое простым.
Сравните эту мешанину со следующим рассуждением одного моего семиклассника:
Возьмем треугольник и перевернем его внутри круга так, что получится четырехугольник, вписанный в круг. Поскольку мы перевернули треугольник, стороны четырехугольника равны, то есть это параллелограмм. Но он не может быть наклонным, потому что его обе диагонали — диаметры круга, и, следовательно, равны. Значит, это прямоугольник, и все его углы прямые. Вот почему угол треугольника всегда прямой.
Разве не восхитительно? Моя цель не сравнить, какое из двух рассуждений лучше как идея, а показать, насколько идея видна только во втором. (На самом деле, идея первого доказательства тоже хороша, но она едва проступает через эту запись, как бы в тусклом зеркале, гадательно.)
Еще важнее то, что это собственная идея ученика. У класса была замечательная задача, над которой дети работали, разрабатывали свои предположения, пытались вывести доказательства, и это то, что в конце концов привел один из учеников. Разумеется, это заняло несколько дней, и получилось только в результате долгой череды неудач.