主題
Search

二項式數


二項式數是 形如 a^n+/-b^n 的數,其中 a,bn整數。二項式數可以代數分解為

 a^n-b^n=(a-b)(a^(n-1)+a^(n-2)b+...+ab^(n-2)+b^(n-1))
(1)

對於所有 n

 a^n+b^n=(a+b)(a^(n-1)-a^(n-2)b+...-ab^(n-2)+b^(n-1))
(2)

對於奇數 n,以及

 a^(nm)-b^(nm)=(a^m-b^m)[a^(m(n-1))+a^(m(n-2))b^m+...+b^(m(n-1))].
(3)

對於所有正整數 m,n

a^2-b^2=(a-b)(a+b)
(4)
a^3-b^3=(a-b)(a^2+ab+b^2)
(5)
a^4-b^4=(a-b)(a+b)(a^2+b^2)
(6)
a^5-b^5=(a-b)(a^4+a^3b+a^2b^2+ab^3+b^4)
(7)
a^6-b^6=(a-b)(a+b)(a^2-ab+b^2)(a^2+ab+b^2)
(8)
a^7-b^7=(a-b)(a^6+a^5b+a^4b^2+a^3b^3+a^2b^4+ab^5+b^6)
(9)
a^8-b^8=(a-b)(a+b)(a^2+b^2)(a^4+b^4)
(10)
a^9-b^9=(a-b)(a^2+ab+b^2)(a^6+a^3b^3+b^6)
(11)
a^(10)-b^(10)=(a-b)(a+b)(a^4-a^3b+a^2b^2-ab^3+b^4)×(a^4+a^3b+a^2b^2+ab^3+b^4)
(12)

例如,

a^2+b^2=a^2+b^2
(13)
a^3+b^3=(a+b)(a^2-ab+b^2)
(14)
a^4+b^4=a^4+b^4
(15)
a^5+b^5=(a+b)(a^4-a^3b+a^2b^2-ab^3+b^4)
(16)
a^6+b^6=(a^2+b^2)(a^4-a^2b^2+b^4)
(17)
a^7+b^7=(a+b)(a^6-a^5b+a^4b^2-a^3b^3+a^2b^4-ab^5+b^6)
(18)
a^8+b^8=a^8+b^8
(19)
a^9+b^9=(a+b)(a^2-ab+b^2)(a^6-a^3b^3+b^6)
(20)
a^(10)+b^(10)=(a^2+b^2)(a^8-a^6b^2+a^4b^4-a^2b^6+b^8).
(21)

並且

令人驚訝的是,a^n-b^n 的因子數(其中 ab 是符號,n 是正整數)由 d(n) 給出,其中 d(n)=sigma_0(n)n 的除數個數,sigma_k(n) 是除數函式。因此,前幾項是 1, 2, 2, 3, 2, 4, 2, ... (OEIS A000005)。

類似地,a^n+b^n 的因子數由 d^((o))(n) 給出,其中 d^((o))(n)=sigma_0^((o))(n)n 的奇數除數個數,sigma_k^((o))(n)奇數除數函式。因此,前幾項是 1, 1, 2, 1, 2, 2, 2, 1,... (OEIS A001227)。

 a^(2^n)+b^(2^n)
(22)

1770 年,尤拉證明如果 (a,b)=1,則

的每個奇數 因子形如 2^(n+1)K+1。(形如 2^(2^n)+1 的數稱為 費馬數。)

 ((a^(pq)-1)(a-1))/((a^p-1)(a^q-1))-1
(23)

如果 pq素數,則


可以被 a^(p-1) 的每個不整除 a^q-1素數 因子 整除

參見

二項式, 康寧漢數, 費馬數, 梅森數, 完全立方多項式, 裡塞爾數, 第二類謝爾賓斯基數, 華林公式

多項式係數計算器

參考文獻

Guy, R. K. "何時 2^a-2^b 整除 n^a-n^b。" §B47 在 數論中未解決的問題,第 2 版。 紐約:Springer-Verlag,第 102 頁,1994 年。Qi, S 和 Ming-Zhi, Z. "對於所有 n2^a-2^b 整除 n^a-n^b 的對。" Proc. Amer. Math. Soc. 93, 218-220, 1985.Schinzel, A. "關於 a^n-b^n 的本原素因子。" Proc. Cambridge Phil. Soc. 58, 555-562, 1962.Sloane, N. J. A. 序列 A000005/M0246 和 A001227,收錄於 "整數序列線上百科全書"。

二項式數

引用為

Weisstein, Eric W. "二項式數。" 來自 Web 資源。 https://mathworld.tw/BinomialNumber.html

主題分類