§ 2. Система аксиом Гильберта

Определения и обозначения

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

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

Принадлежность — отношение между точкой и прямой или плоскостью; его выражают словами «точка лежит на прямой» или «прямая проходит через точку». Например, запись A ∈ a означает, что точка A принадлежит прямой a. Это понятие нужно, чтобы описывать, какие объекты связаны друг с другом и какие фигуры определяются заданными точками.

Конгруэнтность — отношение равенства геометрических объектов; в аксиомах рассматриваются, в частности, равные отрезки и углы. Конгруэнтные фигуры совпадают по соответствующим размерам, хотя могут занимать разные места. Это понятие нужно для сравнения фигур и переноса отрезков или углов при построениях.

Как это устроено

Геометрические определения объясняют смысл слов, но сами по себе не доказывают утверждения о фигурах. Наглядный рисунок тоже может подсказать свойство, однако видимость не заменяет логического обоснования. Поэтому в начале теории явно задают аксиомы: они определяют, на какие исходные факты можно опираться в каждом доказательстве.

Аксиомы принадлежности описывают взаимное расположение точек, прямых и плоскостей. Из них следуют базовые факты о том, сколько объектов определяется заданными точками: например, две различные точки задают единственную прямую. Такие утверждения нужны, чтобы понимать, какие линии и плоскости можно считать однозначно заданными, а не просто изображать их произвольно.

Аксиомы порядка формализуют расположение точек на прямой. Они позволяют строго использовать понятие «точка C лежит между точками A и B», а также рассуждать о последовательности точек и частях прямой. В пространстве и на плоскости эти аксиомы помогают описывать разделение: например, прямая делит плоскость на две области, расположенные по разные стороны от неё.

Аксиомы конгруэнтности задают правила сравнения и переноса отрезков и углов. Благодаря им можно утверждать, что отрезок равен другому отрезку, а угол — другому углу, даже если они находятся в разных местах. Эти правила необходимы для доказательств равенства фигур, построения копий отрезков и углов и последовательного обращения с равными объектами.

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

Группы аксиом Гильберта и их назначение

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

Разбор задач

Задача 1

Условие. На прямой даны две различные точки A и B. Объясните, на какую группу аксиом можно опереться, утверждая, что через них проходит единственная прямая. Нужно определить не название отдельной теоремы, а тип исходного свойства. Слова «точки», «прямая» и «через них проходит» указывают на связь объектов.

1. Выделим утверждение о принадлежности: прямая проходит через точки A и B.
2. Учтём, что точки различны: именно две различные точки однозначно определяют прямую.
3. Свяжем это свойство с группой аксиом, описывающей положение точек и прямых.

Ответ. Нужно опереться на аксиомы принадлежности. Они задают факт существования и единственности прямой, проходящей через две различные точки.

Задача 2

Условие. Точка C лежит между A и B. Какие сведения о расположении этих точек и о разбиении прямой можно использовать? Здесь требуется описать не принадлежность точки прямой, а её положение относительно двух других точек. Поэтому главным является отношение «между».

1. Отметим, что A, C и B находятся на одной прямой.
2. Используем аксиомы порядка: точка C разделяет отрезок AB на отрезки AC и CB и расположена внутри отрезка AB.
3. При необходимости рассуждения о частях прямой связываем их с порядком точек, а не с аксиомами принадлежности.

Ответ. Используют смысл отношения «между» и аксиомы порядка. Они позволяют говорить о последовательности точек и о том, как точка C делит отрезок AB.

Задача 3

Условие. Через точку, не лежащую на данной прямой, проведена параллельная ей прямая. Укажите, какое утверждение о числе таких прямых следует из аксиомы параллельности. Важно не перепутать эту ситуацию с проведением прямой через две заданные точки. Здесь одна точка задана, а второе условие — параллельность.

1. Проверим условие: точка не принадлежит данной прямой.
2. Рассмотрим не только существование параллельной, но и её количество.
3. Применим аксиому параллельности евклидовой геометрии, которая устанавливает единственность такой прямой.

Ответ. Через точку, не лежащую на данной прямой, проходит ровно одна прямая, параллельная данной. Это утверждение относится к аксиоме параллельности.

Типичные ошибки

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

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

Считать равенство очевидным из рисунка. Отрезки или углы могут выглядеть одинаковыми из-за неточного чертежа, но изображение не является доказательством. Проверяйте, задано ли равенство условием или оно обосновано аксиомами конгруэнтности.

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

Связь с другими темами

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

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

Что запомнить

• Аксиомы принимают без доказательства.
• Теоремы выводят из аксиом и ранее доказанных утверждений.
• Аксиомы Гильберта объединены в группы по описываемым отношениям.
• Принадлежность задаёт связи между точками, прямыми и плоскостями.
• Порядок описывает, в частности, отношение «между».
• Конгруэнтность задаёт правила сравнения отрезков и углов.
• Параллельность и непрерывность требуют собственных аксиом.