Архив метки: Теоремы

§ 3. Теоремы, аксиомы, определения

Рассуждение, устанавливающее, какое-либо свойство, называется доказательством. Доказываемое свойство называется теоремой. При доказательстве геометрической теоремы мы опираемся на ранее установленные свойства. Некоторые из них в свою очередь являются теоремами; некоторые же считаются в геометрии основными и принимаются без доказательства. Свойства, принимаемые без доказательства, называются аксиомами.

Аксиомы возникли из опыта, и опыт же проверяет истинность аксиом в их совокупности. Проверка состоит в том, что все теоремы геометрии согласовываются с опытом; этого не случилось бы, если бы система аксиом была ложной.

Ни одно геометрическое свойство, взятое в отдельности, не является аксиомой, так как его всегда можно доказать на основании других свойств. Так, в геометрии обычно принимается за аксиому следующее свойство параллельных прямых: «через одну и ту же точку нельзя провести две различные прямые, параллельные одной и той же прямой» (аксиома параллельности). На основании этой аксиомы (и ряда других) доказывается такое свойство треугольника: «сумма углов треугольника равна 180°». Между тем мы могли бы последнее свойство принять за аксиому вместо аксиомы параллельности (оставив остальные аксиомы прежними). Тогда упомянутое свойство параллельных прямых можно доказать и оно станет теоремой.

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

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

Некоторые понятия в геометрии мы принимаем за начальные, их содержание можно выяснить только из опыта (таково, например, понятие точки). Все остальные понятия мы объясняем, опираясь на начальные. Такие объяснения называются определениями. Каждое геометрическое определение опирается либо непосредственно на начальные понятия, либо на понятия, определенные прежде.

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