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

2026-Sep-14 1050 từ 5 phút

Nội dung

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:

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ố.
Thiết lập điều kiện cần và đủ để $\operatorname{lcm}(a, b) = ab$.
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)$.

Chứng minh rằng: $$d \cdot m = ab.$$
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)

$$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$.

$$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$.

$$m \le M.$$$$c = k \cdot a = l \cdot b \quad (k, l \in \mathbb{Z}^+).$$$$k(d \cdot a') = l(d \cdot b') \iff k \cdot a' = l \cdot b'.$$$$l = t \cdot a' \quad (t \in \mathbb{Z}^+).$$$$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$.

$$M \mid m \implies M \le m.$$$$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ố

$$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)}.$$

$$d \cdot m = \prod_{i} p_i^{\min(\alpha_i, \beta_i) + \max(\alpha_i, \beta_i)}.$$$$\min(\alpha, \beta) + \max(\alpha, \beta) = \alpha + \beta.$$$$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$

$$m = \frac{ab}{d}.$$$$\operatorname{lcm}(a, b) = ab \iff \frac{ab}{d} = ab \iff \frac{1}{d} = 1 \iff d = 1.$$$$\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):

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.$$

$$(\langle a \rangle + \langle b \rangle) \cdot (\langle a \rangle \cap \langle b \rangle) = \langle a \rangle \cdot \langle b \rangle.$$$$\langle a \rangle \cap \langle b \rangle = \langle a \rangle \cdot \langle b \rangle = \langle ab \rangle.$$$$\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: 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): 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: 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): Ứ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ố: Đặ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: 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.