Значит, в сумме мы совершили три поворота на общий угол в 360°:
A + В + С = 360°.
Однако каждый из этих углов является смежным к соответствующему внутреннему углу треугольника, то есть дополняет угол А, В и С соответственно до 180°.
Обозначив внутренние углы треугольника через α, β и γ, получим:
(180° — α) + (180° — β) + (180° — γ) = А + В + С = 360°.
540° — (α + β + γ) = 360°.
180° = α + β + γ.
Таким образом, сумма внутренних углов треугольника равна развернутому углу.
Это доказательство основано на способе построения исходной фигуры, для него не требуется ничего, кроме размышлений о ходе этого построения.
Эвристический метод Пойа и Лакатоса довольно точно описывает таинственный путь, который прошла математика за свою историю. Доказательство теоремы рождается в ходе рассмотрения возражений и контрпримеров, как локальных, так и глобальных, цель которых — не просто уточнить доказательство, но переформулировать условие задачи так, чтобы перейти к новым определениям и категориям. Итогом этого процесса является более точная или более общая формулировка и окончательное доказательство.
Суть обучения математике в духе конструктивизма — показать, что мы можем решать задачи, используя уже известную информацию и, при необходимости, прибегнув к некоторой помощи со стороны. По сути, мы учимся математике, создавая ее.
Да, полученные нами знания не будут открытием мирового масштаба, но действовать при этом мы будем точно так же, как и профессиональные математики. И уж конечно, мы заслуживаем того, чтобы чувствовать себя такими же счастливыми, как они.
Но хотя каждый человек способен создавать математику, сложность заключается в необходимости быть внимательным. Учиться означает искать ответы, но чтобы искать ответы, нужны вопросы. Кто задает математические вопросы о том, что видит, слышит, делает или ощущает? Почти никто — в этом и заключается разница между математиками и всеми остальными. Однако постигнуть мир без помощи математики нельзя. Когда мы смотрим на него математическим взглядом, когда мы задаем вопросы и находим на них ответы, мы тоже учимся.
Нельзя определить, что происходит в мозгу в тот момент, когда в нем зарождается новая идея. Момент, когда мы испытываем счастливое озарение, всегда приходит неожиданно. Мы можем как-то повлиять лишь на два оставшихся этапа решения задачи.
Проверка полученного решения — достаточно рутинный процесс, в ходе которого мы подтверждаем, что результат, найденный в момент озарения, является правильным и удовлетворяет рассматриваемой задаче. Именно на этом этапе важнейшую роль играет логика: она позволяет с уверенностью сказать, что посетившее нас озарение привело к правильному решению.
Этап решения задачи, которому мы можем научиться, — это этап подготовки. В это время мы работаем осознанно и начинаем с формулировки и понимания сути проблемы. В идеале именно на этом этапе мы готовим почву для последующего озарения. Наш труд должен быть достаточно плодотворным, чтобы по прошествии некоторого времени состоялся акт творения. Но как именно нужно работать? Как подготовить почву для озарения?
Исследователи математики и науки в целом (Курант и Роббинс, 1996; Пойа, 1988; Дэвис и Херш, 1989; Лакатос, 1994) говорят об одних и тех же аспектах творчества: воображение, наблюдение, эксперимент, интуиция, аналогия, обобщение, рассуждение, стратегия, везение. Среди этих аспектов выделим шесть основных: наблюдение, интуиция, эксперимент, гипотеза, аналогия и подтверждение.
Далее мы попробуем рассмотреть простую задачу в этих аспектах и показать, как они помогают найти решение. Мы поговорим о квадратах натуральных чисел.
Наблюдение
Наблюдение зависит от наблюдателя. Наблюдая, мы можем распознать только то, что нам уже известно. Если мы хотим увидеть что-то неизвестное, нужно обращать внимание на все, что удивляет нас, и при этом два наблюдателя будут видеть одно и то же явление по-разному. Наблюдатель также обычно замечает изменения в привычной обстановке, но не может сказать, какие именно изменения произошли.