黃金比例,也稱為神聖比例、黃金平均數或黃金分割,是一個在簡單幾何圖形(如五邊形、五角星、十邊形和十二面體)中計算距離比率時經常遇到的數字。它用符號 表示,有時也用
表示。
“phi”(對於黃金比例共軛 )和“Phi”(對於較大的量
)的 designation 有時也被使用 (Knott),儘管不一定推薦這種用法。
術語“黃金分割”(在德語中,goldener Schnitt 或 der goldene Schnitt)似乎最早由 Martin Ohm 在 1835 年第二版教科書 Die Reine Elementar-Mathematik 中使用(Livio 2002, p. 6)。這個術語在英語中首次被知曉的使用是在 James Sulley 1875 年發表於第 9 版大英百科全書中關於美學的文章中。符號 (“phi”) 顯然在 20 世紀初由 Mark Barr 首次使用,以紀念希臘雕塑家菲狄亞斯(約公元前 490-430 年),一些藝術史學家聲稱菲狄亞斯在他的作品中廣泛使用了黃金比例 (Livio 2002, pp. 5-6)。類似地,備用符號
是希臘語 tome 的縮寫,意思是“切割”。
在電視劇犯罪劇 數字追兇 第一季劇集“破壞”(2005 年)中,數學天才 Charlie Eppes 提到在吉薩金字塔和雅典帕特農神廟中發現了黃金比例。同樣,小說 達芬奇密碼 中的人物羅伯特·蘭登也做了類似的陳述 (Brown 2003, pp. 93-95)。然而,關於黃金比例在藝術、建築、雕塑、解剖學等領域顯著出現的意義的說法往往被大大誇大了。
與連分數和歐幾里得演算法(用於計算兩個整數的最大公約數)有著令人驚訝的聯絡。
給定一個邊長比為 的矩形,
被定義為唯一的數字
,使得將原始矩形分割成一個正方形和一個新的矩形(如上圖所示)會得到一個新的矩形,其邊長比也為
(即,使得上面顯示的黃色矩形是相似的)。這樣的矩形被稱為黃金矩形,將黃金矩形連續分割成正方形的點位於對數螺旋上,形成一個被稱為迴旋正方形的圖形。
基於上述定義,可以立即看出
|
(1)
|
得出
|
(2)
|
歐幾里得在公元前 300 年左右給出了 的等效定義,透過線上段上所謂的“極端和平均比率”來定義它,即,使得
|
(3)
|
對於上面圖示的線段 (Livio 2002, pp. 3-4)。代入,
|
(4)
|
並清除分母得到
|
(5)
|
這與上面獲得的公式完全相同(並且順便意味著 是一個 2 次代數數。)使用二次方程並取正號(因為該圖被定義為
)得出
的精確值,即
|
(6)
| |||
|
(7)
|
(OEIS A001622)。出現在十進位制展開的連續數字(從第一個開始)中的素數被稱為 phi-素數。
在明顯公然誤解了精確量和近似值之間的區別的情況下,小說 達芬奇密碼 中的人物羅伯特·蘭登錯誤地將黃金比例定義為精確值 1.618 (Brown 2003, pp. 93-95)。
黃金三角形(等腰三角形,頂角為 )的腰與其底邊成黃金比例,事實上,這就是畢達哥拉斯用來構造
的方法。外接圓半徑與十邊形邊長的比率也是
,
|
(8)
|
平分(示意性的)高盧十字也會得到黃金比例 (Gardner 1961, p. 102)。
的精確三角公式包括
|
(9)
| |||
|
(10)
| |||
|
(11)
|
黃金比例由級數給出
|
(12)
|
(B. Roselle)。與斐波那契數的另一個有趣的聯絡由級數給出
|
(13)
|
用巢狀根式表示為
|
(14)
|
(Livio 2002, p. 83)。這等價於遞推方程
|
(15)
|
其中 ,得出
。
是有理數逼近的“最差”實數,因為它的連分數表示
|
(16)
| |||
|
(17)
|
(OEIS A000012;Williams 1979, p. 52;Steinhaus 1999, p. 45;Livio 2002, p. 84) 在其無限多個分母中都具有最小可能的項 (1),因此給出的收斂項比任何其他連分數收斂得都慢。特別是,收斂項 由二次遞推方程給出
|
(18)
|
其中 ,其解為
|
(19)
|
其中 是第
個斐波那契數。這給出了前幾個收斂項:1, 2, 3/2, 5/3, 8/5, 13/8, 21/13, 34/21, ... (OEIS A000045 和 A000045),它們分別精確到 0, 0, 0, 1, 1, 2, 2, 2, 3, 3, 4, 4, 5, 5, 5, ... (OEIS A114540) 位十進位制數字。
因此,
|
(20)
|
正如蘇格蘭數學家 Robert Simson 在 1753 年首次證明的那樣 (Wells 1986, p. 62; Livio 2002, p. 101)。
黃金比例也滿足遞推關係
|
(21)
|
取 得到特例
|
(22)
|
|
(23)
|
在 中,設定
和
,求解得到
|
(24)
|
正如預期的那樣。黃金比例的冪也滿足
|
(25)
|
其中 是一個斐波那契數 (Wells 1986, p. 39)。
涉及 的某些複數的正弦給出了特別簡單的答案,例如
|
(26)
| |||
|
(27)
|
(D. Hoey,私人通訊)。
在上圖中,可以將三個三角形內接到任意縱橫比 的矩形
中,透過以黃金比例分割
和
,使得三個直角三角形具有相等的面積。然後
|
(28)
| |||
|
(29)
| |||
|
(30)
|
它們都相等。反之亦然,即如果矩形的鄰邊以任何比例分割並以相同方式連線,那麼如果三個外部三角形的面積都相等,則兩個分割邊都成黃金比例 (D. J. Lewis,私人通訊,2009 年 6 月 11 日)。
|
(31)
| |||
|
(32)
|
給出
|
(33)
|
產生序列
|
(34)
|
(OEIS A003849)。這裡,零出現在位置 1, 3, 4, 6, 8, 9, 11, 12, ... (OEIS A000201),而一齣現在位置 2, 5, 7, 10, 13, 15, 18, ... (OEIS A001950)。這些是由 和
生成的互補貝蒂序列。這個序列也與斐波那契數有很多聯絡。它在上面被繪製為(模 2)的遞迴圖。
設 的連分數為
,並設收斂項的分母表示為
、
、...、
。從上面的圖中可以看出,
的連分數的規律性意味著
是一組測度為 0 的數字之一,它們的連分數序列不收斂到辛欽常數或萊維常數。
黃金比例的恩格爾展開為 1, 2, 5, 6, 13, 16, 16, 38, 48, 58, 104, ... (OEIS A028259)。
Steinhaus(1999, pp. 48-49)考慮了 的小數部分在由 0、
、
、...、
、1 界定的區間內的分佈,並指出它們的分佈比偶然預期的要均勻得多(即,
接近於一個等分佈序列)。特別是,
、2、... 的空區間的數量僅僅是 0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 1, 1, 0, 2, 2, ... (OEIS A036414)。沒有留下空白箱的
值然後由 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 21, 34, 55, 89, 144, ... (OEIS A036415) 給出。Steinhaus (1983) 評論說,高度均勻的分佈根植於
的連分數。
序列 ,即冪小數部分,其中
是小數部分,對於幾乎所有實數
都是等分佈的,黃金比例是其中一個例外。
Salem 表明,皮索數的集合是閉集, 是該集合的最小累積點 (Le Lionnais 1983)。