Trong toán học , định lý đa thức mô tả khai triển của lũy thừa của một tổng theo lũy thừa của từng số hạng trong tổng đó. Nó là tổng quát hóa của định lý nhị thức , mở rộng từ các nhị thức cho các đa thức .
Định lý [ sửa ] Đối với một số nguyên dương Bản mẫu:Mvar và một số nguyên không âm bất kỳ Bản mẫu:Mvar , công thức định lý đa thức mô tả khai triển của tổng với Bản mẫu:Mvar số hạng khi nâng lên một lũy thừa bất kỳ Bản mẫu:Mvar :
(
x
1
+
x
2
+
⋯
+
x
m
)
n
=
∑
k
1
+
k
2
+
⋯
+
k
m
=
n
;
k
1
,
k
2
,
⋯
,
k
m
≥
0
(
n
k
1
,
k
2
,
…
,
k
m
)
∏
t
=
1
m
x
t
k
t
,
{\displaystyle (x_{1}+x_{2}+\cdots +x_{m})^{n}=\sum _{k_{1}+k_{2}+\cdots +k_{m}=n;\ k_{1},k_{2},\cdots ,k_{m}\geq 0}{n \choose k_{1},k_{2},\ldots ,k_{m}}\prod _{t=1}^{m}x_{t}^{k_{t}}\,,}
trong đó
(
n
k
1
,
k
2
,
…
,
k
m
)
=
n
!
k
1
!
k
2
!
⋯
k
m
!
{\displaystyle {n \choose k_{1},k_{2},\ldots ,k_{m}}={\frac {n!}{k_{1}!\,k_{2}!\cdots k_{m}!}}}
được gọi là hệ số đa thức . Tổng được thực hiện trên tất cả các tổ hợp của các chỉ số nguyên không âm từ Bản mẫu:Math đến Bản mẫu:Mvar sao cho tổng của tất cả Bản mẫu:Mvar là Bản mẫu:Mvar . Tức là, đối với mỗi số hạng của khai triển, các số mũ của Bản mẫu:Mvar phải cộng lại bằng Bản mẫu:Mvar . Ngoài ra, tương tự với định lý nhị thức , các số có dạng Bản mẫu:Math xuất hiện sẽ được lấy bằng 1 (ngay cả khi Bản mẫu:Mvar bằng 0).
Trong trường hợp Bản mẫu:Math , mệnh đề này đơn giản thành định lý nhị thức.
Ví dụ [ sửa ] Lũy thừa 3 của tam thức Bản mẫu:Math được cho bởi
(
a
+
b
+
c
)
3
=
a
3
+
b
3
+
c
3
+
3
a
2
b
+
3
a
2
c
+
3
b
2
a
+
3
b
2
c
+
3
c
2
a
+
3
c
2
b
+
6
a
b
c
.
{\displaystyle (a+b+c)^{3}=a^{3}+b^{3}+c^{3}+3a^{2}b+3a^{2}c+3b^{2}a+3b^{2}c+3c^{2}a+3c^{2}b+6abc.}
Điều này có thể tính được bằng tay, sử dụng tính chất phân phối của phép nhân cho phép cộng, nhưng nó cũng có thể được thực hiện (và có thể dễ dàng hơn) với định lý đa thức. Có thể "tính nhẩm" các hệ số đa thức từ các số hạng nhờ công thức hệ số đa thức. Ví dụ, số hạng:
a
2
b
0
c
1
{\displaystyle a^{2}b^{0}c^{1}}
(
3
2
,
0
,
1
)
=
3
!
2
!
⋅
0
!
⋅
1
!
=
6
2
⋅
1
⋅
1
=
3.
{\displaystyle {3 \choose 2,0,1}={\frac {3!}{2!\cdot 0!\cdot 1!}}={\frac {6}{2\cdot 1\cdot 1}}=3.}
a
1
b
1
c
1
{\displaystyle a^{1}b^{1}c^{1}}
(
3
1
,
1
,
1
)
=
3
!
1
!
⋅
1
!
⋅
1
!
=
6
1
⋅
1
⋅
1
=
6.
{\displaystyle {3 \choose 1,1,1}={\frac {3!}{1!\cdot 1!\cdot 1!}}={\frac {6}{1\cdot 1\cdot 1}}=6.}
Biểu thức khác [ sửa ] Biểu thức của định lý có thể được viết gọn hơn, sử dụng đa chỉ số :
(
x
1
+
⋯
+
x
m
)
n
=
∑
|
α
|
=
n
(
n
α
)
x
α
{\displaystyle (x_{1}+\cdots +x_{m})^{n}=\sum _{|\alpha |=n}{n \choose \alpha }x^{\alpha }}
trong đó
α
=
(
α
1
,
α
2
,
…
,
α
m
)
{\displaystyle \alpha =(\alpha _{1},\alpha _{2},\dots ,\alpha _{m})}
và
x
α
=
x
1
α
1
x
2
α
2
⋯
x
m
α
m
{\displaystyle x^{\alpha }=x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}\cdots x_{m}^{\alpha _{m}}}
Chứng minh [ sửa ] Chứng minh sau đây của định lý đa thức sử dụng định lý nhị thức và quy nạp trên biến Bản mẫu:Mvar .
Đầu tiên, với Bản mẫu:Math , hai vế đều bằng Bản mẫu:Math do chỉ có một số hạng với Bản mẫu:Math trong tổng. Đối với bước quy nạp, giả sử định lý đa thức đúng với Bản mẫu:Mvar . Khi đó:
(
x
1
+
x
2
+
⋯
+
x
m
+
x
m
+
1
)
n
=
(
x
1
+
x
2
+
⋯
+
(
x
m
+
x
m
+
1
)
)
n
=
∑
k
1
+
k
2
+
⋯
+
k
m
−
1
+
K
=
n
(
n
k
1
,
k
2
,
…
,
k
m
−
1
,
K
)
x
1
k
1
x
2
k
2
⋯
x
m
−
1
k
m
−
1
(
x
m
+
x
m
+
1
)
K
{\displaystyle {\begin{aligned}&(x_{1}+x_{2}+\cdots +x_{m}+x_{m+1})^{n}=(x_{1}+x_{2}+\cdots +(x_{m}+x_{m+1}))^{n}\\[6pt]={}&\sum _{k_{1}+k_{2}+\cdots +k_{m-1}+K=n}{n \choose k_{1},k_{2},\ldots ,k_{m-1},K}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m-1}^{k_{m-1}}(x_{m}+x_{m+1})^{K}\end{aligned}}}
bởi giả thiết quy nạp. Áp dụng định lý đa thức cho thừa số cuối,
=
∑
k
1
+
k
2
+
⋯
+
k
m
−
1
+
K
=
n
(
n
k
1
,
k
2
,
…
,
k
m
−
1
,
K
)
x
1
k
1
x
2
k
2
⋯
x
m
−
1
k
m
−
1
∑
k
m
+
k
m
+
1
=
K
(
K
k
m
,
k
m
+
1
)
x
m
k
m
x
m
+
1
k
m
+
1
{\displaystyle =\sum _{k_{1}+k_{2}+\cdots +k_{m-1}+K=n}{n \choose k_{1},k_{2},\ldots ,k_{m-1},K}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m-1}^{k_{m-1}}\sum _{k_{m}+k_{m+1}=K}{K \choose k_{m},k_{m+1}}x_{m}^{k_{m}}x_{m+1}^{k_{m+1}}}
=
∑
k
1
+
k
2
+
⋯
+
k
m
−
1
+
k
m
+
k
m
+
1
=
n
(
n
k
1
,
k
2
,
…
,
k
m
−
1
,
k
m
,
k
m
+
1
)
x
1
k
1
x
2
k
2
⋯
x
m
−
1
k
m
−
1
x
m
k
m
x
m
+
1
k
m
+
1
{\displaystyle =\sum _{k_{1}+k_{2}+\cdots +k_{m-1}+k_{m}+k_{m+1}=n}{n \choose k_{1},k_{2},\ldots ,k_{m-1},k_{m},k_{m+1}}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m-1}^{k_{m-1}}x_{m}^{k_{m}}x_{m+1}^{k_{m+1}}}
từ đây hoàn thành quy nạp. Bước cuối cùng có được là do
(
n
k
1
,
k
2
,
…
,
k
m
−
1
,
K
)
(
K
k
m
,
k
m
+
1
)
=
(
n
k
1
,
k
2
,
…
,
k
m
−
1
,
k
m
,
k
m
+
1
)
,
{\displaystyle {n \choose k_{1},k_{2},\ldots ,k_{m-1},K}{K \choose k_{m},k_{m+1}}={n \choose k_{1},k_{2},\ldots ,k_{m-1},k_{m},k_{m+1}},}
có thể dễ dàng thấy được bằng cách viết ba hệ số trên với giai thừa như sau:
n
!
k
1
!
k
2
!
⋯
k
m
−
1
!
K
!
K
!
k
m
!
k
m
+
1
!
=
n
!
k
1
!
k
2
!
⋯
k
m
+
1
!
.
{\displaystyle {\frac {n!}{k_{1}!k_{2}!\cdots k_{m-1}!K!}}{\frac {K!}{k_{m}!k_{m+1}!}}={\frac {n!}{k_{1}!k_{2}!\cdots k_{m+1}!}}.}
Hệ số đa thức [ sửa ] Các số
(
n
k
1
,
k
2
,
…
,
k
m
)
{\displaystyle {n \choose k_{1},k_{2},\ldots ,k_{m}}}
xuất hiện trong định lý được gọi là các hệ số đa thức . Chúng có thể được biểu diễn bằng nhiều cách, bao gồm một tích của các hệ số nhị thức hoặc giai thừa :
(
n
k
1
,
k
2
,
…
,
k
m
)
=
n
!
k
1
!
k
2
!
⋯
k
m
!
=
(
k
1
k
1
)
(
k
1
+
k
2
k
2
)
⋯
(
k
1
+
k
2
+
⋯
+
k
m
k
m
)
{\displaystyle {n \choose k_{1},k_{2},\ldots ,k_{m}}={\frac {n!}{k_{1}!\,k_{2}!\cdots k_{m}!}}={k_{1} \choose k_{1}}{k_{1}+k_{2} \choose k_{2}}\cdots {k_{1}+k_{2}+\cdots +k_{m} \choose k_{m}}}
Số cách chọn theo một phân bố [ sửa ] Hệ số đa thức dưới dạng tích của các hệ số nhị thức, đếm số hoán vị của các chữ cái trong từ MISSISSIPPI. Các hệ số đa thức có ý nghĩa toán học tổ hợp trực tiếp, là số cách để sắp xếp Bản mẫu:Mvar vật thể phân biệt vào Bản mẫu:Mvar ngăn phân biệt, với Bản mẫu:Math vật trong ngăn thứ nhất, Bản mẫu:Math vật trong ngăn thứ hai, và tiếp tục vậy đến Bản mẫu:Math . Nó cũng là số các hoán vị của một chuỗi với độ dài gồm Bản mẫu:Mvar ký tự và mỗi ký tự phân biệt thứ Bản mẫu:Math tới Bản mẫu:Mvar xuất hiện tới đúng Bản mẫu:Math lần.
Số các hoán vị được thiết lập bằng cách:
Chọn Bản mẫu:Math trong tổng số Bản mẫu:Mvar vật để cho vào ngăn 1 (hay chọn Bản mẫu:Math trong Bản mẫu:Mvar vị trí trong chuỗi để điền vào ký tự thứ nhất). Có thể thực hiện điều này với
(
n
k
1
)
{\displaystyle {\tbinom {n}{k_{1}}}}
Trong số Bản mẫu:Math vật còn lại chọn Bản mẫu:Math vật để cho vào ngăn 2. Số cách thực hiện là
(
n
−
k
1
k
2
)
{\displaystyle {\tbinom {n-k_{1}}{k_{2}}}}
Trong số Bản mẫu:Math vật còn lại chọn Bản mẫu:Math vật cho vào ngăn 3. Tuơng tự, số cách thực hiện là
(
n
−
k
1
−
k
2
k
3
)
{\displaystyle {\tbinom {n-k_{1}-k_{2}}{k_{3}}}}
Nhân số cách chọn trong mỗi bước ta có được:
(
n
k
1
)
(
n
−
k
1
k
2
)
(
n
−
k
1
−
k
2
k
3
)
⋯
=
n
!
(
n
−
k
1
)
!
k
1
!
⋅
(
n
−
k
1
)
!
(
n
−
k
1
−
k
2
)
!
k
2
!
⋅
(
n
−
k
1
−
k
2
)
!
(
n
−
k
1
−
k
2
−
k
3
)
!
k
3
!
⋯
.
{\displaystyle {n \choose k_{1}}{n-k_{1} \choose k_{2}}{n-k_{1}-k_{2} \choose k_{3}}\cdots ={\frac {n!}{(n-k_{1})!k_{1}!}}\cdot {\frac {(n-k_{1})!}{(n-k_{1}-k_{2})!k_{2}!}}\cdot {\frac {(n-k_{1}-k_{2})!}{(n-k_{1}-k_{2}-k_{3})!k_{3}!}}\cdots .}
Sau khi khử và rút gọn ta có công thức trên.
Tổng của tất cả hệ số đa thức [ sửa ] Thay các Bản mẫu:Math đối với mọi Bản mẫu:Mvar vào định lý đa thức
∑
k
1
+
k
2
+
⋯
+
k
m
=
n
(
n
k
1
,
k
2
,
…
,
k
m
)
x
1
k
1
x
2
k
2
⋯
x
m
k
m
=
(
x
1
+
x
2
+
⋯
+
x
m
)
n
{\displaystyle \sum _{k_{1}+k_{2}+\cdots +k_{m}=n}{n \choose k_{1},k_{2},\ldots ,k_{m}}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m}^{k_{m}}=(x_{1}+x_{2}+\cdots +x_{m})^{n}}
cho thấy ngay
∑
k
1
+
k
2
+
⋯
+
k
m
=
n
(
n
k
1
,
k
2
,
…
,
k
m
)
=
m
n
.
{\displaystyle \sum _{k_{1}+k_{2}+\cdots +k_{m}=n}{n \choose k_{1},k_{2},\ldots ,k_{m}}=m^{n}.}
Đây cũng là tổng số các hoán vị của một chuỗi độ dài Bản mẫu:Mvar , trong đó mỗi trong số Bản mẫu:Mvar ký tự phân biệt có thể xuất hiện với số lần bất kỳ tới Bản mẫu:Mvar .
Số các hệ số đa thức [ sửa ] Số các số hạng trong một tổng đa thức , ký hiệu là Bản mẫu:Math , bằng số các đơn thức bậc Bản mẫu:Mvar trên các biến Bản mẫu:Math :
#
n
,
m
=
(
n
+
m
−
1
m
−
1
)
.
{\displaystyle \#_{n,m}={n+m-1 \choose m-1}.}
Tam giác Pascal tổng quát [ sửa ] Ta có thể sử dụng định lý đa thức để tổng quát hóa tam giác Pascal của hệ số nhị thức thành hình chóp Pascal (đối với tam thức) hay đơn hình Pascal (đối với đa thức). Điều này cho phép cách lập nhanh một bảng tra cứu cho các hệ số đa thức.
![{\displaystyle {\begin{aligned}&(x_{1}+x_{2}+\cdots +x_{m}+x_{m+1})^{n}=(x_{1}+x_{2}+\cdots +(x_{m}+x_{m+1}))^{n}\\[6pt]={}&\sum _{k_{1}+k_{2}+\cdots +k_{m-1}+K=n}{n \choose k_{1},k_{2},\ldots ,k_{m-1},K}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m-1}^{k_{m-1}}(x_{m}+x_{m+1})^{K}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1adc5f8add6e0ee01e9fc422b22e5d75ac722cc7)
