Квадратный корень из 5

Положительное действительное число, которое при умножении само на себя дает 5

Список чисел Иррациональные числа ζ (3) √2 √3 √5 φ e π
Двоичный	10.0011110001101110…
Десятичный	2.23606797749978969…
Шестнадцатеричный	2.3C6EF372FE94F82C…
Непрерывная дробь	$2\; +\; 1\; 4\; +\; 1\; 4\; +\; 1\; 4\; +\; 1\; 4\; +\; \ddots \; \{\backslash \; displaystyle\; 2\; +\; \{\backslash \; cfrac\; \{1\}\; \{4\; +\; \{\backslash \; cfrac\; \{1\}\; \{4\; +\; \{\backslash \; cfrac\; \{1\}\; \{4\; +\; \{\backslash \; cfrac\; \{1\}\; \{4+\; \backslash \; ddots\}\}\}\}\; \}\}\}\}\}\}$

Квадратный корень из 5 - это положительное действительное число, которое при умножении само на себя дает простое число 5. Его более точно называют главным квадратным корнем из 5, чтобы отличить его от отрицательного числа с таким же свойством. Это число появляется в дробном выражении для золотого сечения. В форме surd он может быть обозначен как:

$5.\; \{\backslash \; displaystyle\; \{\backslash \; sqrt\; \{5\}\}.\; \backslash ,\}$

Это иррациональное алгебраическое число. Первые шестьдесят значащих цифр его десятичного разложения :

2.23606797749978969640917366873127623544061835961152572427089… (последовательность A002163 в OEIS ).

, которая может быть округлена в меньшую сторону до 2,236067977499789696409 % точности. Можно использовать приближение 161/72 (≈ 2,23611) для квадратного корня из пяти. Несмотря на то, что знаменатель равен всего 72, оно отличается от правильного значения менее чем на 1/10 000 (прибл.. 4.3 × 10). По состоянию на ноябрь 2019 года его числовое значение в десятичном формате было вычислено как минимум до 2 000 000 000 000 цифр.

Содержание

• 1 Доказательства иррациональности
• 2 Непрерывная дробь
• 3 Вавилонский метод
• 4 Вложенные квадратные разложения
• 5 Связь с золотым сечением и числами Фибоначчи
• 6 Геометрия
• 7 Тригонометрия
• 8 Диофантовы приближения
• 9 Алгебра
• 10 Тождества Рамануджана
• 11 См. также
• 12 Ссылки

Доказательства иррациональности

1. Это доказательство иррациональности квадратного корня из 5 использует метод Ферма. od бесконечного спуска :

Предположим, что √5 рационально, и выразим его в наименьших возможных терминах (то есть как полностью сокращенная дробь ) как m / n для натуральных чисел m и n. Тогда √5 может быть выражено в младших числах как 5n - 2m / m - 2n, что является противоречием. (Два дробных выражения равны, потому что приравнивание их, перекрестное умножение и сокращение, как аддитивные члены, дают 5n = m и m / n = √5, что верно согласно посылке. Второе дробное выражение для √5 выражается в младших членах так как, сравнивая знаменатели, m - 2n < n since m < 3n since m/n < 3 since √5 < 3. And both the numerator and the denominator of the second fractional expression are positive since 2 < √5 < 5/2 and m/n = √5.)

2. Это доказательство иррациональности также является доказательством от противоречия :

Предположим, что √5 = a / b, где a / b находится в приведенной форме.

Таким образом, 5 = a / b и 5b = a. Если бы b было четным, то b, a и a сделали бы дробь a / b не в сокращенной форме четной. Таким образом, b является нечетным, и, следуя аналогичному процессу, a будет нечетным.

Теперь пусть a = 2m + 1 и b = 2n + 1, где m и n - целые числа.

Подставляя в 5b = a, мы получаем:

$5\; (2\; n\; +\; 1)\; 2\; =\; (2\; m\; +\; 1)\; 2\; \{\backslash \; displaystyle\; 5\; (2n\; +\; 1)\; ^\; \{2\}\; =\; (2m\; +\; 1)\; ^\; \{2\}\}$

