Конструкция линейки и циркуля

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

Предполагается, что идеализированная линейка, известная как линейка , имеет бесконечную длину, имеет только один край и не имеет на нем никаких отметок. Предполагается, что у компаса нет максимального или минимального радиуса, и предполагается, что он «сворачивается» при поднятии со страницы, поэтому его нельзя использовать напрямую для определения расстояний. (Это неважное ограничение, поскольку при использовании многошаговой процедуры расстояние можно перенести даже с помощью разваливающегося циркуля; см. теорему об эквивалентности компаса . Однако обратите внимание, что, хотя неразрушающийся циркуль, удерживаемый против линейки, может показаться эквивалентным отмечая это, конструкция neusis по-прежнему недопустима, и это то, что на самом деле означает «неотмеченный»: см. Маркируемые линейки ниже.) Более формально, единственными допустимыми конструкциями являются те, которые предоставляются первыми тремя постулатами Евклида » «Начал .

Оказывается, каждая точка, которую можно построить с помощью линейки и циркуля, также можно построить с помощью только циркуля или только с помощью линейки, если задан один круг и его центр.

Древнегреческие математики впервые придумали конструкции линейки и циркуля, и ряд древних задач плоской геометрии накладывают это ограничение. Древние греки разработали множество конструкций, но в ряде случаев не смогли этого сделать. Гаусс показал, что некоторые многоугольники можно построить, но большинство — нет. Некоторые из самых известных задач о линейке и циркуле были доказаны Пьером Ванцелем в 1837 году с использованием теории поля , а именно: разделение произвольного угла на три части и удвоение объема куба (см. § Невозможные конструкции ). Многие из этих проблем легко разрешимы при условии, что разрешены другие геометрические преобразования; например, конструкция neusis может быть использована для решения первых двух проблем.

С точки зрения алгебры , длина является конструируемой тогда и только тогда, когда она представляет конструируемое число , а угол конструируем тогда и только тогда, когда его косинус является конструируемым числом. Число является конструируемым тогда и только тогда, когда его можно записать с помощью четырех основных арифметических операций и извлечения квадратных корней , но без корней более высокого порядка.

Инструменты линейка и циркуль

«Линейка» и «циркуль» конструкций линейки и циркуля представляют собой идеализированные версии реальных линеек и циркулей .

Линейка . представляет собой бесконечно длинную грань без каких-либо отметок на ней Его можно использовать только для рисования сегмента линии между двумя точками или для продления существующего сегмента линии.
Компас может иметь сколь угодно большой радиус без каких - либо отметок (в отличие от некоторых реальных компасов). Окружности и дуги окружностей можно рисовать, начиная с двух заданных точек: центра и точки на окружности. Компас может свернуться, а может и не свернуться (т.е. сложиться после того, как его убрали со страницы, стирая его «сохраненный» радиус).
Построенные линии и круги имеют бесконечную точность и нулевую ширину.

Настоящие циркули не разрушаются, и эта особенность часто используется в современных геометрических конструкциях. «Разрушающийся компас» может оказаться менее мощным инструментом. Однако согласно теореме об эквивалентности компаса в предложении 2 книги 1 « Начал Евклида » никакая мощность не теряется при использовании разрушающегося компаса. Хотя это предложение верно, его доказательства имеют долгую и неоднозначную историю. ^[1] В любом случае именно эквивалентность является причиной того, что этот признак не предусмотрен в определении идеального компаса.

Любая конструкция должна быть математически точной . Расстояния «на глаз» (глядя на конструкцию и догадываясь о ее точности) или используя отметки на линейке, не допускаются. Любая конструкция также должна прекратиться . То есть оно должно иметь конечное число шагов, а не быть пределом все более близких приближений. (Если разрешено неограниченное число шагов, некоторые конструкции, которые иначе невозможны, становятся возможными посредством бесконечных последовательностей, сходящихся к пределу .)

С этой точки зрения конструкции с помощью линейки и циркуля кажутся скорее салонной игрой , чем серьезной практической проблемой; но цель ограничения состоит в том, чтобы гарантировать, что конструкции могут быть правильными абсолютно .

История

