Ước số chung lớn nhất

Trong toán học, **ước số chung lớn nhất** (**ƯCLN**) hay **ước chung lớn nhất** (**ƯCLN**) của hai hay nhiều số nguyên là số nguyên dương lớn nhất là ước số chung của các số đó. Ví dụ, ước chung lớn nhất của 6 và 15 là 3 vì 6:3=2 và 15:3=5.

Trong tiếng Anh, ước chung lớn nhất gọi là **greatest common divisor** (**GCD**), **greatest common factor** (**GCF**), **highest common factor** (**HCF**), **greatest common measure** (**GCM**), hay **highest common divisor** (**HCD**). 

Trong trường hợp tất cả số nguyên đều bằng 0 thì chúng không có ƯCLN vì khi đó mọi số tự nhiên khác không đều là ước chung của các số đó. Nếu trong các số đó có ít nhất một số bằng 0 và ít nhất một số khác 0 thì ƯCLN của chúng bằng ƯCLN của các số khác 0.

## Tổng quan

### Ký hiệu
Ước chung lớn nhất của *a<sub>0</sub>, a<sub>1</sub>, a<sub>2</sub>,... a<sub>n</sub>* được ký hiệu là ƯCLN(*a<sub>0</sub>, a<sub>1</sub>, a<sub>2</sub>,... a<sub>n</sub>*) 

### Ví dụ
Tìm ước chung lớn nhất của 27 và 45?

Ta có:

* Các ước của 27 là 1,3,9,27.
* Các ước của 45 là 1,3,5,9,15,45.

Những số nằm trong cả hai danh sách được gọi là những ước chung của 27 và 45:1,3,9Trong đó số lớn nhất là 9. Vậy 9 là ước chung lớn nhất của 27 và 45. Viết UCLN(27,45)=9

### Số nguyên tố cùng nhau

Các số được gọi là số nguyên tố cùng nhau nếu ước chung lớn nhất của chúng bằng 1. Chẳng hạn, 9 và 28 là hai số nguyên tố cùng nhau.

Ước chung lớn nhất được sử dụng để đưa một phân số về dạng phân số tối giản. Chẳng hạn, ƯCLN(42, 56)=14, do đó,

:{42 \over 56}={3 \cdot 14 \over 4 \cdot 14}={3 \over 4}.

## Các tính chất

* Mọi ước chung của các số là ước của ƯCLN của các só đó.
* Với các số nguyên *a<sub>0</sub>, a<sub>1</sub>, a<sub>2</sub>,... a<sub>n</sub>,* ƯCLN(*a<sub>0</sub>, a<sub>1</sub>, a<sub>2</sub>,... a<sub>n</sub>*) có thể được định nghĩa tương đương như số nguyên dương *d* nhỏ nhất có dạng *d*&nbsp;=&nbsp;\sum_{k=0}^n a_k x_k trong đó *x<sub>k</sub>* là các số nguyên. Định lý này được gọi là đẳng thức Bézout. Các số *x<sub>k</sub>* có thể tính nhờ Giải thuật Euclid mở rộng.
*ƯCLN(*a*,&nbsp;0) =|*a*|, với mọi *a* &ne; 0, vì mọi số khác 0 bất kỳ là ước của 0, và ước lớn nhất của *a* là|*a*|. Đây là trường hợp cơ sở trong thuật toán Euclid.
*Nếu *a* là ước của tích *b*·*c*, và ƯCLN(*a*,&nbsp;*b*)&nbsp;=&nbsp;*d*, thì *a*/*d* là ước của *c*.
*Nếu *m* là số nguyên dương, thì ƯCLN(*ma<sub>0</sub>*,&nbsp;*ma<sub>1</sub>*, *ma<sub>2</sub>,...ma<sub>n</sub>*)&nbsp;=&nbsp;*m* · ƯCLN(*a<sub>0</sub>, a<sub>1</sub>, a<sub>2</sub>,... a<sub>n</sub>*).
*Nếu *m* là số nguyên bất kỳ, thì ƯCLN(*a*&nbsp;+&nbsp;*m* · *b*,&nbsp;*b*)&nbsp;=&nbsp;ƯCLN(*a*,&nbsp;*b*). Nếu *m* ước chung (khác 0) của *a* và *b*, thì UCLN(*a/m*,&nbsp;*b/m*)&nbsp;=&nbsp;ƯCLN(*a*,&nbsp;*b*)*/m*.
*ƯCLN là một hàm có tính nhân theo nghĩa sau: nếu các số *a*1, *a*2,...,an là các số nguyên tố cùng nhau, thì ƯCLN(*a*1 · *a*2 · ... · an,&nbsp;*b*) = ƯCLN(*a*1,&nbsp;*b*) · ƯCLN (*a*2,&nbsp;*b*) · ... · ƯCLN (*a<sub>n</sub>*,&nbsp;*b*).
*ƯCLN là hàm giao hoán: ƯCLN(*a*, *b*) = ƯCLN(*b*, *a*).
*ƯCLN là hàm kết hợp: ƯCLN(a,b,c)= ƯCLN(*a*, ƯCLN(*b*, *c*)) = ƯCLN(ƯCLN(*a*, *b*), *c*).
*ƯCLN(*a*,&nbsp;*b*) quan hệ chặt chẽ với BCNN(*a*,&nbsp;*b*): ta có 
::ƯCLN(*a*,&nbsp;*b*) · BCNN(*a*,&nbsp;*b*)&nbsp;=&nbsp;*a* · *b*. 
:Công thức này thường được dùng để tính BCNN của 2 số. Dạng khác của mối quan hệ này là tính chất phân phối:
:BCNN(*a*,&nbsp;ƯCLN(*a<sub>0</sub>, a<sub>1</sub>, a<sub>2</sub>,... a<sub>n</sub>*))&nbsp;=&nbsp;ƯCLN(BCNN(*a*,&nbsp;a0),&nbsp;BCNN(*a*,&nbsp;a1), BCNN(a,a2),...,BCNN(a,an)).

