"Математика (в 2 частях)", Башмаков М.И.
Геометрия Евклида — это способ изучать фигуры с помощью исходных понятий, аксиом и доказательств. Точку, прямую и плоскость принимают без определения, а из исходных положений логически выводят новые свойства. Так можно не просто увидеть на рисунке, что утверждение похоже на правду, а обосновать его шаг за шагом. Особенно важен пятый постулат: он связан с параллельными прямыми и суммой углов треугольника.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Геометрия Евклида — геометрическая теория, построенная на исходных понятиях, аксиомах и доказательствах. Она помогает изучать фигуры не только по рисункам, но и с помощью строгих рассуждений. Её устройство показывает, как из небольшого набора исходных правил получить много свойств.
Точка, прямая и плоскость — основные геометрические понятия, которые принимаются без определения. Это не значит, что они совсем непонятны: мы представляем точку как место, прямую как линию без изгибов, а плоскость как ровную поверхность. Они нужны как простая основа, на которой строят определения других объектов.
Аксиома — утверждение, принимаемое без доказательства как исходное положение теории. Например, в геометрии принимают, что через две различные точки проходит единственная прямая. Аксиомы нужны, чтобы начать рассуждение: иначе пришлось бы доказывать каждое утверждение, не имея исходных правил.
Теорема — утверждение, истинность которого устанавливают рассуждением, а доказательство — последовательное обоснование этого утверждения на основе определений, аксиом и ранее доказанных теорем. Теорема сообщает новое свойство, а доказательство объясняет, почему ему можно доверять. Эти понятия помогают отличать установленный факт от догадки или впечатления от рисунка.
Геометрическую теорию начинают с небольшого числа исходных понятий, потому что попытка определить абсолютно всё привела бы к бесконечной цепочке. Каждое определение опиралось бы на другие слова, которые тоже пришлось бы объяснять. Поэтому некоторые простые понятия принимают как основу, а смысл других уточняют через них и через свойства объектов. Так рассуждения получают понятное начало.
Из основных понятий и аксиом получают новые свойства с помощью логических рассуждений. Например, если известно, что две прямые пересекаются, можно рассматривать образованные ими углы и связывать их свойства с уже известными правилами. Каждый шаг должен следовать из предыдущих, а не только казаться правдоподобным. Такой способ позволяет применять результат к разным чертежам, а не лишь к одному примеру.
Определение, аксиома и теорема нужны для разных частей рассуждения. Определение объясняет, что означает термин, например «вертикальные углы»; оно не сообщает само по себе новый доказанный факт. Аксиома задаёт исходное правило, которое принимают без доказательства. Теорема выводит новое утверждение из уже принятых положений, поэтому для неё обязательно приводят обоснование.
Постулаты Евклида задают, какие построения и отношения считаются допустимыми в геометрии. В частности, они описывают проведение прямой через две точки, продолжение отрезка, построение окружности с заданными центром и радиусом, а также свойства пересечения и параллельности прямых. Эти правила помогают понять, на каких основаниях строят геометрические рассуждения. В школьных задачах обычно применяют знакомые следствия этих постулатов, а не повторяют их формулировки целиком.
Пятый постулат важен потому, что он определяет особое свойство параллельных прямых: через точку вне данной прямой можно провести единственную параллельную ей прямую. Из него и свойств параллельных прямых выводят многие результаты о фигурах. Например, при доказательстве суммы углов треугольника через вершину проводят параллельную сторону прямую и получают равные углы. Поэтому сумма углов треугольника в евклидовой геометрии равна 180°.
| Элемент | Что это | Роль в рассуждениях |
|---|---|---|
| Основные понятия | Исходные понятия, например точка, прямая и плоскость. | Дают начало геометрическому описанию. |
| Определения | Объяснения смысла геометрических терминов. | Помогают точно понимать, о каких объектах и свойствах идёт речь. |
| Аксиомы и постулаты | Исходные положения, принимаемые без доказательства. | Служат основой для выводов и доказательств. |
| Теоремы | Утверждения, которые требуется обосновать. | Формулируют новые свойства объектов. |
| Доказательства | Последовательные рассуждения, подтверждающие теорему. | Показывают, почему утверждение верно. |
Пользуйся таблицей как схемой: сначала определи, какое понятие или утверждение встретилось, а затем найди его роль. Если дано новое название фигуры, ищи определение; если нужно установить свойство, скорее всего, речь о теореме и её доказательстве. Такая проверка помогает не смешивать основу теории с результатами рассуждений.
Определим, к какому типу утверждений относится фраза: «Через две различные точки можно провести единственную прямую». Нужно объяснить ответ. Сравним её с ролью аксиом и теорем в геометрии.
В утверждении говорится о точках и прямой — основных геометрических объектах. Оно устанавливает общее правило о том, как они связаны.
Фраза не является определением: она не объясняет значение слова «прямая» или нового геометрического термина. Это правило можно использовать как исходную основу при дальнейших рассуждениях.
Для такого исходного положения в школьном изложении не приводят доказательство из предыдущих теорем. Значит, оно относится к аксиомам геометрии.
Ответ: это аксиома, потому что утверждение принимают без доказательства и используют как исходное правило.
Докажем, что вертикальные углы равны, используя их определение и свойство смежных углов. Смежные углы имеют общую сторону, а две другие стороны образуют прямую; их сумма равна 180°. Вертикальными называют углы, стороны одного из которых являются продолжениями сторон другого.
Обозначим два вертикальных угла ∠1 и ∠2, а один из смежных с ними углов — ∠3. По расположению сторон ∠1 и ∠3 образуют смежную пару, поэтому ∠1 + ∠3 = 180°.
Угол ∠2 также смежный с ∠3, значит, ∠2 + ∠3 = 180°. В обоих равенствах одна и та же величина 180°, и из неё вычитается один и тот же угол ∠3.
Следовательно, оставшиеся углы равны: ∠1 = ∠2. Мы использовали не внешний вид чертежа, а определение вертикальных углов и известное свойство смежных.
Ответ: вертикальные углы равны, поскольку каждый из них дополняет один и тот же угол до 180°.
Пусть дан треугольник ABC. Через вершину A проведём прямую, параллельную противоположной стороне BC. Нужно объяснить, почему сумма углов треугольника равна 180°. Здесь используется свойство параллельных прямых, связанное с пятым постулатом.
Проведённая через A прямая параллельна BC. Стороны AB и AC пересекают эти параллельные прямые, поэтому образуют пары накрест лежащих углов.
По свойству параллельных прямых угол между проведённой прямой и AB равен углу B, а угол между AC и проведённой прямой равен углу C. Это позволяет перенести углы B и C к вершине A.
Три угла, расположенные рядом у точки A на одной стороне прямой, вместе образуют развёрнутый угол, равный 180°. Эти три угла — угол B, угол A и угол C, поэтому A + B + C = 180°.
Ответ: сумма углов треугольника равна 180°. В рассуждении использованы параллельная прямая, свойства накрест лежащих углов и пятый постулат евклидовой геометрии.
Считать аксиому теоремой. Так происходит, когда любое правило в геометрии называют доказанным результатом. Проверь себя: для аксиомы не приводят доказательство, а теорема должна быть обоснована с опорой на известные положения.
Пытаться строго определить точку, прямую или плоскость. Это кажется правильным, потому что определения обычно объясняют новые термины. Но исходные понятия не определяют через ещё более простые слова; их смысл раскрывают через свойства и примеры. Проверь себя: если объяснение требует бесконечно вводить новые термины, перед тобой исходное понятие.
Считать рисунок доказательством. На чертеже углы могут выглядеть равными, но рисунок бывает неточным и показывает лишь один случай. Проверь каждый переход: у него должно быть основание — определение, аксиома или ранее доказанная теорема.
Переносить свойства евклидовой геометрии на любые поверхности и системы. Привычные правила кажутся универсальными, потому что мы часто работаем с плоскими фигурами. Однако геометрии могут строиться на других исходных положениях. Проверяй, о какой системе идёт речь, прежде чем применять знакомую теорему.
Для понимания темы понадобятся точка, прямая, отрезок, луч и угол, а также представления о пересекающихся и параллельных прямых. Без этих объектов трудно читать формулировки аксиом и разбирать доказательства. Позже устройство геометрии Евклида поможет изучать свойства параллельных прямых и треугольников, учиться различать аксиомы и теоремы. Сравнение исходных правил разных геометрий также показывает, как математическая логика влияет на получаемые результаты.
Почему точку и прямую нельзя определить через ещё более простые понятия?
Чтобы дать определение, нужно использовать другие понятия. Если определять каждое слово через предыдущее, цепочка не сможет продолжаться бесконечно. Поэтому точку, прямую и плоскость принимают как исходные понятия и объясняют их смысл через свойства и примеры.
Чем аксиома отличается от теоремы?
Аксиому принимают без доказательства как исходное положение геометрии. Теорему, наоборот, нужно обосновать, опираясь на определения, аксиомы и уже доказанные теоремы.
Зачем нужны доказательства, если утверждение видно на рисунке?
Рисунок может быть неточным или изображать только один частный случай. Доказательство показывает, почему утверждение верно для всех подходящих фигур, а не только для нарисованной.
Почему пятый постулат выделяют среди остальных постулатов Евклида?
Его формулировка сложнее и связана с тем, как ведут себя параллельные прямые. В евклидовой геометрии от него зависит, в частности, доказательство того, что сумма углов треугольника равна 180°.
Можно ли считать геометрию Евклида единственно возможной геометрией?
Нет. Существуют другие геометрические системы, построенные на иных исходных положениях. Геометрия Евклида хорошо описывает привычные фигуры на плоскости, но её свойства нельзя без изменений переносить на любые поверхности и системы.
Беседа. Геометрия Евклида
