Bổ đề Bézout

Bản mẫu:Cần biên tập Bản mẫu:Mồ côi Trong lý thuyết số cơ bản, bổ đề Bézout được phát biểu thành định lý sau:

Nếu $d=\gcd (a,b)$ là ước chung lớn nhất của hai số nguyên không âm $a$ và $b$ thì:

• Tồn tại hai số nguyên $x$ và $y$ sao cho $a\cdot x+b\cdot y=d$,
• $d$ là số nguyên dương nhỏ nhất có thể viết dưới dạng $a\cdot x+b\cdot y$ và
• Mỗi số $e$ có dạng $a\cdot x+b\cdot y$ đều là bội của $d$.

Hai số $x$ và $y$ được gọi là hệ số Bézout của cặp $(a,b)$. Cặp $(x,y)$ không phải là duy nhất. Có thể dùng giải thuật Euclid mở rộng để xác định giá trị của cặp $(x,y)$. Nếu $a$ và $b$ đồng thời khác 0 thì từ giải thuật Euclid mở rộng ta có cặp $(x,y)$ sao cho $|x|\le \left|\frac{b}{d}\right|$ và $|y|\le \left|\frac{a}{d}\right|$ (đẳng thức có thể xảy ra khi và chỉ khi a hoặc b là bội số của số còn lại).

Nhiều định lý khác trong lý thuyết số cơ bản là kết quả của bổ đề Bézout, chẳng hạn như bổ đề Euclid hoặc định lý số dư Trung Hoa.

Đại số giao hoán

Đặt $A$ là một vành. Ta nói $A$ là một miền Bézout nếu với mọi i-đê-an chính $(a)$ và $(b)$ trong $A$, ta có $(a)+(b)=\{ra+sb\mid r,s\in A\}$ là một i-đê-an chính. Phần tử sinh của nó cũng được gọi là ước số chung lớn nhất của $a$ và $b$.

Mọi miền Bézout đều thỏa mãn bổ đề Bézout (trừ điều kiện "nhỏ nhất", bởi trên vành $A$ không nhất thiết phải có một thứ tự). Đặc biệt, đặc biệt các vành chính là các miền Bézout. Mỗi định lý rút ra từ bổ đề Bézout là đúng trong tất cả các vành đó.

Dạng của đáp án

Với một cặp hệ số Bézout $(x,y)$ được cho trước (bằng cách dùng giải thuật Euclid mở rộng), thì tất cả các cặp hệ số còn lại có dạng

$(x+k\cdot \frac{b}{\gcd (a,b)},y-k\cdot \frac{a}{\gcd (a,b)}),$

với Bản mẫu:Math là một số nguyên ngẫu nhiên và các phân số được đơn giản hóa thành các số nguyên.

Có chính xác 2 cặp trong tất cả các cặp hệ số Bézout thỏa mãn:

$|x|\le \left|\frac{b}{\gcd (a,b)}\right|\text{và}|y|\le \left|\frac{a}{\gcd (a,b)}\right|,$

và đẳng thức chỉ có thể xảy ra khi và chỉ khi Bản mẫu:Math hoặc Bản mẫu:Math là bội số của số còn lại.

Kết quả này dựa trên tính chất của phép chia có dư: Cho 2 số nguyên c và d, nếu c không chia hết cho d thì có chính xác một cặp $(q,r)$ sao cho $c=d\cdot q+r$ và $0<r<|d|$, và một cặp khác sao cho $c=d\cdot q+r$ và $0<-r<|d|$.Bản mẫu:Cần dẫn nguồn

Có thể xác định hai cặp hệ số Bézout nhỏ trên bằng cách chọn Bản mẫu:Math trong công thức trên để lấy phần dư của phép chia Bản mẫu:Math cho $b/\gcd (a,b)$.Bản mẫu:Cần dẫn nguồn

Giải thuật Euclid mở rộng luôn cho ta một trong 2 cặp tối thiểu này.

Ví dụ

Cho a = 12, b = 42 và gcd (12, 42) = 6. Thì ta có bổ đề Bézout sau (hệ số Bézout có màu đỏ khi là cặp nhỏ nhất và là màu xanh cho các cặp còn lại.):

$\begin{array}{c}⋮\\ 12& \times -10& +42& \times 3& =6\\ 12& \times -3& +42& \times 1& =6\\ 12& \times 4& +42& \times -1& =6\\ 12& \times 11& +42& \times -3& =6\\ 12& \times 18& +42& \times -5& =6\\ ⋮\end{array}$

Chứng minh

Cho hai số nguyên Bản mẫu:Mvar và Bản mẫu:Mvar, đặt $S=\{ax+by\mid x,y\in \mathbb{Z}\}$. Tập Bản mẫu:Mvar chứa các số nguyên dương và cũng chứa Bản mẫu:Mvar và Bản mẫu:Mvar. Cho $d=as+bt$ là số nguyên dương nhỏ nhất trong Bản mẫu:Mvar. Để chứng minh rằng Bản mẫu:Mvar là ước chung lớn nhất của Bản mẫu:Mvar và Bản mẫu:Mvar, ta chỉ cần chứng minh rằng Bản mẫu:Mvar là một ước số chung của Bản mẫu:Mvar và Bản mẫu:Mvar, bởi vì tất cả phần tử trong Bản mẫu:Mvar bao gồm cả Bản mẫu:Mvar là ước của ước chung lớn nhất. Thực tế, bất kỳ ước chung của Bản mẫu:Mvar và Bản mẫu:Mvar đều được chia hết bởi $as+bt=d$, do đó không thể lớn hơn Bản mẫu:Mvar.

Phép chia có dư của Bản mẫu:Mvar cho Bản mẫu:Mvar có thể ký hiệu

$a=d\cdot q+r\text{với}0\le r<d$.

Số dư Bản mẫu:Mvar nằm trong tập Bản mẫu:Mvar do

$\begin{array}{cc}r& =a-q\cdot d\\ & =a-q\cdot (a\cdot s+b\cdot t)\\ & =a\cdot (1-q\cdot s)-b\cdot q\cdot t.\end{array}$

Khi Bản mẫu:Mvar là số nguyên dương nhỏ nhất trong Bản mẫu:Mvar thì phần dư Bản mẫu:Mvar cần phải bằng 0, suy ra Bản mẫu:Mvar là một ước của Bản mẫu:Mvar. Tương tự Bản mẫu:Mvar cũng là một ước số của Bản mẫu:Mvar, ta có điều cần chứng minh.

Tổng quát

Với nhiều hơn hai số nguyên

Có thể mở rộng bổ đề Bézout với nhiều hơn hai số nguyên: nếu

$\gcd (a_1,a_2,\dots ,a_n)=d$

thì có các số nguyên $x_1,x_2,\dots ,x_n$ sao cho

$d=a_1{x}_1+a_2{x}_2+\cdots +a_n{x}_n$

trong đó:

• d là số nguyên dương nhỏ nhất có dạng này
• mỗi số nguyên có dạng này là một bội số của d

Lịch sử

Nhà toán học người Pháp Étienne Bézout (1730–1783) đã chứng minh bổ đề này cho đa thức. Tuy nhiên người chứng minh định lý này cho các số nguyên là nhà toán học người Pháp khác Claude Gaspard Bachet de Méziriac (1581–1638).

Xem thêm

• định lý AF+BG, một bổ đề Bézout tương tự dành cho đa thức đồng nhất trong ba số vô định.
• Định lý cơ bản của số học
• Bổ đề Euclid

Liên kết ngoài

• Máy tính online cho bổ đề Bézout.
• Bản mẫu:Mathworld