*Nếu sử dụng định nghĩa ƯCLN(0,&nbsp;0)&nbsp;=&nbsp;0 và BCNN(0,&nbsp;0)&nbsp;=&nbsp;0 thì khi đó tập các số tự nhiên trở thành một dàn đầy đủ phân phối với ƯCLN. 
*Trong Hệ tọa độ Descartes, ƯCLN(*a*,&nbsp;*b*) biểu diễn số các điểm với tọa độ nguyên trên đoạn thẳng nối các điểm (0,&nbsp;0) và (*a*,&nbsp;*b*), trừ chính điểm (0,&nbsp;0).

## Tính toán

### Tìm ước chung lớn 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 \cdot 3^2 \cdot 5^1 = 2 \cdot 3 \cdot 3 \cdot 5 \,\!

Ở đâ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 ƯCLN của một tập hợp các số.

Ví dụ: Tìm giá trị của ƯCLN(12, 32, 60).

Đầ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ố.
:12 = 2^2 \cdot 3
:32 = 2^5
:60 = 2^2 \cdot 3 \cdot 5

Với mỗi thừa số nguyên tố **có chung** trong tất cả các số, nâng lũy thừa bậc thấp nhất, tích của chúng cho ta giá trị ƯCLN cần tìm. Thừa số 2 có ở cả ba số, có bậc thấp nhất là 22. Do đó:

:\operatorname{UCLN}(12,32,60)=2^2=4
Trên thực tế phương pháp này chỉ dùng cho các số nhỏ. Việc phân tích các số lớn ra thừa số nguyên tố mất rất nhiều thời gian.

Để tìm ƯCLN của 2 số tự nhiên thì phương pháp hiệu quả là giải thuật Euclid dựa trên dãy liên tiếp các phép chia có dư.

### Tính qua [[bội số chung nhỏ nhất]]
Nếu *a* và *b* là các số khác không, thì ước chung lớn nhất của *a* và *b* có thể tính qua bội chung nhỏ nhất (BCNN) của *a* và *b*:


 UCLN(a,b) = \frac{a\cdot b}{BCNN(a,b)}


## Chú thích

## Đọc thêm

*Donald Knuth. *The Art of Computer Programming*, Volume 2: *Seminumerical Algorithms*, Third Edition. Addison-Wesley, 1997. ISBN 0-201-89684-2. Section 4.5.2: The Greatest Common Divisor, pp.&nbsp;333&ndash;356.
*Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. *[[Introduction to Algorithms]]*, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0-262-03293-7. Section 31.2: Greatest common divisor, pp.&nbsp;856&ndash;862.
*Saunders MacLane và Garrett Birkhoff. *A Survey of Modern Algebra*, Fourth Edition. MacMillan Publishing Co., 1977. ISBN 0-02-310070-2. 1-7: "The Euclidean Algorithm."

## Liên kết ngoài
* GCD Implementation in C++
* greatest common divisor tại Everything2.com
* Greatest Common Measure: The Last 2500 Years, by Alexander Stepanov