, что упрощается до:

$5\; (4\; n\; 2\; +\; 4\; n\; +\; 1)\; =\; 4\; m\; 2\; +\; 4\; m\; +\; 1\; \{\backslash \; displaystyle\; 5\; \backslash \; left\; (4n\; ^\; \{2\}\; +\; 4n\; +\; 1\; \backslash \; right)\; =\; 4m\; ^\; \{2\}\; +\; 4m\; +\; 1\}$

получается:

$20\; n\; 2\; +\; 20\; n\; +\; 5\; =\; 4\; m\; 2\; +\; 4\; m\; +\; 1\; \{\backslash \; displaystyle\; 20n\; ^\; \{2\}\; +\; 20n\; +\; 5\; =\; 4m\; ^\; \{2\}\; +\; 4m\; +\; 1\}$

Вычитанием 1 из с обеих сторон, получаем:

$20\; n\; 2\; +\; 20\; n\; +\; 4\; =\; 4\; m\; 2\; +\; 4\; m\; \{\backslash \; displaystyle\; 20n\; ^\; \{2\}\; +\; 20n\; +\; 4\; =\; 4m\; ^\; \{2\}\; +\; 4m\}$

, что уменьшает на:

$5\; n\; 2\; +\; 5\; n\; +\; 1\; =\; m\; 2\; +\; m\; \{\backslash \; displaystyle\; 5n\; ^\; \{2\}\; +\; 5n\; +\; 1\; =\; m\; ^\; \{2\}\; +\; m\}$

Другими словами:

$5\; n\; (n\; +\; 1)\; +\; 1\; =\; m\; (m\; +\; 1)\; \{\backslash \; displaystyle\; 5n\; (n\; +\; 1)\; +\; 1\; =\; m\; (m\; +\; 1)\}$

Выражение x (x + 1) является четным для любого целого числа x (поскольку либо x, либо x + 1 четное). Таким образом, это говорит о том, что 5 × чет + 1 = четное или нечетное = четное. Поскольку не существует целого, которое было бы одновременно и четным, и нечетным, мы пришли к противоречию, и √5 является иррациональным.

Непрерывная дробь

Его можно выразить как непрерывная дробь

$[2\; ;\; 4,\; 4,\; 4,\; 4,\; 4,\dots ]\; =\; 2\; +\; 1\; 4\; +\; 1\; 4\; +\; 1\; 4\; +\; 1\; 4\; +\dots .\; \{\backslash \; displaystyle\; [2;\; 4,4,4,4,4,\; \backslash \; ldots]\; =\; 2\; +\; \{\backslash \; cfrac\; \{1\}\; \{4\; +\; \{\backslash \; cfrac\; \{1\}\; \{4\; +\; \{\backslash \; cfrac\; \{1\}\; \{4+\; \{\; \backslash \; cfrac\; \{1\}\; \{4+\; \backslash \; dots\}\}\}\}\}\}\}\}.\}$(последовательность A040002 в OEIS )

Конвергенты и Полуконвергенты этой непрерывной дроби имеют следующий вид (черные члены - полуконвергенты):

$2\; 1,\; 7\; 3,\; 9\; 4,\; 20\; 9,\; 29\; 13,\; 38\; 17,\; 123\; 55,\; 161\; 72,\; 360\; 161,\; 521\; 233,\; 682\; 305,\; 2207\; 987,\; 2889\; 1292,\dots \; \{\backslash \; displaystyle\; \{\backslash \; color\; \{red\}\; \{\backslash \; frac\; \{2\}\; \{1\}\}\},\; \{\backslash \; frac\; \{7\}\; \{3\}\},\; \{\backslash \; color\; \{red\; \}\; \{\backslash \; frac\; \{9\}\; \{4\}\}\},\; \{\backslash \; frac\; \{20\}\; \{9\}\},\; \{\backslash \; frac\; \{29\}\; \{13\}\},\; \{\backslash \; color\; \{red\}\; \{\backslash \; frac\; \{38\}\; \{17\}\; \}\},\; \{\backslash \; frac\; \{123\}\; \{55\}\},\; \{\backslash \; color\; \{red\}\; \{\backslash \; frac\; \{161\}\; \{72\}\}\},\; \{\backslash \; frac\; \{360\}\; \{161\}\},\; \{\backslash \; frac\; \{521\}\; \{\; 233\}\},\; \{\backslash \; color\; \{red\}\; \{\backslash \; frac\; \{682\}\; \{305\}\}\},\; \{\backslash \; frac\; \{2207\}\; \{987\}\},\; \{\backslash \; color\; \{red\}\; \{\backslash \; frac\; \{2889\}\; \{1292\}\}\},\; \backslash \; dots\}$

