Наступне невикреслене число 5 — просте.
Викреслимо всі числа кратні 5 (кожне п’яте, починаючи з ). І
т. д.
Необхідно викреслити кратні для всіх
простих чисел , для яких
. В результаті всі складені
числа
будуть викреслені, а залишаться всі прості числа. Для
вже після
викреслювання кратних числу 3 всі складені числа виявляються викресленими.
3.
НОД, НОК, Расширенный алгоритм Эвклида. Доказательство.
Розглянемо питання про подільність чисел у множині Z.
Визначення. Якщо для чисел
a, bÎZ у кільці цілих чисел Z існує таке число q,
що a=b´q, то говорять, що a ділиться на b
або b ділить a. Для позначення того факту, що b ділить
а, записують .
Якщо для чисел виконується
рівність
, то число a називають кратним
чисел b та q, а самі числа b і q – дільниками
числа a, тобто
та
.
Розглянемо деякі властивості подільності цілих чисел, що випливають із визначення цілих чисел.
1 Якщо "aÎZ,
то .
2 Для "aÎZ
якщо , то a= ±1.
3 Для якщо
, то
та
.
4 Для "a,
bÎZ якщо і
,
то a= ±b.
5 Для "a,
b, cÎZ якщо й
,
то
.
6 Для "a,
b, cÎZ якщо й
,
то
.
7 Для "a,
b, cÎZ якщо , то (a´c)
b
Важливу роль у теорії подільності відіграє така теорема.
Теорема 1 (про ділення з остачею). Якщо a, bÎZ та b>0, то завжди можна підібрати таку пару цілих чисел q та r, при яких виконується рівність a=b´q+r, де 0£r<b. При цьому числа q та r визначаються однозначно.
За теоремою 1 можна стверджувати, що ціле число a тоді і тільки тоді кратне цілому числу b¹0, коли остача r від ділення a на b дорівнює нулю.
Визначення. Ціле число називається спільним дільником
цілих чисел
, якщо кожне із цих чисел
ділитися на
.
Наприклад, для чисел 12, 18, 21, 36 спільний дільник =3.
Визначення. Ціле число d
називається найбільшим спільним дільником (НСД)
чисел , якщо d – спільний
дільник чисел
, що ділиться на
будь-який спільний дільник цих чисел.
Наприклад, для чисел 12, 18, 36 спільними дільниками будуть числа 2, 3, 6, а НСД d =6.
Теорема 2 НСД чисел визначається однозначно з точністю до
знака. Інакше, якщо
та
найбільші спільні дільники чисел
, то
.
1.2 Алгоритм Евкліда
Досить простою процедурою пошуку НСД є алгоритм Евкліда.
Нехай дані два числа a, bÎZ, причому 0<b<a. Необхідно визначити НСД. Для цього
ділять a на b. Якщо ba, то найбільшим спільним дільником є число b. Якщо a не
ділиться на b націло, то одержують частку
та залишок
,
причому 0£
<b. Далі ділять b на
, одержують частку
і залишок
,
причому 0£
<
.
Далі аналогічно ділять
на
, при цьому одержують частку
і залишок
,
причому 0£
<
.
І так далі. Цей процес закінчується в тому випадку, коли залишок від ділення
буде дорівнювати нулю, тобто процес ділення є кінцевим, оскільки залишки
,
,
,…, будучи натуральними числами,
зменшуються. Останній залишок, що не дорівнює нулю, є найбільшим спільним
дільником чисел a та b.
Алгоритм Евкліда можна сформулювати у вигляді теореми.
Теорема 3 Якщо
,
то НСД(a, b)= .
Наприклад, щоб знайти НСД (2585, 7975) виконаємо такі дії:
7975=2585´3+220, ,
2585=220´11+165, ,
220=165´1+55, ,
165=55´3.
Відповідно до теореми 3 НСД(2585, 7975) =55.
В алгоритмі Евкліда розгляд можна обмежити тільки додатними числами, тому що НСД(a,b)=НСД(|a|, |b|).
procedure Euclid (a,b: integer; var nsd);
var r:integer;
begin
a:=abs(a);
b:=abs(b);
r:=a mod b;
if r=0
then
nsd:=b;
else
while r<>0 do
begin
a:=b;
b:=r;
nsd:=r;
r:=a mod b;
end;
end;
Для знаходження НСД декількох чисел спочатку знаходять
,
потім
,
…,
.
У результаті одержимо .
Теорема 4 Якщо , то існують такі числа x, yÎZ, що
. (1.1)
Рівність (1.1) називають лінійним поданням найбільшого спільного дільника чисел a та b.
4.
Функция Эйлера
Важливу роль у теорії чисел відіграє функція Ейлера.
Визначення. Функцією Ейлера називається
функція, що визначає для кожного числа nÎN
кількість цілих невід’ємних чисел менших n і взаємно простих з n.
Властивості функції Ейлера:
1 Функція мультиплікативна, тобто
для
функція
і
для будь-яких взаємно простих чисел m, n (m, nÎN) справедлива рівність
.
2 Якщо p – просте число та ,
то
.
3 Якщо канонічне розкладання числа nÎN має вигляд
,
то
.
Наприклад,
4
Сума значень функції Ейлера для всіх дільників числа n дорівнює n, тобто
.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.