# Sự tồn tại và Tính duy nhất của Bội chung nhỏ nhất (BCNN)


Trong số học sơ cấp ở bậc phổ thông, bội chung nhỏ nhất thường được giới thiệu dựa trên thứ tự số học thông thường: *"số nguyên dương nhỏ nhất chia hết cho cả hai số"*. Tuy nhiên, trong đại số trừu tượng và lý thuyết vành hiện đại, bội chung nhỏ nhất được định nghĩa thông qua **quan hệ chia hết** (thuộc tính phổ quát - universal property).

Bài viết này sẽ khảo sát định nghĩa chuẩn tắc này và chứng minh rằng mọi cặp số nguyên khác không đều có **duy nhất một bội chung nhỏ nhất**, kết hợp các công cụ từ [Nguyên lý Thứ tự tốt]({{< ref "posts/math/algebra/well-ordering-and-induction.md" >}}), [Bổ đề Bézout]({{< ref "posts/math/algebra/extended-euclidean-algorithm-bezout.md" >}}), đến [Cấu trúc Vành I-đê-an chính (PID)]({{< ref "posts/math/algebra/bezout-pid-and-lattices.md" >}}).

---

## Đề bài

Cho $a$ và $b$ là hai số nguyên khác không. Bội chung nhỏ nhất của $a$ và $b$, ký hiệu là $\operatorname{lcm}(a, b)$, được định nghĩa là số nguyên dương $m$ thỏa mãn đồng thời hai điều kiện:

1. $a \mid m$ và $b \mid m$;
2. Nếu $n$ là một số nguyên bất kỳ thỏa mãn $a \mid n$ và $b \mid n$, thì $m \mid n$.

**Yêu cầu:** Chứng minh rằng với mọi cặp số nguyên khác không $a$ và $b$, luôn tồn tại **duy nhất** một bội chung nhỏ nhất $\operatorname{lcm}(a, b)$.

---

## Phân tích bài toán

Bài toán yêu cầu hai bước độc lập và chặt chẽ:

1. **Tính duy nhất (Uniqueness):** Nếu có hai số nguyên dương cùng thỏa mãn định nghĩa, chúng buộc phải bằng nhau.
2. **Tính tồn tại (Existence):** Luôn tìm được một số nguyên dương $m$ thỏa mãn cả hai điều kiện trên.

---

## 1. Chứng minh Tính duy nhất (Uniqueness)

Tính duy nhất được suy ra trực tiếp từ tính chất phản đối xứng của quan hệ chia hết trên tập hợp các số nguyên dương $\mathbb{Z}^+$.

Giả sử $m_1$ và $m_2$ là hai số nguyên dương đều thỏa mãn định nghĩa bội chung nhỏ nhất của $a$ và $b$.

- Vì $m_1$ là một bội chung của $a$ và $b$ ($a \mid m_1$ và $b \mid m_1$), và theo điều kiện (2) đối với $m_2$, ta có:
  $$m_2 \mid m_1.$$

- Ngược lại, vì $m_2$ là một bội chung của $a$ và $b$ ($a \mid m_2$ và $b \mid m_2$), và theo điều kiện (2) đối với $m_1$, ta có:
  $$m_1 \mid m_2.$$

Do $m_1 \mid m_2$ và $m_2 \mid m_1$, tồn tại các số nguyên dương $k, l \ge 1$ sao cho $m_2 = k m_1$ và $m_1 = l m_2$. Suy ra:
$$m_1 = l(k m_1) = (lk) m_1 \implies lk = 1.$$
Vì $k, l \in \mathbb{Z}^+$, ta bắt buộc phải có $k = l = 1$, dẫn tới:
$$m_1 = m_2.$$

Như vậy, nếu bội chung nhỏ nhất tồn tại, nó là **duy nhất**.

---

## 2. Chứng minh Tính tồn tại (Existence)

Dưới đây là hai phương pháp chứng minh sự tồn tại của $m$. Cả hai cách đều đem lại những góc nhìn toán học sâu sắc.

### Cách 1: Xây dựng tường minh qua Ước chung lớn nhất và Bổ đề Bézout

Cách tiếp cận này nối tiếp trực tiếp kết quả của bài toán [Mối quan hệ giữa ƯCLN và BCNN: Đẳng thức $d \cdot m = ab$]({{< ref "posts/math/algebra/gcd-lcm-relationship.md" >}}).

Đặt $d = \gcd(a, b)$. Do $a, b \neq 0$ nên $d \in \mathbb{Z}^+$ và $d$ luôn tồn tại. Ta đặt:
$$m = \frac{|ab|}{d}.$$

Ta cần kiểm tra $m$ thỏa mãn cả hai điều kiện của định nghĩa:

