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 , .
Vì sao đúng?
Cả hai vế đếm cùng một thứ — số cách chọn người trong 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 người, trong đó có nam và nữ. Ta đếm, theo hai cách, số cách chọn một ủy ban đúng người từ tập người này.
Trực tiếp, theo định nghĩa, số này là , vì ta chỉ đơn giản chọn đối tượng trong .
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 nam, với một số nào đó thỏa , thì nam đó có thể chọn theo cách, và thành viên còn lại phải là nữ, chọn từ nữ theo cách. Theo đẳng thức đối xứng , số ủy ban với đúng nam là .
Mọi ủy ban hợp lệ người đều có một số nam xác định giữa và , và không ủy ban nào bị đếm hai lần ở các giá trị khác nhau, nên tổng theo mọi cho tổng số ủy ban là .
Vì cả hai biểu thức đếm đúng cùng một tập ủy ban, chúng phải bằng nhau: .
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
- Noga Alon (1999). Combinatorial Nullstellensatz
- Béla Bollobás (1998). Modern Graph Theory
- Titu Andreescu, Zuming Feng (2003). 102 Combinatorial Problems