Древнегреческие математики впервые попытались построить конструкции с помощью линейки и циркуля и научились вычислять суммы , разности , произведения , отношения и квадратные корни заданной длины. ^[2]^{: с. 1} Они также могли построить половину заданного угла , квадрат, площадь которого в два раза больше площади другого квадрата, квадрат, имеющий ту же площадь, что и данный многоугольник, и правильные многоугольники с 3, 4 или 5 сторонами. ^[2]^{:с. xi} (или тот, у которого в два раза больше сторон данного многоугольника ^[2]^{: стр. 49–50.}). Но они не могли построить ни трети данного угла, за исключением частных случаев, ни квадрата той же площади, что и данный круг , ни правильных многоугольников с другим числом сторон. ^[2]^{:с. xi} Они также не могли построить сторону куба, объем которой в два раза больше объема куба с данной стороной. ^[2]^{: с. 29}

Гиппократ и Менехм показали, что объем куба можно увеличить вдвое, найдя пересечения гипербол и парабол , но их нельзя построить с помощью линейки и циркуля. ^[2]^{: с. 30} В пятом веке до нашей эры Гиппий использовал кривую, которую он назвал квадратрисой , чтобы разделить общий угол пополам и возвести в квадрат круг, а Никомед во втором веке до нашей эры показал, как использовать раковину для разделения произвольного угла пополам; ^[2]^{: с. 37} но этим методам также нельзя следовать, используя только линейку и циркуль.

Никакого прогресса в решении нерешенных проблем не было достигнуто в течение двух тысячелетий, пока в 1796 году Гаусс не показал, что можно построить правильный многоугольник с 17 сторонами; пять лет спустя он показал достаточный критерий возможности правильного многоугольника с n сторонами. построения ^[2]^{: стр. 51 и далее.}

В 1837 году Пьер Ванцель опубликовал доказательство невозможности разделить произвольный угол на три части или удвоить объем куба. ^[3] основано на невозможности построения кубических корней из длин. Он также показал, что достаточное условие конструктивности Гаусса для правильных многоугольников также необходимо. ^[4]

Затем в 1882 году Линдеманн показал, что $\pi$ является трансцендентным числом , и, следовательно, невозможно с помощью линейки и циркуля построить квадрат той же площади, что и данный круг. ^[2]^{: с. 47}

Основные конструкции

Все построения с помощью циркуля и линейки состоят из многократного применения пяти основных построений с использованием уже построенных точек, линий и окружностей. Это:

Создание линии через две точки
Создание круга , содержащего одну точку и имеющего центр в другой точке.
Создание точки на пересечении двух (непараллельных) линий
Создание одной точки или двух точек на пересечении линии и круга (если они пересекаются)
Создание одной точки или двух точек на пересечении двух окружностей (если они пересекаются).

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

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

Распространенные конструкции линейки и циркуля

К наиболее часто используемым конструкциям линейки и циркуля относятся:

Построение серединного перпендикуляра из отрезка
Нахождение середины отрезка.
Проведение перпендикуляра из точки к прямой.
Биссекция угла
Зеркальное отображение точки на линии
Построение линии через точку, касательную к окружности
Построение окружности через 3 неколлинеарные точки
Проведение линии, проходящей через данную точку, параллельно данной прямой.

Строительные точки

Конструкции линейки и циркуля, соответствующие алгебраическим операциям
x = a · b (теорема о пересечении)	x = a / b (теорема о пересечении)	x = √ a (теорема Пифагора)

С нашей геометрией можно связать алгебру, используя декартову систему координат, состоящую из двух линий, и представить точки нашей плоскости векторами . Наконец, мы можем записать эти векторы как комплексные числа.

Используя уравнения для прямых и окружностей, можно показать, что точки их пересечения лежат в квадратичном расширении наименьшего поля F, содержащего две точки на прямой, центр круга и радиус круга. То есть они имеют вид $x+y={\sqrt {k}}$ , где x , y и k находятся в F .

