離散數學與數論 · 費波那契數列

費波那契數列

費波那契數列1, 1, 2, 3, 5, 8, …從兩個1開始,以後每一項是前兩項之和。相鄰兩項之比趨近黃金比例φ = (1 + √5)/2 ≈ 1.618;按同一規則從任意兩個正數開始的數列也是如此。

費波那契數列與本頁圖形

費波那契數列1, 1, 2, 3, 5, 8, 13, …從兩個1開始,以後每一項是前兩項之和。同一規則xk=xk−1+xk−2x_k = x_{k-1} + x_{k-2}也能從任意兩個正數x1=ax_1 = a和x2=bx_2 = b開始;從2, 1開始就得到盧卡斯數(2, 1, 3, 4, 7, 11, …)。這裡把這樣的數列做成一塊塊貼到長方形上的正方形,追蹤相鄰兩項之比rk=xk/xk−1r_k = x_k / x_{k-1}如何逼近黃金比例φ,再用蛛網圖看出為何每種正數開頭都能到達同一極限。

開頭是寬a、高b的長方形。每個新項都由一塊貼在與最新一項等長的邊上的正方形產生:邊長為xk−1x_{k-1}和xk−2x_{k-2}的長方形,加上邊長xk−1x_{k-1}的正方形後,變成xkx_k乘xk−1x_{k-1}。因此從第三項起,rkr_k就是長邊除以短邊,也就是長方形的形狀。畫面把長方形維持在相同大小,讓你看形狀如何穩定,而非數字如何增長。

貼一塊正方形,會按固定規則rk+1=(xk+xk−1)/xk=1+1/rkr_{k+1} = (x_k + x_{k-1})/x_k = 1 + 1/r_k改變比值。若貼完形狀不變,就要滿足r=1+1/rr = 1 + 1/r,也就是r2=r+1r^2 = r + 1;它的正根是黃金比例φ=(1+5)/2≈1.618\varphi = (1 + \sqrt5)/2 \approx 1.618。這就是黃金長方形:貼一塊正方形,得到相同形狀,邊長放大φ倍。蛛網圖畫出這條規則。從比值r向上到曲線y=1+1/ry = 1 + 1/r讀出下一個比值,再橫向移到對角線y=ry = r,以它開始下一步。曲線與對角線交於(φ, φ)。

比值為何交替偏大、偏小,又為何從任意正數開頭都會逼近同一極限?因為φ=1+1/φ\varphi = 1 + 1/\varphi,每走一步,與φ的差距就精確地變為

再貼一塊之後的差距
rk+1−φ=−rk−φφ rkr_{k+1} - \varphi = -\frac{r_k - \varphi}{\varphi\, r_k}

負號讓每個比值落在前一個比值相對於φ的另一側,除非開頭就精確符合黃金比例。從r3r_3起,每個比值都大於1,所以每一步都把差距的大小乘以一個小於1/φ≈0.6181/\varphi \approx 0.618的數,差距便趨近0。只有第一步可能離得更遠:當r2=b/ar_2 = b/a小於1/φ,差距會增大。靠近φ時,倍率趨近−1/φ2≈−0.382-1/\varphi^2 \approx -0.382,也就是曲線與對角線相交處的斜率;因此最後每一步約把差距縮成原來的0.382倍。

數列各項本身則近似等比增長:每一項越來越接近前一項的φ倍。對費波那契數F1=F2=1F_1 = F_2 = 1,比內公式給出精確表示:

比內公式
Fn=φn−ψn5,ψ=1−52=−1φF_n = \frac{\varphi^n - \psi^n}{\sqrt5}, \qquad \psi = \frac{1 - \sqrt5}{2} = -\frac{1}{\varphi}

因為∣ψ∣<1|\psi| < 1,FnF_n就是最接近φn/5\varphi^n/\sqrt5的整數。在特徵向量頁面,同樣的兩個數會作為把一對相鄰項變為下一對的矩陣之特徵值出現。

值得注意

  • 比值等於φ,當且僅當前一個比值也等於φ,因為1+1/r=φ1 + 1/r = \varphi恰好在r=φr = \varphi時成立。所以開頭若不是黃金比例,比值就永遠不會真正到達φ,只會越來越近。相鄰的費波那契比值恰好相差1/(FkFk−1)1/(F_k F_{k-1})。

操作

  • 在蛛網圖的r軸上按下或拖曳,改變b,也就是改變開頭的形狀r2=b/ar_2 = b/a;b會吸附到整數。

相關