Вы находитесь на странице: 1из 23

�������� �

��� ������� ��������


��� ������������
���� �� ������������� ��� ������� ��� ������� ������� ����������� ��������� ���� ����������
�� �������� �� �� ������ ��� ���� ���������������� ���������� � ��� ������� ���������
��������� �� �� ������ p ��� ��� ������� �� �
� p>1
� p ������� ����� ����� �������� ������� ��� 1 �� p�
��������� �� ��� ���� ��������� �� ��������� ��� 1 ����� ��� �������� ����� ��� 2 ���
��������
�������� � ���� ����������� �� ������ p ���� �������� �� ���� ������� �� ������ ��������
��������� �� �� ������ ������ ��������� � 1 ��� ��� ������� ���� ����� ��� �������
�� ��� ������ �� ������� ��� 23� 41 �� 53 ���� ��� ������� ��������� ���������� ���� �������
��� 1234567891 ��� �������� �� ����� ���� �� ��� ���� ������ �� ����� ��������� �������
������������ ���� �� ������ �������� ����� ����� ��� ��� �� ������� ��� ��������� �������
���� ������� �� ��������� ���� ������� ����������� ���� ���������� ������������ ��� �������
�������� ���� ��������� ����

��� �������� ����������� �� ��������������


�������� ���� ���� ������ ��������� � 1 ��� ������� �� ������� ���������
�������������� ���� n �� ������ ����������� �������� �� ���� ������ ����� � ���� n ��� ��������
������ ��� ���� � ���������� ���� n � ��� ��������� ��� ���� ����������� ������� ����� 1 �� n�
���� m �� ���� ����� �� ��� ���������� ����� m ��� ������� � �� ����� �� �� ������� ��� �� ����
∃l : 1 < l < m et l | m.
��
l|m =⇒ l|n
�� ��� ��������� �� ���� ��� m ��� �� ���� ����� �������� �� n ����������� ��������� � 1�
���� n ��� ���� �������� ���� ��������� ��� �� ������ ������� p1 ���� ����� ��� n� ���� ��
���� ���� �����
n = p1 n1 , 1 < n1 < n.

��
���� n1 ��� �������� �� �� ��� � ���� �� ���� � ���������� ���� n1 ��� ��������� ��� �� ������
������� p2 ���� ����� ��� n1 � ������ ���
n = p1 n1 = p1 p2 n2 , 1 < n2 < n1 < n.

�� �������� ��� ��������� ���� �������� ��� ����� ������������ �� �������� n� n1 � ���� nk−1 �
��� ��� ���� ���� ����������� ���� ������ ��� 1� �� ���� �������� �� ���� ����������� �� ��������
��������� ��� �� ����� ���� ������� ���� �� ������� ���� � ������ ��� nk−1 ��� �������� ����
�� ������ pk � �� �����
n = p1 p2 · · · pk �����

�����
30030 = 2 · 3 · 5 · 7 · 11 · 13.
��� ������� �������� ��� ������������� ���� ����� �� ���� ��� ��������� ��������� ��
�� ���� ��� ��������� �� ���� ��� ��������� ��� ����� ���������� ���������� ��� ��������
������������� � �� ���� ������ ������� �� �������� ��� ��������� �� ������� �����������
�� �����
n = pa1 pa2 · · · pak
1 2
(ai > 0, ∀ i, p1 < p2 < . . .).
k
�����
��������� �� ���� ������ ����� ��� n ��� ����� ���� �� ����� �������� �� ���� �� �����
����������
������ �� ����� �������� �� 42750 ��� 2 · 3 · 3 · 5 · 5 · 5 · 19.
���� �� ������������� �� �������� ���� ���� ��������� ��� �� ������������� �� n ������
���� �� ����� ��� ������� �� ������� �� ��� ������� �� ����� ��� ���������� ����� ��� ������
� ������� ��� �������� ����� �� �������� �� ��� ������ ���� ��� ��� ������������ �� ���� ����� � �
���� ��������
�������� ��� �������� �������� ����������� �� p ��� �� ������ ������� �� �� p | ab� �����
p | a �� p | b�

�������������� �� p|a� ����� �� �������� ��� �������


������ ��������� ��� p � |a� �� ���������� ��� p|b� ������� ��� ����� ��������� �� p ���� 1 ��
p� �� � (a, p) = 1� �� ������� ����� �� ����� �� ������ �� � p|b�

���������� ����
p | a b c · · · l =⇒ p | a ou p | b ou p | c ou . . . ou p | l.

�������������� �� ���� �� ����� �� ������������ ��� ��������� �� ���������� �� �������� ����


�������
���������� ���� �� p, q1, q2, . . . , qr ���� ��� ������� �������� �� �� p|q1q2 · · · qr � ����� p = qk
���� �� ������� k ��� ��� 1 � k � r�
�������������� �� ������� �� ���������� ��������� �� ������ ������ �� ���� ��� �� p|qk �����
p = qk �

���� ����� ���������� ���� �� ����� ���� ���� ��������� �� ����


��
�������� ��� ��������� ����������� �� ���������������������
�� ����� �������� �� ���� ������ ����������� ������� n ��� ������ � �� ������������� �� n ��
������� �� �������� �������� ��� ������� � ������� ��� �������� �����
���������������� � ���� ������ ��� ���� ������ n ��� ������� �� ������� ���������
��������� ���������� ��� ���� ��� ��� ��������� �� �� ��������������� ��� ���
n = p1 p2 · · · pr = q1 q2 · · · qs ,
�� ��� pi �� ��� qj ���� ���� ��� ������� �������� ���� �������������� ����������� �����������
��������� ����������
p1 p2 · · · pr = q1 q2 · · · qs .
�� �������� ������� ����� �������� �� ��������� �� ������ ��� ������� �������� ��� �����
�������� ��� ���� ����� � �� ����� �� ������� �����
pi pi · · · pi = qj qj · · · qj ,
1 2 l 1 2 m �����
�� l � r �� m � s� ����� ���� ������ ���� ��� pi ���� ��������� ��� qj � ���� ���� ��� �����������
��� ������� ������ pi |qj qj · · · qj �� ����� �� ���������� ��� ���� �������� ����������� ���� �������
������ t� 1 � t � m� ��� ��� pi = qj � �� ��� ��������� �� ���� ��� ���� ��� pi ���� ���������
1 1 2 m

��� qj � ��� �� �� ������ ��� ����������


1 t k

��������� �� ��� ����� ��� ���� ���������� ��� ������� ��������� �� ������������� ��
������� �������� ��� ������� �� �������� ���� ������� ������� ����� ������ ���� �� ���� ���
����� �� ����� �� ������ ��� ���� �������� ��������� �� �� ���� ������ ��� ������ �� ��������
�������� �� ��� ������ �� �������� ���������� �� ������������� ���� ������ �� ������� ��
������� �������� ����� ��� ������� �� ������� ��������� ��� �� ������� � ����������� ����������
E = {2n | n ∈ N} �� ������� ������ ����� ��������� � ���������� E � ���� �� ���� ��� ��� �����
��������� ��� ���� ������� ���� ���� �� E � ����� 12 = 2 � 6 ��� ��������� ������ ��� 10
��� ���������� ������ �� ������� m �� E ��� ��������� ����� ������� ��������� �� m �����
��� �� ������� �� ���� ������� �� E � ��� ������� �������� �� E ���� ���� 2� 6� 10� 14� 18�
22� 26� 30� ���� �� 60 ∈ E �� 60 = 2 � 30 = 6 � 10� �� �������� ��� �� ������������� �� �������
�������� ���� ��� �������� ����� ��� �������
�� ��� ������� ������� ��������� �� ��� ���� �� ����� ���������
���������� ���� ���� ������ ������� n > 1 ���� �������� �� ����� ������ ���� �� �����
n = pa11 pa22 · · · par r , �����
�� ��� pi ���� ��� ������� �������� ��������� �� �� ��� ai ���� ��� ������� ���������

