Перегляд вихідного коду сторінки Основна теорема арифметики

[[Файл:Disqvisitiones-800.jpg|thumb|Основну теорему арифметики довів [[Карл Фрідріх Гаусс|Гаусс]] у своїй книзі 1801 року ''{{нп|Арифметичні дослідження (Гаусс)|Арифметичні дослідження|ru|Арифметические исследования}}'' ({{lang-la|Disquisitiones Arithmeticae}}).<ref name="Gauss1801.loc=16">{{Harvtxt|Gauss|Clarke|1986|loc=Art. 16}}</ref> В цій книзі, Гаусс використав основну теорему для доведення [[Квадратичний закон взаємності|квадратичного закону взаємності]].<ref>{{Harvtxt|Gauss|Clarke|1986|loc=Art. 131}}</ref>]]

'''Основна теорема [[Арифметика|арифметики]]''' стверджує{{Sfn|Дэвенпорт|1965}}{{sfn|Жиков|2000|с=112}}:
{{Початок цитати}}
Кожне [[Натуральні числа|натуральне число]] <math>n>1</math> можна подати у вигляді <math>n=p_1\cdot\ldots\cdot p_k</math>, де <math>p_1,\ldots,p_k</math>&nbsp;— [[Просте число|прості числа]], причому таке подання єдине, якщо не враховувати порядок множників.
{{Кінець цитати}}
Якщо формально домовитися, що добуток [[Порожня множина|порожньої множини]] чисел дорівнює 1, то умову <math>n>1</math> у формулюванні можна опустити, тоді для одиниці мається на увазі розклад на порожню множину простих: <math>1=1</math>{{sfn|Калужнин|1969|с=6-7}}{{sfn|Weisstein|2010|pp=1126}}.

Як наслідок, кожне натуральне число <math>n</math> єдиним чином подається у вигляді

: <math>n = p_1^{d_1} \cdot p_2^{d_2} \cdot \ldots \cdot p_k^{d_k},</math> де <math>p_1 < p_2 < \ldots < p_k</math>&nbsp;— прості числа, і <math>d_1,\ldots,d_k</math>&nbsp;— деякі натуральні числа.

