✨Bội số chung nhỏ nhất

Trong số học, bội số chung nhỏ nhất (hay còn gọi tắt là bội chung nhỏ nhất, được viết tắt là BCNN, tiếng Anh: least common multiple hoặc lowest common multiple (LCM) hoặc smallest common multiple) của hai số nguyên a và b là số nguyên dương nhỏ nhất chia hết cho cả a và b. Tức là nó có thể chia cho a và b mà không để lại số dư. Nếu a hoặc b là 0, thì không tồn tại số nguyên dương chia hết cho a và b, khi đó quy ước rằng LCM(a, b) là 0.

Định nghĩa trên đôi khi được tổng quát hoá cho nhiều số nguyên dương: Bội chung nhỏ nhất của a₁,..., a_n là số nguyên dương nhỏ nhất là bội số của a₁,..., a_n.

Ký hiệu

Bội số chung nhỏ nhất của hai số a và b được ký hiệu là [a,b], BCNN(a,b) hoặc LCM(a,b).

Ký hiệu tương tự cho bội số chung nhỏ nhất của a₁,..., a_n.

Ví dụ

Bội của 4 là:

: 0, 4, 8, 12, 16, 20, 24, 28, 32, 36, 40,... (thêm 4 để được bội số tiếp theo).''

Bội của 6 là:

: 0, 6, 12, 18, 24, 30, 36, 42, 48, 54, 60, 66,...

(thêm 6 để được bội số tiếp theo).

Bội chung của 4 và 6 là các số cùng xuất hiện trong hai dãy trên (không tính số 0):

: 12, 24, 36, vô cực,...

Vậy bội chung nhỏ nhất của 4 và 6 là 12

Ứng dụng

Khi cộng, trừ hoặc so sánh các phân số, nó đặc biệt có ích khi tìm bội số chung của mẫu số, thường gọi là mẫu số chung nhỏ nhất (hay mẫu chung nhỏ nhất).

:$\{2\backslash over21\}+\{1\backslash over6\}=\{4\backslash over42\}+\{7\backslash over42\}=\{12\backslash over42\},$

mẫu số 42 được sử dụng bởi vì nó là bội chung nhỏ nhất của 21 và 6.

Tính bội số chung nhỏ nhất

Tính qua ước số chung lớn nhất

Công thức dưới đây chuyển từ việc tính bội số chung nhỏ nhất sang tính ước số chung lớn nhất (GCD):

:$\backslash operatorname\{BCNN\}(a,b)=\backslash frac\{\backslash operatorname\{UCLN\}(a,b)\}.$

Có một thuật toán nhanh để tìm GCD mà không yêu cầu phân tích ra thừa số nguyên tố, đó là thuật toán Euclid. Ví dụ:

:

Điều này làm giảm kích thước đầu vào, giảm bộ nhớ cho các giá trị trung gian.

:

Tìm bội chung nhỏ nhất bằng cách phân tích ra thừa số nguyên tố

Định lý cơ bản của số học nói rằng mọi số nguyên dương lớn hơn 1 có thể biểu diễn một cách duy nhất dạng tích các số nguyên tố (nếu không kể đến thứ tự của các thừa số). Như vậy các hợp số có thể coi như là các nguyên tố cấu thành hợp số. Ví dụ:

:$90\; =\; 2^1\; \backslash cdot\; 3^2\; \backslash cdot\; 5^1\; =\; 2\; \backslash cdot\; 3\; \backslash cdot\; 3\; \backslash cdot\; 5\; \backslash ,!$

Ở đây chúng ta có hợp số 90 tạo thành bởi một nguyên tử 2, hai nguyên tử 3 và một nguyên tử 5.

Kiến thức này có thể giúp chúng ta tìm BCNN của một tập hợp các số.

Ví dụ: Tìm giá trị của BCNN(8,9,21).

Đầu tiên, ta phân tích từng số thành dạng tích lũy thừa các số nguyên tố. :$8\backslash ;\; \backslash ,\; \backslash ;\; \backslash ,=\; 2^3$ :$9\backslash ;\; \backslash ,\; \backslash ;\; \backslash ,=\; 3^2$ :$21\backslash ;\; \backslash ,=\; 3\backslash cdot7$

Với mỗi số nguyên tố, nâng lũy thừa bậc cao nhất, tích của chúng cho ta giá trị BCNN cần tìm. Bốn thừa số nguyên tố 2, 3, 5 và 7, có bậc cao nhất lần lượt là 2³, 3², và 7¹. Do đó,

:$\backslash operatorname\{BCNN\}(8,9,21)\; =\; 2^3\; \backslash cdot\; 3^2\; \backslash cdot\; 7^1\; =\; 8\; \backslash cdot\; 9\; \backslash cdot\; 7\; =\; 504.\; \backslash ,!$

Thuật toán không thực sự hiệu quả bằng cách rút từ ước chung lớn nhất, bởi chưa có thuật toán hiệu quả để phân tích số nguyên, nhưng nó hiệu quả trong việc minh họa khái niệm.

Tính chất

• Với ký hiệu $\backslash operatorname\; \{BCNN\}(a;\; b)=[a;\; b]$ và $\backslash operatorname\{UCLN\}(a;\; b)=(a;\; b)$, ta có
• Tính chất giao hoán: $[a,\; b]\; =\; [b,\; a]$
• Tính chất kết hợp: $[a,\; [b,\; c]]\; =\; [[a,\; b],\; c]$
• Mối quan hệ với ước chung lớn nhất: *:$[a,b]=\backslash frac\{a\; \backslash cdot\; b\}\{(a,b)\}.$
• Trong trường hợp $a$ và $b$ nguyên tố cùng nhau, thì: $[a,\; b]=\; a\; \backslash cdot\; b.$
• Tính LCM của nhiều số thông qua cách tính LCM của hai số: $[a,\; b,\; c]\; =\; [[a,\; b],\; c];$ $[a\_1,\; a\_2,\; \backslash ldots,\; a\_n]\; =\; [[a\_1,\; a$2, \ldots, a{n-1}], a_n]. *Với $k=[a\_1,\; a\_2,\; \backslash ldots,\; a\_n]$ thì $\backslash operatorname\{BC\}(a\_1,\; a\_2,\; \backslash ldots,\; a\_n)=\backslash operatorname\{B\}(k)$