5的主平方根

5的平方根

5的平方根
數表—無理數 <math>\color{blue}\sqrt{2}</math> - <math>\color{blue}\varphi</math> - <math>\color{blue}\sqrt{3}</math> - <math>\color{blue}\sqrt{5}</math> - <math>\color{blue}\delta_S</math> - <math>\color{blue}e</math> - <math>\color{blue}\pi</math>
命名
名稱	5的算術平方根 5的主平方根 根號5
識別
種類	無理數
符號	<math>\sqrt{5}</math>
位數數列編號	OEIS A002163
性質
連分數	<math>2 + \cfrac{1}{4 + \cfrac{1}{4 + \cfrac{1}{4 + \cfrac{1}{4 + \ddots
以此為根的多項式或函數	<math>x^{2}-5 = 0</math>
表示方式
值	<math>\sqrt{5}\approx</math>2.236067977...

}}</math>}}</math>，

由觀察可知<math>x=4+\frac{1}{x}</math>，即<math>x^2-4x-1=0</math>， 解方程，取正根，得<math>x=2+\sqrt{5}</math>， 因此<math>\sqrt{5}=x-2= 2 + \cfrac{1}{4 + \cfrac{1}{4 + \cfrac{1}{4 + \cfrac{1}{\ddots}}}}</math>。}}

| basedata = 二進制10.001111000110111011110011…十進制2.236067977499789696409173…十六進制2.3C6EF372FE94F82BE73980C0…

}} 5的主平方根是一個正的實數，為無理數，一般稱為「根號5」，記為 <math>\sqrt{5}</math>。<math>\sqrt{5}</math>乘以它本身的值為5。

<math>\sqrt{5}</math>和黃金比值有關。5的主平方根數值為：

2.236067977499789696409173668731276235440618359611525724270897… （OEIS數列A002163）

可以四捨五入為2.236，有99.99%的準確度。截至1994年4月，其數值在小數點後已計算到至少100萬個位數。

連分數表示法

<math>\sqrt{5}</math>可以表示為連分數[2; 4, 4, 4, 4, 4...] （OEIS數列A040002）。最佳有理數逼近的數列如下：

<math>{\color{OliveGreen}\frac{2}{1}}, \frac{7}{3} , {\color{OliveGreen}\frac{9}{4}} , \frac{20}{9} , \frac{29}{13} , {\color{OliveGreen}\frac{38}{17}} , \frac{123}{55} , {\color{OliveGreen}\frac{161}{72}} , \frac{360}{161} , \frac{521}{233} , {\color{OliveGreen}\frac{682}{305}} , \frac{2207}{987} , {\color{OliveGreen}\frac{2889}{1292}}, \dots</math>

綠色的數字是<math>\sqrt{5}</math>的連分數的漸近分數，其分子為數列A001077，而分母則為數列A001076。其他黑色的數字則是半收斂的部份。

牛頓法

可以利用牛頓法計算<math>\sqrt{5}</math>，利用<math>r_{n+1}=\frac{r_n+\frac{5}{r_n}}{2}</math>的公式，啟始值<math>r_0=2</math>，第<math>n</math>個近似值<math>r_n</math>等於最佳有理數逼近數列中第<math>2n</math>個收斂的有理數：

<math>\frac{2}{1} = 2.0,\quad \frac{9}{4} = 2.25,\quad \frac{161}{72} = 2.23611\dots,\quad \frac{51841}{23184} = 2.2360679779 \ldots</math>

和黃金比例及斐波那契數列的關係

File:Golden Rectangle Construction.svg

邊長為1正方形的一半，形成的長方形對角線長為√5/2，此特性可用在黃金矩形的繪製

黃金比例<math>\varphi</math>是<math>\sqrt{5}</math> 和1的算術平均數。<math>\sqrt{5}</math> 、黃金比例和共軛黃金比例（<math>\Phi = 1 / \varphi = \varphi - 1</math>）之間的代數關係可以用以下幾個數學式來表示：

<math>\sqrt{5} = \varphi + \Phi = 2\varphi - 1 = 2\Phi + 1</math>

<math>\varphi = \frac{\sqrt{5} + 1}{2}</math>

<math>\Phi = \frac{\sqrt{5} - 1}{2}.</math>

斐波那契數列也可以用包括<math>\sqrt{5}</math>及黃金比例的式子來表示：

<math>F\left(n\right) = {{\varphi^n-(1-\varphi)^n} \over {\sqrt 5}}.</math>

<math>\sqrt{5}</math> 除以<math>\varphi</math>得到的商（或<math>\sqrt{5}</math>和Φ的積）及其倒數的連分數有特別的模式，而且和斐波那契數列及盧卡斯數的比值有關：

<math>\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]</math>

<math>\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].</math>

其有理數逼近的數列，分子及分母分別為斐波那契數列及盧卡斯數：

<math>{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]</math>

<math>{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].</math>

幾何上的意義

在幾何學上，利用畢氏定理可以證明長為2、寬為1的長方形，其對角線長度為<math>\sqrt{5}</math>。將一個正方形切成二等份或將二個正方形併在一起都可以產生上述的長方形。

