Trong bài này chúng tôi sẽ trình bày quan hệ chia hết trên tập các số nguyên. Bài viết là tài liệu tự học của các học sinh lớp 10 đang học tại T’s Lab, nhưng các bạn học sinh lớp 8 hoặc 9 xuất sắc có thể hiểu được toàn bài mà không gặp khó khăn nào. Nhiều chứng minh trong bài dùng tính chất sau của tập các số nguyên không âm.
Mỗi tập khác rỗng gồm các số nguyên không âm đều có phần tử nhỏ nhất.
Đầu tiên chúng ta đến với định lí nền tảng của toàn bài.
Định lí 1 (Thuật toán chia). Cho hai số nguyên và
với
Khi đó tồn tại đúng một cặp số nguyên
thỏa mãn
và
. Hai số
và
lần lượt được gọi là thương và dư trong phép chia
cho
.
Chứng minh. Gọi là tập hợp tất cả các số nguyên không âm có dạng
, với một số nguyên
. Ta thấy
khác rỗng nên nó có phần tử nhỏ nhất, ký hiệu là
. Từ định nghĩa của
, ta có thể viết
trong đó
là một số nguyên. Nếu
thì
là một phần tử nhỏ hơn
của
, vô lý, do đó
. Bây giờ giả sử
và
là hai cặp có tính chất nói đến trong định lí. Khi đó
và
. Từ đây ta có
để ý thêm
, ta thu được
Suy ra
, và
.
Ví dụ 1. Từ định lí 1 ta thấy mọi số nguyên đều có thể viết được dưới dạng hoặc
với một số nguyên
Tương tự, mọi số nguyên đều có thể viết được dưới dạng
,
, hoặc
với một số nguyên
Định nghĩa 1. Cho hai số nguyên và
với
khác
. Khi đó
được gọi là chia hết cho
, ký hiệu
, nếu tồn tại số nguyên
sao cho
. Ta viết
khi
không chia hết cho
.
Khi , ta cũng nói
là một ước của
, hay
là một bội của
. Ta có ngay lập tức các tính chất sau, chứng minh của chúng là bài tập cho bạn đọc.
Định lí 2. Với các số nguyên ,
, và
, ta có các tính chất sau:
(1) .
(2) khi và chỉ khi
.
(3) Nếu và
, thì
.
(4) Nếu và
, thì
.
(5) và
khi và chỉ khi
.
(6) Nếu và
, thì
.
(7) Nếu và
, thì
với các số nguyên bất kỳ
và
.
Ta xét một số ví dụ có sử dụng các tính chất này.
Ví dụ 2. Cho ,
,
, và
là các số nguyên thỏa mãn
. Chứng minh rằng ít nhất một bốn số đã cho không chia hết cho
.
Lời giải. Giả sử ngược lại, khi đó cả bốn số ,
,
, và
đều chia hết cho
. Suy ra
và
cùng chia hết cho
, do đó
điều này không thể xảy ra vì
.
Ví dụ 3. Tìm tất cả bộ ba số nguyên sao cho
và
là một ước của
Lời giải. Các bộ ba phải tìm là và
. Giả sử
là một bộ ba thỏa mãn các yêu cầu của đề bài. Khi đó ba số
,
và
có cùng tính chẵn-lẻ, do đó
suy ra
Đến đây xét
và
ta có câu trả lời.