�� ������ ������� ��� ���� ������� �������� ��� �������������� ����������� �� ���� ��� �����
������� �������� ���� �� ���� ��� ��������������� ���������� ��������������� ���������� ����
������ ��� ��������� ai = 0� ���� ���������� ���� �� ��� �� ������� ����� �������� ����
�������������� ����� ����� ����� ������ 10 = 2 · 30 · 5 �� 6 = 2 · 3 · 50 �
�������� ���� ���� n = �ri=1 qia , ai > 0 ���� ������ i �� ���� d > 0� �����
i

r

d|n ⇐⇒ d = qibi ,
i=1

���� �������� ������� ������������ bi � ai � i = 1� 2� ���� r�

��
�r
�������������� ���� d = bi
i=1 qi ���� 0 � bi � ai � �����
r
� r
� r
� r
� r

n= qiai = qiai −bi +bi = qiai −bi qibi = qiai −bi qibi = c · d.
i=1 i=1 i=1 i=1 i=1
�r
�� c = i=1 qia −b �� c � 1� ���� d|n� ����� ����� �� ��������
i i

����������� ��������� ��� d|n� ������ �� ������ �� ������ c ��� ��� cd = n �� �� ���� ������
�� �������������� ��������� �� d �� ����� �� c� �� ������ ������ �� �� �������� ���������� ��
���� ������ r r
� �
d= qidi , c= qici , ci � 0, et di � 0.
i=1 i=1
������� cd = n� �� ������� ai = ci + di �� ���� ai � di �
�������� ���� �� a = �ri=1 qiα �
�� b = ri=1 qiβi � ���� αi � 0 �� β � 0 ���� ������ i� ����
i

��� ��������������� ��������� �� a �� b� �����


r
� r

min{αi ,βi } max{αi ,βi }
(a, b) = qi et [a, b] = qi .
i=1 i=1

�������������� ���� d = ri=1 qici �� ci = min{αi , βi }� ������� ci � αi � �� ci � βi � �����
�rd|a ��
d|b �� ����� d ��� �� �������� ������ �� a �� b� ��������� ��� g|a �� g|b� ����� |g| = i=1 qiei
���� ei � αi �� ei � βi ���� ������ i� ������� ci ��� �� ���� ����� ��� ������� αi �� βi � ��
�������� ��� ei � ci ���� ������ i �� ����� ��� |g| ������ d � ���� g|d� ������� d > 0� �� � �����
������ ��� d = (a, b)� ���� ��������� �� ������� �� ���� ���� ������� ���
αi + βi − min{αi , βi } = max{αi , βi }.

�������� �� ��������� �� ��������� [a, b] = (a,abb) � �� ������� ���������� �� ���������


������� ��� ������ a = 43560 �� b = 58212� ����� ���� ��������
a = 23 · 32 · 5 · 70 · 112 et b = 22 · 33 · 50 · 72 · 11.

�� �������
(a, b) = 22 · 32 · 50 · 70 · 11 = 396 et [a, b] = 23 · 33 · 5 · 72 · 112 = 6403320.

��� �� ������ �������������


�� ��� ������������� �������� ���������� ��� ������� �������� �� ����� ���������� � p1 = 2�
p2 = 3� p3 = 5� p4 = 7� p5 = 11� p6 = 13� ����
�� �� ������� ��� �� ��� ��� ���� ������ �� �������� pn �� �������� �� ��� ���� n� ������ ����
������ �� �� ������ m ���� ���� ������ ��� �������� �� ��� ������������ ���� ������ �� �������
�� �������� ���� ��� ����� �� ������� ���������
���� ������� ��� ����� ����� �� ������� ��������� �� ���� �������� ������ ������ �������
n ����� ������� ���������� �� ���������� ���� ��� ������� �� �������� �� ����� �������� �����
������ ������ n ������� �� �������� d ��� ��� 1 < d < n� �� ���������� ���� �� ��������� ������
��� ������� �� ������� ����� ������� ����� ���� �� ���� ��� ���� ������ �� n ��� ��������� ���
��
������ ��� ������� d ���� ��� 1 < d < n ����� �� ������� �������� ����� ��� �������

�� ����
��� �� �������� �� ���� �� ������� �� n ��� ��������� ��� �� ������ ������� p � n� �� �����
��������� ��� n ��� ������� �� ��� ���� ��� ������� �������� p ��� �������� n ��������� � ��
��������� √
n < p � n. �����
�� �������� ��� �� �� ������� ������ ������� p0 ������ n �� ��������� � ������ �� ������ ������
n = p0 n0 ���� �� ������� ������ n0 > 1� ���� ������ n0 |n ��
n n √
n0 = < √ = n,
p0 n
�� �� � ����� ������ �� �������� �� n ��� ������� �� ����� �� ������� ������� ��������� � √n�
�� ��� ��� ��� ��������������
�������� ��� ����� �� ����������� �� ������ ������ ������� n ���

������� �� ��
��������� �� �� ����� ��������� ��� ����� ������ ������� p� 1 < p � n�

����� ���� ����� ����� ���� ������ �������������� � � ��������� ��� ������� ���� ������������
��������� ��� ���� ������� ������� ��� ����� �� ���� ��� ������� �������� ���������� �� �����
� x � �� ������� ������������� �� ������ ����� ����� �� ����� ������� ��� �� ������� ���� ���
������� �������� �� 2 � x� �� ���� ����� ���� ��� ��������� ������� �� 2 ���� ��� ��������� �� 2
��� ���� ��������� �� 2�� ���� ���� ��� ��������� ������� �� 3� ���� ���� ��� ��������� �������
�� 5� �� ������� ����� ��� �� ���� ����� ������ ��������� � 5 ��� ����� ��� ���� ��� 7� �� ����
����� ���� ��� ��������� ������� �� 7� �� ����� �� ������ ���������� √�������� ��� ���� ������ �
������� �� �� ���� ����� ������ ��� ��� ��� ��� ���� ��� ��������� � x� �� ������ �� ���������
�� �� ��� ������ ��� ���� ��� ������� ��� ����� ���� �� ����� ���� ���� ��� ������� ��������
� x�
���� ��������� ����� �������� �������� ���� ��� ������� �������� � 40� ���� �������� ���
������� �� 1 � 40 �� �������� �� �������� ���� ������ ���� ��� ��������� ������� �� 2� �����
2� �� ������ �������� 3 ��� ����� ��� ��������� ��� ��� �������� �� �� ���� ���� ��� ���������
�������
√ �� 3� ������� ���� ������ ��� ��������� ������� �� 5� ���� ������� �������� ���
40 < 7� ����������� �� � ��� ������� ��� ������� ��� ��� ��� ����� ��� �� ������� �� �������
1 2 3 4✁ 5 6✁ 7 8✁ 9✁ ✚

10
11 ✚

12 13 ✚✚
14 ✚

15 ✚✚
16 17 ✚✚
18 19 ✚

20


21 ✚

22 23 ✚✚
24 ✚

25 ✚✚
26 ✚

27 ✚✚
28 29 ✚

30
31 ✚

32 ✚

33 ✚✚
34 ✚

35 ✚✚
36 37 ✚✚
38 ✚✚
39 ✚

40
����� ��� ������� �������� ���� ������ ��� 40 ����
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37.

����� ������� ��� ����������� ������ �� ��� ������ �������� ����������� ���� �������� � ������
������������� ���� �������� ��� ������ �� ������� ���������
������� ��� �������� 281 ����� ��� ��������� �� ��� 2� �� ��� 3� �� ��� 5� �� ��� 7� �� ���
11� �� ��� 13� �� ��� ������� �� ������� ��� 17 ��� 172 = 289 > 281� �� �� ������ ����� ��� ��
������ 281 ��� ��������
�� �276 − 194 ��� ����� ��� �� ������������� �� ������� �������������

��
��� �������� ��������� ��� ���� ���� �� ����� ��� �� �������� � ������������ ��� ������� ��
������� �������� �� ������� � ������� � ����� �������� ���� ������������ �� � � ���� �� 2000
����
�������� ����� �� ������ ��� ������� �� ������� ���������
�������������� ��������� �� ���������� ������������ ����� ������ �� ������ ��� �� �������
��������� ������ p1 , p2 , . . . , pk � ����� ����������� �� ������
N = p1 p2 · · · pk + 1. �����
�� N ��� �������� ����� �� � ������ �� ������ ������� ���� ����� ��� pk �� �� ������� �����
��� �������������� ��� ������� �� N ��� �������� ����� N ��� ��������� ��� �� ������ �������
�� ����� ��� ����� ������� �������� ��������� ���� p1 , p2 , . . . , pk � ����� �� ������ �� ������ i�
1 � i � k ��� ��� pi |N � ���� ������ �� ������� �� ����� ��� pi |1� �� ��� ��� ��� ��������������

