5的算術平方根

来自testwiki
跳转到导航 跳转到搜索

Template:NoteTA

{{#invoke:TemplateVariadicArgumentSingle|build_template |_core_template=Template:Infobox number/core |_core_args=lang |_core_insert_code= | lang$ = {{{lang$|}}} | lang$ symbol = {{{lang$ symbol|}}} }} 5的算術平方根是一个正的实数,為无理数[1],一般称为“根号5”,记为 55乘以它本身的值为5

5黃金比值有關。5的算术平方根數值为:

Template:FractionalGaps Template:OEIS

可以四捨五入為2.236,有99.99%的準確度。截至1994年4月,其数值在小数点后已计算到至少100万个位数[2]

連分數表示法

5可以表示為連分數[2; 4, 4, 4, 4, 4...] Template:OEIS最佳有理数逼近的數列如下:

21,73,94,209,2913,3817,12355,16172,360161,521233,682305,2207987,28891292,

綠色的數字是5的連分數的渐近分数,其分子為數列Template:OEIS2C,而分母則為數列Template:OEIS2C。其他黑色的數字則是半收斂的部份。

牛頓法

可以利用牛頓法計算5,利用rn+1=rn+5rn2的公式,啟始值r0=2,第n個近似值rn等於最佳有理数逼近數列中第2n個收斂的有理數:

21=2.0,94=2.25,16172=2.23611,5184123184=2.2360679779

和黃金比例及費氏數列的關係

邊長為1正方形的一半,形成的長方形對角線長為Template:Serif,此特性可用在黃金矩形的繪製

黃金比例φ5 和1的算术平均數[3]5 、黃金比例和共軛黃金比例Φ=1/φ=φ1)之間的代數關係可以用以下幾個數學式來表示:

5=φ+Φ=2φ1=2Φ+1
φ=5+12
Φ=512.

斐波那契数列也可以用包括5及黃金比例的式子來表示:

F(n)=φn(1φ)n5.

5 除以φ得到的商(或5和Φ的積)及其倒數的連分數有特別的模式,而且和費氏數列及盧卡斯數的比值有關[4]

5φ=Φ5=552=1.3819660112501051518=[1;2,1,1,1,1,1,1,1,]
φ5=1Φ5=5+510=0.72360679774997896964=[0;1,2,1,1,1,1,1,1,].

其有理數逼近的數列,分子及分母分別為費氏數列及盧卡斯數:

1,32,43,75,118,1813,2921,4734,7655,12389,[1;2,1,1,1,1,1,1,1,]
1,23,34,57,811,1318,2129,3447,5576,89123,[0;1,2,1,1,1,1,1,1,].

幾何上的意義

幾何學上,利用勾股定理可以證明長為2、宽为1的長方形,其對角線长度為5。將一個正方形切成二等份或將二個正方形併在一起都可以產生上述的長方形。

以上的作法配合5及黃金比例φ之間的代數關係,可以繪製黃金矩形,而一個正五邊形的對角線和邊長的比例也恰為黃金比例,因此也可在已知邊長的條件下,繪製正五邊形。

若一直角三角形直角邊分別為23,其斜邊長度則為5

一個長寬比例為1:5的長方形稱做「根号5矩形」,是根矩形的一種,屬於Template:Le的一類。動態矩形是一系列的矩形,由一個正方形開始,以前一個矩形的對角線為下一個矩形的長邊,因此長邊依序為1 (= 1), 2, 3, 4 (= 2), 5...[5]

根号5矩形之所以特別,是因為可以分割成一個正方形及二個大小相同的黃金矩形(二邊長為Φ×1),或是二個大小不同的黃金矩形(二邊長分別為Φ×11×φ[6]。也可以變成二個大小相同、有重疊部份的黃金矩形(二邊長為1×φ),其重疊部份恰好形成一個正方形。上述的特性都是因為5, φΦ之間的代數關係所產生。

和丟番圖逼近的關係

丟番圖逼近中的Template:Le說明每個無理數x可以被無窮多個有理數最簡分數m/n近似,且滿足以下的不等式

|xmn|<15n2

此處的5是最佳可能的常數,若選擇其他較5大的常數,就會存在一些無理數x,只存在有限多個滿足上述不等式的有理數最簡分式[7]

另一個定理也和上述定理有關[8],任意三個針對無理數α的連續收斂有理數逼近 piqi, pi+1qi+1, pi+2qi+2, 以下的不等式至少會有一個成立:

|αpiqi|<15qi2,|αpi+1qi+1|<15qi+12,|αpi+2qi+2|<15qi+22.

而分母的5也是最佳可能的常數,在逼近黃金比例時,此常數可以使左側的差值任意的逼近右側的數值。即使考慮四個或更多個連續的有理數逼近,也無法找到其他常數,可以使上界數值更小且滿足類似條件[8]

抽象代數中的意義

[5]中的數均可表示為a+b5的形式,其中ab整數,而5虛數i5。此環是一個整環,但不是唯一分解整環。例如在此環中,6的質因數分解方式就有二種:

6=23=(15)(1+5).

代數數域 [5]和其他二次域一様,都是有理數的代数扩张,因此依Template:Le可證明5的平方根可以表示為單位根的有理線性組合:

5=e2πi5e4πi5e6πi5+e8πi5.

拉马努金的恆等式

數學家拉马努金發現的許多連分數恆等式都和5有關[9][10]

例如以下的Template:Le

11+e2π1+e4π1+e6π1+=(5+525+12)e2π5=e2π5(φ5φ)


11+e2π51+e4π51+e6π51+=(51+[534(φ1)521]15φ)e2π5


40xex5coshxdx=11+121+121+221+221+321+321+.

参见

註釋

Template:NoteGF

参考資料

Template:Reflist

Template:無理數導航 Template:代數數

  1. Dauben, Joseph W. (June 1983) Scientific American Georg Cantor and the origins of transfinite set theory. Volume 248; Page 122.
  2. R. Nemiroff and J. Bonnell: The first 1 million digits of the square root of 5 Template:Wayback
  3. Browne, Malcolm W. (July 30, 1985) New York Times Puzzling Crystals Plunge Scientists into Uncertainty. Section: C; Page 1.
  4. Richard K. Guy: "The Strong Law of Small Numbers". American Mathematical Monthly, vol. 95, 1988, pp. 675–712
  5. Template:Citation
  6. Template:Citation
  7. Template:Citation
  8. 8.0 8.1 Template:Citation
  9. Template:Citation
  10. Template:Citation at MathWorld