27. Об аксиомах геометрии

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

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

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

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

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

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

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

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

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

В доказательстве каждый шаг должен иметь понятное основание. Им может быть условие задачи, аксиома или теорема, доказанная ранее; если основание неясно, переход нельзя считать обоснованным. Так читатель может проверить рассуждение и обнаружить, где именно получен нужный вывод. Логическая цепочка особенно важна, когда задача состоит из нескольких промежуточных шагов.

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

Роль утверждений в геометрии

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

Разбор задач

Задача 1. Объяснить, почему через две различные точки проходит не более одной прямой. Нужно связать данные задачи с исходным положением о прямой. Вспомни аксиому: через любые две точки проходит единственная прямая. Слово «единственная» означает, что второй отличной от неё прямой через те же точки быть не может.

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

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

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

1. Назовём параллельные прямые a и b, а пересекающую их прямую c секущей.
2. При пересечении c с a и b образуются пары соответствующих углов.
3. Так как a ∥ b, соответствующие углы равны по теореме о параллельных прямых и секущей.

Ответ: соответствующие углы равны. Здесь исходное данное — параллельность прямых, а известная теорема связывает её с углами. Если требуется доказать именно эту теорему, надо опереться на её доказательство или на подходящие аксиомы, а не просто сослаться на рисунок.

Задача 3. Докажите, что если две прямые перпендикулярны одной и той же прямой, то они параллельны. Перпендикулярные прямые пересекаются под прямым углом, то есть образуют угол 90°. Чтобы получить параллельность, достаточно найти равные углы, образованные секущей с двумя прямыми.

1. Пусть прямые a и b перпендикулярны прямой c. Тогда каждый из углов между a и c, а также b и c равен 90°.
2. Рассмотрим c как секущую для a и b. Соответствующие углы при пересечении равны: оба прямые.
3. По признаку параллельности, если соответствующие углы равны, то прямые параллельны.

Ответ: a ∥ b. В доказательстве сначала использовано определение перпендикулярных прямых, затем признак параллельности. Каждое звено нужно назвать: одних слов «это видно на чертеже» недостаточно.

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

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

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

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

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

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

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

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

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