Поскольку поле конструктивных точек замкнуто относительно квадратных корней , оно содержит все точки, которые можно получить конечной последовательностью квадратичных расширений поля комплексных чисел с рациональными коэффициентами. С помощью приведенного выше абзаца можно показать, что любая конструктивная точка может быть получена такой последовательностью расширений. Как следствие этого, можно обнаружить, что степень минимального многочлена для конструктивной точки (и, следовательно, любой конструктивной длины) равна степени 2. В частности, любая конструктивная точка (или длина) является алгебраическим числом , хотя и не каждое алгебраическое число конструктивно; например, $3 \sqrt 2$ алгебраична, но неконструктивна. ^[3]

Сборные углы

Существует биекция между конструктивными углами и конструктивными точками на любой конструктивной окружности. Углы, которые являются конструктивными, образуют абелеву группу при сложении по модулю 2π (что соответствует умножению точек единичного круга, рассматриваемых как комплексные числа). Конструируемыми углами являются именно те углы, тангенс (или, что то же самое, синус или косинус) можно построить как число. Например, правильный семиугольник (семнадцатисторонний правильный многоугольник ) можно построить, потому что

{\begin{aligned}\cos {\left({\frac {2\pi }{17}}\right)}&=\,-{\frac {1}{16}}\,+\,{\frac {1}{16}}{\sqrt {17}}\,+\,{\frac {1}{16}}{\sqrt {34-2{\sqrt {17}}}}\\[5mu]&\qquad +\,{\frac {1}{8}}{\sqrt {17+3{\sqrt {17}}-{\sqrt {34-2{\sqrt {17}}}}-2{\sqrt {34+2{\sqrt {17}}}}}}\end{aligned}}

как открыл Гаусс . ^[5]

Группа конструктивных углов замыкается при выполнении операции деления углов пополам (что соответствует извлечению квадратных корней из комплексных чисел). Единственные углы конечного порядка, которые можно построить, начиная с двух точек, - это те, порядок которых равен либо степени двойки, либо произведению степени двойки и набора различных простых чисел Ферма . Кроме того, существует плотное множество конструктивных углов бесконечного порядка.

Отношение к сложной арифметике

Учитывая набор точек евклидовой плоскости , выбор одной из них для обозначения 0 , а другой для обозначения 1 , вместе с произвольным выбором ориентации позволяет нам рассматривать точки как набор комплексных чисел .

Учитывая любую такую интерпретацию набора точек как комплексных чисел, точки, которые можно построить с использованием только допустимых конструкций циркуля и линейки, являются в точности элементами наименьшего поля, содержащего исходный набор точек и замкнутого относительно операций комплексного сопряжения и квадратного корня ( чтобы избежать двусмысленности, мы можем указать квадратный корень с комплексным аргументом меньше π). Элементами этого поля являются именно те элементы, которые можно выразить в виде формулы в исходных точках, используя только операции сложения , вычитания , умножения , деления , комплексного сопряжения и извлечения квадратного корня , который, как легко видеть, представляет собой счетное плотное подмножество самолет. Каждая из этих шести операций соответствует простой конструкции из линейки и циркуля. По такой формуле несложно построить конструкцию соответствующей точки, комбинируя конструкции каждой из арифметических операций. Более эффективные конструкции определенного набора точек соответствуют упрощениям в таких расчетах.

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

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

\mathrm {Re} (z)={\frac {z+{\bar {z}}}{2}}\;

\mathrm {Im} (z)={\frac {z-{\bar {z}}}{2i}}\;

\left|z\right|={\sqrt {z{\bar {z}}}}.\;

Для удвоения куба и трисекции угла (за исключением особых углов, таких как любой φ, такой, что φ /(2 $π$ ) является рациональным числом со знаменателем , не делящимся на 3) требуются отношения, которые являются решением кубических уравнений , а возведение в квадрат круга требует трансцендентального отношения. Ни один из них не входит в описанные поля, поэтому для них не существует конструкции с помощью линейки и циркуля.

Невозможные конструкции

Древние греки считали, что проблемы строительства, которые они не могли решить, были просто упрямыми, а не неразрешимыми. ^[6] Однако было показано, что с помощью современных методов эти конструкции с помощью линейки и циркуля логически невозможно выполнить. (Однако сами проблемы разрешимы, и греки знали, как решить их, не ограничиваясь работой только с линейкой и циркулем.)

Квадратура круга

Самая известная из этих задач, квадратура круга , также известная как квадратура круга, предполагает построение квадрата той же площади, что и заданный круг, с использованием только линейки и циркуля.

