Xem mã nguồn của Đếm bằng hai cách

{{Thiếu nguồn gốc|date=tháng 2/2022}}

Trong [[toán học tổ hợp]], '''đếm bằng hai cách''' là một kĩ thuật được dùng để so sánh hai đại lượng.

Phương pháp đếm bằng hai cách áp dụng nguyên lý: mọi cách [[đếm]] một đại lượng nào đó đều cho ra kết quả giống nhau. Ý tưởng chính của phương pháp này là xét thêm một đại lượng thứ ba có thể được đếm bằng hai cách cho kết quả liên quan đến các đại lượng ban đầu.

[[:Thể loại: Toán học tổ hợp]]

== Phương pháp ==
Giả sử có hai đại lượng cần so sánh <math>A</math> và <math>B</math>. Phương pháp đếm bằng hai cách được thực hiện như sau:

''Bước 1:'' Chỉ ra một đại lượng <math>C</math>.

''Bước 2:'' Đếm <math>C</math> và tìm mối liên hệ giữa <math>C</math> và <math>A</math>, <math>C</math> và <math>B</math> (vd. <math>C \ge A</math> và <math>C=B</math>).

''Bước 3:'' Từ các kết luận ở bước 2 rút ra quan hệ giữa <math>A</math> và <math>B</math> (vd. <math> A \le B</math>).

== Ví dụ ==
Phương pháp đếm bằng hai cách có thể được sử dụng để giải quyết một số bài toán đếm tổ hợp.

=== Ví dụ 1.1 ===
''Một tủ đựng đồ có'' <math>m</math> ''hàng và'' <math>n</math> ''cột, mỗi ô tủ chứa nhiều nhất 1 đồng xu (có thể không chứa đồng xu nào). Gọi'' <math>a_1, a_2,...,a_m</math> ''lần lượt là số đồng xu  trong hàng thứ'' <math>1,2,...,m</math> ''và'' <math>b_1,b_2,...b_n</math> ''lần lượt là số đồng xu trong cột thứ'' <math>1,2,...,n</math>''. Chứng minh rằng:'' <math>\sum_{i=1}^ma_i=\sum_{j=1}^nb_j</math>.

'''Giải'''

Gọi <math>S</math> là số đồng xu trong tủ. Ta đếm <math>S</math> bằng hai cách:

''Cách 1:'' Số đồng xu trong tủ chính là tổng số đồng xu trên các hàng, vì thế <math>S=a_1+a_2+...+a_m</math>.

''Cách 2:'' Tương tự, số đồng xu trong tủ cũng chính là tổng số đồng xu trên các cột, do đó <math>S=b_1+b_2+...+b_n</math>.

Từ hai hệ thức trên ta suy ra <math>\sum_{i=1}^ma_i=\sum_{j=1}^nb_j</math>, đpcm.

=== Ví dụ 1.2. Bậc và cạnh trong đồ thị ===
''Cho [[Đồ thị (lý thuyết đồ thị)|đồ thị]]'' <math>G</math> ''có'' <math>n\ge 1</math> ''đỉnh và'' <math>E</math> ''cạnh. Gọi'' <math>d_1,d_2,\dots, d_n</math> ''là [[Bậc (lý thuyết đồ thị)|bậc]] của các đỉnh trong đồ thị theo thứ tự tương ứng. Chứng minh rằng:'' <math>\sum_{i=1}^n d_i=2E</math>.

'''Giải'''

Gọi <math>S</math> là [[Tập hợp (toán học)|tập hợp]] tất cả các bộ <math>(u,a)</math> thỏa mãn:

<math>i)</math> <math>u</math> là một đỉnh của đồ thị.

<math>ii)</math> <math>a</math> là một cạnh của đồ thị.

<math>iii)</math> <math>u</math> là một trong hai [[Đồ thị (lý thuyết đồ thị)#Đồ thị vô hướng|mút]] của <math>a</math>.

Ta đếm số lượng [[Phần tử (toán học)|phần tử]] của <math>S</math> bằng hai cách:

''Cách 1:'' Chọn <math>u</math> trước: có <math>E</math> cách để chọn ra một cạnh của đồ thị, với mỗi cạnh <math>a</math>, có đúng 2 đỉnh là mút của <math>a</math>. Vì thế nên <math>|S|=2\dot E</math>.

''Cách 2:'' Chọn <math>a</math> trước: có <math>n</math> cách chọn đỉnh. Nếu ta chọn đỉnh thứ <math>i</math>, vì đỉnh này có bậc là <math>d_i</math> nên có đúng <math>d_i</math> cạnh nhận đỉnh này làm mút. Vì thế <math>|S|=\sum_{i=1}^n(d_i)</math>.

Từ hai hệ thức trên suy ra <math>\sum_{i=1}^n d_i=2E=|S|</math>, đpcm.

=== Ví dụ 1.3. [[Tam giác Pascal|Hệ số nhị thức]] ===
''Chứng minh rằng: với'' <math>n</math> ''là số nguyên dương thì'' <math>\binom{n}{0} + \binom{n}{1} +...+\binom{n}{n}=2^{n}</math>.

'''Giải'''

Xét [[Tập hợp (toán học)|tập hợp]] <math>S=\lbrace1;2;...;n\rbrace</math>. Gọi <math>P</math> là số [[Tập hợp con|tập con]] của <math>S</math>.

Ta đếm <math>P</math> bằng hai cách:

''Cách 1:'' Số tập con có <math>0</math> phần tử của <math>S</math> là <math>\binom{n}{0}</math>, số tập con có <math>1</math> phần tử của <math>S</math> là <math>\binom{n}{1}</math>,..., số tập con có <math>n</math> phần tử của <math>S</math> là <math>\binom{n}{n}</math>. Vì thế <math>P=\binom{n}{0} + \binom{n}{1} +...+\binom{n}{n}</math>.

''Cách 2:'' Ta đếm số cách chọn một số phần tử bất kì của <math>S</math>. Với mỗi cách chọn ta thu được một tập con duy nhất. Với mỗi phần tử, ta có thể chọn hoặc không chọn phần tử này, nên có hai trường hợp. Mà <math>S</math> có <math>n</math> phần tử nên số trường hợp khác nhau có thể xảy ra là <math>2^{n}</math>. Vậy <math>p=2^{n}</math>.

Từ hai hệ thức trên ta có đpcm.

== Ứng dụng ==
Phương pháp đếm bằng hai cách cũng được sử dụng trong chứng minh của các bài toán sau:

* [[Số Catalan]]
* [[Bertrand's ballot theorem|Bài toán phiếu bầu]]
* [[Luật tương hỗ bậc hai]]

== Xem thêm ==

== Tham khảo ==
{{tham khảo}}

* Pranav A.Sriram, "Olympiad Combinatorics, Chapter 6: Counting in Two Ways".
[[:Thể loại: Toán học tổ hợp]]

[[Thể loại:Chứng minh toán học]]