以上的作法配合<math>\sqrt{5}</math>及黃金比例<math>\varphi</math>之間的代數關係，可以繪製黃金矩形，而一個正五邊形的對角線和邊長的比例也恰為黃金比例，因此也可在已知邊長的條件下，繪製正五邊形。

若一直角三角形的直角邊分別為<math>\sqrt{2}</math>和<math>\sqrt{3}</math>，其斜邊長度則為<math>\sqrt{5}</math>。

一個長寬比例為<math>1:\sqrt{5}</math>的長方形稱做「根號5矩形」，是根矩形的一種，屬於動態矩形的一類。動態矩形是一系列的矩形，由一個正方形開始，以前一個矩形的對角線為下一個矩形的長邊，因此長邊依序為<math>\sqrt{1}</math> (= 1), <math>\sqrt{2}</math>, <math>\sqrt{3}</math>, <math>\sqrt{4}</math> (= 2), <math>\sqrt{5}</math>...。

根號5矩形之所以特別，是因為可以分割成一個正方形及二個大小相同的黃金矩形（二邊長為<math>\Phi\times 1</math>），或是二個大小不同的黃金矩形（二邊長分別為<math>\Phi\times 1</math>及<math>1\times \varphi</math>）。也可以變成二個大小相同、有重疊部份的黃金矩形（二邊長為<math>1 \times \varphi</math>），其重疊部份恰好形成一個正方形。上述的特性都是因為<math>\sqrt{5}</math>, <math>\varphi</math>及<math>\Phi</math>之間的代數關係所產生。

和丟番圖逼近的關係

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

<math> \left|x - \frac{m}{n}\right| < \frac{1}{\sqrt{5}\,n^2} </math>

此處的<math>\sqrt{5}</math>是最佳可能的常數，若選擇其他較<math>\sqrt{5}</math>大的常數，就會存在一些無理數x，只存在有限多個滿足上述不等式的有理數最簡分式。

另一個定理也和上述定理有關，任意三個針對無理數<math>\alpha</math>的連續收斂有理數逼近 <math>\frac{p_i}{q_i}</math>, <math>\frac{p_{i+1}}{q_{i+1}}</math>, <math>\frac{p_{i+2}}{q_{i+2}}</math>, 以下的不等式至少會有一個成立：

<math>\left|\alpha - {p_i\over q_i}\right| < {1\over \sqrt5 q_i^2}, \qquad

\left|\alpha - {p_{i+1}\over q_{i+1}}\right| < {1\over \sqrt5 q_{i+1}^2}, \qquad \left|\alpha - {p_{i+2}\over q_{i+2}}\right| < {1\over \sqrt5 q_{i+2}^2}. </math>

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

抽象代數中的意義

環 <math>\mathbb{Z}\left[\,\sqrt{-5}\,\right]</math>中的數均可表示為<math> a\, +\, b\sqrt{-5}</math>的形式，其中<math>a</math>和<math>b</math>為整數，而<math> \sqrt{-5}</math>為虛數<math> i\sqrt{5}</math>。此環是一個整環，但不是唯一分解整環。例如在此環中，6的質因數分解方式就有二種：

<math>6 = 2 \cdot 3 = \left(1 - \sqrt{-5}\right)\left(1 + \sqrt{-5}\right). \, </math>

代數數體 <math>\mathbb{Q}\left[\,\sqrt{5}\,\right]</math>和其他二次體一様，都是有理數的代數擴張，因此依Kronecker–Weber theorem可證明5的平方根可以表示為單位根的有理線性組合：

<math>\sqrt5 = e^{\frac{2\pi i}{5}} - e^{\frac{4\pi i}{5}} - e^{\frac{6\pi i}{5}} + e^{\frac{8\pi i}{5}}. \, </math>

拉馬努金的恆等式

數學家拉馬努金發現的許多連分數恆等式都和<math>\sqrt{5}</math>有關。

例如以下的羅傑·拉馬努金連分數：

<math>

\cfrac{1}{1 + \cfrac{e^{-2\pi}}{1 + \cfrac{e^{-4\pi}}{1 + \cfrac{e^{-6\pi}}{1 + \ddots}}}} = \left( \sqrt{\frac{5 + \sqrt{5}}{2}} - \frac{\sqrt{5} + 1}{2} \right)e^{\frac{2\pi}{5}} = e^{\frac{2\pi}{5}}\left( \sqrt{\varphi\sqrt{5}} - \varphi \right) </math>

<math>

\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^{\frac{3}{4}}(\varphi - 1)^{\frac{5}{2}} - 1\right]^{\frac{1}{5}}} - \varphi \right)e^{\frac{2\pi}{\sqrt{5}}} </math>

<math>

4\int_0^\infty\frac{xe^{-x\sqrt{5}}}{\cosh x}\,dx = \cfrac{1}{1 + \cfrac{1^2}{1 + \cfrac{1^2}{1 + \cfrac{2^2}{1 + \cfrac{2^2}{1 + \cfrac{3^2}{1 + \cfrac{3^2}{1 + \ddots}}}}}}}. </math>

參見

• 2的主平方根
• 3的主平方根
• 平方根
• 無理數