1.2. Аксиомы о прямой

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

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

Прямая — геометрический объект, проходящий через точки и продолжающийся в обе стороны. Если прямая проходит через точки A и B, её обозначают AB; иногда прямую называют одной строчной буквой, например l. Обозначение через две точки помогает точно указать, о какой прямой идёт речь.

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

Принадлежность прямой плоскости означает, что все точки прямой лежат в данной плоскости. Запись l ⊂ α показывает, что прямая l целиком содержится в плоскости α. Это не то же самое, что пересечение: при пересечении прямая и плоскость имеют общую точку, но остальные точки прямой могут быть вне плоскости.

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

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

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

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

Аксиомы применяют и к пространственным фигурам, даже если на рисунке невозможно точно показать взаимное положение всех объектов. Сначала называют точки, прямые и плоскости, используя обозначения вроде A, l и α, затем связывают их принадлежность с условием задачи. Если, например, две точки l принадлежат α, применяют аксиому о прямой и плоскости. Сам чертёж помогает представить ситуацию, но доказательством служит именно обоснованная ссылка на свойство.

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

Аксиомы и следствия о прямой в пространстве

Пользуйся таблицей как схемой «условие — вывод»: сначала проверь, что именно дано, затем выбери подходящее утверждение. В последней строке вывод допускает как отсутствие общих точек, так и одну общую точку. Если дано, что общих точек две, следует применить вторую строку и заключить, что прямая лежит в плоскости.

Разбор задач

Задача 1

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

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

Ответ: через точки A и B проходит одна прямая.

Задача 2

Условие: точки A и B прямой l принадлежат плоскости α. Что можно заключить о прямой l? В условии заданы две точки одной и той же прямой, а не просто две точки плоскости. Это как раз позволяет применить аксиому о принадлежности прямой плоскости.

1. Фиксируем, что A и B лежат на l, а также принадлежат α.
2. Используем аксиому: если две точки прямой принадлежат плоскости, то вся прямая содержится в ней.
3. Делаем вывод о положении всех точек l, а не только A и B.

Ответ: прямая l лежит в плоскости α.

Задача 3

Условие: прямая l не лежит в плоскости α и пересекает её в точке A. Может ли у l и α быть ещё одна общая точка B? Чтобы проверить это, предположим, что такая точка существует. Тогда обе общие точки можно будет использовать в аксиоме о прямой, содержащейся в плоскости.

1. Предполагаем, что B — ещё одна общая точка l и α, отличная от A.
2. Точки A и B лежат на прямой l и принадлежат плоскости α.
3. По аксиоме вся прямая l должна лежать в α, но это противоречит условию.

Ответ: нет, второй общей точки быть не может; у прямой и плоскости есть только точка A.

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

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

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

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

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

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

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

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

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