主題
Search

盧卡斯數

DOWNLOAD Mathematica Notebook下載 Wolfram Notebook

盧卡斯數是由{L_n}_(n=1)^infty定義的整數序列，其定義透過線性遞推方程

L_n=L_(n-1)+L_(n-2)
(1)

其中 L_1=1 且 L_2=3。第 n 個盧卡斯數在 Wolfram 語言中實現為LucasL[n]。

L_n 對於 n=1, 2, ... 的值為 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, ... (OEIS A000204)。

盧卡斯數也是一個 盧卡斯序列 V_n(1,-1)，並且是斐波那契數 F_n 的同伴，並滿足相同的遞推關係。

從數字 1, 2, ..., n 中選取一個集合（包括空集）且不選取兩個連續數字（其中 1 和 n 現在是連續的）的方法數為 L_n (Honsberger 1985, p. 122)。

盧卡斯序列中唯一的平方數是 1 和 4 (Alfred 1964, Cohn 1964)。唯一的三角形數盧卡斯數是 1、3 和 5778 (Ming 1991)。唯一的立方數盧卡斯數是 1。

非常令人驚訝的是，如果 n 是素數，則 L_n=1 (mod n)。然而，反之不一定成立，滿足 L_n=1 (mod n) 的合數 n 被稱為 盧卡斯偽素數。

對於 n=1, 2, ..., L_(10^n) 中十進位制數字的個數是 1, 3, 21, 209, 2090, 20899, 208988, 2089877, ... (OEIS A114469)。可以看出，數字的初始字串穩定下來產生數字 208987640249978733769...，這對應於 lnphi=0.2089876... 的十進位制數字 (OEIS A097348)，其中 phi 是黃金比例。這源於對於任何冪函式 f_n=c^n，f_(10^n) 的十進位制數字的個數由 10^nlog_(10)c 給出這一事實。

盧卡斯數的週期長度 (mod 10^n) 對於 n=1, 2, ... 是 12, 60, 300, 3000, 30000, 300000, 300000, ... (OEIS A114307)。

對於盧卡斯數，比內公式的類似形式是

L_n=((1+sqrt(5))/2)^n+((1-sqrt(5))/2)^n.
(2)

另一個公式是

L_n=[phi^n]
(3)

對於 n>=2，其中 phi 是黃金比例，而 [x] 表示最近整數函式。

另一個 L_n 的遞推關係由下式給出：

L_(n+1)=|_(L_n(1+sqrt(5))+1)/2_|
(4)

對於 n>=4，其中 |_x_| 是向下取整函式。

盧卡斯數滿足的其他恆等式包括

L_n^2-L_(n-1)L_(n+1)=5(-1)^n,
(5)

和

sum_(k=1)^nL_k^2=L_nL_(n+1)-2.
(6)

盧卡斯數服從否定公式

L_(-n)=(-1)^nL_n,
(7)

加法公式

L_(m+n)=1/2(5F_mF_n+L_mL_n),
(8)

其中 F_n 是斐波那契數，減法公式

L_(m-n)=1/2(-1)^n(L_mL_n-5F_mF_n),
(9)

基本恆等式

L_n^2-5F_n^2=4(-1)^n,
(10)

共軛關係

L_n=F_(n-1)+F_(n+1),
(11)

後繼關係

L_(n+1)=1/2(5F_n+L_n),
(12)

倍角公式

L_(2n)=1/2(5F_n^2+L_n^2),
(13)

多角遞推關係

L_(kn)=L_kL_(k(n-1))-(-1)^kL_(k(n-2)),
(14)

多角公式

