Kính chào các em học sinh! Hôm nay, thầy trò chúng ta sẽ cùng nhau giải quyết hai bài tập rất cơ bản và quan trọng về các phép toán tập hợp trong chương trình Toán lớp 10 nhé. Để chứng minh hai tập hợp bằng nhau, chúng ta sẽ chứng minh chúng là con của nhau. Tức là, nếu muốn chứng minh \(X = Y\), ta sẽ chứng minh \(X \subseteq Y\) và \(Y \subseteq X\).

Bài tập: Chứng minh rằng:

a/ \(A \cap (B \setminus C) = (A \cap B) \setminus (A \cap C)\)

Để chứng minh đẳng thức này, chúng ta sẽ chứng minh hai chiều:

Chiều 1: Chứng minh \(A \cap (B \setminus C) \subseteq (A \cap B) \setminus (A \cap C)\)

Chúng ta sẽ lấy một phần tử \(x\) bất kì thuộc tập hợp ở vế trái và chứng minh rằng \(x\) cũng thuộc tập hợp ở vế phải.

Giả sử \(x \in A \cap (B \setminus C)\).

Theo định nghĩa phép giao, điều này có nghĩa là:
\[x \in A \quad \text{và} \quad x \in (B \setminus C)\]
Theo định nghĩa phép hiệu tập hợp, \(x \in (B \setminus C)\) có nghĩa là:
\[x \in B \quad \text{và} \quad x \notin C\]
Vậy, từ các điều trên, chúng ta có đồng thời các khẳng định sau về phần tử \(x\):
1. \(x \in A\)
2. \(x \in B\)
3. \(x \notin C\)

Từ (1) và (2), theo định nghĩa phép giao, ta suy ra \(x \in (A \cap B)\).

Bây giờ, chúng ta cần xét xem \(x\) có thuộc \((A \cap C)\) hay không. Vì \(x \in A\) (theo (1)) và \(x \notin C\) (theo (3)), điều này có nghĩa là không thể xảy ra trường hợp \(x \in A\) và \(x \in C\) đồng thời. Do đó, \(x \notin (A \cap C)\).

Tóm lại, chúng ta có:
\[x \in (A \cap B) \quad \text{và} \quad x \notin (A \cap C)\]
Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là \(x \in (A \cap B) \setminus (A \cap C)\).

Vậy, chúng ta đã chứng minh được rằng nếu \(x \in A \cap (B \setminus C)\) thì \(x \in (A \cap B) \setminus (A \cap C)\).

Do đó, \(A \cap (B \setminus C) \subseteq (A \cap B) \setminus (A \cap C)\). (1)

Chiều 2: Chứng minh \((A \cap B) \setminus (A \cap C) \subseteq A \cap (B \setminus C)\)

Chúng ta sẽ lấy một phần tử \(x\) bất kì thuộc tập hợp ở vế phải và chứng minh rằng \(x\) cũng thuộc tập hợp ở vế trái.

Giả sử \(x \in (A \cap B) \setminus (A \cap C)\).

Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là:
\[x \in (A \cap B) \quad \text{và} \quad x \notin (A \cap C)\]
Từ \(x \in (A \cap B)\), theo định nghĩa phép giao, ta suy ra:
1. \(x \in A\)
2. \(x \in B\)

Từ \(x \notin (A \cap C)\), điều này có nghĩa là không phải đồng thời \(x \in A\) và \(x \in C\). Vì chúng ta đã biết \(x \in A\) (theo (1)), nên để khẳng định “không phải đồng thời \(x \in A\) và \(x \in C\)” là đúng, thì bắt buộc phải có \(x \notin C\). (Nếu \(x \in C\) thì \(x \in A\) và \(x \in C\) sẽ đúng, mâu thuẫn với \(x \notin (A \cap C)\)).

Vậy, chúng ta có đồng thời các khẳng định sau về phần tử \(x\):
1. \(x \in A\)
2. \(x \in B\)
3. \(x \notin C\)

Từ (2) và (3), theo định nghĩa phép hiệu tập hợp, ta suy ra \(x \in (B \setminus C)\).

Kết hợp với (1), tức \(x \in A\), chúng ta có:
\[x \in A \quad \text{và} \quad x \in (B \setminus C)\]
Theo định nghĩa phép giao, điều này có nghĩa là \(x \in A \cap (B \setminus C)\).

Vậy, chúng ta đã chứng minh được rằng nếu \(x \in (A \cap B) \setminus (A \cap C)\) thì \(x \in A \cap (B \setminus C)\).

Do đó, \((A \cap B) \setminus (A \cap C) \subseteq A \cap (B \setminus C)\). (2)

