Đị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 :
Vì sao đúng?
Đặt và đều bằng trong định lý nhị thức, mỗi số hạng trở thành , 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 vào định lý nhị thức : vế trái trở thành , vế phải trở thành , vì lũy thừa bất kỳ vẫn bằng .
Cho hai vế bằng nhau, ta được đúng .
Đẳng thức này còn có ý nghĩa tổ hợp trực tiếp: đếm các tập con gồm phần tử của một tập phần tử , nên đếm mọi tập con của với kích thước bất kỳ, tức toàn bộ tập lũy thừa, có đúng phần tử vì mỗi phần tử trong 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.