Преобразователи в непрерывную дробь окрашены в красный цвет; их числители - 2, 9, 38, 161,... (последовательность A001077 в OEIS ), а их знаменатели - 1, 4, 17, 72,... (последовательность A001076 в OEIS ).

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

Вавилонский метод

Когда √5 вычисляется с помощью Вавилонского метода, начиная с r 0 = 2 и используя r n + 1 = 1/2 (r n + 5 / r n), n-е приближение r n равно 2-й сходящейся дробной части последовательность:

$2\; 1\; =\; 2,0,\; 9\; 4\; =\; 2,25,\; 161\; 72\; =\; 2,23611\dots ,\; 51841\; 23184\; =\; 2,2360679779\dots \; \{\backslash \; displaystyle\; \{\backslash \; frac\; \{2\}\; \{1\}\}\; =\; 2,0,\; \backslash \; quad\; \{\backslash \; frac\; \{9\}\; \{4\}\}\; =\; 2,25,\; \backslash \; quad\; \{\backslash \; frac\; \{161\}\; \{72\}\}\; =\; 2,23611\; \backslash \; точек,\; \backslash \; quad\; \{\backslash \; frac\; \{51841\}\; \{23184\}\}\; =\; 2,2360679779\; \backslash \; ldots\}$

вложенные квадратные разложения

Следующие вложенные квадратные выражения сходятся к $5\; \{\backslash \; displaystyle\; \{\backslash \; sqrt\; \{5\}\}\}$:

$5\; =\; 3–10\; (1\; 5\; +\; (1\; 5\; +\; (1\; 5\; +\; (1\; 5\; +\; \cdots )\; 2)\; 2)\; 2)\; 2\; =\; 9\; 4\; -\; 4\; (1\; 16\; -\; (1\; 16\; -\; (1\; 16\; -\; (1\; 16\; -\; \cdots )\; 2)\; 2)\; 2)\; 2\; =\; 9\; 4\; -\; 5\; (1\; 20\; +\; (1\; 20\; +\; (1\; 20\; +\; (1\; 20\; +\; \cdots )\; 2)\; 2)\; 2)\; 2\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{align\}\; \{\backslash \; sqrt\; \{5\}\}\; =\; 3-10\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{5\; \}\}\; +\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{5\}\}\; +\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{5\}\}\; +\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{5\}\}\; +\; \backslash \; cdots\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\; \}\; \backslash \backslash \; =\; \{\backslash \; frac\; \{9\}\; \{4\}\}\; -\; 4\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{16\}\}\; -\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{16\}\}\; -\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{16\}\}\; -\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{16\}\}\; -\; \backslash \; cdots\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \backslash \; =\; \{\backslash \; frac\; \{9\}\; \{4\}\}\; -\; 5\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{20\}\}\; +\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{20\}\}\; +\; \backslash \; left\; (\; \{\backslash \; frac\; \{1\}\; \{20\}\}\; +\; \backslash \; left\; (\{\backslash \; frac\; \{1\}\; \{20\}\}\; +\; \backslash \; cdots\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; right)\; ^\; \{2\}\; \backslash \; end\; \{align\}\}\}$

Связь с золотым сечением и числами Фибоначчи

Диагональ √5 / 2 полуквадрата образует основу для геометрического построения золотого прямоугольника..

