5的算術平方根
| 无理数 √2 - φ - √3 - √5 - δS - e - π |
|
| 二进制 | 10.0011110001101111... |
| 十进制 | 2.23606797749978969... |
| 十六进制 | 2.3C6EF372FE94F82C... |
| 连续分数 | ![]() |
5的算術平方根是一个正的实数,為无理数[1],一般称为“根号5”,记为
。
乘以它本身的值为5。
和黃金比值有關。5的算术平方根數值为:
2.23606 79774 99789 69640 91736 68731 27623 54406 18359 61152 57242 7089 ... (OEIS中的数列A002163)
可以四捨五入為2.236,有99.99%的準確度。截至1994年4月,其数值在小数点后已计算到至少100万个位数[2]。
目录 |
連分數表示法[编辑]
可以表示為連分數[2; 4, 4, 4, 4, 4...] (OEIS中的数列A040002)。最佳有理数逼近的數列如下:
綠色的數字是
的連分數的渐近分数,其分子為數列A001077,而分母則為數列A001076。其他黑色的數字則是半收斂的部份。
牛頓法[编辑]
可以利用牛頓法計算
,利用rn+1 = (rn + 5/rn) / 2的公式,啟始值r0 = 2,第n個近似值rn等於最佳有理数逼近數列中第2n個收斂的有理數:
和黃金比例及費氏數列的關係[编辑]
黃金比例
是
和1的算术平均數[3]。
、黃金比例和共軛黃金比例(
)之間的代數關係可以用以下幾個數學式來表示:
斐波那契数列也可以用包括
及黃金比例的式子來表示:
除以
得到的商(或
和Φ的積)及其倒數的連分數有特別的模式,而且和費氏數列及盧卡斯數的比值有關[4]:
其有理數逼近的數列,分子及分母分別為費氏數列及盧卡斯數:
幾何上的意義[编辑]
在幾何學上,利用勾股定理可以證明長為2、宽为1的長方形,其對角線长度為
。將一個正方形切成二等份或將二個正方形併在一起都可以產生上述的長方形。
以上的作法配合
及黃金比例
之間的代數關係,可以繪製黃金矩形,而一個正五邊形的對角線和邊長的比例也恰為黃金比例,因此也可在已知邊長的條件下,繪製正五邊形。
一個長寬比例為1:
的長方形稱做「根号5矩形」,是根矩形的一種,屬於動態矩形(dynamic rectangle)的一類。動態矩形是一系列的矩形,由一個正方形開始,以前一個矩形的對角線為下一個矩形的長邊,因此長邊依序為√1 (= 1), √2, √3, √4 (= 2), √5...[5]。
根号5矩形之所以特別,是因為可以分割成一個正方形及二個大小相同的黃金矩形(二邊長為Φ × 1),或是二個大小不同的黃金矩形(二邊長分別為Φ × 1及1 × φ)[6]。也可以變成二個大小相同、有重疊部份的黃金矩形(二邊長為
),其重疊部份恰好形成一個正方形。上述的特性都是因為
,
及
之間的代數關係所產生。
和丟番圖逼近的關係[编辑]
丟番圖逼近中的Hurwitz定理(Hurwitz's theorem)說明每個無理數x可以被無窮多個有理數的最簡分數m/n近似,且滿足以下的不等式
- 解析失败 (未知函数 '\lt'): \left|x - \frac{m}{n}\right| \lt \frac{1}{\sqrt{5}\,n^2}
此處的
是最佳可能的常數,若選擇其他較
大的常數,就會存在一些無理數x,只存在有限多個滿足上述不等式的有理數最簡分式[7]。
另一個定理也和上述定理有關[8],任意三個針對無理數α的連續收斂有理數逼近 pi/qi, pi+1/qi+1, pi+2/qi+2, 以下的不等式至少會有一個成立:
- 解析失败 (未知函数 '\lt'): \left|\alpha - {p_i\over q_i}\right| \lt {1\over \sqrt5 q_i^2}, \qquad \left|\alpha - {p_{i+1}\over q_{i+1}}\right| \lt {1\over \sqrt5 q_{i+1}^2}, \qquad \left|\alpha - {p_{i+2}\over q_{i+2}}\right| \lt {1\over \sqrt5 q_{i+2}^2}.
而分母的
也是最佳可能的常數,在逼近黃金比例時,此常數可以使左側的差值任意的逼近右側的數值。即使考慮四個或更多個連續的有理數逼近,也無法找到其他常數,可以使上界數值更小且滿足類似條件[8]。
抽象代數中的意義[编辑]
環
中的數均可表示為
的形式,其中a和b為整數,而
為虛數
。此環是一個整環,但不是唯一分解整環。例如在此環中,6的質因數分解方式就有二種:
代數數域
和其他二次域一様,都是有理數的代数扩张,因此依克罗内克-韦伯定理(Kronecker–Weber theorem)可證明5的平方根可以表示為單位根的有理線性組合:
拉马努金的恆等式[编辑]
數學家拉马努金發現的許多連分數恆等式都和
有關[9][10]。
例如以下的羅傑·拉馬努金連分數(Rogers–Ramanujan continued fraction):
参见[编辑]
参考資料[编辑]
- ^ Dauben, Joseph W. (June 1983) Scientific American Georg Cantor and the origins of transfinite set theory. Volume 248; Page 122.
- ^ R. Nemiroff and J. Bonnell: The first 1 million digits of the square root of 5
- ^ Browne, Malcolm W. (July 30, 1985) New York Times Puzzling Crystals Plunge Scientists into Uncertainty. Section: C; Page 1.
- ^ Richard K. Guy: "The Strong Law of Small Numbers". American Mathematical Monthly, vol. 95, 1988, pp. 675–712
- ^ Kimberly Elam, Geometry of Design: Studies in Proportion and Composition, New York: Princeton Architectural Press. 2001, ISBN 1568982496
- ^ Jay Hambidge, The Elements of Dynamic Symmetry, Courier Dover Publications. 1967, ISBN 0486217760
- ^ LeVeque, William Judson, Topics in number theory, Addison-Wesley Publishing Co., Inc., Reading, Mass.. 1956, MR0080682
- ^ 8.0 8.1 Khinchin, Aleksandr Yakovlevich, Continued Fractions, University of Chicago Press, Chicago and London. 1964
- ^ Ramanathan, K. G., On the Rogers-Ramanujan continued fraction, Indian Academy of Sciences. Proceedings. Mathematical Sciences. 1984, 93 (2): 67–77, doi:10.1007/BF02840651, MR813071, ISSN 0253-4142
- ^ Eric W. Weisstein, Ramanujan Continued Fractions at MathWorld







![\frac{\sqrt{5}}{\varphi} = \Phi \cdot \sqrt{5} = \frac{5 - \sqrt{5}}{2} = 1.3819660112501051518\dots = [1; 2, 1, 1, 1, 1, 1, 1, 1, \dots]](http://upload.wikimedia.org/math/c/1/4/c14f86c8b0ae771e9a0dcf49a9562cea.png)
![\frac{\varphi}{\sqrt{5}} = \frac{1}{\Phi \cdot \sqrt{5}} = \frac{5 + \sqrt{5}}{10} = 0.72360679774997896964\dots = [0; 1, 2, 1, 1, 1, 1, 1, 1, \dots].](http://upload.wikimedia.org/math/c/0/7/c07d14fea40b1ff7ae0ce1caa579334b.png)
![{1, \frac{3}{2}, \frac{4}{3}, \frac{7}{5}, \frac{11}{8}, \frac{18}{13}, \frac{29}{21}, \frac{47}{34}, \frac{76}{55}, \frac{123}{89}}, \dots \dots [1; 2, 1, 1, 1, 1, 1, 1, 1, \dots]](http://upload.wikimedia.org/math/4/4/6/4465dd8f0149f342c4b0820eebc7c54d.png)
![{1, \frac{2}{3}, \frac{3}{4}, \frac{5}{7}, \frac{8}{11}, \frac{13}{18}, \frac{21}{29}, \frac{34}{47}, \frac{55}{76}, \frac{89}{123}}, \dots \dots [0; 1, 2, 1, 1, 1, 1, 1, 1,\dots].](http://upload.wikimedia.org/math/9/a/f/9af3008be2ec16b96360772896c2f4db.png)
和
,其


![\cfrac{1}{1 + \cfrac{e^{-2\pi\sqrt{5}}}{1 + \cfrac{e^{-4\pi\sqrt{5}}}{1 + \cfrac{e^{-6\pi\sqrt{5}}}{1 + \ddots}}}}
= \left( {\sqrt{5} \over 1 + \left[5^{3/4}(\varphi - 1)^{5/2} - 1\right]^{1/5}} - \varphi \right)e^{2\pi/\sqrt{5}}.](http://upload.wikimedia.org/math/b/d/8/bd89b17e0b48fbb7c68e7726a2144a04.png)
