Русская Википедия:Спираль Феодора
Спираль Феодора (также называемая спиралью корня квадратного из угла, спиралью Эйнштейна или спиралью Пифагора)[1] — приближение к архимедовой спирали, состоящее из смежных прямоугольных треугольников, примыкающих друг к другу. Она названа в честь Феодора Киренского, древнегреческого ученого, известного как учитель Платона, жившего в V веке до нашей эры на территории Ливии.
Конструкция
Спираль начинается с равнобедренного прямоугольного треугольника, каждый катет которого имеет единичную длину. Затем добавляется ещё один прямоугольный треугольник, чей катет является гипотенузой предыдущего треугольника (с длиной Шаблон:Radic), а другой катет имеет длину 1; длина гипотенузы второго треугольника Шаблон:Radic. Затем процесс повторяется; n-й треугольник в последовательности представляет собой правый треугольник с катетами Шаблон:Radic и 1 и с гипотенузой Шаблон:Sqrt. Например, 16-й треугольник имеет стороны размером 4 (=Шаблон:Sqrt), 1 и гипотенузой Шаблон:Sqrt.
История и использование
Хотя все работы Феодора утеряны, Платон упомянул Феодора в своем диалоге Теэтет, который рассказывает о его работе. В частности там говорится, что Феодор доказал, что все квадратные корни неквадратных целых чисел от 3 до 17 являются иррациональными числами (Платон не приписывает Феодору доказательства иррациональности квадратного корня из 2, потому что она была хорошо известна до него). Впоследствии Теэтет Афинский классифицировал отрезки, производящие рациональные квадраты, на две категории: соизмеримые с единицей и иррациональные[2][3].
Есть разные гипотезы о том, как Феодор доказал это, и почему он остановился на Шаблон:Radic. Одна из гипотез, принадлежащая немецкому любителю математики Андерхубу (Anderhub), заключается в том, что он это сделал с помощью спирали Феодора[4]. В этой спирали гипотенуза Шаблон:Radic принадлежит последнему треугольнику, который не перекрывает фигуру образуемой спиралью, что объясняет почему Феодор дошел до Шаблон:Radic[5]. Однако это не единственное возможное объяснение этого факта[3].
Продолжение спирали
В 1958 году Эрих Тойфель (Erich Teuffel) доказал, что никакие две гипотенузы треугольников, из которых строится спираль, не будут лежать на одном луче. Кроме того, если стороны единичной длины продолжить до прямой, они никогда не пройдут ни через одну из других вершин спирали[6][7].
Скорость роста
Угол
Если <math>\varphi_n</math> — угол n-го треугольника (или спирального сегмента), то:
- <math>\tan\left(\varphi_n\right)=\frac{1}{\sqrt{n}}.</math>
Таким образом, прирост угла <math>\varphi_n</math> следующего за n-ым треугольником есть:[1]
- <math>\varphi_n=\arctan\left(\frac{1}{\sqrt{n}}\right).</math>
Сумма углов первых» k " треугольников, обозначается общим углом <math>\varphi(k)</math> для k- го треугольника. Она растет пропорционально квадратному корню из k, являясь ограниченной функцией с поправочным членом c2:[1]
- <math>\varphi\left (k\right)=\sum_{n=1}^k\varphi_n = 2\sqrt{k}+c_2(k)</math>
где
- <math>\lim_{k \to \infty} c_2(k)= - 2.157782996659\ldots</math>
Радиус
Рост радиуса спирали при некотором треугольнике с номером n равен
- <math>\Delta r=\sqrt{n+1}-\sqrt{n}.</math>
Архимедова спираль
Спираль Феодора приближается к архимедовой спирали.[1]. Так как расстояние между двумя витками Архимедовой спирали равно постоянной пи=3,14…, то когда количество оборотов спирали Теодора стремится к бесконечности, расстояние между двумя последовательными витками стремительно приближается к π.[8] Ниже приведена таблица, показывающая приближение витков спирали к пи:
| Виток No.: | Расчетное среднее расстояние между витками | Точность среднего расстояния намотки по сравнению с π |
|---|---|---|
| 2 | 3.1592037 | 99.44255 % |
| 3 | 3.1443455 | 99.91245 % |
| 4 | 3.14428 | 99.91453 % |
| 5 | 3.142395 | 99.97447 % |
| Предел функции при n→ ∞ | → π | → 100 % |
Как показано, после только пятого витка спираль улитки расстояние с точностью 99,97 % является точным приближением к π.
В комплексной плоскости
В комплексной плоскости вершины спирали могут быть заданы следующим простым рекуррентным соотношением:
- <math>z_0 = 1</math>
- <math>z_n = \left(1+\frac{i}{\sqrt n}\right)z_{n-1}</math>, для <math>n=1, 2 \dots</math>
где <math>i</math> — мнимая единицаШаблон:Sfn.
Непрерывная кривая
Задача о том, как интерполировать дискретные точки спирали Феодора плавной кривой была предложена и решена в Шаблон:Harv по аналогии с формулой Эйлера для гамма-функции в качестве аппроксимации для факториала, Шаблон:Iw найдена функция
- <math>T(x) = \prod_{k=1}^\infty \frac{1 + i/\sqrt{k}}{1 + i/\sqrt{x+k}} \qquad ( -1 < x < \infty )</math>
которая в дальнейшем была изучена его учеником Шаблон:Iw[9] и Шаблон:Iw (в приложении к Шаблон:Harv). Аксиоматическая характеристика этой функции дается в Шаблон:Harv, как единственная функция, удовлетворяющая функциональному уравнению
- <math>f(x) = \left( 1 + \frac{i}{\sqrt{x} }\right) \cdot f(x-1),</math>
с начальным условием <math>f(0) = 1,</math> и монотонна как по аргументу, так и по модулю. Там также изучаются альтернативные условия и ослабления. Альтернативное доказательство приведено в Шаблон:Harv. Аналитическое продолжение непрерывной функции Дэвиса для спирали Феодора, которая простирается в противоположном направлении от начала координат, дано в Шаблон:Harv.
На рисунке узлы оригинальной (дискретной) спирали Теодора отмечены маленькими зелёными кружками. Синие круги – те, что добавились при продолжении в отрицательную (по значению параметра, он же – полярный радиус) ветвь. Пронумерованы только узлы <math>n</math> с целым значением полярного радиуса <math>r_n=\pm\sqrt{|n|}.</math> Оранжевая пунктирная окружность – круг кривизны спирали в начале координат <math>O</math>.
См. также
Примечания
Литература
- ↑ 1,0 1,1 1,2 1,3 Шаблон:Cite arXiv
- ↑ Шаблон:Citation
- ↑ 3,0 3,1 Шаблон:Книга Шаблон:Wayback
- ↑ Шаблон:Статья
- ↑ Шаблон:Citation
- ↑ Шаблон:Cite web
- ↑ Erich Teuffel, Eine Eigenschaft der Quadratwurzelschnecke, Math.-Phys. Semesterber. 6 (1958), pp. 148—152.
- ↑ Шаблон:Cite arXiv
- ↑ Leader, J.J. The Generalized Theodorus Iteration (dissertation), 1990, Brown University