Золотое сечение φ - это среднее арифметическое из 1 и √5. алгебраическое соотношение между √5, золотым сечением и , сопряженным с золотым сечением (Φ = –1 / φ = 1 - φ), выражается в следующих формулах:

$5\; =\; \phi \; -\; \Phi \; =\; 2\; \phi \; -\; 1\; =\; 1-2\; \Phi \; \phi \; =\; 1\; +\; 5\; 2\; \Phi \; =\; 1-5\; 2.\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{align\}\; \{\backslash \; sqrt\; \{5\}\}\; =\; \backslash \; varphi\; -\; \backslash \; Phi\; =\; 2\; \backslash \; varphi\; -1\; =\; 1-2\; \backslash \; Phi\; \backslash \backslash \; [5pt]\; \backslash \; varphi\; =\; \{\backslash \; frac\; \{1+\; \{\backslash \; sqrt\; \{5\}\}\}\; \{2\}\}\; \backslash \backslash \; [5pt]\; \backslash \; Phi\; =\; \{\backslash \; frac\; \{1\; -\; \{\backslash \; sqrt\; \{5\}\}\}\; \{2\}\}.\; \backslash \; end\; \{align\}\}\}$

(См. Раздел ниже для их геометрической интерпретации как разложения прямоугольника √5.)

√5 затем естественным образом фигурирует в выражении замкнутой формы для чисел Фибоначчи, формулы, которая обычно имеет вид записано в терминах золотого сечения:

$F\; (n)\; =\; \phi \; n\; -\; (1\; -\; \phi )\; n\; 5.\; \{\backslash \; displaystyle\; F\; (n)\; =\; \{\backslash \; frac\; \{\backslash \; varphi\; ^\; \{n\}\; -\; (1-\; \backslash \; varphi)\; ^\; \{n\}\}\; \{\backslash \; sqrt\; \{5\}\}\}.\}$

Частное от √5 и φ (или произведение √5 и Φ) и обратная величина дают интересный образец непрерывных дробей и связаны с соотношениями между числами Фибоначчи и числами Люка :

$5\; \phi \; =\; \Phi \; \cdot \; 5\; =\; 5\; -\; 5\; 2\; =\; 1,3819660112501051518\dots \; =\; [1;\; 2,\; 1,\; 1,\; 1,\; 1,\; 1,\; 1,\; 1,\dots ]\; \phi \; 5\; =\; 1\; \Phi \; \cdot \; 5\; =\; 5\; +\; 5\; 10\; =\; 0,72360679774997896964\dots \; =\; [0;\; 1,\; 2,\; 1,\; 1,\; 1,\; 1,\; 1,\; 1,\dots ].\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{align\}\; \{\backslash \; frac\; \{\backslash \; sqrt\; \{5\}\}\; \{\backslash \; varphi\}\}\; =\; \backslash \; Phi\; \backslash \; cdot\; \{\backslash \; sqrt\; \{5\}\}\; =\; \{\backslash \; frac\; \{5\; -\; \{\backslash \; sqrt\; \{5\}\}\; \}\; \{2\}\}\; =\; 1.3819660112501051518\; \backslash \; dots\; \backslash \backslash \; =\; [1;\; 2,1,1,1,1,1,1,1,\; \backslash \; ldots]\; \backslash \backslash \; [5pt]\; \{\backslash \; frac\; \{\backslash \; varphi\}\; \{\backslash \; sqrt\; \{5\}\}\}\; =\; \{\backslash \; frac\; \{1\}\; \{\backslash \; Phi\; \backslash \; cdot\; \{\backslash \; sqrt\; \{5\}\}\}\}\; =\; \{\backslash \; frac\; \{5\; +\; \{\backslash \; sqrt\; \{5\}\}\}\; \{10\}\}\; =\; 0,72360679774997896964\; \backslash \; ldots\; \backslash \backslash \; =\; [0;\; 1,2,1,1,1,1,1,1,\; \backslash \; ldots].\; \backslash \; end\; \{align\}\}\}$

