MathLabs
Định lýĐã chứng minh

Định lý nhị thức (nhị thức Newton)

Phát biểu

Với mọi số nguyên không âm nn, (x+y)n=∑k=0n(nk)xn−kyk(x+y)^n = \sum_{k=0}^{n} \binom{n}{k} x^{n-k} y^k, trong đó (nk)=n!k!(n−k)!\binom{n}{k} = \frac{n!}{k!(n-k)!}.

Vì sao đúng?

Khai triển (x+y)n(x+y)^n nghĩa là, với mỗi thừa số trong nn thừa số, chọn lấy xx hay yy; hệ số của xn−kykx^{n-k}y^k đếm số cách chọn kk trong nn thừa số đóng góp yy, chính là (nk)\binom{n}{k}.

Phác thảo chứng minh

Quy nạp theo nn dùng hằng đẳng thức Pascal (nk)=(n−1k−1)+(n−1k)\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}: viết (x+y)n=(x+y)(x+y)n−1(x+y)^n = (x+y)(x+y)^{n-1}, khai triển (x+y)n−1(x+y)^{n-1} theo giả thiết quy nạp, phân phối xx và yy vào từng hạng tử, rồi thu hệ số của xn−kykx^{n-k}y^k từ hai đóng góp, kết hợp qua hằng đẳng thức Pascal cho ra (nk)\binom{n}{k}.

Người chứng minh

Chủ đề chứa định lý này

Định lý liên quan

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science