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

Chứng minh đếm hai cách của một đẳng thức nhị thức

Phát biểu

Với mọi số nguyên n≥0n \ge 0, ∑k=0n(nk)2=(2nn)\sum_{k=0}^{n} \binom{n}{k}^2 = \binom{2n}{n}.

Vì sao đúng?

Cả hai vế đếm cùng một thứ — số cách chọn nn người trong 2n2n người — nên hoàn toàn không cần biến đổi đại số hệ số nhị thức, chỉ cần mô tả cẩn thận một quá trình chọn theo hai thứ tự khác nhau.

Phác thảo chứng minh

Xét một tập gồm 2n2n người, trong đó có nn nam và nn nữ. Ta đếm, theo hai cách, số cách chọn một ủy ban đúng nn người từ tập 2n2n người này.

Trực tiếp, theo định nghĩa, số này là (2nn)\binom{2n}{n}, vì ta chỉ đơn giản chọn nn đối tượng trong 2n2n.

Cách khác, chia mọi ủy ban hợp lệ theo số nam nó chứa. Nếu ủy ban chứa đúng kk nam, với một số kk nào đó thỏa 0≤k≤n0 \le k \le n, thì kk nam đó có thể chọn theo (nk)\binom{n}{k} cách, và n−kn-k thành viên còn lại phải là nữ, chọn từ nn nữ theo (nn−k)\binom{n}{n-k} cách. Theo đẳng thức đối xứng (nn−k)=(nk)\binom{n}{n-k} = \binom{n}{k}, số ủy ban với đúng kk nam là (nk)⋅(nk)=(nk)2\binom{n}{k} \cdot \binom{n}{k} = \binom{n}{k}^2.

Mọi ủy ban hợp lệ nn người đều có một số nam kk xác định giữa 00 và nn, và không ủy ban nào bị đếm hai lần ở các giá trị kk khác nhau, nên tổng theo mọi kk cho tổng số ủy ban là ∑k=0n(nk)2\sum_{k=0}^{n} \binom{n}{k}^2.

Vì cả hai biểu thức đếm đúng cùng một tập ủy ban, chúng phải bằng nhau: ∑k=0n(nk)2=(2nn)\sum_{k=0}^{n} \binom{n}{k}^2 = \binom{2n}{n}.

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.

Tài liệu tham khảo

  1. Noga Alon (1999). Combinatorial Nullstellensatz
  2. Béla Bollobás (1998). Modern Graph Theory
  3. Titu Andreescu, Zuming Feng (2003). 102 Combinatorial Problems