1.14 Теоремы, аксиомы, определения

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

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

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

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

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

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

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

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

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

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

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

Роль основных понятий в геометрическом рассуждении

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

Разбор задач

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

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

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

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

1. Сопоставляем данные с условием положения: точки различны, значит, условие выполнено.
2. Применяем положение к этим двум точкам. Через них проходит прямая, и такая прямая только одна.
3. Это утверждение принимается как исходное положение, то есть как аксиома. Поэтому в рамках этой системы его не доказывают, а используют для вывода.

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

Задача 3. В теореме сказано: «Если две прямые пересекаются, то образовавшиеся вертикальные углы равны». Назовите условие и заключение, затем составьте план доказательства. Для рассуждения используйте известное свойство: смежные углы в сумме равны 180°. План должен объяснять, как перейти от условия к требуемому равенству.

1. Условие — две прямые пересекаются; тогда образуется пара вертикальных углов и смежные с ними углы.
2. Обозначим один угол α. Каждый угол, смежный с ним, равен 180° − α, поскольку сумма смежных углов равна 180°.
3. Угол, вертикальный к α, также смежен с соседним углом. Поэтому он, как и первый, равен 180° − величина этого соседнего угла, то есть α; значит, вертикальные углы равны.

Ответ: условие — прямые пересекаются; заключение — вертикальные углы равны. Доказательство использует равенство смежных углов в сумме 180° и сравнивает выражения для величин вертикальных углов. Каждый переход в таком плане опирается на свойство углов, а не на вид чертежа.

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

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

Бывает, что теорему считают верной без объяснения, потому что ответ кажется очевидным по рисунку. Чертёж может быть неточным и показывает только конкретный пример, а не все возможные случаи. Рисунок помогает представить ситуацию, но не доказывает утверждение. Чтобы проверить себя, найдите обоснование для каждого вывода и назовите используемое свойство.

Если перепутать условие с заключением, можно доказывать то, что уже дано, и забыть обосновать нужный вывод. Обычно такая путаница появляется, когда формулировку читают целиком, не разделяя на части. Найдите, что известно в задаче, и отдельно запишите, что нужно установить; в предложении с «если …, то …» это часто видно прямо по словам. Затем сравните, не пытаетесь ли вы вывести условие вместо заключения.

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

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

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

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

• Определение раскрывает смысл геометрического понятия.
• Аксиому принимают без доказательства.
• Теорему доказывают.
• Условие теоремы — то, что дано.
• Заключение теоремы — то, что требуется установить.
• Каждый шаг доказательства должен иметь обоснование.
• Наглядный рисунок сам по себе не является доказательством.