В высшей математике (в той ее отрасли, которая называется аналитической геометрией) доказывается, что циркулем и линейкой могут быть построены только такие выражения, в состав которых входят действия сложения, вычитания, умножения, деления, извлечения квадратного корня и никакие другие; при этом число перечисленных операций не должно быть бесконечно велико.