Квадратирование круга оказалось невозможным, поскольку оно предполагает создание трансцендентного числа , то есть $\sqrt π$ . Только некоторые алгебраические числа можно построить с помощью одних только линейки и циркуля, а именно те, которые составлены из целых чисел с помощью конечной последовательности операций сложения, вычитания, умножения, деления и извлечения квадратных корней. По этой причине фраза «квадратура круга» часто используется в значении «делать невозможное».

Без ограничений, требующих решения только с помощью линейки и циркуля, проблема легко решается с помощью самых разных геометрических и алгебраических средств, и в древности она решалась много раз. ^[7]

Метод, очень близкий к аппроксимации «квадратуры круга», может быть реализован с использованием треугольника Кеплера .

Удвоение куба

Удвоение куба — это построение с помощью только линейки и циркуля ребра куба, имеющего вдвое больший объем куба с заданным ребром. Это невозможно, поскольку кубический корень из 2, хотя и алгебраический, не может быть вычислен из целых чисел путем сложения, вычитания, умножения, деления и извлечения квадратных корней. Это следует из того, что его минимальный многочлен над рациональными числами имеет степень 3. Эту конструкцию можно построить с помощью линейки с двумя отметками на ней и циркуля.

Угловая трисекция

Трисекция угла — это построение с помощью только линейки и циркуля угла, составляющего одну треть заданного произвольного угла. Это невозможно в общем случае. Например, угол 2 $π$ /5 радиан (72° = 360°/5) можно разделить на три части, а угол $π$ /3 радиан (60 ° ) разделить на три части нельзя. ^[8] Общая задача трисекции также легко решается, если допускается линейка с двумя отметками на ней ( конструкция неусиса ).

Расстояние до эллипса

Отрезок от любой точки плоскости до ближайшей точки окружности можно построить, но отрезок от любой точки плоскости до ближайшей точки эллипса с положительным эксцентриситетом вообще построить невозможно. Видеть ^[9] Заметим, что доказанные здесь результаты во многом являются следствием неконструктивности коник. Если исходная коника считается заданной, то необходимо просмотреть доказательство, чтобы проверить, нужно ли генерировать другую отличную конику. В качестве примера известны конструкции нормалей параболы, но в них необходимо использовать пересечение окружности и самой параболы. Таким образом, они невозможно построить в том смысле, в каком невозможно построить параболу.

Проблема Альхазена

В 1997 году оксфордский математик Питер М. Нейман доказал теорему о том, что не существует конструкции линейки и циркуля для общего решения древней проблемы Альхазена (бильярдная задача или отражение от сферического зеркала). ^[10]^[11]

Построение правильных многоугольников

Некоторые правильные многоугольники (например, пятиугольник ) легко построить с помощью линейки и циркуля; другие нет. Возник вопрос: можно ли построить все правильные многоугольники с помощью линейки и циркуля?

Карл Фридрих Гаусс в 1796 году показал, что можно построить правильный 17-сторонний многоугольник, а пять лет спустя показал, что правильный n -сторонний многоугольник можно построить с помощью линейки и циркуля, если нечетные простые множители числа n являются различными простыми числами Ферма . Гаусс предположил , что это условие также необходимо ; гипотеза была доказана Пьером Ванцелем в 1837 году. ^[4]

Первые несколько конструктивных правильных многоугольников имеют следующее количество сторон:

3 , 4 , 5 , 6 , 8 , 10 , 12 , 15 , 16 , 17 , 20 , 24 , 30 , 32 , 34 , 40 , 48 , 51, 60, 64 , 68 , 80 , 85, 96 , 102, 120 , 128, 136, 160, 170, 192, 204, 240, 255, 256, 257 , 272... (последовательность A003401 в OEIS )

Известно, что существует бесконечное множество конструктивных правильных многоугольников с четным числом сторон (поскольку, если правильный n -угольник можно построить, то можно построить и правильный 2 n -угольник и, следовательно, правильный 4 n -угольник, 8 n -угольник , и т. д.). Однако известен только 31 правильный n -угольник, который можно построить, с нечетным числом сторон.

