ТЕОРЕМА 9.5.. Доказательство.

ТЕОРЕМА 9.5.

Пусть ∆ABC вписан в полукруг диаметром AC .

Тогда угол ∠ABC прямой.

Доказательство.

Возможно ли что-нибудь более непривлекательное и неэлегантное? Можно ли было сделать доказательство более запутанным и нечитабельным? Это не математика! Доказательство должно быть посланием богов, а не телеграммой Алекса Юстасу! Вот к чему приводит неуемное чувство строгости: к мерзости . Дух доказательства похоронен под грудой путаного формализма.

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

Сравните эту мешанину со следующим рассуждением одного моего семиклассника:

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

Разве не восхитительно? Моя цель не сравнить, какое из двух рассуждений лучше как идея, а показать, насколько идея видна только во втором. (На самом деле, идея первого доказательства тоже хороша, но она едва проступает через эту запись, как бы в тусклом зеркале, гадательно.)

Еще важнее то, что это собственная идея ученика. У класса была замечательная задача, над которой дети работали, разрабатывали свои предположения, пытались вывести доказательства, и это то, что в конце концов привел один из учеников. Разумеется, это заняло несколько дней, и получилось только в результате долгой череды неудач.

Честно говоря, я изрядно перефразировал доказательство. Оригинал был куда более запутанным и содержал множество ненужных слов (и грамматических и орфографических ошибок). Тем не менее, я понял его. И все эти дефекты были только к лучшему — мне, как учителю, они тоже дали понять кое-что важное. Я указал на несколько стилистических и логических неточностей, и ученик смог исправить их. Например, я был недоволен утверждением о том, что обе диагонали — диаметры, мне не казалось это полностью очевидным — но это лишь означало, что мы должны были извлечь что-то из понимания ситуации. Ученик прекрасно справился и с этой проблемой:

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

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

* * *

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

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

Даже традиционный способ, которым представляются доказательства — ложь. Перед броском в каскад пропозиций и теорем вводятся определения, чтобы сделать доказательства возможно более краткими, как бы создавая иллюзию ясности. На поверхностный взгляд затея выглядит невинной: почему бы и не ввести список сокращений, чтобы говорить далее экономичнее? Проблема кроется в том, что определения важны . Они должны происходить эстетически обоснованно из того, что вы, создатель произведения искусства, считаете важным. И они должны быть вызваны задачей. Определения должны привлекать внимание к свойствам объектов и структуры задачи. Исторически это происходило как результат работы над задачей, а не как прелюдия к ней.

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

Это еще один пример того, как от учеников скрывают математический процесс, и исключают их из него. Ученики должны уметь вводить свои собственные определения по необходимости — чтобы самим ограничить обсуждаемое. Я не хочу, чтобы ученики говорили «определение», «теорема», «доказательство» — только «мое определение», «моя теорема», «мое доказательство».

Еще одна серьезная проблема с такой подачей материала в том, что она скучна. Эффективность и экономия противостоят хорошему преподаванию. Уверен, что Евклиду такая система не понравилась бы, и точно знаю, что ее не одобрил бы Архимед.

Симплицио. Подожди-ка минуточку. Не знаю, как тебе, а вот мне нравились уроки геометрии. Мне нравилась структура, нравилось доказательство в строгой форме.

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

Симплицио. Но говорю же тебе: мне нравилась геометрия.

Сальвиати. И если бы у тебя случился более естественный математический опыт, тебе бы он понравился еще больше.

Симплицио. Значит, нам просто нужно организовать свободное от планов математическое путешествие, и ученики научатся тому, чему уж они научатся?

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

Симплицио. Да ты совсем с ума сошел!

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

Симплицио. Но как тогда школы могут гарантировать одинаковые базовые знания учеников? Как мы сможем точно и объективно сравнить их?

Сальвиати. Никак, и мы не будем их сравнивать — все будет так, как бывает на самом деле. Рано или поздно ты оказываешься перед тем фактом, что люди все разные — и это хорошо. Как бы там ни было, но никакого давления на самом деле нет. Допустим, ученик оканчивает среднюю школу, не помня формул синуса и косинуса двойного угла (как будто выпускники их сейчас помнят). Ну и что? По крайней мере, у выпускника будет правильное понятие о настоящем предмете математики, по крайней мере он увидит нечто прекрасное!

⇐ Предыдущая 3 4 5 6 7 8910 11 12 Следующая ⇒