§ 6. Об аксиомах

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

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

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

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

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

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

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

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

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

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

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

Элементы аксиоматического построения геометрии

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

Разбор задач

Задача 1. Различаем аксиому, определение и теорему

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

1. Фраза о единственной прямой через две точки задаёт исходное свойство геометрических объектов. Если она принята в системе положений без доказательства, это аксиома.
2. Фраза о равных отрезках, соединяющих равные точки, по смыслу относится к свойствам равенства. Если она выводится из принятой аксиомы о прямой и определений, это теорема, а не определение: термин здесь не вводится.
3. Если две прямые пересекаются, общая точка у них одна. Это утверждение можно вывести из единственности прямой через две точки, поэтому его относят к теоремам.

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

Задача 2. Две различные прямые не имеют двух общих точек

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

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

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

Задача 3. Почему смена аксиомы может дать другую геометрию?

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

1. Аксиома о параллельных прямых является одним из исходных положений евклидовой геометрии. Её принимают в рамках этой системы и используют для вывода теорем.
2. Если заменить её другим положением, некоторые прежние выводы уже не будут следовать из новых исходных условий. Вместо них могут появиться иные теоремы о параллельных прямых.
3. Если для новой системы построена модель, в которой её положения выполняются без противоречий, это показывает, что замена задаёт другую геометрию. Сам факт отличия аксиомы не доказывает логическую ошибку.

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

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

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

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

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

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

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

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

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

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