12 Глава I. Числа и комбинаторика
Определение 2. Если r = 0, то пишем b |a и говорим, что b
––
дели-
тель a (или что a делится на b).
Любое натуральное число n имеет два так называемых несобствен-
ных делителя 1 и n (число n = 1 имеет один делитель). Остальные
делители числа n называются собственными.
Определение 3. Если число, большее единицы, не имеет собствен
-
ных делителей, то оно называется простым.
Число, имеющее собственные делители, называется составным.
Единица
––
особое число. Оно не причисляется ни к тем, ни к другим.
Принципом наименьшего числа называется следующее утвержде
-
ние: любое непустое множество натуральных чисел содержит
наименьшее число.
Этот принцип эквивалентен различным вариантам принципа матема
-
тической индукции (далее просто индукции), например такому: если A
––
множество натуральных чисел, содержащее единицу (это предположение
соответствует так называемой базе индукции), и вместе с каждым чис
-
лом n содержащее следующее за ним число n + 1 (это предположение
соответствует так называемому шагу индукции), то множество A сов
-
падает с множеством всех натуральных чисел N. Принцип индукции далее
мы принимаем за аксиому.
Укажем ряд его применений.
Теорема 2. Любое натуральное число, большее единицы, разла-
гается в произведение простых чисел.
Д о к а з а т е л ь с т в о. Обозначим через A множество всех таких
натуральных чисел n, что число n + 1 разлагается на простые мно
-
жители. Очевидно, что 1 принадлежит множеству A
––
база индукции
проверена. Докажем, что можно сделать шаг индукции. Пусть мно
-
жество {1, .. ., n} содержится в множестве A. Проверим, что n + 1
содержится в A. Если n + 1
––
простое число, то это очевидно. Если n + 1
не простое, то n + 1 = a ·b, где a, b
––
натуральные числа, 1 < a, b 6 n.
Так как числа a, b принадлежат множеству A, то a = p
1
· p
2
·... · p
s
,
b = p
s+1
· p
s+2
·... · p
m
, где p
i
, i = 1, ..., m,
––
простые числа. Тогда чис
-
ло n + 1 = a ·b = p
1
· p
2
·... · p
m
тоже принадлежит множеству A. Шаг
индукции сделан. Согласно принципу индукции, A = N и, следовательно,
теорема доказана.
Теорема 3 (Евклид *). Простых чисел бесконечно много.
* Евклид Александрийский ( , ок. 325
–
265 до н. э.)
––
античный математик,
автор знаменитого трактата
«
Начала
»
, бывшего всеобщим учебником математики на про
-
тяжении многих столетий. Теорема 3 соответствует предложению 20 из IX книги
«
Начал
»
.