Сальвиати. Напротив. Математические структуры, и практически полезные, и нет, возникают в контексте задач, и получают смысл только из этого контекста. Иногда мы хотим, чтобы 1 + 1 равнялось нулю — в арифметике по модулю 2. Сумма углов треугольника на сфере больше 180°. Это не факты сами по себе — все здесь относительно. Важна повесть, а не развязка сюжета.
Симплицио. Я уже устал от твоей мистической болтовни! Скажи мне, вот базовая арифметика — ты согласен или не согласен с моим мнением, что ученики должны ее знать?
Сальвиати. Смотря что ты называешь «базовой арифметикой». Если ты называешь ею понимание задач счета и разбиения, преимущества группировки и поименования, различение вещи и ее обозначения, историю развития счетных систем — да, я считаю, что школьники должны это изучать. Если же ты называешь ею заучивание арифметических фактов вне базовой системы концепций — нет. Исследование вовсе не очевидного факта, что пять кучек по семь это столько же, сколько семь кучек по пять — да. Заучивание правила, что 5 × 7 = 7 × 5 — нет. Занятие математикой — это всегда открытие закономерностей и создание красивых и осмысленных объяснений.
Симплицио. Ладно, а геометрия? Школьники все время доказывают геометрические теоремы. Разве, по-твоему, уроки геометрии в старших классах — не образец того, какими должны быть уроки математики?
Геометрия в старших классах: инструмент дьявола
Ничто так не раздражает автора едкого обличения, как предложение самой главной жертвы его яда в качестве аргумента в поддержку его мысли. Нигде волк в овечьей шкуре не вероломен настолько, как на уроке геометрии. Такая попытка школы дать введение в искусство рационального рассуждения опасна сама по себе.
Этот вирус атакует математику в самое сердце, создавая иллюзию, будто именно на уроке геометрии школьники знакомятся с математическим рассуждением, и тем самым разрушает саму суть творческого рационального мышления, отравляя учеников в стремлении к этому занимательному и красивому предмету, навсегда калеча их способность мыслить о математике естественным и интуитивным путем.
Механизм, стоящий за этим, тонок и изощрен. Жертва-ученик сначала оглушается и парализуется потоком бессмысленных определений, положений и значков, а затем медленно и болезненно отлучается от естественного интереса и интуиции о геометрических формах и их закономерностях систематической пропагандой корявого языка и искусственного формата так называемого «формального геометрического доказательства».
Скажем прямо и без метафор: урок геометрии есть наиболее эмоционально и ментально деструктивная компонента всей математической программы от первого класса и до последнего. Другие математические курсы могут спрятать прекрасную птицу или посадить ее в клетку; лишь на уроке геометрии ее подвергают бездушным пыткам. (Нет, видимо, я еще не готов говорить без метафор.)
Здесь систематически подрывается интуиция ученика. Доказательство, математическое рассуждение есть произведение искусства, поэма. Ее цель — удовлетворить. Красивое доказательство призвано объяснять, и объяснять ясно, глубоко и элегантно. Хорошо написанное, проработанное рассуждение должно чувствоваться холодными брызгами и вести лучом маяка — освежать дух и освещать ум. Оно должно очаровывать.
В том, что сходит за доказательство на уроке геометрии, нет ничего очаровательного. Школьникам дают негибкий, догматический формат, в котором они должны производить так называемые «доказательства» — формат настолько непотребный и неподходящий, как, например, требование от детей, желающих высадить сад цветами, называть их цветы латинскими видом и родом.
Рассмотрим примеры этого безумия. Начнем с рисунка двух пересекающихся прямых:
На первом шаге рисунок следует замутить излишними обозначениями. Нельзя говорить о двух пересекающихся прямых: им следует дать вычурные обозначения. Не просто «прямая 1» и «прямая 2», или a и b. Мы должны, в соответствии с требованиями школьной геометрии, выбрать произвольные ненужные точки на этих прямых и называть эти прямые в соответствии со специальной «системой обозначения прямых».
Теперь мы будем называть их AB и CD. Боже упаси забыть надчеркивание: запись AB обозначала бы длину отрезка (во всяком случае, как это делается сейчас). Ничего, что эта система бессмысленно усложнена, просто научитесь ею пользоваться. Теперь начинается собственно доказательство, обычно предваряемое каким-нибудь абсурдным названием, например,
ТЕОРЕМА 2.1.1
Пусть AB и CD пересекаются в точке P.
Тогда ∠APC ≌ ∠BPD.
То есть — что углы одинаковы. Да пересекающиеся прямые симметричны, ради всего святого! И, как будто этого мало, это очевидно верное утверждение должно быть «доказано»:
Доказательство.
Вместо остроумного и интересного рассуждения, написанного человеческим существом на одном из естественных языков Земли, нам предлагается это гнетущее, бездушное, бюрократическое заполнение бланка. И какого слона удалось раздуть из мухи! Мы что, на самом деле хотим показать, что самоочевидное наблюдение требует такого огромного введения? Честно: вы его прочитали или нет? Нет. Кто станет это читать?
Такой вывод столь элементарного утверждения заставляет людей сомневаться в собственной интуиции. Подвергая сомнению очевидное, настаивая на том, чтобы оно было «строго доказано» (как будто вышеприведенное доказательство строгое!), ученику как бы говорят: «Твоя интуиция и твои идеи сомнительны. Ты должен говорить и думать по-нашему».
В математике, без сомнения, есть место формальному доказательству. Но место ему не в первом введении ученика в предмет математического рассуждения. Позвольте ему сперва ознакомиться с некоторыми математическими объектами, понять, чего от них можно ожидать, перед тем, как вы начнете все формализовать. Строгое формальное доказательство необходимо только в кризисной ситуации, когда ваши воображаемые объекты начинают вести себя противоинтуитивным образом, когда возникает парадокс. Но излишняя профилактическая гигиена здесь излишня — никто еще не заболел! Разумеется, если логический кризис рано или поздно происходит, его следует исследовать, а аргументы прояснить, но и этот процесс может быть проделан интуитивно и неформально. Дух математики как раз и состоит в этом диалоге со своим собственным доказательством.
Дети не только запутываются этим педантизмом — ведь нет ничего более непонятного, чем доказательство очевидного — но даже те, чья интуиция еще пока цела, вынуждены переводить их отличные, прекрасные идеи на этот язык абсурдных иероглифов, который учитель называет «верным». Учитель же льстит себе, полагая, что это каким-то неизвестным образом «оттачивает ум» ученика.
В качестве более серьезного примера, рассмотрим случай треугольника в полукруге.
Чудесная закономерность в этом геометрическом узоре состоит в том, что, куда бы вы ни поместили вершину треугольника, угол при этой вершине всегда будет прямым.
15
Намек, несомненно, на слишком быстрое изменение правил математической записи — она столь строга, но меняется, тем не менее, едва ли не ежегодно.
16
Система записи, очевидно, такова: ∠