Hãy S = {m ∈ Z + | m = kn - một đối với một số k ∈ Z}. Nếu chúng ta đặt k = a2 + 1
sau đó
kn - a = (a2 + 1) n - a ≥ a2 + 1 - a> (a - 1
2
) 2> 0
và vì vậy kn - a ∈ S. Do đó S 6 = ∅ và 3,1 nó sau đó S có ít nhất một
yếu tố.
Hãy k0 ∈ Z được lựa chọn để k0n đó - một là yếu tố nhất của S. Sau đó,
chúng ta có
(1) k0n -. a> 0
Hơn nữa, kể từ khi (k0 - 1 ) n - một <k0n - một nó sau đó (k0 - 1) n - a / ∈ S,
và do đó
(2) (k0 - 1) n -. a ≤ 0
Kết hợp (1) và (2) sản lượng
(k0 - 1) n ≤ a <k0n,
và, trên trừ (k0 - 1) n trong suốt,
0 ≤ a - qn <n
nơi q = k0 -. 1. Điều này thiết lập một phần tồn tại của (*)
Để chứng minh sự khẳng định tính độc đáo chúng ta phải thấy rằng nếu q, q 0 là các số nguyên
thoả mãn 0 ≤ a - qn <n và 0 ≤ a - q 0n <n sau đó q = q 0.
Giả sử rằng q, q 0 là các số nguyên như vậy. Sau đó
(q - q 0) n = (a - q 0n) - (a - qn) <n
từ a - q 0n <n và a - qn ≥ 0. Tương tự như vậy,
(q 0 - q) n = (a - qn) - (a -. q 0n) <n
Vì vậy, chúng ta có được
-n <(q - q 0) n <n,
và, về phân chia thông qua bởi n,
-1 <q - q 0 <1.
Kể từ khi q và q 0 là số nguyên nó sau đó q = q 0, theo yêu cầu
đang được dịch, vui lòng đợi..
![](//viimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)