黄金比例,也称为神圣比例、黄金平均数或黄金分割,是一个在简单几何图形(如五边形、五角星、十边形和十二面体)中计算距离比率时经常遇到的数字。它用符号 表示,有时也用
表示。
“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)。