Ряды сходящихся к этим значениям представляют собой ряды Фибоначчи числа и серии чисел Люка в качестве числителей и знаменателей, и наоборот, соответственно:

$1,\; 3\; 2,\; 4\; 3,\; 7\; 5,\; 11\; 8,\; 18\; 13,\; 29\; 21,\; 47\; 34,\; 76\; 55,\; 123\; 89,\dots \dots \; [1;\; 2,\; 1,\; 1,\; 1,\; 1,\; 1,\; 1,\; 1,\dots ]\; 1,\; 2\; 3,\; 3\; 4,\; 5\; 7,\; 8\; 11,\; 13\; 18,\; 21\; 29,\; 34\; 47,\; 55\; 76,\; 89\; 123,\dots \dots \; [\; 0;\; 1,\; 2,\; 1,\; 1,\; 1,\; 1,\; 1,\; 1,\dots ].\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{align\}\; \{1,\; \{\backslash \; frac\; \{3\}\; \{2\}\},\; \{\backslash \; frac\; \{4\}\; \{3\}\},\; \{\backslash \; frac\; \{7\}\; \{5\}\},\; \{\backslash \; frac\; \{\; 11\}\; \{8\}\},\; \{\backslash \; frac\; \{18\}\; \{13\}\},\; \{\backslash \; frac\; \{29\}\; \{21\}\},\; \{\backslash \; frac\; \{47\}\; \{34\}\},\; \{\backslash \; frac\; \{76\}\; \{55\}\},\; \{\backslash \; frac\; \{123\}\; \{89\}\}\},\; \backslash \; ldots\; \backslash \; ldots\; [1;\; 2,1,1,1,1,1,1,1,\; \backslash \; ldots]\; \backslash \backslash \; [8pt]\; \{1,\; \{\backslash \; frac\; \{2\}\; \{3\}\},\; \{\backslash \; frac\; \{3\}\; \{4\}\},\; \{\backslash \; frac\; \{5\}\; \{7\}\},\; \{\backslash \; frac\; \{8\}\; \{11\}\},\; \{\backslash \; frac\; \{13\}\; \{18\; \}\},\; \{\backslash \; frac\; \{21\}\; \{29\}\},\; \{\backslash \; frac\; \{34\}\; \{47\}\},\; \{\backslash \; frac\; \{55\}\; \{76\}\},\; \{\backslash \; frac\; \{89\}\; \{123\}\}\},\; \backslash \; dots\; \backslash \; dots\; [0;\; 1,2,1,1,1,1,1,1,\; \backslash \; dots].\; \backslash \; end\; \{align\}\}\}$

Геометрия

треугольник Конвея разложение на гомотетические меньшие треугольники.

Геометрически, √5 соответствует диагонали прямоугольника , стороны которого имеют длину 1 и 2, как следует из теоремы Пифагора. Такой прямоугольник можно получить, разделив пополам квадрат или поместив два равных квадрата рядом. Вместе с алгебраическим соотношением между √5 и φ, это формирует основу для геометрического построения золотого прямоугольника из квадрата и для построения правильного пятиугольника с учетом его стороны. (поскольку отношение сторон правильного пятиугольника к диагонали равно φ).

Образуя двугранный прямой угол с двумя равными квадратами, которые делят пополам прямоугольник 1: 2, можно увидеть, что √5 также соответствует соотношению между длина куба ребра и кратчайшее расстояние от одной из его вершин до противоположной при прохождении поверхности куба (кратчайшее расстояние при прохождении через внутри куба соответствует длине диагонали куба, которая является квадратным корнем из трех, умноженных на ребро).

Число √5 может быть алгебраически и геометрически связано с √2 и √3, поскольку это длина гипотенузы прямоугольного треугольника с катетами, измеряющими √2 и √3 (опять же, теорема Пифагора доказывает это). Прямоугольники таких пропорций могут быть найдены внутри куба: стороны любого треугольника, определяемого точкой center куба, одной из его вершин и средней точкой стороны, расположенной на одной из граней, содержащих эта вершина и противоположная ей вершина находятся в соотношении √2: √3: √5. Это следует из геометрических соотношений между кубом и величинами √2 (отношение ребер к диагонали, или расстояние между противоположными ребрами), √3 (отношение ребер к диагонали куба) и √5 (отношение просто упомянутое выше).

