Kvant

Bản dịch tự động sơ bộ, chất lượng thấp: có thể còn lỗi và câu chữ chưa tự nhiên. Bản này sẽ được thay bằng bản dịch tốt hơn. Bản gốc →

4

N. Vilenkin

So sánh và các loại khấu trừ

Nhiều người yêu thích toán học biết những điều sau bài toán:

Khỉ và quả hạch

Năm du khách dừng lại một lúc. Họ mang theo một túi hạt và một con khỉ. Một người trong số họ thức dậy, đi đến túi và chia quả hạch thành 5 phần bằng nhau, còn lại một quả. Anh ta đưa cho con khỉ một quả hạch, ăn phần của mình và quay lại ngủ. Sau đó, người du hành thứ hai tỉnh dậy và không biết về hành động của người thứ nhất nên tiếp tục làm như vậy. Sau đó, ba du khách còn lại lần lượt làm như vậy. Khi số hạt còn lại được chia thành 5 phần bằng nhau thì buổi sáng lại còn lại một hạt cho khỉ. Có bao nhiêu quả hạch ở đó?

Toàn bộ khó khăn của bài toán này nằm ở các đai ốc bổ sung, nếu không có chúng đáp số sẽ đóng vai trò là bất kỳ số nào có thể chia sáu lần mà không có số dư cho 5, tức là bất kỳ số nào là bội số của 56=156255^6 = 15625. Và do thực tế là mỗi lần phép chia xảy ra với số dư nên bài toán khó giải hơn nhiều. Tuyệt vời lời giải được phát minh ở trường học

người quen thời thơ ấu của nhà vật lý người Anh Dirac. Anh ta quyết định tìm số hạt sẽ … không thay đổi trong quá trình thực hiện mô tả (chia thành năm phần, chia một hạt cho khỉ và đưa một phần). Người đọc chắc chắn đã nói rằng không thể có nhiều hạt như vậy - rõ ràng là sau thao tác này, nó sẽ giảm đi. Nhưng mấu chốt là Dirac không giới hạn bản thân ở những số tự nhiên. Và sau đó tất cả những gì anh phải làm là giải phương trình 45(x−1)=x\frac{4}{5}(x-1)=x. Căn nguyên của phương trình này là số -4. Vì vậy, số -4 có thể là một giải pháp cho bài toán của chúng ta, nhưng theo nghĩa của nó thì tất nhiên là không phù hợp. Nhưng bây giờ đã rõ làm thế nào để có được số dương đáp số: bạn cần thêm 565^6 vào số -4 do Dirac tìm thấy. Kiểm tra xem đáp số 15 621 có thỏa mãn điều kiện bài toán hay không. Tuy nhiên, nó cũng được thỏa mãn bởi mọi số có dạng -4 + 56⋅k5^6 \cdot k, trong đó kk là số tự nhiên bất kỳ.

Những con số so sánh được là gì?

Nếu chúng ta bỏ qua yêu cầu về số dương lời giải, thì bất kỳ số nào có dạng -4 + 56⋅k5^6 \cdot k, trong đó kk là số nguyên, là nghiệm bài toán về quả hạch và con khỉ. Những con số này tạo thành một “cấp số học hai chiều” với hiệu 565^6 kéo dài theo cả hai hướng. Chúng có một điểm chung - khi chia cho 565^6 chúng đều có số dư là 15.621.

5

Họ cũng nói về các con số trong toán học rằng chúng có thể so sánh được với nhau theo modulo*) 15 625.

Nói chung, khái niệm khả năng so sánh trên một số modulo m∈Nm \in \mathbb{N} có thể được định nghĩa theo hai cách tương đương:

Về giới hạn 1. Các số nguyên aa và bb được cho là có thể so sánh được modulo mm nếu hiệu của chúng chia hết cho mm mà không có số dư.

Về giới hạn 1’. Các số nguyên aa và bb được cho là có thể so sánh được với modulo mm nếu số dư của chúng khi chia cho mm là số lẻ*).

Nếu các số aa và bb có thể so sánh với nhau theo modulo mm thì chúng viết như sau:
a≡b(modm).a \equiv b \pmod{m}.
Ví dụ: 16≡30(mod7)16 \equiv 30 \pmod{7}, vì hiệu 16−30=−1416 - 30 = -14 chia hết cho 7 và 72≠45(mod8)72 \neq 45 \pmod{8}, vì 72−45=2772 - 45 = 27 không chia hết cho 8.

