В математике круг Карлайла (названный в честь Томаса Карлайла ) - это некий круг в координатная плоскость, связанная с квадратным уравнением. Круг обладает тем свойством, что решения квадратного уравнения являются горизонтальными координатами пересечений круга с горизонтальной осью. Круги Карлайла использовались для разработки построений с помощью линейки и циркуля из правильных многоугольников.
Учитывая квадратное уравнение
окружность в координатной плоскости, имеющая отрезок прямой, соединяющий точки A (0, 1) и B (s, p) в качестве диаметра называется окружностью Карлейля квадратного уравнения.
Определяющее свойство круга Карлайла может быть установлено таким образом: уравнение круга, имеющего отрезок AB в качестве диаметра, равно
Абсциссы точек, где окружность пересекает ось x, являются корнями уравнения (полученного при установке y = 0 в уравнении круга)
Задача построения правильного пятиугольника эквивалентна задаче построения правильного пятиугольника. корни уравнения
Один корень этого уравнения равен z 0 = 1, что соответствует точке P 0 (1, 0). Удалив множитель, соответствующий этому корню, остальные корни оказываются корнями уравнения
Эти корни можно представить в виде ω, ω, ω, ω где ω = exp (2πi / 5). Пусть они соответствуют точкам P 1, P 2, P 3, P 4. Полагая
, мы имеем
Итак, p 1 и p 2 являются корнями квадратного уравнения
Окружность Карлайла, связанная с этой квадратичной кривой, имеет диаметр с концами в точках (0, 1) и (−1, −1) и центр в (-1/2, 0). Круги Карлайла используются для построения p 1 и p 2. Из определений p 1 и p 2 также следует, что
Затем они используются для построения точек P 1, P 2, P 3, P 4.
Эта подробная процедура, включающая Круги Карлайла для построения правильных пятиугольников приведены ниже.
Существует аналогичный метод с использованием кругов Карлайла для построения правильных гептадекагонов. Рисунок справа иллюстрирует процедуру.
Чтобы построить правильный 257-угольник с использованием кругов Карлайла, необходимо построить до 24 кругов Карлайла. Один из них - круг для решения квадратного уравнения x + x - 64 = 0.
Существует процедура с использованием кругов Карлайла для построения правильного 65537-угольник. Однако есть практические проблемы с выполнением процедуры; например, это требует построения круга Карлайла для решения квадратного уравнения x + x - 2 = 0.
Согласно Говард Ивс (1911) –2004) математик Джон Лесли (1766–1832) описал геометрическое построение корней квадратного уравнения с кругом в своей книге «Элементы геометрии» и отметил, что эту идею дал его бывший ученик Томас Карлайл (1795–1881). Однако, хотя описание в книге Лесли содержит аналогичную конструкцию круга, оно было представлено исключительно в элементарных геометрических терминах без понятия декартовой системы координат или квадратичной функции и ее корней:
Чтобы разделить прямую линию, внутреннюю или внешнюю, так что прямоугольник под его сегментами должен быть эквивалентен данному прямоугольнику.
— Джон Лесли, Elements of Geometry, prop. XVII, стр. 176В 1867 году австрийский инженер Эдуард Лилль опубликовал графический метод определения корней многочлена (метод Лилля ). Если он применяется к квадратичной функции, то он дает фигуру трапеции из решения Карлайла задачи Лесли (см. Рисунок), одна из сторон которого является диаметром окружности Карлайла. В статье 1925 г. Г. А. Миллер указал, что небольшая модификация метода Лилла, примененная к нормированной квадратичной функции, дает круг, который позволяет геометрическое построение корней этой функции, и дал явное современное определение того, что позже было названо Карлейлем. круг.
Евс использовал круг в современном смысле этого слова в одном из упражнений своей книги «Введение в историю математики» (1953) и указал на связь с Лесли и Карлайлом. В более поздних публикациях начали использовать названия круг Карлайла, метод Карлайла или алгоритм Карлайла, хотя в немецкоязычных странах также используется термин круг Лилля (Lill-Kreis). ДеТемпл использовал в 1989 и 1991 годах круги Карлайла для разработки конструкций с линейкой для правильных многоугольников, в частности пятиугольника, семиугольника, 257-угольник и 65537-угольник. Ладислав Беран описал в 1999 году, как круг Карлайла можно использовать для построения комплексных корней нормированной квадратичной функции.