Построение треугольника по трем заданным характерным точкам или длинам.

Шестнадцать ключевых точек треугольника — это его вершины , середины его сторон , основания его высот , основания его внутренних биссектрис , а также центр описанной окружности , центроид , ортоцентр и инцентр . Их можно выполнять по три за раз, чтобы получить 139 различных нетривиальных задач на построение треугольника из трех точек. ^[12] Из этих задач три связаны с точкой, которую можно однозначно построить из двух других точек; 23 может быть построено неоднозначно (фактически для бесконечного числа решений), но только если расположение точек подчиняется определенным ограничениям; в 74 задача конструктивна в общем случае; а в 39 искомый треугольник существует, но его невозможно построить.

Двенадцать ключевых длин треугольника — это три длины сторон, три высоты , три медианы и три биссектрисы . Вместе с тремя углами они дают 95 различных комбинаций, 63 из которых образуют конструктивный треугольник, 30 из которых нет, а две из них недоопределены. ^[13]^{: стр. 201–203.}

Ограниченные конструкции

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

Построение с помощью только линейки или только циркуля

Можно (согласно теореме Мора-Машерони ) построить что-либо с помощью одного лишь циркуля, если это можно построить с помощью линейки и циркуля, при условии, что заданные данные и искомые данные состоят из дискретных точек (а не линий или окружностей). ). Истинность этой теоремы зависит от истинности аксиомы Архимеда : ^[14] которая не имеет первого порядка. Примеры конструкций, использующих только компас, включают задачу Наполеона .

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

Расширенные конструкции

Древние греки делили конструкции на три основные категории в зависимости от сложности инструментов, необходимых для их решения. Если в конструкции использовались только линейка и циркуль, ее называли планарной; если для него требовалось еще одно или несколько конических сечений (кроме круга), то его называли сплошным; в третью категорию вошли все конструкции, не попавшие ни в одну из двух других категорий. ^[15] Эта категоризация хорошо согласуется с современной алгебраической точкой зрения. Комплексное число, которое можно выразить, используя только операции с полем и квадратные корни (как описано выше ), имеет плоскую конструкцию. Комплексное число, включающее в себя также извлечение кубических корней, имеет прочную конструкцию.

На языке полей комплексное число, которое является плоским, имеет степень, равную степени двойки, и находится в расширении поля , которое можно разбить на башню полей, где каждое расширение имеет степень два. Комплексное число, имеющее прочную конструкцию, имеет степень с простыми делителями только два и три и находится в расширении поля, которое находится на вершине башни полей, где каждое расширение имеет степень 2 или 3.

Прочные конструкции

Точка имеет прочную конструкцию, если ее можно построить с помощью линейки, циркуля и (возможно, гипотетического) инструмента для рисования конусов, который может нарисовать любую конику с уже построенными фокусом, директрисой и эксцентриситетом. Тот же набор точек часто можно построить с использованием меньшего набора инструментов. Например, используя циркуль, линейку и лист бумаги, на котором нарисована парабола y=x. ² вместе с точками (0,0) и (1,0) можно построить любое комплексное число, имеющее твёрдую конструкцию. Точно так же инструмент, который может нарисовать любой эллипс с уже построенными фокусами и большой осью (представьте себе две булавки и кусок веревки), столь же мощный. ^[16]

Древние греки знали, что удвоение куба и трисекция произвольного угла имеют прочные конструкции. Архимед дал невисную конструкцию правильного семиугольника , которая интерпретировалась средневековыми арабскими комментаторами Бартелем Леендертом ван дер Варденом и другими как основанная на прочной конструкции, но это оспаривается, поскольку возможны и другие интерпретации. ^[17] Квадратура круга не имеет прочной конструкции.

Правильный n -угольник имеет сплошную конструкцию тогда и только тогда, когда n =2 ^а3 ^бm , где a и b — некоторые неотрицательные целые числа, а m — произведение нуля или более различных простых чисел Пьерпона (простые числа вида 2 ^р3 ^с+1). Следовательно, правильный n -угольник допускает сплошную, но не плоскую конструкцию тогда и только тогда, когда n находится в последовательности

