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

Định lý công thức chỉnh hợp

Phát biểu

Với các số nguyên n≥1n \ge 1 và 0≤k≤n0 \le k \le n, số cách chọn kk đối tượng trong nn đối tượng khác nhau rồi xếp theo thứ tự là Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!}. Đặc biệt, lấy k=nk=n cho số hoán vị Pn=n!P_n = n!.

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 kk vị trí cần điền, theo thứ tự, là vị trí 1 đến vị trí kk. Điền mỗi vị trí bằng một trong nn đối tượng, không dùng lại đối tượng đã đặt, là một công việc gồm kk 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 nn cách. Sau khi điền, một đối tượng đã dùng, nên vị trí 2 có n−1n-1 cách, bất kể vị trí 1 đã chọn đối tượng nào. Tiếp tục như vậy, vị trí kk có n−k+1n-k+1 cách, vì đã dùng k−1k-1 đối tượng. Theo quy tắc nhân, tổng số cách là tích n(n−1)⋯(n−k+1)n(n-1)\cdots(n-k+1).

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 (n−k)!(n-k)! cho n(n−1)⋯(n−k+1)=n(n−1)⋯(n−k+1)⋅(n−k)!(n−k)!=n!(n−k)!n(n-1)\cdots(n-k+1) = \frac{n(n-1)\cdots(n-k+1)\cdot (n-k)!}{(n-k)!} = \frac{n!}{(n-k)!}, đúng là Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!}.

Bước 4 (trường hợp riêng k=nk=n): thay k=nk=n vào cho Ann=n!0!=n!1=n!A_n^n = \frac{n!}{0!} = \frac{n!}{1} = n! bằng cách dùng 0!=10! = 1, khôi phục lại số hoán vị Pn=n!P_n = 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. Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science
  2. Richard A. Brualdi (2009). Introductory Combinatorics