L_(kn)=1/(2^(k-1))sum_(i=0)^(|_k/2_|)(k; 2i)5^iF_n^(2i)L_n^(k-2i)
(15)
=sum_(i=0)^(|_k/2_|)k/(k-i)(k-i; i)(-1)^(i(n+1))L_n^(k-2i)
(16)
={sum_(i=0)^(k/2)k/(k-i)(k-i; i)(-1)^(in)5^(k/2-i)F_n^(k-2i) for k even; L_nsum_(i=0)^(|_k/2_|)(k-1-i; i)(-1)^(in)5^(|_k/2_|-i)F_n^(k-1-2i) for k odd
(17)
=sum_(i=0)^(k)(k; i)L_iF_n^iF_(n-1)^(k-i),
(18)

乘積展開

F_mL_n=F_(m+n)+(-1)^nF_(m-n)
(19)

和

F_mF_n=1/5[L_(m+n)-(-1)^nL_(m-n)],
(20)

平方展開式，

L_n^2=L_(2n)+2(-1)^n,
(21)

和冪展開式

L_n^k=1/2sum_(i=0)^k(k; i)(-1)^(in)L_((k-2i)n).
(22)

盧卡斯數滿足冪遞推關係

sum_(j=0)^(t+1)(-1)^(j(j+1)/2)[t+1; j]_FL_(n-j)^t=0,
(23)

其中 [a; b]_F 是斐波那契二項式係數，倒數和

sum_(k=1)^n((-1)^k)/(L_kL_(k+a))=(F_n)/(F_a)sum_(k=1)^a((-1)^k)/(L_kL_(k+n)),
(24)

卷積

sum_(k=0)^nL_kL_(n-k)=(n+2)L_n+F_n,
(25)

部分分式分解

-5/(L_(n+a)L_(n+b)L_(n+c))=A/(L_(n+a))+B/(L_(n+b))+C/(L_(n+c)),
(26)

其中

A=((-1)^(n-a))/(F_(b-a)F_(c-a))
(27)
B=((-1)^(n-b))/(F_(c-b)F_(a-b))
(28)
C=((-1)^(n-c))/(F_(a-c)F_(b-c)),
(29)

和求和公式

sum_(k=0)^nx^kL_(ak+b)=(g(n+1)-g(0))/(1-L_ax+(-1)^ax^2),
(30)

其中

g(n)=(-1)^aL_(a(n-1)+b)x^(n+1)-L_(an+b)x^n.
(31)

設 p 是一個素數 >3，k 是一個正整數。則 L_(2p^k) 以 3 結尾（Honsberger 1985, p. 113）。斐波那契數的 Cesàro 恆等式的類似形式是

sum_(k=0)^n(n; k)L_k=L_(2n)
(32)
sum_(k=0)^n(n; k)2^kL_k=L_(3n),
(33)

其中 (n; k) 是二項式係數。

L_n|F_m (L_n 整除 F_m) 當且僅當 n 整除 m 偶數次時成立。L_n|L_m 當且僅當 n 整除 m 奇數次時成立。2^nL_n 總是以 2 結尾（Honsberger 1985, p. 137）。

定義

D_n=|3 i 0 0 ... 0 0; i 1 i 0 ... 0 0; 0 i 1 i ... 0 0; 0 0 i 1 ... 0 0; | | | | ... | |; 0 0 0 0 ... 1 i; 0 0 0 0 ... i 1|=L_(n+1)
(34)

給出

D_n=D_(n-1)+D_(n-2)
(35)

(Honsberger 1985, pp. 113-114)。

參見

斐波那契數, 整數序列素數, 盧卡斯 n 步數, 盧卡斯多項式, 盧卡斯素數, 盧卡斯偽素數, 盧卡斯序列, 斐波那契倒數常數

在 中探索

參考文獻

Alfred, Brother U. "On Square Lucas Numbers." Fib. Quart. 2, 11-12, 1964.Borwein, J. M. 和 Borwein, P. B. Pi & the AGM: 解析數論和計算複雜性研究。 New York: Wiley, pp. 94-101, 1987.Brillhart, J.; Montgomery, P. L.; 和 Silverman, R. D. "斐波那契數和盧卡斯數分解表。" Math. Comput. 50, 251-260 和 S1-S15, 1988.Broadhurst, D. 和 Irvine, S. "盧卡斯記錄。" Post to primeform 使用者論壇. 6 月 19 日, 2006. http://groups.yahoo.com/group/primeform/message/7534.Brown, J. L. Jr. "整數表示為不同盧卡斯數之和的唯一性。" Fib. Quart. 7, 243-252, 1969.Cohn, J. H. E. "平方斐波那契數，等等。" Fib. Quart. 2, 109-113, 1964.Dubner, H. 和 Keller, W. "新的斐波那契素數和盧卡斯素數。" Math. Comput. 68, 417-427 和 S1-S12, 1999.Guy, R. K. "各種形狀的斐波那契數。" §D26 in 數論中未解決的問題，第 2 版。 New York: Springer-Verlag, pp. 194-195, 1994.Hilton, P.; Holton, D.; 和 Pedersen, J. "斐波那契數和盧卡斯數。" Ch. 3 in 多面鏡子房間中的數學思考。 New York: Springer-Verlag, pp. 61-85, 1997.Hilton, P. 和 Pedersen, J. "教學和研究中的斐波那契數和盧卡斯數。" J. Math. Informatique 3, 36-57, 1991-1992.Hoggatt, V. E. Jr. 斐波那契數和盧卡斯數。 Boston, MA: Houghton Mifflin, 1969.Honsberger, R. "斐波那契數和盧卡斯數再探。" Ch. 8 in 數學寶石 III。 Washington, DC: Math. Assoc. Amer., 1985.Koshy, T. 斐波那契數和盧卡斯數及其應用。 New York: Wiley-Interscience, 2001.更新連結Leyland, P. ftp://sable.ox.ac.uk/pub/math/factors/lucas.ZLifchitz, H. 和 Lifchitz, R. "PRP 頂級記錄。" http://www.primenumbers.net/prptop/searchform.php?form=L(n).Ming, L. "關於三角形盧卡斯數。" 斐波那契數及其應用，卷 4 (Ed. G. E. Bergum, A. N. Philippou, 和 A. F. Horadam). Dordrecht, Netherlands: Kluwer, pp. 231-240, 1991.Sloane, N. J. A. 序列 A000204/M2341, A001606/M0961, A005479/M2627, A068070, A097348, A114469, 和 A114307 in "整數序列線上百科全書。"

在 上引用

盧卡斯數

請引用為

Weisstein, Eric W. "盧卡斯數。" 來自 --一個 Wolfram 網路資源。 https://mathworld.tw/LucasNumber.html

主題分類