Скачиваний:
111
Добавлен:
15.06.2014
Размер:
409.09 Кб
Скачать

Свойства нок

1. m  N.

2. 

3. Для .

Определение 1.2.5 НОК целых чисел а1, а2,…, аn равносильно выполнению свойств 1–3.

4. Если НОК целых чисел существует, то оно единственное.

Пусть m, – два НОК целых чисела1, а2,…, аn, n  2. По свойству 3 НОК  | m | = || по свойству 4 делимости целых чисел. Посколькуm,  N, то m = .

Очевидно, что если b | a, то [ab] = |a | при a  0.

C помощью рекурсии НОК вычисляется не только для двух, но и большего количества целых чисел: [a1,…, an  1, an] = [[a1,…, an  1], an], n = 3, 4,…

§1.3. Простые числа

Определение 1.3.1. Натуральное число p >1 называется простым, если оно делится только на 1 и на само себя, в противном случае p называется составным. 1 не является ни простым, ни составным числом. Таким образом,

= {1}{простые числа}{составные числа}.

Очевидно, справедлива следующая теорема.

Теорема 1.3.1. Наименьший делитель p>1 натурального числа n>1 есть число простое, причем если n – составное число, то .

1. n – простое число, .

2. n – составное число, пусть p – составное,  t  N: , что противоречит минимальности делителя p.

Пусть теперь

Свойства простых чисел

1. Для n  N и любого простого p

2. (p1p2) = 1, если p1  p2 – различные простые числа.

Заметим, что из соотношения натуральных чисел приn>1, 1< pq < n следует, что либо , либопринадлежит отрезку[2; ]. Исторически первый метод проверки числа n на простоту заключался в делении его на простые числа, не превосходящие . Это один из вариантов так называемого «решета» Эратосфена, ставшего его наиболее знаменитым достижением. Эратосфен (ок. 276–194 до н.э.) – один из самых разносторонних ученых античности.

23, 4, 5, 6, 7, 8, 9, 10, 11, 12,…, [],

где [] – целая часть .

  1. 2 – простое число, исключаем все числа, кратные 2 (2 | n – да или нет?);

  2. 3 – простое число, исключаем все числа, кратные 3 (3 | n – да или нет?);

и т.д. до ближайшего к простого числа.

В целом «решето» Эратосфена решает более общую задачу нахождения всех простых чисел на отрезке натурального ряда [mn], где m<n.