Tính số dư

Tất cả các số có thể so sánh với số 2 modulo 5 đều hoạt động giống hệt nhau khi chia cho 5 - chúng có số dư là 2. Hãy kết hợp các số này thành một bộ và gọi nó là lớp của phép tính modulo 5. Hãy ký hiệu lớp này bằng cùng một số 2, chỉ để phân biệt với số 2, chúng ta sẽ viết nó như thế này: 2ˉ\bar{2}. Điều này có nghĩa là 2ˉ\bar{2} không phải là một số mà là một tập hợp vô hạn các số:
2ˉ={...−8,−3,2,7,12,...}\bar{2} = \{... -8, -3, 2, 7, 12, ...\}
Loại mục tiêu cũng được xác định bởi bất kỳ modulo nào mm. Chia cho mm có thể cho ra mm số dư khác nhau: 0, 1, 2, …, m−1m - 1. Mỗi người trong số họ có lớp mục tiêu riêng. Phần còn lại rr tương ứng với lớp loại bỏ rˉ\bar{r}, bao gồm các số có dạng r+kmr + km, trong đó kk là số nguyên:
rˉ={r+km∣k∈Z}.\bar{r} = \{r + km \mid k \in \mathbb{Z}\}.
Toàn bộ tập hợp các số nguyên Z\mathbb{Z} rơi vào mm các lớp mục tiêu modulo mm. Tập hợp tất cả các lớp này được ký hiệu là Fm:Fm={0,1,...,m−1}F_m : F_m = \{0, 1, ..., m - 1\}. Khi nghiên cứu các câu hỏi liên quan đến tính chia hết cho mm, tốt hơn là xử lý tập hữu hạn FmF_m hơn là tập vô hạn ZZ.

Để giải bài toán về tính chia hết, bạn cần có khả năng thực hiện các phép toán tranh luận trên các lớp mục tiêu. Hãy bắt đầu với phép cộng. Nó được định nghĩa rất đơn giản - trong mỗi thuật ngữ (hãy nhớ rằng lớp mục tiêu là một tập hợp vô hạn các số nguyên), nó lấy một đại diện và cộng chúng lại, sau đó xem xét tổng đó rơi vào loại mục tiêu nào. Nó được gọi là tổng của các lớp này. Ví dụ: hãy cộng các lớp mục tiêu 4ˉ\bar{4} và 5ˉ\bar{5} modulo 6. Để thực hiện việc này, hãy chọn một đại diện trong đó. Để không phải suy nghĩ quá lâu, chúng ta hãy lấy phần còn lại 4ˉ\bar{4} và 5ˉ\bar{5}, phần này đã đặt tên cho các lớp. Tổng của chúng là 9. Nhưng 9≡3(mod6)9 \equiv 3 \pmod{6} và do đó 4ˉ+5ˉ=3ˉ\bar{4} + \bar{5} = \bar{3}. Nếu các lớp mục tiêu không nằm trong F6F_6 mà nằm trong F8F_8, thì tổng sẽ khác: 4ˉ+5ˉ=1ˉ\bar{4} + \bar{5} = \bar{1}. Và trong F9F_9 4ˉ+5ˉ=0ˉ\bar{4} + \bar{5} = \bar{0}.

Để chấm dứt vấn đề cộng các lớp người sống sót, cũng cần phải chứng minh rằng nếu chọn những đại diện khác thì tổng sẽ không thay đổi. Điều này suy ra từ định lý sau:

Định lý 1. Nếu a≡a1(modm)a \equiv a_1 \pmod{m} và b≡b1(modm)b \equiv b_1 \pmod{m} thì a+b≡a1+b1(modm)a + b \equiv a_1 + b_1 \pmod{m}.

Bằng chứng. Vì a≡a1(modm)a \equiv a_1 \pmod{m}, a=a1+kma = a_1 + km, trong đó k∈Zk \in \mathbb{Z} và vì b≡b1(modm)b \equiv b_1 \pmod{m}, b=b1+lmb = b_1 + lm, trong đó l∈Zl \in \mathbb{Z}. Do đó, a+b=a1+b1+(k+l)ma + b = a_1 + b_1 + (k + l)m, trong đó k+l∈Zk + l \in \mathbb{Z} và a+b≡a1+b1(modm)a + b \equiv a_1 + b_1 \pmod{m}.