Từ (1) và (2), ta kết luận:
\[A \cap (B \setminus C) = (A \cap B) \setminus (A \cap C)\]

---

b/ \(A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C)\)

Tương tự như phần a, chúng ta sẽ chứng minh hai chiều:

Chiều 1: Chứng minh \(A \setminus (B \cap C) \subseteq (A \setminus B) \cup (A \setminus C)\)

Giả sử \(x \in A \setminus (B \cap C)\).

Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là:
\[x \in A \quad \text{và} \quad x \notin (B \cap C)\]
Từ \(x \notin (B \cap C)\), theo định luật De Morgan cho các mệnh đề (phủ định của “P và Q” là “không P hoặc không Q”), chúng ta suy ra:
\[x \notin B \quad \text{hoặc} \quad x \notin C\]
Vậy, chúng ta có hai trường hợp có thể xảy ra (do có từ “hoặc”):

Trường hợp 1: \(x \notin B\).

Vì \(x \in A\) và \(x \notin B\), theo định nghĩa phép hiệu tập hợp, ta có \(x \in (A \setminus B)\).

Nếu \(x \in (A \setminus B)\), thì theo định nghĩa phép hợp, \(x\) chắc chắn thuộc \((A \setminus B) \cup (A \setminus C)\).

Trường hợp 2: \(x \notin C\).

Vì \(x \in A\) và \(x \notin C\), theo định nghĩa phép hiệu tập hợp, ta có \(x \in (A \setminus C)\).

Nếu \(x \in (A \setminus C)\), thì theo định nghĩa phép hợp, \(x\) chắc chắn thuộc \((A \setminus B) \cup (A \setminus C)\).

Trong cả hai trường hợp, \(x\) đều thuộc \((A \setminus B) \cup (A \setminus C)\).

Vậy, chúng ta đã chứng minh được rằng nếu \(x \in A \setminus (B \cap C)\) thì \(x \in (A \setminus B) \cup (A \setminus C)\).

Do đó, \(A \setminus (B \cap C) \subseteq (A \setminus B) \cup (A \setminus C)\). (3)

Chiều 2: Chứng minh \((A \setminus B) \cup (A \setminus C) \subseteq A \setminus (B \cap C)\)

Giả sử \(x \in (A \setminus B) \cup (A \setminus C)\).

Theo định nghĩa phép hợp, điều này có nghĩa là:
\[x \in (A \setminus B) \quad \text{hoặc} \quad x \in (A \setminus C)\]
Chúng ta xét hai trường hợp:

Trường hợp 1: \(x \in (A \setminus B)\).

Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là \(x \in A\) và \(x \notin B\).

Vì \(x \notin B\), nên chắc chắn \(x\) không thể thuộc giao của B và C (tức là \(x \notin (B \cap C)\)). (Nếu \(x \in (B \cap C)\) thì \(x \in B\) và \(x \in C\), mâu thuẫn với \(x \notin B\)).

Vậy, chúng ta có \(x \in A\) và \(x \notin (B \cap C)\).

Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là \(x \in A \setminus (B \cap C)\).

Trường hợp 2: \(x \in (A \setminus C)\).

Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là \(x \in A\) và \(x \notin C\).

Vì \(x \notin C\), nên chắc chắn \(x\) không thể thuộc giao của B và C (tức là \(x \notin (B \cap C)\)). (Nếu \(x \in (B \cap C)\) thì \(x \in B\) và \(x \in C\), mâu thuẫn với \(x \notin C\)).

Vậy, chúng ta có \(x \in A\) và \(x \notin (B \cap C)\).

Theo định nghĩa phép hiệu tập hợp, điều này có nghĩa là \(x \in A \setminus (B \cap C)\).

Trong cả hai trường hợp, \(x\) đều thuộc \(A \setminus (B \cap C)\).

Vậy, chúng ta đã chứng minh được rằng nếu \(x \in (A \setminus B) \cup (A \setminus C)\) thì \(x \in A \setminus (B \cap C)\).

Do đó, \((A \setminus B) \cup (A \setminus C) \subseteq A \setminus (B \cap C)\). (4)

Từ (3) và (4), ta kết luận:
\[A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C)\]

Thầy hi vọng rằng với cách trình bày chi tiết từng bước này, các em đã hiểu rõ hơn về cách chứng minh các đẳng thức liên quan đến phép toán tập hợp. Các em hãy nhớ vững định nghĩa của từng phép toán và sử dụng tư duy logic chặt chẽ để giải quyết các bài tập dạng này nhé! Chúc các em học tốt!