Основна теорема арифметики

Матеріал з Вікіпедії — вільної енциклопедії.

В теорії чисел основна теорема арифметики стверджує, що будь-яке натуральне число більше одиниці може бути представлене у вигляді добутку простих чисел і таке представлення є єдиним з точністю до порядку множників.

Теорема має численні застосування в елементарній арифметиці, є мірилом подільності для теорії многочленів, гауссових чисел та евклідових кілець взагалі.

Зміст 1 Пояснення 2 Застосування теореми 3 Доказ теореми 3.1 Доказ існування розкладу 3.2 Доказ єдиності розкладу 4 Посилання

[ред.] Пояснення

Для знаходження розкладу натурального числа на прості множники послідовно застосовується операція ділення числа на прості числа починаючи з найменшого. Причому, перехід до наступного більшого простого числа виконується тільки при неможливості цілого ділення на менше. Так, наприклад, можна отримати настуні розклади чисел 420 та 1200:

Згідно з основною теоремою арифметики стверджується, що ці представлення є унікальними для кожного числа, тобто не існує розкладів з іншим набором чисел або іншою кількістю однакових множників. Відминним може бути лише порядок множників, але, внаслідок комутативності та асоціативності множення, всі такі розклади є еквівалентними.

Таким чином, теоремою стверджується, що не існує таких чисел, які можна було б розкласти на прості множники різними способами.

У деяких випадках твердження основної теореми арифметики застосовуються для всіх цілих чисел крім нуля. При цьому прийнято вважати, що одиниця є добутком нульової кількості простих чисел (порожній добуток), а унікальність розкладу доводиться з точністю до порядку множників та їхніх знаків.

[ред.] Застосування теореми

З основної теореми арифметики можна зробити висновок про важливість простих чисел в арифметіці, на основі яких можна побудувати будь-яке ціле число.

Знаючи розклад числа на прості множники, можна отримати загальну кількість його дільників. Будь-який додатний дільник числа буде представлений тим же набором простих чисел, але з меншими показниками степеня у відповідних множників. Так, наприклад, всі дотатні дільники числа 1200 будуть мати наступну форму де , та . Загальна кількість таких дільників буде дорівнювати .

Розклад чисел на прості множники дає легкий спосіб визначення найбільшого спільного дільника та найменшого спільного кратного.

Узагальнення основної теореми арифметики на область цілих чисел дає можливість її представлення в алгебраїчних термінах^[1], а саме: будь-який елемент, відмінний від нульового та одиничних, можна єдиним способом розкласти на прості множники з точністю до порядку множників та їхнього множення на одиничні елементи. В такому вигляді основну теорему можна застосовувати також для інших алгебраїчних множин, наприклад для аналізу кілець многочленів з раціональними коефіцієнтами або гаусових чисел. Але, як показав Ернст Куммер в 1843 році, для більш загальних множин єдиність розкладу на прості множники не зберігається.

[ред.] Доказ теореми

Теорема була практично доведена Евклідом, але єдиність розкладу не була сформульована, й, напевно, приймалась як очевидний факт. Перший повний доказ теореми був даний Карлом Ґауссом, який звернув увагу на необхідність доказу неможливості співіснування різних розкладів на прості множники для одного числа.

[ред.] Доказ існування розкладу

Можливість існування розкладу натурального числа може бути доведена доказом від протилежного. Припустимо, що існують натуральні числа, які не можуть бути розкладені лише на прості множники. Тоді повинно існувати найменше з таких чисел, позначимо його n. Це число не може бути одиницею в зв'язку з представленням одиниці як порожнього добутку, а також не може бути простим числом, так як просте число вже є результатом добутуку одного простого числа, самого себе. Таким чином, n повинно бути складеним числом, яке, в свою чергу, можна представити у вигляді

n = ab

де обидва a та b є натуральними числами меншими за n. Далі, тому що n є найменшим з чисел, яке не можна розкласти на прості множники, доходимо висновку, що множники a та b мають бути додатками простих чисел. Але, n = ab, і, отже, само повино бути додатком виключно простих чисел. Доходимо до протиріччя.

[ред.] Доказ єдиності розкладу

Існує багато доказів єдиності розкладу натуральних чисел, які відрізняються рівнями складності та загальності^[2], але і тут можна скористатись доказом від протилежного^[3]. Припустимо, що існують два розклади числа n на прості множники:

Оскільки p₁ є дільником лівої частини рівності, то він також повинен бути і дільником одного з множників q_k в правій частині. Але q_k є простим числом, а отже повинна бути справедливою тотожність p₁ = q_k. Скоротивши рівність на спільний множник p₁ = q_k, проведемо аналогічне співставлення для множника p₂, який теж буде дорівнювати одному з q_k, що залишились після спрощення. В результаті, після скорочення всіх множників p_i в лівій стороні рівності отримуємо 1. З іншого боку, через те що всі q_k також є простими числами, праворуч також отримаємо одиницю. Отже, числа p_i та q_k попарно рівні, що доводить тотожність двох розкладів.

[ред.] Посилання

1. ↑ Жиков В. В.. Основная теорема арифметики. Процитовано 2008-04-29.
2. ↑ Калужнин Л. А.. Основная теорема арифметики (1969), 32, М: Наука.
3. ↑ Курант Р. Роббинс Г.. Что такое математика? (2001), 568, М: МЦНМО. ISBN 5-900916-45-6.