Chúng tôi đã giảm việc bổ sung các lớp mục tiêu thành việc bổ sung số lượng. Do đó, các lớp Vytsel có tính tính toán và kết hợp, tức là a+b=bˉ+aˉa + b = \bar{b} + \bar{a} và (aˉ+bˉ)+cˉ=aˉ+(bˉ+cˉ)(\bar{a} + \bar{b}) + \bar{c} = \bar{a} + (\bar{b} + \bar{c}), việc thêm lớp 0ˉ\bar{0} không làm thay đổi lớp Vytsel, tức là aˉ+0ˉ=aˉ\bar{a} + \bar{0} = \bar{a}, v.v.

Phép trừ và phép nhân của các lớp mục tiêu được xác định theo cùng một cách - trong lớp, người ta chọn một đại diện và thực hiện các thao tác trên chúng. Và ở đây kết quả không phụ thuộc vào sự lựa chọn

6

ra đại diện (tự mình chứng minh). Hơn nữa, các điều kiện sau là đúng:

Nếu P(x)P(x) là đa thức có hệ số nguyên uu a≡a1a \equiv a_1 (mod mm), thì P(a)≡P(a1)P(a) \equiv P(a_1) (mod mm). Hãy cố gắng tự mình chứng minh điều đó.

Các thuộc tính của các phép toán trừ và nhân của các lớp trừ cũng rất giống với các thuộc tính của các phép toán này đối với số nguyên (với một ngoại lệ; sẽ nói thêm về điều đó bên dưới).

Nhiệm vụ chia hết

Vì các lớp phép trừ modulo mm có liên quan chặt chẽ với số dư khi chia cho mm, nên hầu hết tất cả bài toán trong đó người ta quyết định về khả năng chia hết của các số đều có thể được giải một cách thuận tiện bằng cách so sánh.

Ví dụ 1. Tìm số dư khi 2121978212^{1978} chia cho 7.

Vì chia 212 cho 7 dư 2, 212≡2212 \equiv 2 (mod 7). Theo sau đó là 2121978≡21978212^{1978} \equiv 2^{1978} (mod 7). Bây giờ hãy lưu ý rằng 23=8≡12^3 = 8 \equiv 1 (mod 7). Nhưng 1978 = 659×3+1659 \times 3 + 1. Điều này có nghĩa là từ 23≡12^3 \equiv 1 (mod 7) nó theo sau 21978=(23)659⋅2≡1659⋅2=22^{1978} = (2^3)^{659} \cdot 2 \equiv 1^{659} \cdot 2 = 2 (mod 7). Do đó, khi 2121978212^{1978} chia cho 7 thì dư là 2.

Ví dụ 2. Hãy rút ra bài kiểm tra tính chia hết cho 9.

Vì 10≡110 \equiv 1 (mod 9), với bất kỳ kk nào chúng ta có 10k≡110^k \equiv 1 (mod 9). Nhưng sau đó

a0⋅10n+a1⋅10n−1+⋯+an≡a0+a1+⋯+an(mod9).a_0 \cdot 10^n + a_1 \cdot 10^{n-1} + \dots + a_n \equiv a_0 + a_1 + \dots + a_n \pmod{9}.

Điều này có nghĩa là các số N=a0⋅10n+⋯+anN = a_0 \cdot 10^n + \dots + a_n và M=a0+⋯+anM = a_0 + \dots + a_n có cùng số dư khi chia cho 9. Cụ thể, NN chia hết cho 9 khi và chỉ khi số MM (tổng các chữ số của số NN) chia hết cho 9.

Ví dụ 3. Hãy chứng minh rằng bình phương của một số tự nhiên bất kỳ đều chia hết cho 9 hoặc khi chia cho 3 dư 1.

Thật vậy, nếu x≡0x \equiv 0 (mod 3), thì x2x^2 chia hết cho 9. Nếu x≡1x \equiv 1 (mod 3) hoặc x≡2x \equiv 2 (mod 3), thì x2≡1x^2 \equiv 1 (mod 3), vì 12=11^2 = 1 và 22=4≡12^2 = 4 \equiv 1 (mod 3).

Ví dụ 4. Tìm chữ số cuối cùng của số 7717^{71}

