Алгебраи́ческая тополо́гия — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов, а также поведение этих объектов под действием различных топологических операций.

Четырёхугольник — это геометрическая фигура (многоугольник), состоящая из четырёх точек (вершин), никакие три из которых не лежат на одной прямой, и четырёх отрезков (сторон), последовательно соединяющих эти точки. Различают выпуклые и невыпуклые четырёхугольники, невыпуклый четырёхугольник может быть самопересекающимся. Четырёхугольник без самопересечений называется простым, часто под термином «четырёхугольник» имеются в виду только простые четырёхугольники.

Теоре́ма Паска́ля — классическая теорема проективной геометрии.

Кони́ческое сече́ние, или ко́ника, — пересечение плоскости с поверхностью прямого кругового конуса. Существует три главных типа конических сечений: эллипс, парабола и гипербола, кроме того, существуют вырожденные сечения: точка, прямая и пара прямых. Окружность можно рассматривать как частный случай эллипса. Кроме того, параболу можно рассматривать как предельный случай эллипса, один из фокусов которого бесконечно удалён.
Здесь собраны определения терминов из планиметрии. Курсивом выделены ссылки на термины в этом словаре.
Теорема Брунна — Минковского — классическая теорема выпуклой геометрии:
Выпуклой оболочкой множества
называется наименьшее выпуклое множество, содержащее
. «Наименьшее множество» здесь означает наименьший элемент по отношению к вложению множеств, то есть такое выпуклое множество, содержащее данную фигуру, что оно содержится в любом другом выпуклом множестве, содержащем данную фигуру.

Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.

Существует множество математических и физических объектов, названных в честь Леонарда Эйлера, что породило шуточное фольклорное правило: «В математике принято называть открытие именем второго человека, который его сделал — иначе пришлось бы всё называть именем Эйлера».
Теорема Брауэра о неподвижной точке — важная теорема о неподвижной точке, применимая к непрерывным отображениям в конечномерных пространствах, являющаяся основной для некоторых более общих теорем.
Лемма Шпернера — комбинаторный аналог теоремы Брауэра о неподвижной точке, один из основных результатов топологической комбинаторики. Утверждает, что при любой Шпернеровской раскраске вершин в триангуляции n-мерного симплекса найдётся ячейка триангуляции, вершины которой покрашены во все цвета. Первый результат подобного типа был доказан Эмануэлем Шпернером.

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

Неподвижная точка в математике — точка, которую заданное отображение переводит в неё же, иными словами, решение уравнения
. Иногда такую точку называют инвариантной [по названию соответствующего у неё свойства].
Теорема Александрова о развёртке — теорема о существовании и единственности замкнутого выпуклого многогранника с данной развёрткой, доказанная Александром Даниловичем Александровым. Единственность в этой теореме является обобщением теоремы Коши о многогранниках и имеет схожее доказательство.
Четвёртая проблема Гильберта в списке проблем Гильберта касается базовой системы аксиом геометрии. Проблема состоит в том, чтобы
«Определить все с точностью до изоморфизма реализации систем аксиом классических геометрий, если в них опустить аксиомы конгруэнтности, содержащие понятия угла, и пополнить эти системы аксиомой неравенства треугольника».

Внеописанный четырёхугольник — это выпуклый четырёхугольник, продолжения всех четырёх сторон которого являются касательными к окружности. Окружность называется вневписанной. Центр вневписанной окружности лежит на пересечении шести биссектрис. Это биссектрисы двух внутренних углов противоположных углов четырёхугольника, биссектрисы внешних углов двух других вершин, и биссектрисы внешних углов в точках пересечения продолжений противоположных сторон. Внеописанный четырёхугольник тесно связан с описанным четырёхугольником.
Теорема об инвариантности области утверждает, что образ непрерывного инъективного отображения Евклидова пространства в себя открыт.
Теорема Какутани о неподвижной точке — обобщение теоремы Брауэра о неподвижной точке на многозначные функции.
Теорема Рыль-Нардзевского о неподвижной точке гарантирует существование неподвижной точки для изометрического действия на произвольной группы на выпуклом компактном подмножестве банахова пространства.