✨Phép chia có dư

Cơ sở lý thuyết của phép chia với dư là một định lý trong lý thuyết số. Phép chia này được ứng dụng trong giải thuật Euclid tìm ước chung lớn nhất của hai số nguyên khác không.

Định lý về phép chia với dư

Giả sử cho hai số nguyên a và d, với d ≠ 0

Khi đó tồn tại duy nhất các số nguyên q và r sao cho a = qd + r và 0 ≤ r < | d |, trong đó | d | là giá trị tuyệt đối của d.

Các số nguyên trong định lý được gọi như sau

• q được gọi là thương khi chia a cho d. Đôi khi nó còn được gọi là thương hụt.
• r được gọi là dư khi chia a cho d
• d được gọi là số chia
• a được gọi là số bị chia Phép toán tìm q và r được gọi là phép chia với dư.

Ví dụ

Nếu a = 7 và d = 3, khi đó q = 2 và r = 1, vì 7 = (2)(3) + 1. Nếu a = 7 và d = −3, khi đó q = −2 và r = 1, vì 7 = (−2)(−3) + 1. Nếu a = −7 và d = 3, khi đó q = −2 và r = -1, vì −7 = (−2)(3) - 1 Nếu a = −7 và d = −3, khi đó q = 2 và r = -1, vì −7 = (2)(−3) - 1.

Chứng minh

Chứng minh định lý gồm hai phần: đầu tiên chứng minh sự tồn tại của q và r, thứ hai, chứng minh tính duy nhất của q và r.

Sự tồn tại

Xét tập hợp

:$S\; =\; \backslash left\{a\; -\; nd:\; n\; \backslash in\; \backslash mathbb\{Z\}\backslash right\}$

Ta khẳng định rằng S chứa ít nhất một số nguyên không âm. Có hai trường hợp như sau.

Nếu d < 0, thì −d > 0, và theo tính chất Archimede, có một số nguyên n sao cho (−d)n ≥ −a, nghĩa là a − dn ≥ 0. Nếu d > 0, thì cũng theo tính chất Archimede, có một số nguyên n sao cho dn ≥ −a, nghĩa là a − d(−n) = a + dn ≥ 0.

Như vậy S chứa ít nhất một số nguyên không âm. Theo nguyên lý sắp thứ tự tốt, trong S có một số nguyên không âm nhỏ nhất, ta gọi số ấy là r. Đặt q = (a − r)/d, thì q và r là các số nguyên và a = qd + r.

Ta còn phải chỉ ra rằng 0 ≤ r < |d|. Tính không âm của r là rõ ràng theo cách chọn r. Ta sẽ chứng tỏ dấu bất đẳng thức thứ hai.

Giả sử nguợc lại r ≥ |d|. Vì d ≠ 0, r > 0, nên d > 0 hoặc d < 0.

Nếu d > 0, thì r ≥ d suy ra a-qd ≥ d. Từ đó a-qd-d ≥0, lại dẫn tới a-(q+1)d ≥ 0. Do đó, nếu đặt r’='a-(q+1)d thì r’ thuộc S và r’=a-(q+1)d=r-d <r, điều này mâu thuẫn với tính chất r là phần tử không âm nhỏ nhất của S. Nếu d<0 thì r ≥ -d do đó a-qd ≥ -d. Từ đó suy ra rằng a-qd+d ≥0, tiếp tục suy ra r’= a-(q-1)d ≥ 0. Do đó, r’ thuộc S và, vì r’=r+d với d < 0 ta cór’= a-(q-1)d<r, mâu thuẫn với giả thiết r là số nguyên không âm nhỏ nhất trong S.

Như vậy ta đã chứng minh sự tồn tại của q và r.

Tính duy nhất

Giả sử rằng tồn tại q, q' , r, r' với 0 ≤ r, r' < |d| sao cho a = dq + r và a = dq' + r' . Không mất tính tổng quát giả sử q ≤ q' .

Từ hai đẳng thức trên ta có: _d_(_q' _- _q_) = (_r_ - _r' _).

Nếu _d_ > 0 thì _r' _ ≤ _r_ và _r_ < _d_ ≤ _d_+_r' _, và như vậy (_r_-_r' _) < _d_. còn nếu _d_ < 0 thì _r_ ≤ _r' _ và _r' _< -_d_ ≤ -_d_+_r_, và do đó -(_r_- _r' _) < -_d_. Trong cả hai trường hợp ta có |_r_- _r' _| < |_d_|.

Mặt khác đẳng thức _d_(_q' _- _q_) = (_r_ - _r' _) chứng tỏ rằng |_d_| chia hết |_r_- _r' _|; do đó |_d_| ≤ |_r_- _'r' _| hoặc |_r_- _r' _|=0. Nhưng vì |_r_-_r' _| < |_d_|, nên chỉ có thể _r_=_r' _.

Thay vào đẳng thức d(q' - q) = (r - r' ) ta có dq = dq' và vì d khác 0, nên q = q' . Tính duy nhất đã được chứng minh.

Liên kết

*[http://www.math.hawaii.edu/~lee/courses/Division.pdf Informal discussion of the division algorithm and well-ordering principle]