Chúng ta cần tìm số dư khi chia số 7777^{77} cho 10. Nhưng 72=49≡−17^2 = 49 \equiv -1 (mod 10), và do đó 74≡(−1)2≡17^4 \equiv (-1)^2 \equiv 1 (mod 10). Hãy tìm phần dư của phép chia số mũ 777^7 cho 4. Vì 7≡−17 \equiv -1 (mod 4), 77≡(−1)7≡−1≡37^7 \equiv (-1)^7 \equiv -1 \equiv 3 (mod 4), và do đó 77=4m+37^7 = 4m + 3. Do đó, 777=(74)m⋅73≡(−3)3≡−27≡37^{77} = (7^4)^m \cdot 7^3 \equiv (-3)^3 \equiv -27 \equiv 3 (mod 10). Điều này có nghĩa là các số 7777^{77} và 3 có cùng chữ số cuối cùng, tức là 7777^{77} kết thúc bằng 3.

Phân chia các lớp trừ

Chia lớp trừ bˉ\bar{b} thành lớp trừ aˉ\bar{a} nghĩa là tìm lớp trừ xˉ\bar{x} sao cho axˉ=bˉ\bar{ax} = \bar{b}. Đối với số nguyên bài toán phép chia không phải lúc nào cũng giải được nhưng nó có thể được giải theo một cách duy nhất. Điều này là do tích của hai số nguyên chỉ bằng 0 trong trường hợp có ít nhất một trong các thừa số bằng 0. Nhưng trong FmF_m nó được chia khác. Nhìn vào bảng nhân của F6F_6, chúng tôi lưu ý rằng các số 0 được tạo trong đó không chỉ ở hàng đầu tiên và cột đầu tiên (trong đó một trong các thừa số bằng 0).

Tích 2ˉ⋅3ˉ\bar{2} \cdot \bar{3}, 3ˉ⋅4ˉ\bar{3} \cdot \bar{4} cũng bằng 0, mặc dù các thừa số khác 0. Như người ta nói, F6F_6 có ​​ước số bằng 0 (lớp trừ aˉ\bar{a} được gọi là ước số 0 nếu nó khác 0, nhưng có một lớp bˉ≠0ˉ\bar{b} \neq \bar{0} sao cho aˉ⋅bˉ=0ˉ\bar{a} \cdot \bar{b} = \bar{0}). Trong F6F_6 các ước số 0 hóa ra là nguyên tố cùng nhau với mô hình 6. Điều này cho thấy tính đúng đắn của định lý sau:

| | 0ˉ\bar{0} | 1ˉ\bar{1} | 2ˉ\bar{2} | 3ˉ\bar{3} | 4ˉ\bar{4} | 5ˉ\bar{5} |
| :— | :— | :— | :— | :— | :— | :— |
| 0ˉ\bar{0} | 0ˉ\bar{0} | 0ˉ\bar{0} | 0ˉ\bar{0} | 0ˉ\bar{0} | 0ˉ\bar{0} | 0ˉ\bar{0} |
| 1ˉ\bar{1} | 1ˉ\bar{1} | 2ˉ\bar{2} | 3ˉ\bar{3} | 4ˉ\bar{4} | 5ˉ\bar{5} | 5ˉ\bar{5} |
| 2ˉ\bar{2} | 0ˉ\bar{0} | 2ˉ\bar{2} | 4ˉ\bar{4} | 0ˉ\bar{0} | 2ˉ\bar{2} | 4ˉ\bar{4} |
| 3ˉ\bar{3} | 0ˉ\bar{0} | 3ˉ\bar{3} | 0ˉ\bar{0} | 3ˉ\bar{3} | 0ˉ\bar{0} | 3ˉ\bar{3} |
| 4ˉ\bar{4} | 0ˉ\bar{0} | 4ˉ\bar{4} | 2ˉ\bar{2} | 0ˉ\bar{0} | 4ˉ\bar{4} | 2ˉ\bar{2} |
| 5ˉ\bar{5} | 0ˉ\bar{0} | 5ˉ\bar{5} | 4ˉ\bar{4} | 3ˉ\bar{3} | 2ˉ\bar{2} | 1ˉ\bar{1} |

7

Định lý 2. Lớp thặng dư aa trong FmF_m không phải là ước số 0 khi và chỉ khi aa và mm nguyên tố cùng nhau.

Bằng chứng. Cho aa và mm nguyên tố cùng nhau. Nếu a⋅b=0a \cdot b = 0 thì số abab chia hết cho mm. Tuy nhiên, do tính đơn giản lẫn nhau của aa và mm, điều này chỉ có thể xảy ra khi bb chia hết cho mm, tức là b=0b = 0. Điều này có nghĩa là ab=0ab = 0 chỉ dành cho b=0b = 0, nghĩa là aa không phải là ước số của 0.