������ ��� ��� ������� ������ ��� �� ����� �� �������


Mk = p1 p2 · · · pk + 1

���� ��� ������� �������� ���� k = 1, 2, 3, 4, 5� �� �����


M1 = 3, M2 = 7, M3 = 31, M4 = 211, M5 = 2311.

����������
M6 = 59 · 509 �� M7 = 19 · 97 · 277
���� ��� ������� ��������� ������������ �� �� ���� ��� �� ����� ����� {Mk } �������� ���
������� �� ������� ��������� �� � � ���� ���� �� ������ ��� ��� ��� �� ��� �
�� ��� ����������� �� ��������� ��� �� ������������� �� �������� ��������� ������� ���
������������ �������������� ��� �� ������������ ��� ������� ��������� ���� �������� ���� ������
�� ���� ��� �� ���� ���� ��� pr �� r� ������ �������� �����
pr � 22
r−1
�����
���� ������ r ∈ N�
�� ����� ���� ������ ������� �������� p1 p2 · · · pr + 1 ��� �������� �� p1 , p2 , . . . , pr � �� ��������
���� ���
pr+1 � p1 p2 . . . pr + 1,
�� � ������ ���� ������������ ��� ���������� �� �������
0 1 2 r−1 r
pr+1 � 22 · 22 · 22 · · · 22 + 1 < 22 ,

���� ����������� ������


�� ����� ���� ��������� ��� �������� ����� ���������� ���� �� r� ������ ��������
��������� ��� ���� x � 0� �� ���� ��� π(x) �� ������ �� ������� �������� �� ���������
��� x � ���� � ���
π(x) = 1.
p�x

��
������� ��� π(10) = 4� π(40) = 12� �� ��������� �� ������ �������������� ���� �������
�������� π(100) = 25� π(225) = 48�
������� �� �������� ��������� ��� ����������� ��� ������� ��������� �� ���� ������
lim π(x) = ∞.
x→∞

��� ������������� �������� �� ����� �������� π(x) ��� ���� ��� ���� ������ �������� ���
��������������

��
�������� �
������������ ���������
��� ������������
��� ����� �������� �� �� ������ �� ������������� ������� ��� �� ������ �� ������ ��� �������
�� ������� ��� ������������ ������ �� ���� ��� ����������� ��� �� ����� �� �������������� ����
��� ������ ������� ��� �� �������� �� ��������� �������� ����� ������� � ��� ���������� ��� �����
���� ��� ������ �������������� ������������� ������ �� 1801� ����� ����� ������� ��� 24 ���� ��
��� � ����� ��������� ��� �� ������ �� ���������� ����� ���� ��� �������� ��� ������ �������� ��
��������� ���������� ����� � ����� ��� ���� ���� �� ������������� �� �� ������� ��� ������������
������� ���� ����������� ��������� ������ ���� �� ������������� �� �������������� ���������
�� ��� ������������� ��
������� ���������� �������������� ��������� � ��� ��� �������� �� ������� ��������� ����
�� �������� �� ��� ������ ��� ���������� �� ���������� ������������� ���� ��������� �����
� �������������� ���������� �� �� ��� �� ���� �� �� ������� ��� ����� ����������� ���������
��������� �������� ���� ��� �������� ������ ������� ����� ��� ��� ��� ��� �� ����� ��� ������
���������
��� �������� �������� �������� ��� ����� ���������� ���� ������ �� ����� ������������� ����
������ �
� ��������� ����� ������� �� ������ 12 �� ������ 24
� �� ���� �� �� ������� ��� ������ ������ 7
� ��� ���������� ���� ������� ������ 360 ���� �� ����� ��� �����������

��� ��� �����������


����� ������ ���� ������� a �� b� �� ���� ��� a ��� ������ � b ������ m �� ����� ������
���� �� �� �������� ��� m ���� ������ �� ������ ���� ������� �
��������� ��� ���� m ∈ N� �� ��� ��� a ��� ������ � b ������ m� �� �� �����
a ≡ b (mod m)� �� m|(a − b) � ���������� �� ����� a �≡ b (mod m) �� �� ��� ��� �a ���
��� ������ � b ������ m��
�� a ≡ b (mod m)� ����� b ��� ������ �� ������ �� a ������ m ��� ���� ������� �������
0 � b � m − 1� b ��� ��������� ����� �� ���� ����� ������ ��� ������� �� a ������ m�

��
��������� ���� ��� ����� ��������������� �� ��� ������ �� ����� �� ���� ����� ������ ���
������� �� a ������ m ��� a mod m� ��� �������� ��� ���� ����������� �������� ���� ��
������
������� ���
�� 19 ≡ 7 (mod 12) ������� 19 − 7 ��� ��������� ��� 12 �
1 ≡ −11 (mod 12) ������� 1 + 11 ��� ��������� ��� 12 �
7 �≡ 2 (mod 3)�
�� n ��� ���� ⇐⇒ n ≡ 0 (mod 2)�
��������� ������� a ≡ b (mod m) ��� ���������� � m|(a − b)� ����� �� ���� ���� ��� �����
���������� ��� ����������� � a = b + mk ���� �� ������� ������ k�
���� �������� �� �������� ��������
�������� ���� �� x ≡ y (mod m)� ����� (x, m) = (y, m)�
�������������� ��� ���������� �� � x − y = km� ���� �� ������� ������ k � ����� ��������
�������� ��� (x, m)|y �� ���� (x, m)|(y, m)� �� �� ���� �������� �� � ��� (y, m)|x �� �����
(y, m)|(x, m)� ���� (x, m) = (y, m)� �� ��� ������� �� �������

���������� �� ���� ��� �����������


�������� ���� ���� m ∈ N �� ������ a, b, c ∈ Z� ����� �� �������� ≡ ��� ��� �������� �������
������� ��� ���������� ��� �������� ���
��� a ≡ a (mod m) �
���� a ≡ b (mod m) ⇐⇒ b ≡ a (mod m) �
����� �� a ≡ b (mod m) �� b ≡ c (mod m)� ����� a ≡ c (mod m)�
�������������� ��� ������� ���� ���� �� ����� ���� ��� ������������ ���������� �� �� ���������
�����������
������� �� ���������� ������ m ������� ��� ���������� �� ����������� �� �������� �� ��
������������� ��� ����������� ��� ��� �������� �������������� ����� ���� ������ ��� ��������� ��
���������� Z �� ������� ������������� ����� ������� ������� �� ����������� ������ m�
��������� ��� ��� ������ �� ���������� �� a ������ m ��� ���������� �� ���� ��� �������
��� ���� ������� � a ������ m � �� �� ���� am �� ���������� a ���� ��� � ��� ����������� ���
m�
������ �� �
am = {x ∈ Z | x ≡ a (mod m)} = {a + km | k ∈ Z} ,
�� �� ������� �� ����� ������ �� ���������� ��� ������ ������������ �� ����� ������� ���������
���� ������������ ���� �������� ��� ������ �� ���������� � ���������� �� ���� ������� �� ��
������� ��� ��� ���� ����� ������������ ��� ��������
���������� �� ��� ������� ������ m ��� ���� Z/mZ = Zm �� �����
� �
Z/mZ = 0m , 1m , . . . , m − 1m ,
�� ���� 0 � r � m − 1�
rm = {. . . , −2m + r, −m + r, r, m + r, 2m + r, . . .} .

��
������� ��� ��� ������ ������� �� ���������� ��� ������� ������ 4 ���� �
{. . . , −4, 0, 4, 8, . . .} , {. . . , −3, 1, 5, 9, . . .} ,
{. . . , −2, 2, 6, 10, . . .} , {. . . , −1, 3, 7, 11, . . .} .

