Евклидова геометрияАксиомы Евклида
Прежде чем приступить к доказательствам, нам нужна общая терминология, которая облегчит разговор о геометрических объектах. Это не особенно интересно, но вы уже должны знать большинство из них:
В Матигоне большие закрашенные точки обозначают интерактивные точки, которые вы можете перемещать, а маленькие незакрашенные обозначают фиксированные точки, которые вы не можете перемещать.
Прямые обозначаются строчными буквами, такими как a или b. Мы также можем ссылаться на них, используя две точки, лежащие на прямой, например
В обозначении лучей стрелка показывает направление, в котором луч простирается до бесконечности, например
Конгруэнтность
Две фигуры слева выглядят похоже. Они имеют одинаковый размер и форму, и мы могли бы повернуть и сдвинуть одну из них так, чтобы они точно совпали один с другим. В геометрии мы говорим, что эти две фигуры
Символом конгруэнтности является
Вот несколько разных геометрических объектов - соедините все пары конгруэнтных фигур. Помните, что конгруэнтными могут быть более двух фигур, а некоторые формы могут не иметь пары:
Два отрезка конгруэнтны, если они
Обратите внимание, что «конгруэнтный» не означает «равный». Например, конгруэнтные прямые и углы не обязательно должны указывать в одном направлении. Тем не менее, конгруэнция обладает многими одинаковыми свойствами с равенством:
- Конгруэнция симметрична: если
X ≅ Y , тоY ≅ X . - Конгруэнтность рефлексивна: любая форма конгруэнтна сама себе. Например,
A ≅ A . - Конгруэнция является переходной: если
X ≅ Y иY ≅ Z , то такжеX ≅ Z .
Параллельность и перпендикулярность
Две прямые, которые никогда не пересекаются, называются
Хорошим примером параллельных линий в реальной жизни являются железнодорожные пути. Еще учтите, что параллельными могут быть и три и более прямых!
На диаграммах мы обозначаем параллельные линии, ставя между ними две вертикальные черты. В этом примере
Противоположностью параллельным прямым являются две прямые, которые пересекаются под углом 90° (под прямым углом). Эти линии называются
В этом примере мы бы написали a
Аксиомы Евклида
Греческие математики поняли, что для написания доказательств нужна какая-то отправная точка: простые интуитивные утверждения, с которыми согласны все , Они называются
Ключевая задача математики - объединять различные аксиомы, чтобы доказывать более сложные утверждения, используя правила логики.
Греческий математик

Евклид Александрийский
Первая аксиома Вы можете соединить любые две точки, только одним отрезком.
Вторая аксиома Вы можете продлить любой отрезок до
бесконечной прямой.
Третья аксиома Имея произвольную точку P и расстояние r, вы можете нарисовать окружность с центром P и радиусом r.
Четвертая аксиома Любые два прямых угла равны между собой.
Пятая аксиома Имея прямую L и точку P не принадлежащую L, можно построить ровно одну прямую, проходящую через P и
Каждая из этих аксиом выглядит довольно очевидной, но вместе они составляют основу геометрии и могут использоваться для доказательства почти всего остального. Согласно
Евклид опубликовал пять аксиом в книге «Начала». Это первый пример в истории систематического подхода к математике, который использовался в качестве учебника по математике на протяжении тысячелетий.
Одним из людей, изучавших работу Евклида, был американский президент
Это всего лишь один пример, когда идеи Евклида в математике повлияли на совершенно разные области жизни.