# Mối quan hệ giữa ƯCLN và BCNN: Đẳng thức d · m = ab và Tiêu chuẩn nguyên tố cùng nhau


Trong số học, ước chung lớn nhất $\gcd(a, b)$ và bội chung nhỏ nhất $\operatorname{lcm}(a, b)$ là hai mặt đối ngẫu của nhau. Một bên đại diện cho ước chung cực đại, một bên đại diện cho bội chung cực tiểu. 

Hai đại lượng này được liên kết chặt chẽ qua một đẳng thức kinh điển:

$$\gcd(a, b) \cdot \operatorname{lcm}(a, b) = a \cdot b.$$

Bài viết này trình bày lời giải chi tiết cho hai câu hỏi:
1. Chứng minh đẳng thức $d \cdot m = ab$ bằng cả hai cách tiếp cận: tính chất chia hết suy từ Bổ đề Euclid và phân tích thừa số nguyên tố.
2. Thiết lập điều kiện cần và đủ để $\operatorname{lcm}(a, b) = ab$.
3. Khám phá ý nghĩa đại số trừu tượng đằng sau đẳng thức: mối liên hệ giữa tổng và giao của các i-đê-an.

---

## Đề bài

Cho $a$ và $b$ là hai số nguyên dương. Đặt $d = \gcd(a, b)$ và $m = \operatorname{lcm}(a, b)$.

1. Chứng minh rằng:
   $$d \cdot m = ab.$$
2. Suy ra ngay rằng $\operatorname{lcm}(a, b) = ab$ khi và chỉ khi $\gcd(a, b) = 1$.

---

## Lời giải chi tiết

### 1. Câu 1: Chứng minh $d \cdot m = ab$

#### Cách 1: Tiếp cận thuần túy đại số (sử dụng Bổ đề Euclid)

Vì $d = \gcd(a, b)$, ta biểu diễn $a$ và $b$ dưới dạng:
$$a = d \cdot a', \quad b = d \cdot b' \quad (a', b' \in \mathbb{Z}^+),$$
trong đó $a'$ và $b'$ là hai số nguyên tố cùng nhau, tức là $\gcd(a', b') = 1$.

Xét số:
$$M = \frac{ab}{d}.$$

Ta sẽ chứng minh $M$ chính là bội chung nhỏ nhất của $a$ và $b$ ($M = m$):

**Bước 1: Chứng minh $M$ là một bội chung của $a$ và $b$**
- Thay $b = d \cdot b'$ vào: $M = \frac{a(d \cdot b')}{d} = a \cdot b' \implies a \mid M$.
- Thay $a = d \cdot a'$ vào: $M = \frac{(d \cdot a')b}{d} = b \cdot a' \implies b \mid M$.

Do $M$ chia hết cho cả $a$ và $b$, nên $M$ là một bội chung dương của $a$ và $b$.  
Theo định nghĩa của bội chung nhỏ nhất $m = \operatorname{lcm}(a, b)$, ta có:
$$m \le M.$$

**Bước 2: Chứng minh mọi bội chung của $a$ và $b$ đều là bội của $M$**  
Giả sử $c$ là một bội chung bất kỳ của $a$ và $b$. Khi đó:
$$c = k \cdot a = l \cdot b \quad (k, l \in \mathbb{Z}^+).$$

Thay $a = d \cdot a'$ và $b = d \cdot b'$ vào đẳng thức trên:
$$k(d \cdot a') = l(d \cdot b') \iff k \cdot a' = l \cdot b'.$$

Từ đây suy ra $a' \mid (l \cdot b')$.  
Vì $\gcd(a', b') = 1$, theo **Bổ đề Euclid** (đã được chứng minh qua [Bổ đề Bézout](/posts/math/algebra/extended-euclidean-algorithm-bezout/)), số $a'$ buộc phải chia hết $l$:
$$l = t \cdot a' \quad (t \in \mathbb{Z}^+).$$

Thay $l$ trở lại vào biểu thức của $c$:
$$c = l \cdot b = (t \cdot a') b = t \cdot (a' b) = t \cdot \left(\frac{ab}{d}\right) = t \cdot M.$$

Điều này chứng minh: **mọi bội chung $c$ của $a$ và $b$ đều chia hết cho $M$**.

Đặc biệt, bản thân $m = \operatorname{lcm}(a, b)$ là một bội chung của $a$ và $b$, do đó:
$$M \mid m \implies M \le m.$$

**Bước 3: Kết luận**  
Vì $m \le M$ và $M \le m$ trên tập số nguyên dương, bắt buộc:
$$m = M = \frac{ab}{d} \iff d \cdot m = ab. \quad \blacksquare$$

---

#### Cách 2: Tiếp cận trực quan qua phân tích thừa số nguyên tố

Theo Định lý cơ bản của số học, hai số nguyên dương $a$ và $b$ phân tích được thành tích các lũy thừa số nguyên tố:
$$a = \prod_{i} p_i^{\alpha_i}, \quad b = \prod_{i} p_i^{\beta_i} \quad (\alpha_i, \beta_i \ge 0).$$

Theo định nghĩa theo số mũ:
- Ước chung lớn nhất chọn số mũ nhỏ hơn ở mỗi thừa số:
  $$d = \gcd(a, b) = \prod_{i} p_i^{\min(\alpha_i, \beta_i)}.$$
- Bội chung nhỏ nhất chọn số mũ lớn hơn ở mỗi thừa số:
  $$m = \operatorname{lcm}(a, b) = \prod_{i} p_i^{\max(\alpha_i, \beta_i)}.$$