#### Bước 1: $m$ là một bội chung dương
Vì $d = \gcd(a, b)$, ta có $d \mid a$ và $d \mid b$. Ta có thể viết $a = d \cdot a'$ và $b = d \cdot b'$ với $a', b' \in \mathbb{Z}$. Khi đó:
$$m = \frac{|(d \cdot a') b|}{d} = |a'| |b| \implies b \mid m,$$
và tương tự:
$$m = \frac{|a (d \cdot b')|}{d} = |a| |b'| \implies a \mid m.$$
Vì $a, b \neq 0$ nên $m > 0$. Do đó $m$ là một bội chung nguyên dương của $a$ và $b$.

#### Bước 2: $m$ chia hết mọi bội chung $n$
Giả sử $n$ là một số nguyên bất kỳ thỏa mãn $a \mid n$ và $b \mid n$. Tồn tại các số nguyên $k, h$ sao cho:
$$n = ka = hb.$$

Theo [Bổ đề Bézout]({{< ref "posts/math/algebra/extended-euclidean-algorithm-bezout.md" >}}), tồn tại các số nguyên $r, s \in \mathbb{Z}$ sao cho:
$$d = ar + bs.$$

Chia cả hai vế của đẳng thức Bézout cho $ab$:
$$\frac{d}{ab} = \frac{r}{b} + \frac{s}{a}.$$

Nhân cả hai vế của đẳng thức trên với $n$:
$$n \cdot \frac{d}{ab} = \frac{nr}{b} + \frac{ns}{a}.$$

Thay $n = hb$ vào số hạng đầu và $n = ka$ vào số hạng thứ hai:
$$n \cdot \frac{d}{ab} = \frac{(hb)r}{b} + \frac{(ka)s}{a} = hr + ks.$$

Vì $h, r, k, s \in \mathbb{Z}$, tổng $hr + ks$ là một số nguyên, đặt là $T = hr + ks \in \mathbb{Z}$. Do đó:
$$\frac{n \cdot d}{ab} = T \implies n = T \cdot \frac{ab}{d}.$$

Lấy giá trị tuyệt đối cho mẫu số (chỉ làm thay đổi dấu của thương nguyên $T$):
$$n = \pm T \cdot \frac{|ab|}{d} = (\pm T) \cdot m.$$

Vì $\pm T \in \mathbb{Z}$, ta suy ra ngay:
$$m \mid n.$$

Như vậy, số $m = \frac{|ab|}{d}$ hoàn toàn thỏa mãn đầy đủ các điều kiện của BCNN.

---

### Cách 2: Tiếp cận thuần túy giải tích qua Nguyên lý Thứ tự tốt (Well-Ordering Principle)

Phương pháp này không cần biết trước mối quan hệ $d \cdot m = |ab|$, mà trực tiếp khai thác cấu trúc của tập hợp số nguyên.

Xét tập hợp $S$ gồm tất cả các bội chung nguyên dương của $a$ và $b$:
$$S = \{ x \in \mathbb{Z}^+ : a \mid x \text{ và } b \mid x \}.$$

Ta chứng minh $S$ thỏa mãn các tính chất:

1. **$S \neq \emptyset$:**
   Vì $a \neq 0$ và $b \neq 0$, tích $|ab|$ là một số nguyên dương thỏa mãn $a \mid |ab|$ và $b \mid |ab|$. Do đó $|ab| \in S$.

2. **Áp dụng Nguyên lý Thứ tự tốt:**
   Do $S$ là tập con khác rỗng của tập số nguyên dương $\mathbb{Z}^+$, theo [Nguyên lý Thứ tự tốt]({{< ref "posts/math/algebra/well-ordering-and-induction.md" >}}), tập $S$ tồn tại một phần tử nhỏ nhất. Gọi phần tử nhỏ nhất này là:
   $$m = \min(S).$$

Vì $m \in S$, theo định nghĩa của tập $S$, $m$ hiển nhiên là số nguyên dương và thỏa mãn $a \mid m$, $b \mid m$.

3. **Chứng minh $m \mid n$ với mọi bội chung $n$:**
   Giả sử $n$ là một số nguyên bất kỳ thỏa mãn $a \mid n$ và $b \mid n$.
   Theo Thuật toán chia với số dư (Division Algorithm), chia $n$ cho $m$, tồn tại các số nguyên duy nhất $q, r$ sao cho:
   $$n = qm + r, \quad 0 \le r < m.$$

   Ta viết lại phần dư:
   $$r = n - qm.$$

   - Vì $a \mid n$ và $a \mid m$, nên $a \mid (n - qm) \implies a \mid r$.
   - Vì $b \mid n$ và $b \mid m$, nên $b \mid (n - qm) \implies b \mid r$.

   Như vậy, phần dư $r$ cũng là một bội chung của cả $a$ và $b$.

   - Nếu $r > 0$, thì $r$ là một số nguyên dương và là bội chung của $a, b$, nghĩa là $r \in S$.
   - Nhưng theo thuật toán chia, $r < m$. Điều này mâu thuẫn với giả thiết $m$ là phần tử nhỏ nhất của $S$ ($m = \min(S)$).

   Do đó, khả năng $r > 0$ không thể xảy ra. Buộc phải có:
   $$r = 0 \implies n = qm \implies m \mid n.$$

Chứng minh hoàn tất!

> **Điểm tinh tế của chứng minh:**  
> Cách 2 cho thấy: chỉ cần chọn $m$ là **phần tử nhỏ nhất theo quan hệ thứ tự tự nhiên** ($\le$), thuật toán chia có dư sẽ bảo đảm $m$ tự động trở thành **phần tử nhỏ nhất theo quan hệ chia hết** ($\mid$).

---

## 3. Góc nhìn Đại số trừu tượng: Giao của các I-đê-an trong Vành PID

Định nghĩa số học trên thực chất là hình chiếu của lý thuyết vành:

Trong vành số nguyên $\mathbb{Z}$, tập hợp các bội của $a$ là i-đê-an chính $a\mathbb{Z}$, và tập hợp các bội của $b$ là i-đê-an chính $b\mathbb{Z}$.

Tập hợp các bội chung của $a$ và $b$ chính là phần giao của hai i-đê-an này:
$$I = a\mathbb{Z} \cap b\mathbb{Z}.$$

Vì giao của hai i-đê-an luôn là một i-đê-an, và $\mathbb{Z}$ là một [Vành I-đê-an chính (PID)]({{< ref "posts/math/algebra/bezout-pid-and-lattices.md" >}}), mọi i-đê-an đều có dạng đơn sinh. Nghĩa là tồn tại một số nguyên dương duy nhất $m$ sao cho:
$$a\mathbb{Z} \cap b\mathbb{Z} = m\mathbb{Z}.$$

Từ đẳng thức này, ta giải mã được toàn bộ định nghĩa BCNN:
1. $m \in m\mathbb{Z} = a\mathbb{Z} \cap b\mathbb{Z} \implies m \in a\mathbb{Z}$ và $m \in b\mathbb{Z} \implies a \mid m$ và $b \mid m$.
2. Nếu $n$ là bội chung bất kỳ, tức $n \in a\mathbb{Z} \cap b\mathbb{Z} = m\mathbb{Z} \implies m \mid n$.
3. Phần tử sinh dương $m$ của một i-đê-an chính là duy nhất vì các phần tử sinh của cùng một i-đê-an chỉ sai khác nhau một phần tử khả nghịch trong $\mathbb{Z}^\times = \{1, -1\}$.

| Khái niệm Số học | Ngôn ngữ I-đê-an ($\mathbb{Z}$) | Ý nghĩa cấu trúc |
| :--- | :--- | :--- |
| Tập bội của $a$ | $a\mathbb{Z}$ | I-đê-an chính sinh bởi $a$ |
| Tập bội của $b$ | $b\mathbb{Z}$ | I-đê-an chính sinh bởi $b$ |
| Bội chung của $a$ và $b$ | $a\mathbb{Z} \cap b\mathbb{Z}$ | Giao của hai i-đê-an |
| BCNN $m = \operatorname{lcm}(a, b)$ | $(a\mathbb{Z} \cap b\mathbb{Z}) = m\mathbb{Z}$ | Phần tử sinh dương của i-đê-an giao |
| ƯCLN $d = \gcd(a, b)$ | $a\mathbb{Z} + b\mathbb{Z} = d\mathbb{Z}$ | Phần tử sinh dương của i-đê-an tổng |

---

## Xem thêm các bài viết liên quan

1. [Nguyên lý Thứ tự tốt và Quy nạp Toán học]({{< ref "posts/math/algebra/well-ordering-and-induction.md" >}}) — Cơ sở nền tảng xác lập phần tử cực tiểu trong tập bội chung.
2. [Thuật toán Euclid mở rộng và Bổ đề Bézout]({{< ref "posts/math/algebra/extended-euclidean-algorithm-bezout.md" >}}) — Công cụ tìm các hệ số nguyên để giải bài toán chia hết.
3. [Bổ đề Bézout dưới góc nhìn Hình học Mạng lưới và Vành I-đê-an chính (PID)]({{< ref "posts/math/algebra/bezout-pid-and-lattices.md" >}}) — Mối liên hệ sâu sắc giữa đại số trừu tượng và hình học.
4. [Hai số nguyên tố cùng nhau: Chiều đảo Bổ đề Bézout và Tính đối xứng của hệ số]({{< ref "posts/math/algebra/coprimality-bezout-characterization.md" >}}) — Tiêu chuẩn nhận biết hai số nguyên tố cùng nhau.
5. [Mối quan hệ giữa ƯCLN và BCNN: Đẳng thức $d \cdot m = ab$ và Tiêu chuẩn nguyên tố cùng nhau]({{< ref "posts/math/algebra/gcd-lcm-relationship.md" >}}) — Khảo sát đối ngẫu giữa ước chung và bội chung.
6. [Bản đồ chuỗi bài viết Đại số: Từ Thứ tự tốt đến Bổ đề Bézout và Vành PID]({{< ref "posts/math/algebra/algebra-series-roadmap.md" >}}) — Lộ trình tổng quan kết nối toàn bộ chuỗi bài.