��� ������� ���� ������� ��� ��� ������ {4k + r} �� ���� ����������� ��� �� ����� r� �� �����
r� ���� �������� �� ������ 4k + r � ��� ���� ��� ������� a �������� a ≡ r (mod 4)� ����� Z/4Z ���
���������� ��� ������� �� ���������� 0, 1, 2� �� 3�
�� �������� ������� ����� ��� ���������� ������������� �� ���� ��� ������������ ���
���������� ���� ���� ��������� �� ��������� ��� ����������� ���� ����� � ������ ���� ��������
��� ������� �� ������ �� ��������� �� �� �������
�������� ���� ���� m ∈ N �� ������ a, b, c, d ∈ Z� �����
��� a ≡ b (mod m) �������� ac ≡ bc (mod m) �� a + c ≡ b + c (mod m) ∀ c�
���� �� a ≡ b (mod m) �� c ≡ d (mod m) ����� ac ≡ bd (mod m) ��
ax + cy ≡ bx + dy (mod m) ���� ���� x, y ∈ Z �
����� �� a ≡ b (mod m) ����� a + dm ≡ b (mod m) �
���� �� a ≡ b (mod m) �� d|m� d > 0� ����� a ≡ b (mod d) �
��� ���� f �� �������� � ���������� ������� �� ����� n �� ���� a ≡ b (mod m)� ����� f (a) ≡
f (b) (mod m)�

�������������� ��� ���� �������� �� ���� ��� �� m|(a − b) ����� m ������ ����� ���� ��������
�� a − b�
���� �� � ��� ��������� m|(a − b) �� m|(c − d) ���� a − b = km �� c − d = k� m ���� ��������
������� k �� k� � �� ��� ��������
ac = bd + bk � m + dkm + kk � m2 ��� ac ≡ bd (mod m);

������� ����� �� � m|(a − b)x + (c − d)y = (ax + cy) − (bx + dy)� �� ��� ��� ���������� �
ax + cy ≡ bx + dy (mod m).

����� �� ���� ������� ��� ����������


��� �� ��������� ����� �� � ����� c = a �� d = b� ��� �� a ≡ b (mod m)� ����� a2 ≡ b2 (mod m)�
����������� ���� ������ ��������� ��������� ��� ��
a ≡ b (mod m) ����� ak ≡ bk (mod m), k ∈ N.
�n
������ f (x) = k=0 ck x
k, ck ∈ Z� �� �������
a ≡ b (mod m) =⇒ ck ak ≡ ck bk (mod m),

����� n n
� �
k
ck a ≡ ck bk (mod m).
k=0 k=0

�� ��� ������� �� ��������������

��
������� ���
�� ������� ��� 7|3 · 2101 + 9�
���������
���� ����� � ������ 2 � �� ��������� 101 ��� ��� ������ ���������� ���� ������ �� ����
�������� ����� ����� ������� 2101 = (23 )33 · 22 �� 23 ≡ 1 (mod 7)� �� �� �� ��������� ��
�������� ����������
3 · 2101 + 9 ≡ 3 · 133 · 4 + 9 ≡ 12 + 9 ≡ 0 (mod 7),

���� �� �����������
�� ������� ����� ������ n > 0 ��� ��������� ��� 9 �� �� ��������� �� �� ����� �� ��� �������
��� ��������� ��� 9�
���������
���� n = ak 10k + ak−1 10k−1 + · · · + a1 10 + a0 � ������� 10 ≡ 1 (mod 9) ����� 10n ≡
1 (mod 9)� ����� n ≡ a0 + a1 + · · · + ak (mod 9)� ���� �� ���������
�� ������� ���� ��� ������� n ���� ��� n2 + n + 3 ���� ��������� ��� 5�
���������
�� ��������� ��� ����������� � n2 + n + 3 ≡ 0 (mod 5)� �� �������� ��� ���� �������� ��
������� ��� ��� ������ ��������� ���� ��� ������� ������� � 1� 3 ������ 5�
�� �� ��������� ��� ������������ ������� ��� ���������� x2 + 3y2 = 20 ��� ��� �� ��������
�� ������� ��������
���������
���� ��������� ��� ������� ������ 5�
�� ������ ���������� ��� �� a ≡ 0 (mod 5)� ����� a2 ≡ 0 (mod 5) �� ������������ ��
x �� y �� ���� ��� ���������� ��� 5� ����� �� � x2 + 3y 2 �≡ 0 (mod 5)� ����� ���� ���
x2 + 3y 2 ≡ 0 (mod 5)� �� ���� ��� x �� y ���� ��������� ��� 5� �� �������� ��� x �� y �������
���� ���������� ��� 5 ������ ��� x2 + 3y2 ��� ��������� ��� 25� �� ����������� ���� ��
������� ����� x2 + 3y2 = 20�
� �� ������� ��� ������� ���� ���� ������� �� �������� ����������� �� ���� ��� ������������ ��
���� �� �������� ���������� �� �������� ���� ����� � ������ ��� ��� ����������� �� ����������
�������� ����� ��� ��������� ��� �� ���� ��� ����� ������ ������� a �= 0� �� � ���� ��� ax =
by =⇒ x = y � ���� ������������� �� ax ≡ ay (mod m) � ��� �������� �� ���������� 21 ≡
7 (mod 14) �������� �� �������� �� ������� 7� 3 ≡ 1 (mod 14)� �� ��� ��� ����� �� �� ����
�������� 2 ≡ 12 (mod 10) �� 2 ≡ 12 (mod 5) ���� 2 �≡ 12 (mod 50)� ��� �������� �� ��������
���� �� �������� ������� �
�������� ���� ������ m ∈ N� x, y ∈ Z� ������� �
m
��� ���� a �= 0, ax ≡ ay (mod m) ⇐⇒ x ≡ y mod
(a, m)

���� �� ax ≡ ay (mod m) �� (a, m) = 1� ����� x ≡ y (mod m) �


����� x ≡ y (mod mi ) ���� i = 1� 2� ���� r ⇐⇒ x ≡ y (mod [m1 , . . . , mr ])�
�������������� ��� �=⇒� ���� d = (a, m)� ����� ��� ���������� �� ������ �� ������ s ∈ Z ���
��� ax − ay = ms �� �����

a m m �� a
d
(x − y) = s
d
�� ������ d �d
(x − y).

��
�a m�
��� ��������� ������� �� �������� ����� �� � ��� ,
d d
= 1� �� ��� �������� � ����� ��
�������� ����� ��� �
m ��
(x − y),
d�
���� �� �����������

m ��
�⇐=� �� � d �(x − y)� �� ������ m|d(x − y) � ����� �������� m|a(x − y) �� ����� ax ≡
ay (mod m)�
���� ���� ��� ��� ����������� ��������� �� ���� ����� �� ��������� ��������� �� ��� r = 2�
�� �������� ������� ���������� ���������� ��� ���������� ������� m1 |(a − b) �� m2 |(a − b)� �����
a − b ��� �� ������ �������� �� m1 �� m2 � �� ��� ������� ��� [m1 , m2 ]|(a − b)� �� ��� ���
�� � �� ������������� �� ���������
������� ��� ������� ��� 3 ������ n3 − n ���� ���� n�
���������
���� ������ ������� ��� n3 − n ≡ 0 (mod 3) ���� ���� n � ��� n3 ≡ n (mod 3)� ���� ����
������ n ����� 0� 1� �� 2 ����� ������ ������ 3� �����
03 ≡ 0 (mod 3), 13 ≡ 1 (mod 3) �� 23 = 8 ≡ 2 (mod 3).

����� ���� ���� n� ���� ����� ��� 3 ������ n3 − n�


��������� ���� �� ����������� ����������� ��� ����������� ��� ��� ��������� �� ������
��������

��� ��� ����������� ���������


��� ������������ ������������� ��� ����������� ��� ��������� �� ������������ ���� ����������
� �������� ��� ����������� ��������� ��� ���������� ��� �������� �� ���� ������� ������� ����
��� ������� �������� n ���� ��� n �� n3 ����� ��� ���� �������� ������� ����������� ����� ���� ���
���� �������� �� ���������� n3 ≡ n (mod 100)� ���� ����� �������� ���� ��� �������� ��������
x� ���� ���������� ��� ������� �� x �������� �� ���������� �������� ax ≡ b (mod m)� ���� ��
������� ��� ������� ����������� ���� �������� ax = b� ���� �������� ��� a �� �� ����� �����
������� ���� ����������� ��� ���� ������� �� ���������� ��� ��������� ������������� �� a� ����
������������ �� ���� ������� ���� ��� ������������ ���� �� ���� ������� ����� ���� ������
������ ��������� ������������� ������ m�
��������� ��� �� ������ b ��� ������ ������� �� a ������ m ���� ������ ab ≡ 1 (mod m)�
���� ������ ��� a ��� ���������� ������ m �� a ������� �� �������� �� ����� �� ������� a
�� Z/mZ ��� ��� ���������� ���� ������ �� b ∈ Z/mZ ��� ��� a · b = 1� ��������� b� ���� �������
��� ������� ������� �� a�
��������� ���� �������� ��������� �� a ������ m ��� a−1(mod m)
������� ���
�� ��������� �� 5 ������ 7 ��� 3 ��� 3 · 5 ≡ 1 (mod 7)� ��������� �� 5 ������ 8 ��� 5�
�� �� ��� � ��� ��������� ���� 2 ������ 4� �� ����� �� 2x ≡ 1 (mod 4) ����� 4|(2x − 1) ��
��� ��� ���������� ��� 2x − 1 ��� �� ������ �������
��
�������� ���� �� ������ a ��� ���������� ������ m �� �� ��������� �� (a, m) = 1�
�� a ������� �� �������� ����� �� ��� ������ ������ m�

�������������� �� a ������� �� ������� b� ����� ab ≡ 1 (mod m) �� ��� ��� ���������� � ab−1 =


km ���� �� ������ k � ���� ab − km = 1� ���� (a, m) = 1� �� a ������� �� �������� ����� �� ���
������ ������ m�
������������ �� (a, m) = 1� ����� �� ������ ��� ������� x �� y ���� ��� ax + my = 1� ���
ax ≡ 1 (mod m)�
��������� ��� b� ��� �� ����� �������� ����� ab� ≡ 1 (mod m) �� ����� ab ≡ ab� (mod m)� �������
(a, m) = 1 ����� b ≡ b� (mod m)� ���� ������ ��������� �� ��������� �� a ������ m�

������� ��� ������� ��������� �� 15 ������ 53�


���������
�� ���������� ������������ ��������� ��� ������� 15 �� 53 ���� ��������
2 · 53 − 7 · 15 = 1.

����� −7 · 15 ≡ 1 (mod 53) �� ����� −7 ��� �� ������� �� 15 ������ 53� ������� −7 ≡


46 (mod 53)� ����� 46 ��� ����� �� ������� �� 15 ������ 53�

���� �������� ���������� �� �������� ����� ���������� ��������� ���� �������� ax ≡


b (mod m)� ���� ����������� ����� �������� ��� a−1 (mod m) �� a ��� ����������� ���� �� ����
���� �������� x ≡ a−1 b (mod m) ��� ��� �� ���������
������� ��� ������� �� �������� �� 17x ≡ 8 (mod 33)�
���������
��������� �� 17 ������ 33 ��� 2� ��� ����������� ���� ����� �� �������� x ≡ 16 (mod 33)�
���� P (x) �� �������� ���� ��� ���������� ���� ���� Z� �� ������ x ������������ P (x) ≡
0 (mod m) ��� ������ �������� �� �� ����������� �� �� x ≡ y (mod m)� �� � P (x) ≡
P (y) (mod m) �� ����� ����� ���������� ��������� ��� ��������� �� ������� ��� �������� ��
�������� �� ���������� ��� ��� ��������� ������������� � ���������� {1, 2, . . . , m}� ����� �������
���� ���� �������� �� ������ �� ��������� ����� ����������� �� ������ �� ������ �� ���������
��� ���������
�������� ���� �� ���������� ax ≡ b (mod m) ������� ���������� ��� �������� �� (a, m) =
1� ���� ������������� �� d = (a, m)� �����

ax ≡ b (mod m)

������� �� ����� ��� �������� �� �� ��������� �� d|b� ������ ��� ���� ������� ���������� d
���������� ���������� ���� ������� ���
km
x ≡ x0 + (mod m), k = 0, 1, 2, . . . , d − 1,
d
a b m
�� x0 ��� ��� �������� ������������ �� �� ���������� x ≡ (mod )�
d d d

��
�������������� ��� � �� (a, m) = 1� ����� a ��� ���������� �� ���� �� ���������� ������� ���
�������� x0 �
�� x = x∗ ��� ��� ����� �������� �� ax ≡ b (mod m)� ����� �� �
ax∗ − ax0 ≡ b − b ≡ 0 (mod m),

�� ���� a(x∗ − x0 ) ≡ 0 (mod m)� �� ��� ���� ���� ��� x∗ ≡ x0 (mod m)� ����� ��������
�� �������� x = x0 ��� �� �������� ������ ������ m �� ax ≡ b (mod m)� ����� ������
��� ��������� ���� ������� ��� x = x0 + jm� �� j = 0� ±1� ±2� ����
��� � �� (a, m) = d > 1� �� ������� ����� ����� ��������� ������� ��� d ✄|✄ b� ������ �����
d|a� �� � ��� d ✄|✄ (ax − b)� ���� ���� ������ x� ���� �������� ��� m ✄|✄(ax − b)� ��� ���
ax �≡ b (mod m)� ��������� ���������� ��� d|b� ����� ax ≡ b (mod m) ��� ��������� ��
�� ��������� �� �� ���� ������� �� ������ x ��� ��� m|(ax − b)� �� d|m� d|a� d|b ����
���� ���
a b m
ax ≡ b (mod m) ⇐⇒ (�) x ≡ (mod ).
d d d
����� (a/d, m/d) = 1� �� ��� ������ �� ��� � �� �� ���� �������� ����� ������ ���
�������� ������ x0 ������ m/d� ���� ������� ��� ������ ��� ��������� �� ��� �� ����
������ �� ax ≡ b (mod m) ���� ������� ���
m
x = x0 + j , j = 0, ±1, ±2, . . . , .
d
����� ����� ��� ���� �������� �������� ����� � � d ��������� ���������� ������ m ��
ax ≡ b (mod m)�

������� ��� ������� ��� �� ���������� 34x ≡ 60 (mod 98) ������� ���� ���������� ������
��� �� ���������� 12x ≡ 9 (mod 6) ��� ��� �� ��������� ���������
������� (34, 98) = 2 �� 2|60� �� ���������� � ���� ���������� ���� ����� 8 · 49 − 23 · 17 = 1
�� ������ 8 · 98 − 23 · 34 = 2 �� ����� ��������� �� 17 ������ 49 ��� −23 �� ������ 26� ����
������� �� �������� �� 34x ≡ 60 (mod 98) ������� � ������� �� �������� ��
17x ≡ 30 (mod 49).

�� �������� �� ����� �������� ���������� ��� ������ ���


x = 30 · 26 ≡ 45 (mod 49),

�� �� ������� ��� ��� ���� ��������� ���� x ≡ 45, 94 (mod 98)�


������� (12, 6) � | 9� �� ������� ���������� �� ������� ��� �� ���������

��� �� �������� �� ����� �������


�� �������� ���� ����� ������� �� �������� ��� ������� ���� ��������� ���� �� ����������
�� �������� �� ����������� ����������

��
�������� ���� ������ m1, m2, . . . , mr ��� ������� �������� ������������ �������� ���� �
����� ������ a1 , a2 , . . . , ar ��� ������� ������������ ����� �� ������� �� �����������


 x ≡ a1 (mod m1 )

 x ≡ a2 (mod m2 )

��

 �

x ≡ ar (mod mr )

������� ��� �������� x0 ������ ��������� �� ���� ������ ��� ��������� ���� �������� ������
m1 m2 · · · mr �
�������������� ������ m = m1 m2 · · · mr � �� ��� ����� ��� (mj , m/mj ) = 1 ���� ���� j � ����
������� �� �������� ���� �� ������ ��� ������� bj ���� ��� (m/mj ) · bj ≡ 1(mod mj )� ��� ���������
�� ��� ������� ��� �� i �= j ����� (m/mj ) · bj ≡ 0(mod mi )� �� ������� ��� �� �������� ��
������� ��� ������ ��� r
� m
x0 =
m
· bj a j . �����
j=1 j