7 , 9 , 13 , 14 , 18 , 19 , 21 , 26, 27, 28, 35, 36, 37, 38, 39, 42, 45 , 52, 54, 56, 57, 63, 65, 70, 72, 73, 74, 76, 78, 81, 84, 90, 91, 95, 97... (последовательность A051913 в OEIS )

Множество n, для которых правильный n -угольник не имеет прочной конструкции, представляет собой последовательность

11 , 22 , 23 , 25, 29, 31, 33, 41, 43, 44, 46, 47, 49, 50, 53, 55, 58, 59, 61, 62, 66, 67, 69, 71, 75, 77, 79, 82, 83, 86, 87, 88, 89, 92, 93, 94, 98, 99, 100... (последовательность A048136 в OEIS )

Как и вопрос с простыми числами Ферма, остается открытым вопрос о том, существует ли бесконечное число простых чисел Пьерпона.

Угловая трисекция

Что, если бы вместе с линейкой и циркулем у нас был бы инструмент, который мог бы (только) разделить произвольный угол на три части? Такие конструкции представляют собой прочные конструкции, но существуют числа с прочными конструкциями, которые невозможно построить с помощью такого инструмента. Например, таким инструментом мы не сможем удвоить куб. ^[18] С другой стороны, с помощью такого инструмента можно построить любой правильный n-угольник, имеющий прочную конструкцию.

Оригами

Математическая теория оригами более мощная, чем конструкция с помощью линейки и циркуля. Складки, удовлетворяющие аксиомам Хузиты – Хатори, могут построить точно такой же набор точек, что и расширенные конструкции, с использованием циркуля и инструмента рисования конусов. Следовательно, оригами также можно использовать для решения кубических уравнений (и, следовательно, уравнений четвертой степени) и, таким образом, решить две классические задачи. ^[19]

Маркируемые линейки

Архимед , Никомед и Аполлоний дали конструкции, предполагающие использование маркированной линейки. Это позволило бы им, например, взять отрезок линии, две линии (или круги) и точку; а затем нарисуйте линию, проходящую через данную точку и пересекающую две заданные прямые, так, чтобы расстояние между точками пересечения равнялось данному отрезку. Греки называли это neusis («наклон», «тенденция» или «граница»), потому что новая линия стремится к точке.В этой расширенной схеме мы можем разделить произвольный угол на три части (см. трисекцию Архимеда ) или извлечь произвольный кубический корень (благодаря Никомеду). Следовательно, любое расстояние, отношение которого к существующему расстоянию является решением кубического уравнения или уравнения четвертой степени, является конструктивным. С помощью разметочной линейки правильные многоугольники со сплошными конструкциями, например семиугольник можно построить ; а Джон Х. Конвей и Ричард К. Гай дают конструкции некоторых из них. ^[20]

Конструкция neusis более мощная, чем инструмент конического рисования, поскольку можно строить комплексные числа, не имеющие твердых конструкций. Фактически, с помощью этого инструмента можно решить некоторые квинтики , которые невозможно решить с помощью радикалов . ^[21] Известно, что с помощью конструкции неусиса невозможно решить неприводимый многочлен простой степени, большей или равной 7, поэтому с помощью этого инструмента невозможно построить правильный 23-угольник или 29-угольник. Бенджамин и Снайдер доказали, что можно построить правильный 11-угольник, но не дали конструкции. ^[22] Вопрос о том, можно ли построить с помощью этого инструмента обычный 25-угольник или 31-угольник, пока остается открытым.

Разделить прямой отрезок на три части

Учитывая отрезок прямой, называемый AB, можно ли его разделить на три новых равных отрезка и на множество частей, как того требует использование теоремы о пересечении .

Вычисление двоичных цифр

В 1998 году Саймон Плуфф линейки и циркуля предложил алгоритм , который можно использовать для вычисления двоичных цифр определенных чисел. ^[23]Алгоритм предполагает многократное удвоение угла и становится физически непрактичным примерно после 20 двоичных цифр.

См. также

Карлайлский круг
Геометрическая криптография
Геометрография
Список программного обеспечения для интерактивной геометрии , большинство из которых отображают конструкции с помощью линейки и циркуля.
Математика складывания бумаги
Андервуд Дадли , математик, который подрабатывал сбором ложных доказательств с помощью линейки и циркуля.

