Том 20. Творчество в математике. По каким правилам ведутся игры разума - [8]
Рассмотрим в качестве примера одну из фундаментальных теорем геометрии на плоскости, которая гласит, что сумма углов треугольника равна развернутому углу. Иными словами, в любом треугольнике с углами А, В и С выполняется равенство A + В + С = 180°, где 180° — величина развернутого угла.
Совместим ли мы вершины всех трех углов треугольника в одной точке и проверим, равна ли их сумма развернутому углу, или пойдем путем эксперимента, вырезав ножницами три угла треугольника из бумаги и расположив их требуемым образом, — все эти действия доказывают не теорему, а лишь частный случай.
Наиболее известное доказательство этой теоремы основано на том, что через одну из вершин треугольника, например С, проводится прямая r, параллельная противоположной стороне треугольника. В результате построения образуются два внешних угла треугольника при вершине С. Обозначим их X и Y.
Так как прямая r параллельна стороне АВ, угол X равен углу А. Это же справедливо для углов В и Y. Однако очевидно, что три угла при вершине С образуют развернутый угол. Следовательно, 180° = X + C + Y = A + C + B, таким образом, сумма углов треугольника равна развернутому углу: А + В + С = 180°.
В основе этого доказательства лежит построение дополнительной линии, которая используется в дальнейших рассуждениях. Существует много способов построить дополнительные точки и линии, но для наших целей подходит только один. На решение задачи также влияет форма и положение построенного треугольника, то есть картина, которую мы видим своими глазами.
Те, кто не догадался, что через одну из вершин треугольника можно провести прямую, параллельную противоположной его стороне, могут взглянуть на доказательство с другой точки зрения. Для этого рассмотрим построение треугольника подробнее.
Построить треугольник означает провести замкнутую линию с тремя углами. Для этого мы ставим карандаш в точку Р на листе бумаги и проводим прямую линию, например вправо. Конец проведенного отрезка Q определяется изменением направления линии, которая еще раз сменит направление в третьей вершине треугольника, R. Далее мы соединяем третью вершину треугольника с исходной точкой Р.
Используем это построение в нашем доказательстве. Треугольник образуется построением трех отрезков. Началом второго отрезка является точка Q, где линия поворачивает на угол В. В точке R мы совершаем поворот на угол С, возвращаемся в исходную точку Р и в ней совершаем поворот на угол А, после чего полученное направление прямой совпадает с исходным направлением отрезка PQ.
Значит, в сумме мы совершили три поворота на общий угол в 360°:
A + В + С = 360°.
Однако каждый из этих углов является смежным к соответствующему внутреннему углу треугольника, то есть дополняет угол А, В и С соответственно до 180°.
Обозначив внутренние углы треугольника через α, β и γ, получим:
(180° — α) + (180° — β) + (180° — γ) = А + В + С = 360°.
540° — (α + β + γ) = 360°.
180° = α + β + γ.
Таким образом, сумма внутренних углов треугольника равна развернутому углу.
Это доказательство основано на способе построения исходной фигуры, для него не требуется ничего, кроме размышлений о ходе этого построения.
Эвристический метод Пойа и Лакатоса довольно точно описывает таинственный путь, который прошла математика за свою историю. Доказательство теоремы рождается в ходе рассмотрения возражений и контрпримеров, как локальных, так и глобальных, цель которых — не просто уточнить доказательство, но переформулировать условие задачи так, чтобы перейти к новым определениям и категориям. Итогом этого процесса является более точная или более общая формулировка и окончательное доказательство.
Суть обучения математике в духе конструктивизма — показать, что мы можем решать задачи, используя уже известную информацию и, при необходимости, прибегнув к некоторой помощи со стороны. По сути, мы учимся математике, создавая ее.
Да, полученные нами знания не будут открытием мирового масштаба, но действовать при этом мы будем точно так же, как и профессиональные математики. И уж конечно, мы заслуживаем того, чтобы чувствовать себя такими же счастливыми, как они.
Но хотя каждый человек способен создавать математику, сложность заключается в необходимости быть внимательным. Учиться означает искать ответы, но чтобы искать ответы, нужны вопросы. Кто задает математические вопросы о том, что видит, слышит, делает или ощущает? Почти никто — в этом и заключается разница между математиками и всеми остальными. Однако постигнуть мир без помощи математики нельзя. Когда мы смотрим на него математическим взглядом, когда мы задаем вопросы и находим на них ответы, мы тоже учимся.
Нельзя определить, что происходит в мозгу в тот момент, когда в нем зарождается новая идея. Момент, когда мы испытываем счастливое озарение, всегда приходит неожиданно. Мы можем как-то повлиять лишь на два оставшихся этапа решения задачи.
Проверка полученного решения — достаточно рутинный процесс, в ходе которого мы подтверждаем, что результат, найденный в момент озарения, является правильным и удовлетворяет рассматриваемой задаче. Именно на этом этапе важнейшую роль играет логика: она позволяет с уверенностью сказать, что посетившее нас озарение привело к правильному решению.