�� ����� �� �� ���� ������ i = 1� 2� ���� r�


r
� m m
x0 = · bj a j ≡ · bi ai ≡ ai (mod mi ).
mj mi
j=1

�� ����� � ������� ���������� ������ x1 �� x2 ���� ��������� �� �������� ����� x1 ≡ x2 (mod mi )


���� i = 1� 2� ���� r �� ����� x1 ≡ x2 (mod m)�
������� ��� ������� �� ���� ����� ������ ������� x ��� ���

 x ≡ 2 (mod 3),
x ≡ 3 (mod 5),

x ≡ 4 (mod 7).
���������
�� � m1 = 3� m2 = 5� m3 = 7 �� m = 105� ������� ��������
(m/mj ) · bj ≡ 1 (mod mj ), j = 1, 2, 3,

����� ��� ������� b1 = 2� b2 = 1� b3 = 1� �� �������� �������� ���


3
� m
x0 = · bj aj = 263 ≡ 53 (mod 105).
mj
j=1

��� ����� ����� �������� �� �������� ��� �� ��������� �� �������� �������� ������ ��������
x = 2+3t �� �� ���������� ���� �� �������� �� ������� 2+3t ≡ 3 (mod 5) �� ����� t ≡ 2 (mod 5)�
���� x = 8 + 15u ��� �� ����������� ����� ������ ���� �� ��������� ��������� �� �������
u ≡ 3 (mod 7) �� ��������� x ≡ 53 (mod 105)�
������� ��� ������� �� ���� ����� ������ ������� x ��� ���

x ≡ 3 (mod 8),
x ≡ 11 (mod 20).

��
���������
���� ���������� ��� ��� ������� 8 �� 20 �� ���� ��� ������������ �������� �� ���� ���� ��
������� ��������� �� �������� �� ����� ������� ���� �� ������ ���� �� ������ ���� �������
�������� ����� ����� ������� 20 ����� ��� ��� ��������� ���� ������ �������� �� ��������
�� ������� ���������� ��� ��� ���� �����������
x ≡ 11 (mod 4), x ≡ 11 (mod 5).

���� �� ���� �� � ��� ����� ����������� ��������� �


x ≡ 3 (mod 8),
x ≡ 3 (mod 4),
x ≡ 1 (mod 5).

���� x ≡ 3 (mod 8) �������� x ≡ 3 (mod 4)� ����� x ≡ 3 (mod 4) ����� ��� ����������� ���� ��
���� �� �������� �
x ≡ 3 (mod 8),
x ≡ 1 (mod 5)
�� ���� ���������� ��� ��� ������� 5 �� 8 ���� ������������ ��������� �� ��������� �� ��������
�� ����� �������� ���� �������� �� �������� x ≡ 11 (mod 40) �� ����� �� ���� ������ ��������
�������� ��� x = 11�

��� ������� ���� ���������


�� �������������� �� ������ ��������� ��� �� ������ ��� ��������� ����� a/b� ��
a ∈ Z� b ∈ Z \ {0}� �� ������������� ������� ���� ������ ��������� a/b ��������� ���
�������� ����������� ��������� �� ������������� ������� �� ������ ��������� 5/52� �����
5 < 52 �� 50 < 52� ����������� 5 ��� 100 �� �������� �� �������� ��� 52� �� ����� �� �� ��������
��� 32� ��� �� ������ ����������� 32 ��� 10 �� �� ������ �� �������� ��� 52� �� ����� ��� ����� 8�
�� ��������� 8 ��� 10 �� �� ������ �� �������� ��� 52 ���� ������� �� ����� 28 ����
500 = 52 x 9 + ��
320 = 52 x 6 + 8
80 = 52 x 1 + 28
280 = 52 x 5 + 20
200 = 52 x 3 + 44
440 = 52 x 8 + 24
240 = 52 x 4 + ��

���� ��������� �� ��������� ��� �� ����� 32 ��� �� ������� ������� ������ �� �


5
= 0.09615384615384615384615384615384615384615384 . . .
52
���� �� ������ ���������� �� ������ ������� ��� 0 ��������� ��� ������������� � ������ �� ��
��������� �� ������ �������� ��� ���������� ��� ������ ��� ��� ���� �������� �������� � ������
09� ����������� ���� ����� �� ����� ���������� 615384 �� �������� 6� ���������� ��� �� �����
615384615384 �� �������� 12 ��� ����� ����������� �� ������� ��� �� �������� �������� ���
������ ����������� �� ������������� ������� ���� ������ ���������� ����� ��������� ������
��
�� ������ ��������� ��� ������� � ������ �������� ����������� ��� ����������� ������� ����
�������� �� ������ ��������� ���� �� ������� �������� ���� �������� ���� � � ����� ��� �����
����������� ��������� �� �� ������ �������� ����������� �����
5
= 0.09615384.
52
�� ������������� ������� ���� ������ ��������� ��� �������� ���������� � ������ ����� ����
����� ��������� ���� �� ��� ����� �������� �������� ����� �� ������ �� ����� ������ �� ������������
��� �������� 52 = 0.4 ��� ���� ���� ������ 0.40� 0.400 ���� ��� �� ������ �������� ����������
��� 0 ���� �� ������� ��� 1� �� ������� ��� �� �������� ���� ��� ������� ���������� ���� ��
������������ ���� �� �� ����� 2k 5m � �� �����
a 2m 5k a 2m 5k a c
= m k = m+k = m+k .
b 2 5 b 10 10
������ ��� �� ������� ���� ������ ��������� a/b ��� �������� ���������� � b − 1�
����������� �� ������ ��������� m/n �� (m, n) = 1 �� m < n� ���������� �� ����� ���
n ����� ��� ��������� ��� 2� �� ��� 5� �� �������� ������� ��������� �� �������� ���� �������
37|(103 − 1)� ����� ���� ���� ������ m� m/37 ��� �� ������� 3�

�������� ���� �� ������� �� �� �������� m/n ��� �� ���� ����� ������ ������� h ��� ��� 10h ≡ 1 (mod n)�

�������������� ��������� ������� ��� 10h ≡ 1 (mod n)� ��� ����� ������ �� ������ k ��� ���
10h = 1 + kn� ������ ���� ����� �������� m/n� �� �
m m
10h
n
= km + .
n
�����
��������� ��� m/n = 0.a1 a2 a3 . . .� ����� ���������� ����� ������ ��������
m
km + = a1 a2 . . . ah .ah+1 .ah+2 . . . .
n
�� ������� ��� ������� ������� �� �������������� �� �� ������ ���
km = a1 a2 . . . ah �����
�� m
n
= 0.ah+1 ah+2 . . . . �����
���� ���������� ����� ������� ��� ��� ������� ah+1 , ah+2 , . . . ���� ����������� ��� �������
a1 , a2 , . . .� ���� ������� ��� �� ������������� �� m/n �� ������ ����� h ������� �� ����� ��
������� �� m/n ��� h�
����������� �� m/n ��� �� ������� h� ���
m
= 0.a1 a2 . . . ah .a1 a2 . . . ah . . . ,
n
����� m m
10h − a1 a2 . . . ah = 0.a1 a2 . . . ah . . . = .
n n

��
��� ����������
(10h − 1)m
n
= a1 a 2 . . . a h �����
��� �� ������� ������� m �� n ���� ������������ ��������� �� � n|(10h − 1)�
����������� ��������� ��� �� ������� �� m/n ��� h �� ��� 10h ≡ 1 (mod n)� ������ m/n �

����� h∗ ������� ��� �� �������� �� h∗ � h� �� ������������ h ��� �� ���� ����� ������ �������
������������ 10h ≡ 1 (mod n)�

��� ��� ��������� ������������ �� �������������� ���������


