Định lý công thức chỉnh hợp
Phát biểu
Với các số nguyên và , số cách chọn đối tượng trong đối tượng khác nhau rồi xếp theo thứ tự là . Đặc biệt, lấy cho số hoán vị .
Vì sao đúng?
Điền k vị trí có thứ tự lần lượt, với số đối tượng còn đủ điều kiện giảm một sau mỗi vị trí, chính là bối cảnh của quy tắc nhân cho các bước liên tiếp độc lập.
Phác thảo chứng minh
Bước 1 (thiết lập các vị trí): gọi tên vị trí cần điền, theo thứ tự, là vị trí 1 đến vị trí . Điền mỗi vị trí bằng một trong đối tượng, không dùng lại đối tượng đã đặt, là một công việc gồm bước liên tiếp.
Bước 2 (áp dụng quy tắc nhân): vị trí 1 có thể điền theo cách. Sau khi điền, một đối tượng đã dùng, nên vị trí 2 có cách, bất kể vị trí 1 đã chọn đối tượng nào. Tiếp tục như vậy, vị trí có cách, vì đã dùng đối tượng. Theo quy tắc nhân, tổng số cách là tích .
Bước 3 (viết lại dưới dạng thương của giai thừa): nhân và chia cho phần đuôi bị thiếu cho , đúng là .
Bước 4 (trường hợp riêng ): thay vào cho bằng cách dùng , khôi phục lại số hoán vị .
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
- Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science
- Richard A. Brualdi (2009). Introductory Combinatorics