Таке подання числа <math>n</math> називається '''канонічним розкладом''' на [[Просте_число#Розклад_натуральних_чисел_на_добуток_простих|прості співмножники]].

Наприклад,
: 1200 = 2{{sup|4}} × 3{{sup|1}} × 5{{sup|2}} = 5 × 2 × 5 × 2 × 3 × 2 × 2 = …

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

Ця теорема є однією із основних причин, чому число 1 не відносять до простих чисел: якби число 1 було простим, тоді розкладання на прості множники не було б унікальним; наприклад, {{nowrap|1=2 = 2 × 1 = 2 × 1 × 1 = ...}}

== Пояснення ==
Для знаходження розкладу натурального числа на прості множники послідовно застосовується операція [[ділення]] числа на прості числа починаючи з найменшого. Причому, перехід до наступного більшого простого числа виконується тільки при неможливості цілого ділення на менше. Так, наприклад, можна отримати наступні розклади чисел 420 та 1200:
: <math>420=2 \cdot 2 \cdot 3 \cdot 5 \cdot 7 = 2^2 \cdot 3 \cdot 5 \cdot 7,</math>
: <math>1200 = 2 \cdot 2 \cdot 2 \cdot 2  \cdot 3 \cdot 5 \cdot 5 = 2^4 \cdot 3 \cdot 5^2.</math>

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

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

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

== Історія ==
Передумови основної теореми арифметики беруть свої витоки в [[Стародавня Греція|Стародавній Греції]]. Незважаючи на те, що в [[Давньогрецька математика|давньогрецькій математиці]] основна теорема арифметики в сучасному формулюванні не зустрічається, в «[[Начала Евкліда|Началах]]» ({{Lang-grc|Στοιχεῖα}}) [[Евклід]]а є еквівалентні їй речення. Слідуючи за Евклідом, багато математиків протягом століть вносили свій внесок у доведення основної теореми арифметики, наводячи в своїх працях близькі за змістом твердження, серед цих вчених {{нп|Kamāl al-Dīn al-Fārisī|Камаль аль-Дін аль-Фарісі}}, {{нп|Жан Престет|Ж. Престет||Jean Prestet}}, [[Леонард Ейлер|Л. Ейлер]], [[Адрієн-Марі Лежандр|А. Лежандр]]{{sfn|A. Göksel Ağargün and E. Mehmet Özkan|2001|p=207}}. Перше точне формулювання основної теореми арифметики і її доведення наводяться [[Карл Фрідріх Гаусс|К.]] [[Карл Фрідріх Гаусс|Гауссом]] у книзі «{{нп|Арифметичні дослідження (Гаусс)|Арифметичні дослідження|ru|Арифметические исследования}}» ({{Lang-la|Disquisitiones Arithmeticae}}), виданій у [[1801 рік у науці|1801 році]]{{sfn|Дэвенпорт|1965|с=17}}. З цих пір з'явилося багато різних нових доведень теореми, що конкурують між собою за красою й оригінальністю{{sfn|A. Göksel Ağargün and E. Mehmet Özkan|2001|p=207}}.

=== Евклід (III&nbsp;ст. до н.&nbsp;е.) ===
Евклід заклав в «Началах» важливі основи для теорії чисел і, зокрема, основну теорему арифметики. Три речення, дуже близькі за змістом до основної теореми арифметики, можна знайти в книгах VII і IX, а саме: речення 30 з книги VII, найбільш відоме як [[Лема Евкліда|лема Евкліда]], речення 31 з книги VII і речення 14 з книги IX. Нижче вони наведені в перекладі Мордухай-Болтовського.VII.30:
{{Початок цитати}}Якщо два числа, множачи одне на одне, утворюють щось, а те, що виникло з них вимірюється якимось першим числом, то (останнє) виміряє й одне з початкових{{Sfn|Начала Евклида.Книги VII - X|1949|с=33}}
{{Кінець цитати}}

VII.31: {{Початок цитати}}Будь-яке складене число вимірюється якимось першим числом{{Sfn|Начала Евклида.Книги VII - X|1949|с=34}}
{{Кінець цитати}}

IX.14: {{Початок цитати}}Якщо число буде найменшим вимірюваним (даними) першими числами, то воно не виміриться ніяким іншим простим числом, крім того, що спочатку вимірило (його){{Sfn|Начала Евклида.Книги VII - X|1949|с=83}}
{{Кінець цитати}}

В наш час з речень VII.30 і VII.31 виводять доведення основної теореми арифметики, однак Евклід його у своїх працях не виклав. Речення IX.14 в свою чергу має багато схожого з єдиністю розкладу на прості множники, однак було відмічено, що це твердження охоплює не всі можливі випадки, наприклад, наявність хоча б одного квадрата простого числа в розкладі на прості множники{{sfn|Hendy|1975}}{{sfn|Mullin|1965}}.

=== Аль-Фарісі (XIV століття) ===
Відомий перський математик і фізик Камаль аль-Дін аль-Фарісі зробив значний крок вперед у вивченні основної теореми арифметики. В його праці «Меморандум для друзів про доведення [[Дружні числа|дружності]]» ({{lang-en|Memorandum for friends on the proof of amicability}}) доведено існування розкладу на прості множники та надано необхідну інформацію для доведення єдиності даного розкладу. У зв'язку з тим, що найбільший інтерес для аль-Фарісі являла побудова власного доведення теореми [[Сабіт ібн Курра|Сабіта ібн Курри]] з пошуку [[Дружні числа|дружніх чисел]], аль-Фарісі не прагнув довести основну теорему арифметики, а займався пошуком всіх дільників складеного числа{{sfn|A. Göksel Ağargün and E. Mehmet Özkan|2001|p=209}}. Скрупульозно досліджуючи розкладання чисел на множники, він сформулював і довів твердження, яке є нічим іншим, як доведенням існування розкладання натурального числа на прості множники. У перекладі його твердження звучить приблизно так:{{Початок цитати}}Кожне складене число може бути розкладене на скінченне число простих множників, добутком яких воно є.{{Кінець цитати}}

У твердженні 9 аль-Фарісі сформулював принцип для визначення всіх дільників складеного числа, саме він і був необхідний математику для доведення теореми Ібн Курри; в перекладі речення звучить так:{{Початок цитати}}Якщо складене число <math>a</math> розкладено на прості множники як <math>a = b\cdot c\cdot d\cdot h\cdot \ldots \cdot k\cdot l</math>, тоді <math>a</math> не має дільника крім <math>1</math> і <math>b,c,d, ... , k,l</math> і добутків кожного з них з кожним, добутків трійок і&nbsp;т.&nbsp;д. аж до добутку всіх елементів без якого-небудь одного.{{Кінець цитати}}

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

=== Жан Престет (XVII століття) ===
Результати, опубліковані Жаном Престетом[en] у книзі «Нові елементи математики» ({{Lang-fr|Elements de Mathématiques, 1675}}) підтверджують, що розкладання на прості множники розглядалася в ті часи не як щось саме по собі цікаве, а як корисний додаток&nbsp;— засіб для знаходження дільників заданого числа. Престет не сформулював ні існування, ні єдиності основної теореми арифметики і приділяв найбільшу увагу пошуку дільників числа{{sfn|A. Göksel Ağargün and E. Mehmet Özkan|2001|p=211}}. Незважаючи на це, подібно аль-Фарісі, Престет надав всю необхідну інформацію для доведення єдиності розкладу на прості множники за допомогою свого Наслідку IX, який саме по собі можна вважати еквівалентним єдиності розкладу на прості множники. Наслідок IX: {{Початок цитати}}Якщо числа <math>a</math> і <math>b</math> прості, кожен дільник <math>a\cdot a\cdot b</math>&nbsp;— це або <math>a</math>, або <math>a^2</math>, або <math>1</math>, або один з добутків цих трьох чисел на <math>b</math>. Тобто один з шести: <math>1,a, a\cdot a, 1\cdot b, a\cdot b, a\cdot a\cdot b</math>.{{Кінець цитати}}

=== Ейлер і Лежандр (XVIII століття) ===
У книзі «Повний посібник з алгебри» ({{Lang-de|Vollstandige Einleitung zur Algebra}}) Леонард Ейлер опублікував результати, схожі з працями своїх попередників. Він сформулював існування розкладу числа на прості множники і надав часткове доведення цього, опускаючи деякі подробиці, у пункті 41 глави IV із першої частини першого розділу книги. У перекладі його речення звучить так:{{Початок цитати}}Всі складені числа, які можуть бути розкладені на множники, подані добутком простих чисел; тобто всі їхні множники&nbsp;— прості числа. Бо, якщо знайти множник, який не є простим числом, він завжди може бути розкладений і поданий двома або більше простими числами.{{Кінець цитати}}

Ейлер не формулював теорему про єдиність розкладу, але запропонував схоже твердження без доведення у пункті 65 глави IV з першого розділу першої частини. Там Ейлер неявно пояснює, що розклад числа на прості множники єдиний, говорячи, що всі дільники числа можна знайти, знаючи прості множники з розкладу даного числа [17]. Таким чином, цей пункт може вважатися еквівалентним єдиності розкладу на прості множники. У перекладі це твердження звучить так:{{Початок цитати}}Коли ми розклали число на прості множники, стає дуже легко знайти всі його дільники. Бо ми, по-перше, повинні перемножувати прості множники один на одного, а потім множити їх попарно, три на три, чотири на чотири і&nbsp;т.&nbsp;д., доки ми не прийдемо до самого числа.{{Кінець цитати}}

«Вступ до теорії чисел» ({{Lang-fr|Essai sur la Théorie des Nombres}}) Лежандра містить доведення існування розкладу на прості множники і своєрідне припущення про одиничність даного розкладу за допомогою перерахування всіх простих дільників заданого числа. Твердження Лежандра про існування розкладу звучить так:{{Початок цитати}}Будь-яке складене число <math> N </math> може бути подане як добуток деяких простих чисел <math>a, b, ... c</math>, кожне з яких піднесене до певного степеня, таким чином, завжди існує розклад <math>N=a^k \cdot b^l \cdot \ldots\cdot c^m</math>.{{Кінець цитати}}

Твердження, пов'язане з унікальністю розкладу на прості множники, наведене в параграфі 10 «Вступу до теорії чисел», де Лежандр мав намір знайти число всіх дільників числа і разом з тим їх суму. З цього твердження легко довести єдиність.

=== Карл Гаусс (XIX століття) ===
Перше точне формулювання теореми і її доведення наводяться в книзі Гаусса «{{нп|Арифметичні дослідження (Гаусс)|Арифметичні дослідження|ru|Арифметические исследования}}» (1801). Формулювання теореми можна знайти в параграфі 16, у перекладі вона звучить так:
{{Початок цитати}}Складене число може бути розкладене на прості множники єдиним чином.{{Кінець цитати}}

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

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

: ''n'' = ''ab''

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

=== Доведення єдиності розкладу ===
Існує багато доведень єдиності розкладу натуральних чисел, які відрізняються рівнями складності та загальності<ref>{{cite book |автор=Калужнин Л. А. |назва=[http://www.math.ru/lib/book/plm/v47.djvu Основная теорема арифметики] |рік=1969 |видавництво=Наука |знаходження=М |сторінки=32}}</ref>, але і тут можна скористатись доведенням від протилежного<ref>{{cite book |автор=Курант Р. Роббинс Г. |назва=[http://www.mccme.ru/free-books/pdf/kurant.htm Что такое математика?] |рік=2001 |видавництво=МЦНМО |знаходження=М |сторінки=568 |isbn=5-900916-45-6}}</ref>.
Припустимо, що існують два розклади числа ''n'' на прості множники:
: <math>n=p_1 \cdot p_2 \dots \cdot p_r = q_1 \cdot q_2 \dots \cdot q_s.</math>
Оскільки <math>p_1</math> є дільником лівої частини рівності, то він також повинен бути і дільником одного з множників <math>q_k</math> в правій частині. Але <math>q_k</math> є простим числом, а отже повинна бути справедливою тотожність <math>p_1=q_k</math>. Скоротивши рівність на спільний множник <math>p_1=q_k</math>, проведемо аналогічне зіставлення для множника <math>p_2</math>, який теж буде дорівнювати одному з <math>q_k</math>, що залишились після спрощення. В результаті, після скорочення всіх множників <math>p_i</math> в лівій стороні рівності отримуємо 1. З іншого боку, через те що всі <math>q_k</math> також є простими числами, праворуч також отримаємо одиницю. Отже, числа <math>p_i</math> та <math>q_k</math> попарно рівні, що доводить тотожність двох розкладів.

=== Доведення з використанням алгоритму Евкліда ===
Можна довести основну теорему арифметики за допомогою наслідку з [[Алгоритм Евкліда|алгоритму Евкліда]]{{Sfn|Девенпорт|1965|с=26-27}}:
{{Початок цитати}}Найбільшим спільним дільником <math> n\cdot a</math> і <math>n\cdot b </math> є найбільший спільний дільник <math>a</math> і <math>b</math>, помножений на <math>n</math>.{{Кінець цитати}}З даного наслідку можна довести [[Лема Евкліда|лему Евкліда]], також необхідну для доведення теореми:
{{Початок цитати}}Якщо <math>p</math>&nbsp;— просте число і добуток двох чисел ділиться на <math>p</math>, то хоча б один з двох множників ділиться на <math>p</math>.{{Кінець цитати}}

'''Існування:''' Ідея для доведення існування полягає в доведенні леми: {{Початок цитати}}Розглянемо просте число <math>p</math> і добуток <math> n \cdot a </math>. Нехай <math> n\cdot a</math> ділиться на <math>p</math>, але <math>a</math> не ділиться на <math>p</math>, тоді <math>n</math> ділиться на <math>p</math>.{{Кінець цитати}}

Далі з використанням вищевказаної леми ведеться послідовне розкладання числа на прості множники, припускаючи, що всі прості дільники даного числа відомі.

'''Єдиність:''' Нехай число ''n'' має два різних розклади на прості числа:

: <math> n = p_1\cdot p_2\cdot p_3\cdot \ldots = p'_1\cdot p'_2\cdot p'_3\cdot \ldots</math>

Оскільки <math> p'_1\cdot p'_2\cdot p'_3\cdot \ldots </math> ділиться на <math>p_1</math>, то або <math>p'_1</math>, або <math> p'_2\cdot p'_3\cdot \ldots</math> ділиться на <math>p_1</math>. Якщо <math> p'_1</math> ділиться на <math>p_1</math>, то <math> p'_1 = p_1</math>, оскільки обидва ці числа є простими. Якщо ж <math> p'_2\cdot p'_3\cdot \ldots</math> ділиться на <math>p_1</math>, то продовжимо попередні міркування. Врешті-решт дійдемо до результату, що яке-небудь із чисел <math>p'_1, p'_2, p'_3, \ldots</math> дорівнює числу <math>p_1</math>. Отже, врешті прийдемо до висновку, що обидва розклади числа збігаються. Таким чином доведено єдиність розкладу.

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

Знаючи розклад числа на прості множники, можна отримати загальну кількість його дільників. Будь-який [[додатне число|додатний]] дільник числа буде поданий тим самим набором простих чисел, але з меншими показниками степеня у відповідних множників. Так, наприклад, всі дотатні дільники числа 1200 будуть мати таку форму <math>2^a\cdot 3^b \cdot 5^c\!</math> де <math>a\in\{0,1,2,3,4 \}</math>, <math>b\in\{0,1\}</math> та <math>c\in\{0,1,2\}</math>. Загальна кількість таких дільників буде дорівнювати <math>5\cdot2\cdot3=30</math>.

Узагальнення основної теореми арифметики на область цілих чисел дає можливість її подання в алгебричних термінах<ref>{{cite web|url=http://www.pereplet.ru/obrazovanie/stsoros/967.html|author=Жиков В. В.|title=Основная теорема арифметики|accessdate=2008-04-29|archiveurl=https://www.webcitation.org/6HfQzpooQ?url=http://www.pereplet.ru/obrazovanie/stsoros/967.html|archivedate=2013-06-26|deadurl=no}}</ref>, а саме: будь-який елемент, відмінний від нульового та одиничних, можна єдиним способом розкласти на прості множники з точністю до порядку множників та їхнього множення на одиничні елементи. В такому вигляді основну теорему можна застосовувати також для інших алгебричних множин, наприклад для аналізу [[Кільце (алгебра)|кілець]] многочленів з [[раціональні числа|раціональними]] коефіцієнтами або [[гаусове число|гаусових чисел]]. Але, як показав [[Ернст Едуард Куммер|Ернст Куммер]] в [[1843]] році, для загальніших множин єдиність розкладу на прості множники не зберігається.

* Основна теорема арифметики дає елегантні вирази для [[Найбільший спільний дільник|найбільшого спільного дільника]] і [[Найменше спільне кратне|найменшого спільного кратного]].

Позначимо через <math>{p_i}</math> всі різні прості числа з розкладів чисел <math> a</math> і <math>b</math> на прості множники, a степені, з якими вони зустрічаються в цих розкладах, як <math>{d_i}</math> і <math>{d'_i}</math> відповідно. Варто зауважити, що <math>{d_i},{d'_i}</math> можуть набувати тільки натуральних або нульових значень.

Тоді:

: '''Н. С. Д.'''<math>(a,b) = p_1^{\min\{\,d_1,d_1'\,\}}\cdot p_2^{\min\{\,d_2,d_2'\,\}}\cdot p_3^{\min\{\,d_3,d_3'\,\}}\cdot p_4^{\min\{\,d_4,d_4'\,\}}\cdot\ldots = \prod p_i^{\min\{\,d_i,d_i'\,\}},</math>
: '''Н. С. К.'''<math>(a,b) = p_1^{\max\{\,d_1,d_1'\,\}}\cdot p_2^{\max\{\,d_2,d_2'\,\}}\cdot p_3^{\max\{\,d_3,d_3'\,\}}\cdot p_4^{\max\{\,d_4,d_4'\,\}}\cdot\ldots = \prod p_i^{\max\{\,d_i,d_i'\,\}}</math>

* Знаючи розклад натурального числа на множники, можна відразу вказати всі його [[Подільність|дільники]].

Використаємо канонічний розклад числа, наведений на початку статті. Натуральні числа <math>d_1,\cdots,d_k</math>&nbsp;— це не що інше, як кількість відповідних простих чисел <math>p_1,...,p_k</math>, що зустрічаються в розкладі початкового числа. Таким чином, для пошуку всіх дільників достатньо записати добутки зі всіма можливими комбінаціями простих чисел, варіюючи кількість кожного <math>p_i</math> у добутку від <math>0</math> до <math>d_i</math>

Приклад: <math> N = 1164 = 2\cdot 2\cdot 3\cdot 97 = 2^2 \cdot 3^1 \cdot 97^1</math>

Оскільки число 2 зустрічається в розкладі 2 рази, <math>d_1</math> може набувати цілих значень від 0 до 2. Аналогічно <math>d_2</math> і <math>d_3</math> набувають значень від 0 до 1. Таким чином, множина всіх дільників складається з чисел <math> 1,  2,  3,  97,  2\cdot2,  2\cdot3,  2\cdot97,  3\cdot97,  2\cdot2\cdot3,  2\cdot2\cdot97,  2\cdot3\cdot97, 2\cdot2\cdot3\cdot97</math>.

Для підрахунку загальної кількості дільників потрібно перемножити кількість всіх можливих значень у різних <math>d_k</math>.

У нашому випадку загальна кількість дільників дорівнює <math>2\cdot2\cdot3 = 12 </math>

* Підрахунок багатьох [[Арифметична функція|арифметичних функцій]] ведеться на основі канонічного розкладу на прості множники.

Наприклад, для [[Функція Ейлера|функції Ейлера]] від натурального числа справедлива формула:
<math>\varphi(n)=n\prod_{p\mid n}\left(1-\frac{1}{p}\right),\;\;n>1,</math>
де <math>p</math>&nbsp;— просте число і пробігає всі значення, які беруть участь в розкладанні <math>n</math> на прості співмножники.

* Обчислення добутку двох чисел можна провести таким чином:

: <math>a\cdot b = p_1^{d_1+d_1'}\,p_2^{d_2+d_2'}\,p_3^{d_3+d_3'}\,p_4^{d_4+d_4'}\ldots = \prod p_i^{d_i+d_i'}.</math>

Приклад: <math>68\cdot 36 = (2\cdot2\cdot17)\cdot(2\cdot2\cdot3\cdot3\cdot) = 2^4\cdot 3^2\cdot17</math>

== Основна теорема арифметики в кільцях ==
Розглянемо основну теорему арифметики в більш загальному випадку: в [[Кільце (алгебра)|кільцях]] з [[Абсолютне значення (алгебра)|нормою]] і в [[Евклідове кільце|евклідових кільцях]].

=== Основна теорема арифметики в кільці цілих гаусових чисел ===
Основна теорема арифметики має місце в кільці [[Гаусові числа|цілих гаусових чисел]].
Ідея доведення полягає в знаходженні алгоритму ділення з остачею в цьому кільці чисел{{sfn|Жиков|2000|c=116}}.
Кільце, в якому є алгоритм ділення з остачею, називається [[Евклідове кільце|евклідовим]]. Для будь-якого евклідового кільця доведення основної теореми арифметики можна провести так само, як для натуральних чисел.

=== Неєдиність розкладу в кільці ===
Проте дія цієї теореми не поширюється на всі кільця{{sfn|Жиков|2000|c=116}}.

Розглянемо, наприклад, комплексні числа виду <math> a = m + i n \sqrt{5} </math>, де <math> m</math>,<math>n</math>&nbsp;— цілі числа. Сума і добуток таких чисел будуть числами того ж виду.
Тоді отримаємо кільце з нормою <math> N(a) = m^2 + 5 n^2 = |a|^2 </math>.

Для числа 6 в цьому кільці існують два різних розклади: <math> 6 = 2\cdot3 = (1 - i \sqrt{5}) (1 + i \sqrt{5}) </math>. Залишається довести, що числа <math>2, 3, 1\pm i \sqrt{5} </math> є простими. Доведемо, що число 2&nbsp;— просте.
Нехай <math> 2 = (m_1 + i n_1 \sqrt{5}) (m_2 + i n_2 \sqrt{5}) </math>.
Тоді <math> 4 = (m_1^2 + 5 n_1^2) (m_2^2 + 5n_2 ^2) </math>.
Отже, <math> m_1^2 + 5 n_1^2 = m_2^2 + 5 n_2^2 = 2 </math>.

Але в нашому кільці немає чисел з нормою 2, отже, такий розклад неможливий, тому число 2&nbsp;— просте. Аналогічно розглядаються числа <math> 3, 1\pm i \sqrt{5} </math>.

Кільця, в яких основна теорема арифметики все ж виконується, називаються [[Факторіальне кільце|факторіальними]].

== Примітки ==
{{примітки|2}}

== Див. також ==
* [[Основна теорема алгебри]]
* [[Формула Ньютона — Лейбніца|Основна теорема аналізу]]

== Література ==
* {{книга-ру |автор=Виноградов И. М. |ссылка=http://www.mccme.ru/free-books/djvu/vinogradov.djvu |заглавие=Основы теории чисел|год=1952|издательство=Государственное издательство технико-теоретической литературы|страниц=180|тираж=10000}}
{{source|Q27102374|ref=Дэвенпорт|ref-year=1965|pages=15-38}} <!-- Высшая арифметика -->
* {{стаття | автор=Жиков В.В. |назва=Основная теорема арифметики |видання=Соросовский Образовательный Журнал |рік=2000 |том=6 |номер=3 |сторінки=112–117 |посилання=http://www.pereplet.ru/nauka/Soros/pdf/0003_112.pdf|ref=Жиков}}
* {{книга-ру |автор=Калужнин Л. А. |ссылка=http://plm.mccme.ru/ann/a47.htm |заглавие=Основная теорема арифметики |издание=Популярные лекции по математике |место=М. |издательство=Наука |год=1969 |страниц=32|ref=Калужнин}}
* {{книга-ру |автор=Курант Р., Роббинс Г. |ссылка=http://www.mccme.ru/free-books/pdf/kurant.htm |заглавие=Что такое математика? |nodot=1 |часть=Дополнение к главе I, § 4.2|издательство=МЦНМО|год=2000|страниц=568}}
{{source|Q27102399|ref=Weisstein|ref-year=2010}} <!-- CRC Concise Encyclopedia of Mathematics -->
* {{стаття |автор= A. Göksel Ağargün and E. Mehmet Özkan |посилання=http://www.academia.edu/11718947/A_Historical_Survey_of_the_Fundamental_Theorem_of_Arithmetic |назва=A Historical Survey of the Fundamental Theorem of Arithmetic|частина=Дополнение к главе I, § 4.2|видання=Historia Mathematica|том=28|сторінки=207–214|рік=2001|doi=10.1006/hmat.2001.2318|ref=A. Göksel Ağargün and E. Mehmet Özkan}}
* {{книга-ру |автор=Д.Д. Мордухай-Болтовской, И.Н. Веселовский |заглавие=Начала Евклида. Книги VII-X|год=1949|издательство=Государственное издательство технико-теоретической литературы|страниц=510|ref=Начала Евклида.Книги VII - X}}
* {{стаття |автор=M.D. Hendy |посилання=http://www.sciencedirect.com/science/article/pii/0315086075901469?via%3Dihub |назва=Euclid and the fundamental theorem of arithmetic|рік=1975|видавництво=Historia Mathematica 05/1975|сторінок=2|ref=Hendy}}
* {{стаття |автор=A.A. Mullin |назва=Mathematico-philosophical remarks on new theorems anaiogous to the fundamental theorem of arithmetic|рік=1965|видавництво=Notre Dame Journal of Formal Logic|сторінок=4|ref=Mullin}}
[[Категорія:Теорія чисел]]
[[Категорія:Арифметика]]
[[Категорія:Теореми про прості числа]]