Bây giờ giả sử rằng ước số chung nhất của các số aa và mm khác với 1, a=a1da = a_1d, m=m1dm = m_1d, d>1d > 1. thì số m1<mm_1 < m là một số nguyên và khác với mm và do đó m1≠0m_1 \neq 0. Nhưng am1=a1dm1=a1mam_1 = a_1dm_1 = a_1m, đó là am1=0am_1 = 0. Vậy aa là ước số bằng 0.

Nếu số aa là nguyên tố cùng nhau với mô hình mm thì tất cả các số từ lớp dư lượng aa đều nguyên tố cùng nhau với mm. Trong trường hợp này, lớp aa được cho là nguyên tố cùng nhau với mm.

Định lý 2 ngụ ý Hệ quả 1 quan trọng. Nếu lớp thặng dư aa nguyên tố cùng nhau với mm, thì FmF_m có ​​thể được chia duy nhất cho aa, nghĩa là, với bất kỳ b∈Fmb \in F_m nào thì phương trình ax=bax = b có một và chỉ một lời giải.

Đầu tiên chúng ta chứng minh rằng phương trình này không thể khác lời giải. Nếu ax1=bax_1 = b và ax2=bax_2 = b thì a(x1−x2)=0a(x_1 - x_2) = 0 và vì aa không phải là ước số 0, nên x1−x2=0x_1 - x_2 = 0, tức là x1=x2x_1 = x_2. Điều này có nghĩa là chỉ có thể có một lời giải.

Vẫn còn phải chứng minh rằng lời giải tồn tại.

Chúng ta vừa chứng minh rằng phương tiện của các lớp dư lượng a⋅0,a⋅1,…,a(m−1)a \cdot 0, a \cdot 1, \ldots, a(m-1) là không giống nhau. Điều này có nghĩa là đây là các lớp giống nhau 0,1,…,m−10, 1, \ldots, m-1, chỉ có lẽ được thực hiện theo một thứ tự khác. Và sau đó đối với bất kỳ lớp nào bb đều có một lớp xx sao cho a⋅x=ba \cdot x = b.

Hệ quả đã được chứng minh có thể được xác nhận bằng bảng nhân sử dụng mô hình 66 - nó cho thấy rằng chỉ trong các hàng dành cho các lớp 11 và 55 mới tìm thấy tất cả các lớp dư lượng. Các dòng khác chỉ chứa một phần của các lớp: trong các dòng cho 22 và 44 có các lớp 0,2,40, 2, 4, và trong dòng cho 33 có các lớp 00 và 33. Thật dễ hiểu cách mọi thứ hoạt động trong trường hợp chung:

Hệ quả 2. Nếu (a,m)=d∗(a, m) = d^* thì phương trình ax=bax = b chỉ có lời giải nếu bb chia hết cho dd. Trong trường hợp này, số lời giải bằng dd.

Chúng tôi để người đọc chứng minh nhận định này.

Trong trường hợp phương trình mô hình là số nguyên tố, nó có thể được chia thành bất kỳ lớp dư lượng khác 0 nào - trong trường hợp này, tất cả các lớp đó đều là nguyên tố cùng nhau với mô hình. Do đó, ví dụ, trong bảng nhân theo mô hình 5, một hàng bao gồm các số 0 và phần còn lại chứa tất cả các lớp dư lượng, mỗi lớp một lần.

Định lý Fermat và Euler

Trong lý thuyết số, cái gọi là Định lý nhỏ Fermat thường được sử dụng:

Định lý 3. Nếu pp là số nguyên tố và aa không chia hết cho pp thì số dư khi chia ap−1a^{p-1} cho pp là 1.

Theo một cách khác, nó có thể được xây dựng như sau:

Định lý 3’. Nếu aa là lớp dư lượng khác 0 theo mô hình đơn giản pp, thì ap−1=1a^{p-1} = 1.

Bằng chứng. Vì 0<a<p0 < a < p và mẫu pp là số nguyên tố nên aa và mm là số nguyên tố cùng nhau. Do đó, các lớp dư lượng a⋅1,a⋅2,…,a(p−1)a \cdot 1, a \cdot 2, \ldots, a(p-1) giống như 1,2,…,p−11, 2, \ldots, p-1, chỉ

∗)*) (a,m)(a, m) là ước số chung nhất của các số aa và mm.