Nhân hai biểu thức lại với nhau:
$$d \cdot m = \prod_{i} p_i^{\min(\alpha_i, \beta_i) + \max(\alpha_i, \beta_i)}.$$

Với hai số thực bất kỳ $\alpha, \beta$, ta luôn có hằng đẳng thức sơ cấp:
$$\min(\alpha, \beta) + \max(\alpha, \beta) = \alpha + \beta.$$

Do đó:
$$d \cdot m = \prod_{i} p_i^{\alpha_i + \beta_i} = \left(\prod_{i} p_i^{\alpha_i}\right) \left(\prod_{i} p_i^{\beta_i}\right) = a \cdot b. \quad \blacksquare$$

---

### 2. Câu 2: Suy ra điều kiện $\operatorname{lcm}(a, b) = ab \iff \gcd(a, b) = 1$

Từ đẳng thức $d \cdot m = ab$, vì $a, b > 0$ nên $ab > 0$ và $d \ge 1$. Ta có:
$$m = \frac{ab}{d}.$$

Do đó:
$$\operatorname{lcm}(a, b) = ab \iff \frac{ab}{d} = ab \iff \frac{1}{d} = 1 \iff d = 1.$$

Vì $d = \gcd(a, b)$, điều này tương đương với:
$$\gcd(a, b) = 1. \quad \blacksquare$$

> **Ý nghĩa:** Bội chung nhỏ nhất của hai số chỉ đạt giá trị cực đại bằng tích của chúng khi và chỉ khi hai số đó không chia sẻ bất kỳ thừa số chung nào lớn hơn $1$. Nếu có ước chung $d > 1$, việc nhân $ab$ sẽ làm thừa số chung bị "đếm trùng" hai lần, khiến tích bị phóng đại gấp $d$ lần so với bội chung nhỏ nhất.

---

## Góc nhìn Đại số trừu tượng: Tổng và Giao của I-đê-an

Trong lý thuyết vành trên $\mathbb{Z}$ (như đã phân tích ở bài viết [Bổ đề Bézout và Vành PID](/posts/math/algebra/bezout-pid-and-lattices/)):

- **Tổng của hai i-đê-an** tương ứng với ước chung lớn nhất:
  $$\langle a \rangle + \langle b \rangle = \langle \gcd(a, b) \rangle = \langle d \rangle.$$
- **Giao của hai i-đê-an** tương ứng với bội chung nhỏ nhất:
  $$\langle a \rangle \cap \langle b \rangle = \langle \operatorname{lcm}(a, b) \rangle = \langle m \rangle.$$
- **Tích của hai i-đê-an:**
  $$\langle a \rangle \cdot \langle b \rangle = \langle ab \rangle.$$

Đẳng thức $d \cdot m = ab$ phản ánh mối quan hệ giữa tổng và giao của hai i-đê-an:
$$(\langle a \rangle + \langle b \rangle) \cdot (\langle a \rangle \cap \langle b \rangle) = \langle a \rangle \cdot \langle b \rangle.$$

Đặc biệt, khi $\gcd(a, b) = 1$, ta có $\langle a \rangle + \langle b \rangle = \mathbb{Z}$, dẫn tới:
$$\langle a \rangle \cap \langle b \rangle = \langle a \rangle \cdot \langle b \rangle = \langle ab \rangle.$$

Đây chính là nền tảng đại số của **Định lý Số dư Trung Hoa (Chinese Remainder Theorem)**:
$$\mathbb{Z} / \langle ab \rangle \cong (\mathbb{Z} / \langle a \rangle) \times (\mathbb{Z} / \langle b \rangle).$$

Trong lý thuyết Cơ sở Gröbner đa biến, khi đơn thức đứng đầu của hai đa thức nguyên tố cùng nhau, đa thức S-polynomial luôn triệt tiêu về $0$ (Tiêu chuẩn Buchberger thứ nhất) cũng bắt nguồn từ tính chất giao của hai i-đê-an đơn thức này.

---

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

- 🗺️ [Bản đồ chuỗi bài viết Đại số: Từ Thứ tự tốt đến Bổ đề Bézout và Vành PID](/posts/math/algebra/algebra-series-roadmap/): Tổng quan lộ trình và mối liên hệ giữa các bài viết trong chuỗi.
- [Sự tồn tại và Tính duy nhất của Bội chung nhỏ nhất (BCNN)](/posts/math/algebra/lcm-existence-uniqueness/): Khảo sát định nghĩa chuẩn tắc theo quan hệ chia hết (Universal Property) và chứng minh sự tồn tại duy nhất của BCNN.
- [Thuật toán Euclid mở rộng và Bổ đề Bézout](/posts/math/algebra/extended-euclidean-algorithm-bezout/): Bảng chia 4 cột ($b, a, r, q$) và phương pháp thế ngược tìm cặp hệ số Bézout.
- [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)](/posts/math/algebra/bezout-pid-and-lattices/): Ứng dụng Nguyên lý thứ tự tốt để chứng minh ước chung lớn nhất là mắt lưới cơ sở nhỏ nhất.
- [Hai số nguyên tố cùng nhau: Chiều đảo Bổ đề Bézout và Tính đối xứng của hệ số](/posts/math/algebra/coprimality-bezout-characterization/): Đặc trưng tương đương $ar + bs = 1 \iff \gcd(a, b) = 1$ và tính nguyên tố cùng nhau của các cặp hệ số.
- [Nguyên lý thứ tự tốt và phép chứng minh Quy nạp Toán học](/posts/math/algebra/well-ordering-and-induction/): Cơ sở xác lập phần tử đáy cực tiểu của các tập con số tự nhiên.