Прямоугольник с пропорциями сторон 1: √5 называется прямоугольником из пяти корней и является частью серии корневых прямоугольников, подмножества динамических прямоугольников, основанных на √1 (= 1), √2, √3, √4 (= 2), √5… и последовательно построены с использованием диагонали предыдущего корневого прямоугольника, начиная с квадрата. Прямоугольник корня 5 особенно примечателен тем, что его можно разделить на квадрат и два равных золотых прямоугольника (размером Φ × 1) или на два золотых прямоугольника разных размеров (размером Φ × 1 и 1 × φ). Его также можно разложить как объединение двух равных золотых прямоугольников (размером 1 × φ), пересечение которых образует квадрат. Все это можно рассматривать как геометрическую интерпретацию алгебраических соотношений между √5, φ и Φ, упомянутых выше. Прямоугольник корень-5 может быть построен из прямоугольника 1: 2 (прямоугольник корень-4) или непосредственно из квадрата аналогично тому, как это сделано для золотого прямоугольника, показанного на иллюстрации, но с продолжением дуги длины √ 5/2 в обе стороны.

Тригонометрия

Подобно √2 и √3, квадратный корень из 5 широко используется в формулах для точных тригонометрических констант, включая синусы и косинусы каждого угла чья мера в градусах делится на 3, но не на 15. Простейшие из них:

$sin\; \; \pi \; 10\; =\; sin\; \; 18\; \circ \; =\; 1\; 4\; (5\; -\; 1)\; =\; 1\; 5\; +\; 1,\; sin\; \; \pi \; 5\; =\; sin\; \; 36\; \circ \; =\; 1\; 4\; 2\; (5-5),\; sin\; \; 3\; \pi \; 10\; =\; sin\; \; 54\; \circ \; =\; 1\; 4\; (5\; +\; 1)\; =\; 1\; 5-1,\; sin\; \; 2\; \pi \; 5\; =\; sin\; \; 72\; \circ \; =\; 1\; 4\; 2\; (5\; +\; 5).\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{align\}\; \backslash \; sin\; \{\backslash \; frac\; \{\backslash \; pi\}\; \{10\}\}\; =\; \backslash \; sin\; 18\; ^\; \{\backslash \; circ\}\; =\; \{\backslash \; tfrac\; \{1\}\; \{4\}\}\; (\{\backslash \; sqrt\; \{5\}\; \}\; -1)\; =\; \{\backslash \; frac\; \{1\}\; \{\{\backslash \; sqrt\; \{5\}\}\; +\; 1\}\},\; \backslash \backslash \; [5pt]\; \backslash \; sin\; \{\backslash \; frac\; \{\backslash \; pi\}\; \{5\}\}\; =\; \backslash \; sin\; 36\; ^\; \{\backslash \; circ\; \}\; =\; \{\backslash \; tfrac\; \{1\}\; \{4\}\}\; \{\backslash \; sqrt\; \{2\; (5\; -\; \{\backslash \; sqrt\; \{5\}\})\}\},\; \backslash \backslash \; [5pt]\; \backslash \; sin\; \{\backslash \; frac\; \{3\; \backslash \; pi\}\; \{10\}\; \}\; =\; \backslash \; sin\; 54\; ^\; \{\backslash \; circ\}\; =\; \{\backslash \; tfrac\; \{1\}\; \{4\}\}\; (\{\backslash \; sqrt\; \{5\}\}\; +\; 1)\; =\; \{\backslash \; frac\; \{1\}\; \{\{\backslash \; sqrt\; \{5\}\}\; -\; 1\; \}\},\; \backslash \backslash \; [5pt]\; \backslash \; sin\; \{\backslash \; frac\; \{2\; \backslash \; pi\}\; \{5\}\}\; =\; \backslash \; sin\; 72\; ^\; \{\backslash \; circ\}\; =\; \{\backslash \; tfrac\; \{1\}\; \{4\}\}\; \{\backslash \; sqrt\; \{2\; (5\; +\; \{\backslash \; sqrt\; \{5\}\})\}\}\; \backslash ,.\; \backslash \; end\; \{align\}\}\}$

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

