Bài này là một mở đầu của phương pháp sàng trong các bài toán đếm. Ở phương pháp này, khi muốn đếm số phần tử của một tập , ta bắt đầu với một tập
chứa
, sau đó tìm cách loại đi các phần tử không nằm trong
.
Để theo dõi bài này cho dễ, các bạn hãy xem qua các bài sau:
[1] https://nttuan.org/2011/09/15/basic-counting-principles/
[2] https://nttuan.org/2012/09/15/permutations/
[3] https://nttuan.org/2013/09/15/combinations/
Chúng ta biết rằng nếu và
là các tập hữu hạn rời nhau thì
, tổng quát hơn ta có: Nếu
và
là các tập hữu hạn bất kỳ thì
đây chính là nguyên lý bù-trừ cho hai tập hợp. Với
tập hợp ta có định lí sau
Định lí. Nếu là các tập hữu hạn thì
Chứng minh. Ta sẽ chứng minh rằng mỗi phần tử trong được đếm đúng một lần trong vế phải. Gọi
là một phần tử trong hợp đó và nó nằm trong dúng
tập
, khi đó trong vế phải nó sẽ được đếm đúng
lần (lưu ý
).
Ngoài cách chứng minh trên các bạn có thể chứng minh định lí bằng phương pháp quy nạp toán học, tôi chọn giới thiệu cách chứng minh này vì phong cách tổ hợp của nó.
Ví dụ 1. Có bao nhiêu số nguyên dương sao cho
là ước của ít nhất một trong hai số
và
?
Lời giải. Gọi và
lần lượt là tập các ước dương của
và
. Đề bài yêu cầu tính
. Ta có
và
Suy ra
và
Bởi thế nên
Ví dụ 2. Tìm số các số nguyên dương trong chia hết cho
hoặc
hoặc
Lời giải. Đặt . Gọi
và
lần lượt là tập các phần tử của
chia hết cho
và
. Khi đó
là tập các số nguyên dương trong
chia hết cho
hoặc
hoặc
Đề bài yêu cầu tính
.
Vì và
là các số nguyên dương đôi một nguyên tố cùng nhau nên
là tập các số nguyên dương trong
chia hết cho
,
là tập các số nguyên dương trong
chia hết cho
,
là tập các số nguyên dương trong
chia hết cho
, và
là tập các số nguyên dương trong
chia hết cho
. Suy ra
Với mỗi số nguyên dương , ký hiệu
là số các số nguyên dương không vượt quá
và nguyên tố cùng nhau với
. Hàm số
được gọi là hàm phi của Euler.
Ví dụ 3. Tính .
Lời giải. Vì nên
chính là tập các số trong
không chia hết cho
và
. Suy ra
với
là tập các số trong
chia hết cho
,
là tập các số trong
chia hết cho
, và
là tập các số trong
chia hết cho
Tương tự như bài toán trên ta có
Do đó
Làm tương tự như trên ta có nếu có phân tích chính tắc
thì
Ví dụ 4. Tìm số các lời giải nguyên không âm của phương trình với
và
.
Lời giải. Gọi là tập các nghiệm nguyên không âm của phương trình
và
là tập các nghiệm nguyên không âm của phương trình thỏa mãn
và
Ta cần tính
Ta có
trong đó:
là tập các nghiệm nguyên không âm của phương trình thỏa mãn
là tập các nghiệm nguyên không âm của phương trình thỏa mãn
là tập các nghiệm nguyên không âm của phương trình thỏa mãn
Theo nguyên lý bù-trừ, ta có
Bộ số tự nhiên thuộc
khi và chỉ khi
do đó
Hoàn toàn tương tự, ta có
và
Bộ số tự nhiên thuộc
khi và chỉ khi
do đó
Hoàn toàn tương tự, ta có
và
Bây giờ thay các kết quả trên vào ta có
Ví dụ 5. Tìm số nghiệm nguyên của phương trình với
và
.
Hướng dẫn. Đáp số: Đặt
và
Ta cần tính số nghiệm tự nhiên của phương trình
thỏa mãn
và
Đến đây làm như ví dụ trên.
Ví dụ 6. Với cho
là một tập với
phần tử. Giả sử rằng
với mỗi
khác nhau trong
Tính
Hướng dẫn. Chứng minh giao của tất cả các tập chứa đúng một phần tử. Từ đó có đáp số là
Cuối cùng là một áp dụng quan trọng của nguyên lý bù-trừ vào bài toán Bernoulli-Euler về các bức thư sai địa chỉ.
Continue reading “Principle of inclusion and exclusion”