5的算术平方根

(重定向自√5

5的算术平方根是一个正的实数,为无理数[2],一般称为“根号5”,记为 乘以它本身的值为5

5的平方根
5的平方根
数表无理数
- - - - - -
命名
名称5的算术平方根
5的主平方根
根号5
识别
种类无理数
符号
位数数列编号OEISA002163
性质
连分数[注1]
以此为的多项式或函数
表示方式
2.236067977...
二进制10.001111000110111011110011
十进制2.236067977499789696409173
十六进制2.3C6EF372FE94F82BE73980C0

黄金比值有关。5的算术平方根数值为:

2.236067977499789696409173668731276235440618359611525724270897OEIS数列A002163

可以四舍五入为2.236,有99.99%的准确度。截至1994年4月,其数值在小数点后已计算到至少100万个位数[3]

连分数表示法

编辑

 可以表示为连分数[2; 4, 4, 4, 4, 4...] (OEIS数列A040002)。最佳有理数逼近的数列如下:

 

绿色的数字是 的连分数的渐近分数,其分子为数列A001077,而分母则为数列A001076。其他黑色的数字则是半收敛的部分。

牛顿法

编辑

可以利用牛顿法计算 ,利用 的公式,启始值 ,第 个近似值 等于最佳有理数逼近数列中第 个收敛的有理数:

 

和黄金比例及斐波那契数列的关系

编辑
 
边长为1正方形的一半,形成的长方形对角线长为5/2,此特性可用在黄金矩形的绘制

黄金比例   和1的算术平均数[4]  、黄金比例和共轭黄金比例 )之间的代数关系可以用以下几个数学式来表示:

 
 
 

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

 

  除以 得到的商(或 和Φ的积)及其倒数的连分数有特别的模式,而且和斐波那契数列及卢卡斯数的比值有关[5]

 
 

其有理数逼近的数列,分子及分母分别为斐波那契数列及卢卡斯数:

 
 

几何上的意义

编辑

几何学上,利用勾股定理可以证明长为2、宽为1的长方形,其对角线长度为 。将一个正方形切成二等份或将二个正方形并在一起都可以产生上述的长方形。

以上的作法配合 及黄金比例 之间的代数关系,可以绘制黄金矩形,而一个正五边形的对角线和边长的比例也恰为黄金比例,因此也可在已知边长的条件下,绘制正五边形。

若一直角三角形直角边分别为  ,其斜边长度则为 

一个长宽比例为 的长方形称做“根号5矩形”,是根矩形的一种,属于动态矩形英语dynamic rectangle的一类。动态矩形是一系列的矩形,由一个正方形开始,以前一个矩形的对角线为下一个矩形的长边,因此长边依序为  (= 1),  ,  ,   (= 2),  ...[6]

根号5矩形之所以特别,是因为可以分割成一个正方形及二个大小相同的黄金矩形(二边长为 ),或是二个大小不同的黄金矩形(二边长分别为  [7]。也可以变成二个大小相同、有重叠部分的黄金矩形(二边长为 ),其重叠部分恰好形成一个正方形。上述的特性都是因为 ,   之间的代数关系所产生。

和丢番图逼近的关系

编辑

丢番图逼近中的Hurwitz定理英语Hurwitz's theorem (number theory)说明每个无理数x可以被无穷多个有理数最简分数m/n近似,且满足以下的不等式

 

此处的 是最佳可能的常数,若选择其他较 大的常数,就会存在一些无理数x,只存在有限多个满足上述不等式的有理数最简分式[8]

另一个定理也和上述定理有关[9],任意三个针对无理数 的连续收敛有理数逼近  ,  ,  , 以下的不等式至少会有一个成立:

 

而分母的 也是最佳可能的常数,在逼近黄金比例时,此常数可以使左侧的差值任意的逼近右侧的数值。即使考虑四个或更多个连续的有理数逼近,也无法找到其他常数,可以使上界数值更小且满足类似条件[9]

抽象代数中的意义

编辑

 中的数均可表示为 的形式,其中  整数,而 虚数 。此环是一个整环,但不是唯一分解整环。例如在此环中,6的素因数分解方式就有二种:

 

代数数域  和其他二次域一様,都是有理数的代数扩张,因此依Kronecker–Weber theorem英语Kronecker–Weber theorem可证明5的平方根可以表示为单位根的有理线性组合:

 

拉马努金的恒等式

编辑

数学家拉马努金发现的许多连分数恒等式都和 有关[10][11]

例如以下的罗杰·拉马努金连分数英语Rogers–Ramanujan continued fraction

 


 


 

参见

编辑

注释

编辑

    注:

  1. ^  , 由观察可知 ,即 , 解方程,取正根,得 , 因此 

参考资料

编辑