Ссылки

^ Годфрид Туссен, «Новый взгляд на второе предложение Евклида», The Mathematical Intelligencer , Vol. 15, № 3 (1993), стр. 12-24.
^ Jump up to: Перейти обратно: ^а ^б ^с ^д ^и ^ж ^г ^час ^я Смелый, Бенджамин. Известные проблемы геометрии и способы их решения , Dover Publications, 1982 (оригинал 1969).
^ Jump up to: Перейти обратно: ^а ^б Ванцель, Пьер-Лоран (1837). «Исследование способов определения того, можно ли решить задачу по геометрии с помощью линейки и циркуля» (PDF) . Журнал чистой и прикладной математики . 1.2 366–372 : . Проверено 3 марта 2014 г.
^ Jump up to: Перейти обратно: ^а ^б Казаринов, Николай Д. (2003) [1970]. Линейка и Круг . Минеола, Нью-Йорк: Дувр. стр. 29–30. ISBN 978-0-486-42515-3 .
^ Вайсштейн, Эрик В. «Углы тригонометрии — Пи/17» . Математический мир .
^ Стюарт, Ян. Теория Галуа . п. 75.
^ * Квадратура круга в MacTutor
^ Инструкции по разделению угла 72˚ на три части.
^ Азад Х. и Лараджи А., «Некоторые невозможные конструкции в элементарной геометрии», Mathematical Gazette 88, ноябрь 2004 г., 548–551.
^ Нойманн, Питер М. (1998), «Размышления об отражении в сферическом зеркале», American Mathematical Monthly , 105 (6): 523–528, doi : 10.1080/00029890.1998.12004920 , JSTOR 2589403 , MR 1626185
^ Хайфилд, Роджер (1 апреля 1997 г.), «Дон решает последнюю загадку, оставленную древними греками» , Electronic Telegraph , 676 , заархивировано из оригинала 23 ноября 2004 г. , получено 24 сентября 2008 г.
^ Паскаль Шрек, Паскаль Матис, Весна Маринкович и Предраг Яничич. «Список Верника: последнее обновление», Forum Geometricorum 16, 2016, стр. 69–80. http://forumgeom.fau.edu/FG2016volume16/FG201610.pdf
^ Посаментье, Альфред С. и Леманн, Ингмар. Тайны треугольников , Книги Прометея, 2012.
^ Аврон, Арнон (1990). «О строгой прочной конструкции с помощью одного лишь циркуля». Журнал геометрии . 38 (1–2): 12–15. дои : 10.1007/BF01222890 . S2CID 1537763 .
^ TL Heath, «История греческой математики, том I»
^ П. Хаммел, «Твердые конструкции с использованием эллипсов», The Pi Mu Epsilon Journal , 11 (8), 429–435 (2003).
^ Норр, Уилбур Р. (1989), «О построении Архимедом правильного семиугольника», Centaurus , 32 (4): 257–271, doi : 10.1111/j.1600-0498.1989.tb00848.x , MR 1078083
^ Глисон, Эндрю :«Трисекция угла, семиугольник и трискадекагон», амер. Математика. Ежемесячник 95 (1988), вып. 3, 185–194.
^ Роу, Т. Сундара (1966). Геометрические упражнения по складыванию бумаги . Нью-Йорк: Дувр.
^ Конвей, Джон Х. и Ричард Гай: Книга чисел.
^ А. Барагар, «Конструкции с использованием линейки с двумя надрезами», The American Mathematical Monthly , 109 (2), 151–164 (2002).
^ Э. Бенджамин, К. Снайдер, «О построении правильного десятиугольника с помощью отмеченной линейки и циркуля», Mathematical Proceedings of the Cambridge Philosophical Society , 156 (3), 409–424 (2014).
^ Саймон Плуфф (1998). «Вычисление некоторых чисел с помощью линейки и циркуля» . Журнал целочисленных последовательностей . 1 : 13. Бибкод : 1998JIntS...1...13P . ISSN 1530-7638 .

Внешние ссылки

Построения правильных многоугольников доктором Математиком на математическом форуме @ Drexel
Строительство с помощью компаса Только в кратчайшие сроки
Угловая трисекция Гиппократа при разрезании узла
Вайсштейн, Эрик В. «Трисекция угла» . Математический мир .

