Math Labs
Định lýĐã chứng minh

Tổng các hệ số nhị thức

Phát biểu

Với mọi số nguyên không âm nn: 2n=∑k=0n(nk)2^n=\sum_{k=0}^n\binom{n}{k}

Vì sao đúng?

Đặt aa và bb đều bằng 11 trong định lý nhị thức, mỗi số hạng an−kbka^{n-k}b^k trở thành 11, nên toàn bộ tổng chỉ còn là số lượng số hạng.

Phác thảo chứng minh

Thay a=1, b=1a=1,\ b=1 vào định lý nhị thức (a+b)n=∑k=0n(nk)an−kbk(a+b)^n=\sum_{k=0}^n\binom{n}{k}a^{n-k}b^k: vế trái trở thành (1+1)n=2n(1+1)^n=2^n, vế phải trở thành ∑k=0n(nk)1n−k1k=∑k=0n(nk)\sum_{k=0}^n\binom{n}{k}1^{n-k}1^k=\sum_{k=0}^n\binom{n}{k}, vì 11 lũy thừa bất kỳ vẫn bằng 11.

Cho hai vế bằng nhau, ta được đúng 2n=∑k=0n(nk)2^n=\sum_{k=0}^n\binom{n}{k}.

Đẳng thức này còn có ý nghĩa tổ hợp trực tiếp: (nk)\binom{n}{k} đếm các tập con gồm kk phần tử của một tập nn phần tử SS, nên ∑k=0n(nk)\sum_{k=0}^n\binom{n}{k} đếm mọi tập con của SS với kích thước bất kỳ, tức toàn bộ tập lũy thừa, có đúng 2n2^n phần tử vì mỗi phần tử trong nn phần tử độc lập thuộc hoặc không thuộc một tập con.

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

Chứng minh từng bước

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