√5

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

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

　
: 2.236067977499789696409173668731276235440618359611525724270897… （OEIS 數列 A002163）

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

## 連分數表示法

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

　
: ${\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 $

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

## 牛頓法

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

　
: ${\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 $

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

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

　
: ${\sqrt {5}}=\varphi +\Phi =2\varphi -1=2\Phi +1$

　
: $\varphi ={\frac {{\sqrt {5}}+1}{2}}$

　
: $\Phi ={\frac {{\sqrt {5}}-1}{2}}.$

費氏數列也可以用包括 ${\sqrt {5}}$ 及黃金比例的式子來表示：

　
: $F\left(n\right)={{\varphi ^{n}-(1-\varphi )^{n}} \over {\sqrt {5}}}.$

 ${\sqrt {5}}$ 除以 $\varphi $ 得到的商（或 ${\sqrt {5}}$ 和 Φ 的積）及其倒數的連分數有特別的模式，而且和費氏數列及盧卡斯數的比值有關：

　
: ${\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 ]$

　
: ${\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 ].$

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

　
: ${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 ]$

　
: ${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 ].$

## 幾何上的意義

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

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

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

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

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

## 和丟番圖逼近的關係

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

　
: $\left|x-{\frac {m}{n}}\right|<{\frac {1}{{\sqrt {5}}\,n^{2}}}$

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

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

　
: $\left|\alpha -{p_{i} \over q_{i}}\right|<{1 \over {\sqrt {5}}q_{i}^{2}},\qquad \left|\alpha -{p_{i+1} \over q_{i+1}}\right|<{1 \over {\sqrt {5}}q_{i+1}^{2}},\qquad \left|\alpha -{p_{i+2} \over q_{i+2}}\right|<{1 \over {\sqrt {5}}q_{i+2}^{2}}.$

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

## 抽象代數中的意義

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

　
: $6=2\cdot 3=\left(1-{\sqrt {-5}}\right)\left(1+{\sqrt {-5}}\right).\,$

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

　
: ${\sqrt {5}}=e^{\frac {2\pi i}{5}}-e^{\frac {4\pi i}{5}}-e^{\frac {6\pi i}{5}}+e^{\frac {8\pi i}{5}}.\,$

## 拉馬努金的恆等式

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

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

　
: ${\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)$

 

　
: ${\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}}}$

 

　
: $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 }}}}}}}}}}}}}}.$

## 參見

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

## 註釋

## 參考資料