[1] Годфрид Туссен, «Новый взгляд на второе предложение Евклида», The Mathematical Intelligencer , Vol. 15, № 3 (1993), стр. 12-24.

[Bold-2] Jump up to: Перейти обратно: ^а ^б ^с ^д ^и ^ж ^г ^час ^я Смелый, Бенджамин. Известные проблемы геометрии и способы их решения , Dover Publications, 1982 (оригинал 1969).

[Wantzel-3] Jump up to: Перейти обратно: ^а ^б Ванцель, Пьер-Лоран (1837). «Исследование способов определения того, можно ли решить задачу по геометрии с помощью линейки и циркуля» (PDF) . Журнал чистой и прикладной математики . 1.2 366–372 : . Проверено 3 марта 2014 г.

[Kazarinoff-4] Jump up to: Перейти обратно: ^а ^б Казаринов, Николай Д. (2003) [1970]. Линейка и Круг . Минеола, Нью-Йорк: Дувр. стр. 29–30. ISBN 978-0-486-42515-3 .

[5] Вайсштейн, Эрик В. «Углы тригонометрии — Пи/17» . Математический мир .

[6] Стюарт, Ян. Теория Галуа . п. 75.

[7] * Квадратура круга в MacTutor

[8] Инструкции по разделению угла 72˚ на три части.

[9] Азад Х. и Лараджи А., «Некоторые невозможные конструкции в элементарной геометрии», Mathematical Gazette 88, ноябрь 2004 г., 548–551.

[10] Нойманн, Питер М. (1998), «Размышления об отражении в сферическом зеркале», American Mathematical Monthly , 105 (6): 523–528, doi : 10.1080/00029890.1998.12004920 , JSTOR 2589403 , MR 1626185

[11] Хайфилд, Роджер (1 апреля 1997 г.), «Дон решает последнюю загадку, оставленную древними греками» , Electronic Telegraph , 676 , заархивировано из оригинала 23 ноября 2004 г. , получено 24 сентября 2008 г.

[12] Паскаль Шрек, Паскаль Матис, Весна Маринкович и Предраг Яничич. «Список Верника: последнее обновление», Forum Geometricorum 16, 2016, стр. 69–80. http://forumgeom.fau.edu/FG2016volume16/FG201610.pdf

[13] Посаментье, Альфред С. и Леманн, Ингмар. Тайны треугольников , Книги Прометея, 2012.

[14] Аврон, Арнон (1990). «О строгой прочной конструкции с помощью одного лишь циркуля». Журнал геометрии . 38 (1–2): 12–15. дои : 10.1007/BF01222890 . S2CID 1537763 .

[15] TL Heath, «История греческой математики, том I»

[16] П. Хаммел, «Твердые конструкции с использованием эллипсов», The Pi Mu Epsilon Journal , 11 (8), 429–435 (2003).

[17] Норр, Уилбур Р. (1989), «О построении Архимедом правильного семиугольника», Centaurus , 32 (4): 257–271, doi : 10.1111/j.1600-0498.1989.tb00848.x , MR 1078083

[18] Глисон, Эндрю :«Трисекция угла, семиугольник и трискадекагон», амер. Математика. Ежемесячник 95 (1988), вып. 3, 185–194.

[19] Роу, Т. Сундара (1966). Геометрические упражнения по складыванию бумаги . Нью-Йорк: Дувр.

[20] Конвей, Джон Х. и Ричард Гай: Книга чисел.

[21] А. Барагар, «Конструкции с использованием линейки с двумя надрезами», The American Mathematical Monthly , 109 (2), 151–164 (2002).

[22] Э. Бенджамин, К. Снайдер, «О построении правильного десятиугольника с помощью отмеченной линейки и циркуля», Mathematical Proceedings of the Cambridge Philosophical Society , 156 (3), 409–424 (2014).

[Plouffe1998-23] Саймон Плуфф (1998). «Вычисление некоторых чисел с помощью линейки и циркуля» . Журнал целочисленных последовательностей . 1 : 13. Бибкод : 1998JIntS...1...13P . ISSN 1530-7638 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]