диофантовых приближений

Теорема Гурвица в диофантовых приближениях утверждает, что каждое иррациональное число x может быть аппроксимировано бесконечным числом рациональных чисел m / n в самые низкие термины таким образом, что

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

С этим тесно связано Теорема, что из любых трех последовательных сходящихся pi/qi, p i + 1 / q i + 1, p i + 2 / q i + 2, для числа α выполняется хотя бы одно из трех неравенств:

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

Алгебра

Кольцо ℤ [√ − 5] содержит числа образуют a + b√ − 5, где a и b - целые числа, а √ − 5 - мнимое число i√5. Это кольцо является часто цитируемым примером целостной области, которая не является уникальной областью факторизации. Число 6 имеет две неэквивалентные факторизации внутри этого кольца:

$6\; =\; 2\; \cdot \; 3\; =\; (1\; -\; -\; 5)\; (1\; +\; -\; 5).\; \{\backslash \; displaystyle\; 6\; =\; 2\; \backslash \; cdot\; 3\; =\; (1\; -\; \{\backslash \; sqrt\; \{-5\}\})\; (1\; +\; \{\backslash \; sqrt\; \{-5\}\}).\; \backslash ,\}$

Поле ℚ [√ − 5], как и любое другое квадратичное поле, является абелевым расширением рациональных чисел. Теорема Кронекера – Вебера поэтому гарантирует, что квадратный корень из пяти может быть записан как рациональная линейная комбинация корней из единицы :

$5\; =\; e\; 2\; \pi \; 5\; i\; -\; e\; 4\; \pi \; 5\; i\; -\; е\; 6\; \pi \; 5\; я\; +\; е\; 8\; \pi \; 5\; я.\; \{\backslash \; displaystyle\; \{\backslash \; sqrt\; \{5\}\}\; =\; e\; ^\; \{\{\backslash \; frac\; \{2\; \backslash \; pi\}\; \{5\}\}\; i\}\; -e\; ^\; \{\{\backslash \; frac\; \{4\; \backslash \; pi\}\; \{5\}\}\; i\}\; -e\; ^\; \{\; \{\backslash \; frac\; \{6\; \backslash \; pi\}\; \{5\}\}\; i\}\; +\; e\; ^\; \{\{\backslash \; frac\; \{8\; \backslash \; pi\}\; \{5\}\}\; i\}.\; \backslash ,\}$

Личности Рамануджана

Квадрат корень 5 появляется в различных тождествах, обнаруженных Шринивасой Рамануджаном с участием цепных дробей.

. Например, этот случай цепной дроби Роджерса – Рамануджана :

$1\; 1\; +\; e\; -\; 2\; \pi \; 1\; +\; e\; -\; 4\; \pi \; 1\; +\; e\; -\; 6\; \pi \; 1\; +\; \ddots \; =\; (5\; +\; 5\; 2-5\; +\; 1\; 2)\; e\; 2\; \pi \; 5\; =\; e\; 2\; \pi \; 5\; (\phi \; 5\; -\; \phi ).\; \{\backslash \; Displaystyle\; \{\backslash \; cfrac\; \{1\}\; \{1\; +\; \{\backslash \; cfrac\; \{e\; ^\; \{-\; 2\; \backslash \; pi\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{e\; ^\; \{-\; 4\; \backslash \; pi\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{e\; ^)\; \{-6\; \backslash \; pi\}\}\; \{1+\; \backslash \; ddots\}\}\}\}\}\}\}\; =\; \backslash \; left\; (\{\backslash \; sqrt\; \{\backslash \; frac\; \{5\; +\; \{\backslash \; sqrt\; \{5\}\}\}\; \{2\}\}\}\; -\; \{\backslash \; frac\; \{\{\backslash \; sqrt\; \{5\}\}\; +\; 1\}\; \{2\}\}\; \backslash \; right)\; e\; ^\; \{\backslash \; frac\; \{2\; \backslash \; pi\}\; \{5\}\}\; =\; e\; ^\; \{\backslash \; frac\; \{2\; \backslash \; pi\}\; \{5\}\}\; \backslash \; left\; (\; \{\backslash \; sqrt\; \{\backslash \; varphi\; \{\backslash \; sqrt\; \{5\}\}\}\}\; -\; \backslash \; varphi\; \backslash \; right).\}$

