Практическое построение окружности возможно с помощью циркуля. Окру́жность — замкнутая плоская кривая, все точки которой равноудалены от заданной точки, лежащей в той же плоскости, что и кривая: эта точка называется центром окружности. Отрезок, соединяющий центр с какой-либо точкой окружности, называется радиусом; радиусом называется также и длина этого отрезка. Окружность разбивает плоскость на две части — конечную внутреннюю и бесконечную внешнюю. Внутренность окружности называется кругом; граничные точки, в зависимости от подхода, круг может включать или не включать.
Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре.
Вычислительная геометрия — раздел информатики, в котором рассматриваются алгоритмы для решения геометрических задач.
В евклидовой геометрии описанный четырёхугольник — это выпуклый четырёхугольник, стороны которого являются касательными к одной окружности внутри четырёхугольника. Эта окружность называется вписанной в четырёхугольник. Описанные четырёхугольники являются частным случаем описанных многоугольников.
Теорема об упаковке кругов описывает возможные варианты касания окружностей, не имеющих общих внутренних точек. Граф пересечений упаковки кругов — это граф, вершины которого соответствуют кругам, а рёбра — точкам касания. Если упаковка кругов осуществляется на плоскости, то их граф пересечений называется графом монет. Графы монет всегда связны, просты и планарны. Теорема упаковки кругов утверждает, что обратное также верно:
Середина отрезка — точка на заданном отрезке, находящаяся на равном расстоянии от обоих концов данного отрезка. Является центром масс как всего отрезка, так и его конечных точек.
Теорема Штайница — это комбинаторное описание неориентированных графов, образованных рёбрами и вершинами трёхмерного выпуклого многогранника — они в точности являются (простыми) вершинно 3-связными планарными графами. То есть любой выпуклый многогранник образует 3-связный планарный граф, и любой 3-связный планарный граф может быть представлен как выпуклый многогранник. По этой причине 3-связные планарные графы называют также полиэдральными.
Конфигура́ция прямы́х — это разбиение плоскости, образованное набором прямых. Конфигурации прямых изучается в комбинаторной геометрии, а в вычислительной геометрии строятся алгоритмы для эффективного построения конфигураций.
Незацепленное вложение графа — вложение неориентированного графа в евклидово пространство, при котором никакие два цикла графа не имеют ненулевой коэффициент зацепления. Плоское вложение — вложение, при котором любой цикл является границей топологического круга, внутренность которого не зацеплена с графом. Вложимый без зацеплений граф — граф, имеющий незацепленное или плоское вложение. Эти графы образуют трёхмерный аналог планарным графам. В противоположность, существенно зацепленный граф — это граф, не имеющий незацепленного вложения.
Трекл — вложение графа в плоскость таким образом, что каждое ребро является кривой Жордана и каждая пара рёбер пересекается равно раз. Рёбра могут пересекаться по общей вершине, либо, если они не имеют общих вершин, во внутренних точках. В последнем случае предполагается, что пересечение трансверсально.
Плосконосый двуклиноид или сиамский додекаэдр — это трёхмерный выпуклый многогранник с двенадцатью правильными треугольниками в качестве граней. Многогранник не является правильным, поскольку в некоторых вершинах сходятся четыре грани, а в остальных — пять граней. Многогранник является двенадцатигранником, одним из восьми дельтаэдров и одним из 92 многогранников Джонсона.
В вычислительной геометрии и планировании движений роботов граф видимости — это граф взаимной видимости точек пространства, обычно для множества точек и преград на евклидовой плоскости. Любая вершина в графе представляет точку пространства, а любое ребро представляет прямую видимость между точками. То есть, если отрезок прямой, соединяющий две точки пространства, не проходит через какую-либо преграду, в графе будет нарисовано ребро. Если множество точек пространства лежит на прямой, их можно понимать как упорядоченную последовательность. Графы видимости, таким образом, распространяются на область анализа временных рядов.
Расстояние Фреше — это мера сходства кривых, принимающая во внимание число и порядок точек вдоль кривых. Расстояние названо по имени французского математика Мориса Фреше.
Струнный граф — это граф пересечений кривых на плоскости, каждая кривая при этом называется «струной». Если дан граф G, он является струнным тогда и только тогда, когда существует набор кривых (струн), нарисованных на плоскости, таких, что никакие три струны не пересекаются в одной точке и граф G изоморфен графу, вершины которого соответствуют кривым, а дуга в этом графе соответствует пересечению двух кривых.
Теорема о планарном разбиении — это форма изопериметрического неравенства для планарных графов, которое утверждает, что любой планарный граф может быть разбит на более мелкие части путём удаления небольшого числа вершин. В частности, удалением O(√n) вершин из графа с n вершинами можно разбить граф на несвязные подграфы, каждый из которых имеет не более 2n/3 вершин.
Кривая моментов — алгебраическая кривая в d-мерном евклидовом пространстве, заданная множеством точек с декартовыми координатами
Теорема Безу — утверждение в алгебраической геометрии, описывающее число общих точек, или точек пересечения, двух плоских алгебраических кривых, не имеющих общей компоненты. Теорема утверждает, что число общих точек таких кривых не превосходит произведения их степеней, и имеет место равенство, если учитывать бесконечно удалённые точки и точки с комплексными координатами, и если точки считаются с кратностями, равными индексам пересечения.
Экзистенциальная теория вещественных чисел — это множество всех верных утверждений вида
Плоская кривая четвёртой степени общего вида имеет 28 бикасательных, то есть прямых, касающихся кривой в двух точках. Эти прямые существуют в комплексной проективной плоскости, но можно найти кривые, для которых все 28 из этих прямых имеют вещественные числа в качестве координат, а потому принадлежит евклидовой плоскости.
Топологический граф — представление графа на плоскости, в котором вершины графа представлены различными точками, а рёбра кривыми Жордана, соединяющими соответствующие пары точек. Точки, представляющие вершины графа, и дуги, представляющие рёбра, называются вершинами и рёбрами топологического графа. Обычно предполагается, что любые два ребра топологического графа пересекаются конечное число раз, при этом ни одно ребро не проходит через вершину и никакие два ребра не касаются друг друга. Топологический граф называется также «рисунком» графа.
