Геоме́трия — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения. В практических задачах геометрия позволяет предсказывать геометрические размеры тела, зная другие геометрические размеры этого тела с помощью известных геометрических законов.
Теоре́ма Паска́ля — классическая теорема проективной геометрии.
Кони́ческое сече́ние, или ко́ника, — пересечение плоскости с поверхностью прямого кругового конуса. Существует три главных типа конических сечений: эллипс, парабола и гипербола, кроме того, существуют вырожденные сечения: точка, прямая и пара прямых. Окружность можно рассматривать как частный случай эллипса. Кроме того, параболу можно рассматривать как предельный случай эллипса, один из фокусов которого бесконечно удалён.
Инве́рсия относительно окружности — преобразование евклидовой плоскости, переводящее обобщённые окружности в обобщённые окружности, при котором одна из окружностей поточечно переводится в себя.
Окружность девяти точек — это окружность, проходящая через середины всех трёх сторон треугольника.
Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре.
Проекти́вная пло́скость — двумерное проективное пространство. Важным частным случаем является вещественная проективная плоскость.
Шары Данделена — сферы, участвующие в геометрическом построении, которое связывает планиметрическое определение эллипса, гиперболы и параболы через фокусы с их стереометрическим определением как сечения конуса. Предложены Данделеном в 1822 году.
Важное свойство проективной плоскости — «симметрия» ролей, которые играют точки и прямые в определениях и теоремах, и двойственность является формализацией этой концепции. Имеются два подхода к концепции двойственности: один, использующий язык «принципа двойственности», позволяет объявить ряд теорем двойственными друг к другу, при этом двойственная к верной теореме тоже верна; и другой, функциональный подход, основанный на специальном отображении двойственности. Связь между подходами состоит в том, что двойственная теорема получается применением отображения двойственности к каждому объекту исходной. Возможен и координатный подход.
Теорема Сильвестра — классический результат комбинаторной геометрии о конфигурациях прямых на плоскости.
Сферическая геометрия — геометрия на сфере. Раздел математики, изучающий геометрические образы на сфере в трёхмерном пространстве, аналогично тому как планиметрия изучает их на двумерном пространстве плоскости.
Окру́жность на сфе́ре — сечение сферы плоскостью.
Ле́мма Соллерти́нского — утверждение проективной геометрии.
Касательная прямая к окружности в евклидовой геометрии на плоскости — прямая, которая имеет с окружностью ровно одну общую точку. Также можно определить касательную как предельное положение секущей, когда точки пересечения её с окружностью бесконечно сближаются. Касательные прямые к окружностям служат предметом рассмотрения ряда теорем и играют важную роль во многих геометрических построениях и доказательствах.
Центр подобия — это точка, из которой по меньшей мере две геометрически подобные фигуры можно видеть как масштабирование (растяжение/сжатие) друг друга. Если центр внешний, две фигуры похожи друг на друга прямо — их углы одни и те же в смысле вращения. Если центр внутренний, две фигуры являются изменёнными в размерах отражениями друг друга — их углы противоположны.
Набор окружностей Джонсона состоит из трёх окружностей одинакового радиуса r, имеющих одну общую точку пересечения H. В такой конфигурации окружности обычно имеют четыре точки пересечения — это общая точка пересечения H, через которую проходят все три окружности, и по дополнительной точке для каждой пары окружностей. Если любые две окружности не пересекаются они имеют лишь одну общую точку — H, и в этом случае считается, что H является и их попарной точкой пересечения также. Если же окружности совпадают, принимается за попарную точку пересечения точка, диаметрально противоположная точке H. Три точки попарных пересечений окружностей Джонсона образуют опорный треугольник Δ ABC фигуры. Конфигурация названа именем Роджера Артура Джонсона.
Теорема об упаковке кругов описывает возможные варианты касания окружностей, не имеющих общих внутренних точек. Граф пересечений упаковки кругов — это граф, вершины которого соответствуют кругам, а рёбра — точкам касания. Если упаковка кругов осуществляется на плоскости, то их граф пересечений называется графом монет. Графы монет всегда связны, просты и планарны. Теорема упаковки кругов утверждает, что обратное также верно:
Важной составной частью геометрии треугольника является теория фигур и кривых, вписанных в треугольник или описанных около него — окружностей, эллипсов и других.
Теорема Безу — утверждение в алгебраической геометрии, описывающее число общих точек, или точек пересечения, двух плоских алгебраических кривых, не имеющих общей компоненты. Теорема утверждает, что число общих точек таких кривых не превосходит произведения их степеней, и имеет место равенство, если учитывать бесконечно удалённые точки и точки с комплексными координатами, и если точки считаются с кратностями, равными индексам пересечения.