.

$1\; 1\; +\; e\; -\; 2\; \pi \; 5\; 1\; +\; e\; -\; 4\; \pi \; 5\; 1\; +\; e\; -\; 6\; \pi \; 5\; 1\; +\; \ddots \; знак\; равно\; (5\; 1\; +\; 5\; 3\; 4\; (\phi \; -\; 1)\; 5\; 2\; -\; 1\; 5\; -\; \phi )\; е\; 2\; \pi \; 5.\; \{\backslash \; displaystyle\; \{\backslash \; cfrac\; \{1\}\; \{1\; +\; \{\backslash \; cfrac\; \{e\; ^\; \{-\; 2\; \backslash \; pi\; \{\backslash \; sqrt\; \{5\}\}\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{e\; ^\; \{-\; 4\; \backslash \; pi\; \{\backslash \; sqrt\; \{)\; 5\}\}\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{e\; ^\; \{-\; 6\; \backslash \; pi\; \{\backslash \; sqrt\; \{5\}\}\}\}\; \{1+\; \backslash \; ddots\}\}\}\}\}\}\}\}\; =\; \backslash \; left\; (\{\{\backslash \; sqrt\; \{\; 5\}\}\; \backslash \; over\; 1\; +\; \{\backslash \; sqrt\; [\{5\}]\; \{5\; ^\; \{\backslash \; frac\; \{3\}\; \{4\}\}\; (\backslash \; varphi\; -1)\; ^\; \{\backslash \; frac\; \{5\}\; \{2\}\}\; -\; 1\}\}\}\; -\; \backslash \; varphi\; \backslash \; right)\; e\; ^\; \{\backslash \; frac\; \{2\; \backslash \; pi\}\; \{\backslash \; sqrt\; \{5\}\}\}.\}$

.

$4\; \int \; 0\; \infty \; xe\; -\; x\; 5\; ch\; \; xdx\; =\; 1\; 1\; +\; 1\; 2\; 1\; +\; 1\; 2\; 1\; +\; 2\; 2\; 1\; +\; 2\; 2\; 1\; +\; 3\; 2\; 1\; +\; 3\; 2\; 1\; +\; \ddots .\; \{\backslash \; displaystyle\; 4\; \backslash \; int\; \_\; \{0\}\; ^\; \{\backslash \; infty\}\; \{\backslash \; frac\; \{xe\; ^\; \{-\; x\; \{\backslash \; sqrt\; \{5\}\}\}\}\; \{\backslash \; cosh\; x\}\}\; \backslash ,\; dx\; =\; \{\backslash \; cfrac\; \{1\}\; \{\; 1\; +\; \{\backslash \; cfrac\; \{1\; ^\; \{2\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{1\; ^\; \{2\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{2\; ^\; \{2\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{2\; ^\; \{2\}\}\; \}\; \{1\; +\; \{\backslash \; cfrac\; \{3\; ^\; \{2\}\}\; \{1\; +\; \{\backslash \; cfrac\; \{3\; ^\; \{2\}\}\; \{1+\; \backslash \; ddots\}\}\}\}\}\}\}\}\}\}\}\}\}\}.\}$

См. Также

• Золотое сечение
• Квадратный корень
• Квадратный корень из 2
• Квадратный корень из 3

Ссылки