13. Аксиомы

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

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

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

Аксиома порядка описывает расположение точек на прямой. Если одна точка лежит между двумя другими, порядок этих точек важен: например, B между A и C означает, что B расположена на отрезке AC. Такое отношение помогает разбирать отрезки и их части.

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

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

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

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

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

Аксиома параллельных прямых содержит два связанных утверждения: параллельную прямую через заданную точку можно провести, и такая прямая только одна. Точка должна находиться вне исходной прямой, иначе условие задачи изменится. Слово «единственная» запрещает считать подходящими сразу несколько различных прямых. При решении важно проверить все условия формулировки, прежде чем применять аксиому.

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

Основные аксиомы геометрии и их смысл

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

Разбор задач

Задача 1. Даны две различные точки A и B. Сколько прямых проходит через них? Нужно установить не только, можно ли провести такую прямую, но и может ли их быть несколько. Для этого используем аксиому принадлежности, в которой говорится о любых двух различных точках.

1. Проверяем условие: точки A и B различны, значит, подходит формулировка аксиомы принадлежности.
2. По аксиоме через эти точки проходит прямая, то есть существование прямой гарантировано.
3. Та же аксиома говорит, что прямая единственная, поэтому второй прямой через A и B быть не может.

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

Задача 2. Точки A, B и C лежат на одной прямой, причём B находится между A и C. Какие отрезки образуют весь отрезок AC? Здесь важно не просто перечислить отрезки, а использовать порядок точек: B разделяет отрезок AC на две части. Длины этих частей при необходимости можно сложить.

1. Из условия B между A и C следует, что B расположена внутри отрезка AC, а не за его концом.
2. Тогда отрезок AC состоит из частей AB и BC, которые соприкасаются в точке B.
3. Для длин получаем равенство AC = AB + BC: длина всего отрезка равна сумме длин его частей.

Ответ: весь отрезок AC образуют отрезки AB и BC, а его длина равна AB + BC. Если поменять порядок точек или забыть, какая точка лежит между двумя другими, можно неверно выбрать части. Поэтому сначала устанавливают расположение точек, а уже затем записывают равенство.

Задача 3. Дана прямая a и точка P, не лежащая на ней. Сколько прямых, проходящих через P, параллельны a? В условии явно сказано, что P находится вне прямой a, поэтому можно применить аксиому параллельных прямых. Она отвечает сразу на два вопроса: есть ли такая прямая и сколько их.

1. Проверяем, что точка P не принадлежит прямой a; это обязательное условие аксиомы.
2. По аксиоме через точку P проходит прямая, параллельная a, значит, такая прямая существует.
3. Аксиома утверждает, что она единственная, поэтому второй прямой через P, параллельной a, нет.

Ответ: через P проходит ровно одна прямая, параллельная a. Если в условии убрать слова о том, что P не лежит на a, применять эту формулировку уже нельзя. Проверка условия — часть решения, а не формальность.

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

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

Считать аксиому просто очевидным фактом. Кажется, что аксиома не требует обоснования лишь потому, что она «сама собой понятна». Но её принимают не из-за личного ощущения очевидности, а как исходное положение геометрии. Проверяй точную формулировку и условия, а не то, насколько убедительно она выглядит на рисунке.

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

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

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

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

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

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