����� ������� ������� �� �������
���� m �� ������ ������� ���� � ���� ������ a �� ���� �������� �� ����� r �� �� �������� �� a
��� m� ���
a = qm + r, 0 � r < m.
������ a ≡ r (mod m) ��� ������� r ��������� ����������� 0 � r < m� �� ��� ������ �� ���� ��� ����
������ ��� ������ ������ m � ��� ��� ������� 0� 1� 2� ���� m − 1� �� ��� ����� ��������� �� ���
m ������� ����� ������� � ��� ����� ������� ����� ������ m� ��� m ������� ����������� ��
������� ������� �� ������� ������ m� ��� ������ ��� ���� ���������� �����������
��������� ��� �� �������� ��������� {x1, x2, . . . , xm} ��� ������ �� ������� ����
���� �� ������� ������ m �� ���� ������ ������ y �� ������ �� �� �� ���� xi ��� ���
y ≡ xi (mod m)�

��������� �� ������� �������� �� ������� ������ m ��� {1, 2, . . . , m − 1}� ������ ���
���� �� �������� ������� �� ������� {xi }� �� j �= k� ����� xj �≡ xk (mod m)� ��������� xj
������ ������ � ���� ������� �� ������� � �������� �� xk �
������� ��� �� ������� ������� �� ������� ������ n ��� ������ �� ����������� �� ������
���� ������� ��� ������� ������������� 0� 1� ���� n − 1 �� Z/nZ� �� ������� �������� ��
������� ������ 5 ��� {0, 1, 2, 3, 4}� ���������� {−2, 5, 9, 11, 17} ��� �� ����� ������� �������
�� ������� ������ 5� �� ����� −2 ≡ 3� −5 ≡ 0� 9 ≡ 4� 11 ≡ 1� 17 ≡ 2 (mod 5)� ���� −2 ∈ 3�
5 ∈ 0� 9 ∈ 4� 11 ∈ 1� 17 ∈ 2�

����� �� �������� �� ������


���� ��� ������ �������� � ������� �������� �� ������ ����� �� 18 ������� 1640� ������ ��
������ � ������������ �� �������� ������� � �� p ��� �� ������ ������� �� a ��� �� ������ ���
��� p �� ������ ��� a� ����� p ������ ap−1 −1� �� �������� ��� ����� ���� �� ��� ����� ��������
�� ������� ���� �� ��������� ���� ��������������� ��� ����� ��� �� ������ �� ������ ��
������� ��� �� ������� ������� �� �������� ���������� �� �������� ��� ����������� ����
�������������� ��� ����������� ���� ��� ������� ������ ��������� ����� ����� ���� ����������
���� �������
�� ������ �� ������ ��� �� �� 17 ���� 1601 � �������� �� ������� ����� �� ���������
�� ������� �� � ��� ���� �������� ��� �� ������� ��� ���������� �� ������������ ���������
����� �� ����������

��
����� ���� ���� p �� ������ �������� �� k ��� �� ������� 1 � k < p� �����
� �
p
≡ 0 (mod p).
k
� �
p
�������������� ���� N=
k
� �����
k!N = p(p − 1) · · · (p − k + 1) ≡ 0 (mod p),

�� ������� (k!, p) = 1 ����� N ≡ 0 (mod p)�


����� ����� ���� p �� ������ ������� �� ���� a �� ������ ������� ��� ��� p � |a� ����������
{0, a, 2a, . . . , (p − 1)a} ��� �� ������� ������� �� ��������
�������������� ������� a ��� ���������� ������ p� ����� ai ≡ aj (mod p) �������� i ≡ j (mod p)�
���� ��������� ������� {0, 1, 2, . . . , p − 1} ��� �� ������� ������� �� ������� ������ p� �����
�� ��� �� ���� ���� {0, a, 2a, . . . , (p − 1)a}�
�������� ���� ������ �������� �� �������� ���� p �� ������ ������� �� ���� a ��
������ ������� ��� ��� p � |a� ����� ap−1 ≡ 1 (mod p)� �� ����� ���� ��� ���� �������� a� �� � ��
���������� ap ≡ a (mod p)�
�������������� ���� ������������ ��� ap ≡ a (mod p)�
�������� �������������� �� ������������� �� ���� ��� ��������� ��� a� �� �������� ���
���� ���� a = 1� ��������� ��� �� �������� ��� ���� ���� a� ���� ������ ���������
����� ��� ���� ���� a + 1� ��� �� �������� �� �������
� � � � � �
p p p−1
p p p−2 p
(a + 1) = a + a + a + ··· + a + 1.
1 2 p−1
�� ����������� �� ����� ���� ���� ��������
(a + 1)p ≡ ap + 1 (mod p).

���� ��� ��������� ����������� ap ≡ a (mod p)� �����


(a + 1)p ≡ a + 1 (mod p).

�� ��� �������� �� ��������������


�������� �������������� ��������� ��� p ✄|✄ a �� ����������� �� ������� ������� �� �����
��� ������ p � {0, a, 2a, . . . , (p − 1)a}� ������� {0, 1, 2, . . . , p − 1} ��� �� ������� ����
���� �� ������� ������ p� �����
1 · 2 · 3 · · · (p − 1) ≡ a · 2a · 3a · · · (p − 1)a (mod p)

�� �� ������������� ��� ������ �����


1 · 2 · 3 · · · (p − 1) ≡ ap−1 (1 · 2 · 3 · · · (p − 1)) (mod p).

������� p✄|✄(p − 1)!� ����� �� � ap−1 ≡ 1 (mod p) �� ap ≡ a (mod p)�


�� p|a� ����� a ≡ 0 (mod p) �� ����� ap ≡ a (mod p)�
��
���������� ������������� ���������� ����� ��� ������ ��� �� ������ ��� ������� N ��� ��
���� ��� �������� �� ���� ��� aN ≡ a (mod N ) ���� ��� ������� a� 1 � a � N − 1 ��� �������
���� ���� ���� ��� ������� a ����� 1 �� N − 1�� �� ��� ������� ��� 561 = 3 � 11 � 17�
��������� �� ���� �� ������� a �� �� ������� ������ ������� N � �� �
aN −1 ≡ 1 (mod N ) �����
������ �� ��� ��� N ��� �������������� �
�� �� �������� ����� ��� ����� ���� ���� a� ���� (a, N ) = 1� ����� �� ��� ��� N ��� �� ������
�� ����������� ���� �� ������ ��� ���� ������ ��� ������� �� ���� �������� �� ���� ���� ������
��� ������� �� ������� �������� N ���� ���
2N ≡ 2 �� 3N ≡ 3 (mod N ).

���� �� ���� ����� ������ ��� ������� �� ������� ��������������� ��� ������� � ���� a > 1
����� �� ������� ���� ������
��������� �� �������� ��������� ��� ��� ������ �������� �� ������� ���� �� ���������� ��
�������� �������� �� �������� ��� ��� ��� �� n ��� �� ������ ��������� � 2� ����� ����������
xn + y n = z n

��� ��� �� �������� ������� ����� x, y, z ��� ������ ������ � ������ �� ������� �������� �� 1637�
�� ������� ���� �������� ���� �� ����� �� ��� ����� ����� ����� ��� ������������� ������� ����
����� �������� ��� ���������� �� ����� ���� �� ����� ���� ������ �� �������� �� ����� �����
���� 1993 � � �������� ������� ������ � ��������� �� ��������� ��� ���� � ���� �� ���� ��������
������ ����������� �� ���� ���� ��� ������� ������������ �� ��������� ����� ������ �� �������
�������� �� ������ � ���������� ����� ��������� � �� ������� ���������� ��� �������� ��
�������� � ������� �� ������� �������� �� �������
�� ���� �� ����� �������� �� ������ ��� ��� ����������� ��������� ����� ��������������
�� �������� �� ������ ��� � ������
������� ��� �������� ��� 361 + 461 ��� ��������� ��� 7�
���������
������� �� �������� �� ������� 36 ≡ 1 (mod 7)� ������� 61 = 6 · 10 + 1� �����
361 = 36·10+1 = (36 )10 · 3 ≡ 1 · 3 ≡ 3 (mod 7).

�� ����� 46 ≡ 1 (mod 7) �� ����� 461 ≡ 4 (mod 7)�


���� 361 + 461 ≡ 3 + 4 ≡ 7 ≡ 0 (mod 7)�
������� ��� ������� ��� 11 � |n2 + 1 ���� ���� n ∈ N�
���������
�� n2 + 1 ≡ 0 (mod 11)� ����� n2 ≡ −1 (mod 11) �� ����� n10 ≡ −1 (mod 11)� �� ������� �� �����
�������� �� ������� n10 ≡ 1 (mod 11)�
�� ���� ������� ��� ������� ��������������� ���� �� ������ ���������������
�� �� 23 ���� 1993� ������ ������ �� ����� ������������� �������� ���������� � ���������� ���� ��������
� ���������� ����� ����� ������ � ��������� �� �������� ��� ��� ������� ����������� ��� ���������� �� ��������
�� �������

��
����� �� �������� �������
��������� ��� �� ������� ������ �� ������� ������ m ��� �� �������� ��������� ri ��� ���
(ri , m) = 1� ri �≡ rj (mod m) ������� i �= j � �� ��� ��� ������ ������ x ������������ �������
���� m ��� ������ � �� ������� ri ������ m�
������� ��� ���������� {1, 5} ��� �� ������� ������ �� ������� ������ 6� ����������
{1, 2, 3, 4, 5, 6} ��� �� ������� ������ �� ������� ������ 7�
�� ���� ���������� ���� ��� �� p ��� �� ������ �������� ����� �� ������ ���������� ����
�� ������� ������ �� ������� ������ p ��� ���� � p − 1� �� �� ����� ���� ��� ���� m ∈ N� ��
������ ���������� ���� �� ������� ������ �� ������� ������ m ������ ���������� �� m ��
��� �� ������� ����������� � �� ������ ��� �������� ���� �� ������ ��������� �������� n � m
���� ��� (n, m) = 1 � �� ������ �� ������ ��� φ(m)� �� ������� ����� �������� φ �� ��������
�������� ���� ������������ �
��������� ��� �� �������� φ ������� ��� ������ ���
φ(m) = # {n � m | (n, m) = 1} .

������� ��� φ(6) = 2� φ(12) = 4 �� φ(p) = p − 1 ���� ������ ������ ������� p�


�������� ����� ���� (a, m) = 1� �� r1� r2� ���� rφ(m) ��� �� ������� ������ �� ������� ������
m� ����� ar1 � ar2 � ���� arφ(m) �� ��� �� ������
�������������� ������� (ri , m) = 1 �� (a, m) = 1� ����� (ari , m) = 1� ��� ��������� �� i �= j � ��
���� ������� ��� ari �≡ arj (mod m)� ��������� �� ���������� ��� ari ≡ arj (mod m)� ������ ��
������ �� ���������������� �� � ri ≡ rj (mod m)� ������� ��� ri ����������� �� ������� ������
�� ������� ������ m� �� � i = j � ����� ������������� ���� ������ ��������� �� ���������
�������� ���� ��������� ��������� ���� (a, m) = 1� �����
aφ(m) ≡ 1 (mod m).
� �
�������������� ���� r1 , r2 , . . . ,�rφ(m) �� ������� ������
� �� ������� ������ m� �� ������
�� �������� ���������� �� � ��� ar1 , ar2 , . . . , arφ(m) ��� ����� �� ������� ������ �� �������
������ m� �� ����� �� ��� ������ �� ���� ����� � � ��������� ����� ��� ���� ��������� �����
�������� �� ���� ������
φ(m) φ(m)
� �
ari ≡ ri (mod m)
i=1 i=1
�� ���� φ(m) φ(m)
� �
φ(m)
a ri ≡ ri (mod m)
i=1 i=1
 
φ(m)

������� m, ri  = 1� �� ���� �������� ���
i=1

aφ(m) ≡ 1 (mod m),

���� �� ���������
��
������� ��� ������� �� ������� ������ ���� �� �������������� �������� �� 3345� ����� ����
��� ���� �������� ������� �
���������
������� �� �������� �������� 34 ≡ 1 (mod 10)� �� �����
3345 = 34·86+1 ≡ 3 (mod 10).

�� ������ ��� ������ ��� ���� 3�


���� ������� ��� ���� �������� �������� �� ���� ������� �� ����� �� �� �������� �� 3345 ���
100� �� ������ ����� ���������� ��� φ(100) = 40 �� ������ ������� �� �������� �������� �� �

340 ≡ 1 (mod 100).

�������
3345 = 38·40+25 ≡ 325 ≡ 43 (mod 100),
��� ���� �������� ������� ���� 4 �� 3�
������� ��� �������� ��� ���� �������� ������� �� 20122012�
���������
���� ������ �������� 20122012 (mod 100)� ������� φ(100) = 40� ���� �������� ���������� 2012
��� 40� ����� 2012 = 40 · 50 + 12 �� �����
20122012 = 201240·50+12 = (201240 )50 201212 ≡ 201212 ≡ 1212 ≡ 56 (mod 100),

�� ����� ��� ���� �������� ������� ���� 5 �� 6�


���� ��������� ����������� ��� �� �������� ������� ������ ����������� ��� �������� ��
�������� ��� ����������� ���������� ����� �� � �
�������� ����� �� (a, m) = 1� ����� �� ���������� ax ≡ b (mod m) ������� ��� �������� x0
�� ������ ��� ������ ��������� ���� ������� ���

x = x0 + km, k ∈ Z.

�������������� �� ������ ���������� ��� x0 = aφ(m)−1 b ��� ��� �������� �� ax ≡ b (mod m)�
��������� ��� �������� ��� x ��� ��� ����� ��������� ������ a(x − x0 ) ≡ b − b ≡ 0 (mod m)
��� ����� (a, m) = 1� �� �� ������ ��� �� �������� ������� ��� x − x0 ≡ 0 (mod m)� ���� ��
�����������
����� �� �������� �� ������
�� �������� ��� ���� ��������� ��� ���������� ��������������� ��� ������� ���������
�������� ���� ��������� �� �������� ���� m ∈ N� m > 1� �����
m ��� ������� ⇐⇒ (m − 1)! ≡ −1 (mod m).

�������������� �=⇒� ���� m = p �� ������ �������� �� p = 2 �� 3� �� ���������� ���


���������� �������� ��������� p � 5 �� ����������� ��� ������� r ���� ��� 1 � r � p − 1� �� ���
����� ����� � �������� (r, p) = 1� �� ���� ���� ����� ����� �� �������� ��������� �� ��������
��� ���� ������ 1 � r � p − 1� �� ������ �� ������ m �1 � m � p − 1� ��� ��� mr ≡ 1 (mod p)�
��
����� mr ≡ rm ≡ 1 (mod p)� �� ��� ����� ��� �� r ��� ������� � m ����� m ��� ����� ��������
������� � r� � �������� r = 1� ��� ���������� ������� �������� m = 1 � �� ���� p − 1 ��� �������
� ��������� ���� r ��� ��� 2 � r � p − 2� ����� �� ��� ������� r ����� ������� � ��������� ���
��������� �� ������ r2 ≡ 1 (mod p)� ��� (r − 1)(r + 1) ≡ 0 (mod p)� �� ��� ����� ��� ���������
������� (r − 1, p) = (r + 1, p) = 1 ���� ������ 2 � r � p − 2� �� �������� ���� ��� ��� ������� 2�
3� ���� p−3� p−2 ������� ���� �������� �� ��� ������� (r, m) ���� ��� r �= m �� rm ≡ 1 (mod p)�
��� ����� p − 1 ≡ −1 (mod p)� �� �������� ���
(p − 1)! = 1 · 2 · · · (p − 2)(p − 1) ≡ 1 · (p − 1) ≡ −1 (mod p),

���� �� �����������
�⇐=� �� m ����� ��� �������� m = a · b, 1 < a < m� �� ����� a|(m − 1)!� �� ������� ���� ���
a � |((m − 1)! + 1) ��� � ��������� m � |(m − 1)! + 1)� �� ��� �������� �� ��������������

������� ��� �� ������ 100! + 1 ����� ��� ������� ������� 101|100! + 1�


��������� �� ����� ��������������� ��� �������� �� �������� ���������� ��� ������������� ��
�������� �� ������ ����� ����� �� ��������� �������� ������� ���� ������ �� ���������� �����
����� �� ���������

��

Вам также может понравиться