Форма реальности

Что можно спросить у девятиклассника, столкнувшегося с этим утверждением? Типичный формат[51 - Типичный формат: материал о Комитете десяти и истории доказательства в два столбца взят из работы P. G. Herbst, “Establishing a Custom of Proving in American School Geometry: Evolution of the Two-Column Proof in the Early Twentieth Century,” Educational Studies in Mathematics 49, no. 3 (2002): 283–312.] – доказательство в два столбца, главная опора геометрического образования в течение более чем ста лет. В нашем случае оно выглядело бы примерно так:

«Транзитивность равенства» – одно из общих понятий Евклида, это арифметический принцип, который он излагает в начале своего труда наряду с геометрическими аксиомами.

Принцип таков: две вещи, равные третьей, равны между собой[52 - В сценарии Тони Кушнера для фильма Стивена Спилберга «Линкольн» президент ссылается на это в драматический момент.].

Не стану отрицать, что есть определенное удовлетворение в сведении всего к таким крошечным, точным шагам.

Они так убедительно складываются вместе, словно детальки лего! И подобное ощущение учителю действительно хочется передать.

Но все же… разве не очевидно, что два прямых угла – это одна и та же вещь, просто расположенная на странице в разных местах с разной ориентацией? На самом деле Евклид считал равенство прямых углов четвертой из аксиом – основных правил игры, которые принимаются как истинные без доказательства и из которых вытекает все остальное. Так почему современная школа требует от учеников предъявлять доказательство этого факта, если даже Евклид сказал: «Да ладно, это очевидно»? Потому что существует много разных наборов аксиом, из которых можно вывести геометрию на плоскости, и поступать в точности так, как Евклид, больше не считается самым строгим или педагогически выигрышным приемом.

В 1899 году Давид Гильберт переписал всю аксиоматику с нуля, а аксиомы современной американской школы обычно следуют системе Джорджа Биркгофа 1932 года.

Аксиома это или нет, но тот факт, что два прямых угла равны, ученик просто знает. Вы не можете винить школьников в том, что они разочаруются, когда вы им скажете: «Вы думали, что знаете это, но на самом деле не знали, пока не выполнили все шаги в доказательстве в два столбца». Даже несколько обидно!

Слишком многое на уроках геометрии посвящено доказательству очевидных вещей. Я хорошо помню занятия топологией на первом курсе колледжа.