Задача Наполеона — это задача на построение с помощью циркуля . В ней даны окружность и ее центр . Задача состоит в том, чтобы разделить окружность на четыре равные дуги, используя только циркуль . [1] [2] Наполеон был известен как математик-любитель, но неизвестно, создал ли он или решил эту задачу. Друг Наполеона, итальянский математик Лоренцо Маскерони, ввел ограничение на использование только циркуля (без линейки) в геометрических построениях . Но на самом деле задача выше проще, чем настоящая задача Наполеона , состоящая в нахождении центра заданной окружности, используя только циркуль. В следующих разделах будут описаны решения трех задач и доказательства того, что они работают.
Книга Георга Мора « Евклид Даник », написанная в 1672 году, предвосхитила идею Маскерони, хотя книга была вновь обнаружена только в 1928 году.
С центром в любой точке X на окружности C проведите дугу через O (центр C ), которая пересекает C в точках V и Y. Сделайте то же самое с центром в Y через O, пересекая C в точках X и Z. Обратите внимание , что отрезки OV, OX, OY, OZ, VX, XY, YZ имеют одинаковую длину, все расстояния равны радиусу окружности C.
Теперь нарисуйте дугу с центром в точке V, проходящую через Y, и дугу с центром в точке Z, проходящую через X; назовем точку пересечения этих двух дуг буквой T. Обратите внимание, что расстояния VY и XZ умножены на радиус окружности C.
Приравняем радиус циркуля к расстоянию OT ( умноженному на радиус окружности C ) и проведем дугу с центром в точке Z, которая пересекает окружность C в точках U и W. UVWZ — квадрат , а дуги C UV , VW, WZ и ZU каждая равна четверти окружности C.
Пусть (C) — круг, центр которого нужно найти. [3]
Пусть A — точка на (C).
Окружность (C1) с центром в точке A пересекает (C) в точках B и B'.
Две окружности (C2) с центрами B и B' и радиусом AB снова пересекаются в точке C.
Окружность (C3) с центром в точке C и радиусом AC пересекает (C1) в точках D и D'.
Две окружности (C4) с центрами D и D' и радиусом AD пересекаются в точке A и в точке O, искомом центре (C).
Примечание: чтобы это сработало, радиус окружности (C1) не должен быть ни слишком маленьким, ни слишком большим. Точнее, этот радиус должен быть между половиной и двойным радиусом (C): если радиус больше диаметра (C), (C1) не пересечет (C); если радиус меньше половины радиуса (C), точка C будет между A и O, а (C3) не пересечет (C1).
Идея доказательства состоит в том, чтобы с помощью одного циркуля построить длину b²/a, когда длины a и b известны, а a/2 ≤ b ≤ 2a.
На рисунке справа нарисована окружность радиусом a с центром в точке O; на ней выбрана точка A, из которой можно определить точки B и B' так, что AB и AB' имеют длину b . Точка A' лежит напротив A, но ее не нужно строить (для этого потребуется линейка); аналогично точка H является (виртуальным) пересечением AA' и BB'. Точка C может быть определена из B и B' с помощью окружностей радиусом b .
Треугольник ABA' имеет прямой угол B, а BH перпендикулярен AA', поэтому:
Следовательно, и AC = b²/a.
В приведенной выше конструкции центра такая конфигурация появляется дважды:
Следовательно, О — центр окружности (С).
Пусть |AD| — расстояние , центр которого требуется найти. [4]
Две окружности (C 1 ) с центром в точке A и (C 2 ) с центром в точке D с радиусом |AD| пересекаются в точках B и B'.
Окружность (C 3 ) с центром в точке B' и радиусом |B'B| пересекает окружность (C 2 ) в точке A'.
Окружность (C 4 ) с центром в точке A' и радиусом |A'A| пересекает окружность (C 1 ) в точках E и E'.
Две окружности (C 5 ) с центром в точке E и (C 6 ) с центром в точке E' с радиусом |EA| пересекаются в точках A и O. O — искомый центр |AD|.