§ 6. Аксиомы

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

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

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

Расположение точек между собой — свойство трёх точек одной прямой: одна из них может лежать между двумя другими. Например, если B лежит между A и C, порядок точек на прямой — A, B, C. Понятие нужно, чтобы описывать расположение отрезков и сравнивать части прямой.

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

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

Любое доказательство должно опираться на то, что уже принято или доказано. Если требовать доказательства каждого утверждения, возникнет бесконечная цепочка: для каждого доказательства понадобится новое основание. Поэтому в геометрии выбирают исходные положения — аксиомы — и принимают их без доказательства. На них строятся теоремы, а затем более сложные рассуждения.

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

По аксиоме о трёх точках, если три точки различны и лежат на одной прямой, ровно одна из них находится между двумя другими. Например, если B лежит между A и C, то A и C — крайние точки, а B — средняя. Это не просто обозначение на чертеже: порядок гарантирует сама аксиома. Условие о том, что точки лежат на одной прямой, обязательно; для любых трёх точек такое утверждение неверно.

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

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

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

Разбор задач

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

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

Ответ: ровно одну прямую. В решении важно опереться на обе части аксиомы: существование и единственность.

Задача 2. Точки A, B и C различны и лежат на одной прямой. Известно, что B лежит между A и C. Какие точки не могут лежать между двумя другими?

1. По условию порядок точек на прямой — A, B, C: средняя точка уже указана.
2. Аксиома утверждает, что среди трёх точек ровно одна лежит между двумя другими.
3. Этой точкой является B. Поэтому A не может лежать между B и C, а C не может лежать между A и B.

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

Задача 3. Точки A и B лежат по разные стороны от прямой l. Может ли отрезок AB не пересекать l? Обоснуйте.

1. Прямая l делит плоскость на две полуплоскости, а точки A и B принадлежат разным полуплоскостям.
2. Отрезок соединяет A и B непрерывно. Чтобы пройти из одной полуплоскости в другую, он должен пересечь границу между ними.
3. Граница этих полуплоскостей — прямая l. Значит, точка пересечения отрезка AB с прямой существует.

Ответ: нет, отрезок AB не может пройти, не пересекая l. Иначе он соединял бы точки по разные стороны прямой, не пересекая границу полуплоскостей.

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

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

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

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

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

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

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

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

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