**Евклидова теорема** - темелен исказ во теоријата на броеви што тврди дека има бесконечен број прости броеви. Постојат неколку познати докази за оваа теорема.

Евклидов доказ
--------------

Евклид го изнел доказот во своето дело *Елементи* (книга IX, став 20). Истиот е парафразиран подолу.

Нека е дадено кое било конечно множество природни броеви. Ќе се покаже дека има барем уште еден прост број што го нема во списокот. Производот на сите прости броеви во множеството нека биде:. Нека биде. Тогаш или е или не е прост број:

* Ако е прост, тогаш има барем еден број () кој е прост и не е во првичното множество.
* Ако не е прост, тогаш некој прост број се дели. Кога овој број би бил во множеството, тогаш би се поделил (затоа што е производ на сите броеви во множеството); но дели. Ако се дели и, тогаш би морал да ја дели разликата  од овие два броја, што е ( или едноставно 1. Бидејќи ниту еден прост број не го дели 1, тој не може да биде во множество. Ова значи дека мора да постои барем уште еден прост број покрај оние што се веќе во множеството.

Ова докажува дека за секое конечно множество прости броеви има прост што не е во тоа множество, и затоа мора да има бесконечно многу прости броеви.

Често погрешно се наведува дека Евклид го докажал своето тврдење со доведување до контрадикција, тргнувајќи од претпоставката дека почетното множество ги содржи сите прости броеви, или дека ги содржи токму најмалите прости броеви, наместо произволно конечно множество прости броеви. Наместо да се сведува на противречност, доказот на Евклид покажува дека секое конечно множество го има наведеното својство. Од ова не следи противречност, но ниту еден од елементите на множеството не може да има својство да биде делител на број 1.

Постојат неколку варијации на доказот на Евклид, вклучувајќи го следново:

Факториелот на позитивен цел број е делив со секој цел број од 2 до, бидејќи тој е производ на сите овие броеви. Затоа, *n*! + 1 *n*! + 1 не е делив со ниту еден од целите броеви од 2 до, вклучително (се добива остаток од 1 кога се дели со кој било од нив). Затоа, *n*! + 1 *n*! + 1 е или прост број, или е делив со прост број поголем од. Во двата случаи, за секој позитивен цел број, има барем еден прост поголем од. Заклучокот е дека има бесконечно многу прости броеви.

Ојлеров доказ
-------------

Вториот доказ, што го осмислил швајцарскиот математичар Леонард Ојлер, се потпира на основната теорема на аритметиката: дека секој цел број може на единствен начин да биде претставен како производ на прости броеви. Ако множеството се состои од сите прости броеви, Ојлер тврди дека:

{\displaystyle \prod \_{p\in P}{\frac {1}{1-1/p}}=\prod \_{p\in P}\sum \_{k\geq 0}{\frac {1}{p^{k}}}=\sum \_{n}{\frac {1}{n}}.}
Првата еднаквост произлегува од формулата за геометриски ред во секој член на производот. Втората еднаквост е посебен случај на формулата за Ојлеров производза Риманова зета-функција. За да се покаже ова, неопходно е да се распредели производот по збир:

{\displaystyle {\begin{aligned}\prod \_{p\in P}\sum \_{k\geq 0}{\frac {1}{p^{k}}}&=\sum \_{k\geq 0}{\frac {1}{2^{k}}}\times \sum \_{k\geq 0}{\frac {1}{3^{k}}}\times \sum \_{k\geq 0}{\frac {1}{5^{k}}}\times \sum \_{k\geq 0}{\frac {1}{7^{k}}}\times \cdots \\[8pt]&=\sum \_{k,\ell ,m,n,\cdots \geq 0}{\frac {1}{2^{k}3^{\ell }5^{m}7^{n}\cdots }}=\sum \_{n}{\frac {1}{n}}\end{aligned}}}
во резултатот, секој производ од цели броеви се појавува точно еднаш, така што според основната теорема на аритметиката, збирот е еднаков на збирот на сите цели броеви.

Збирот од десната страна е хармониски ред, кој дивергира. Затоа, производот лево мора исто така да дивергира. Бидејќи секој член во производот е конечен, бројот на членови мора да биде бесконечен; затоа, мора да има бесконечно многу прости броеви.

Поврзано
--------

* Теорема за прости броеви

Наводи
------

Надворешни врски
----------------

1. ↑   (превод и коментар),, ,, 1782, стр 63.
2. ↑  Прецизна формулација Еуклидове тврдње гласи: „Прости бројеви су бројнији од било ког предложеног мноштва простих бројева". У доказу из претпоставке да постоји барем три проста броја, Еуклид дедукује постојање четвртог.
3. ↑  У општем случају, за свака три цела броја, ако {\displaystyle a\mid b} и {\displaystyle a\mid c}, онда {\displaystyle a\mid (b-c)}.
4. ↑  , том 31, број 4, јесен 2009, стране 44–52.
5. ↑  Bostock, Linda; Chandler, Suzanne; Rourke, C. (1. 11. 2014.). *Further Pure Mathematics* (англиски). Nelson Thornes. стр. 168. ISBN 9780859501033. Проверете ги датумските вредности во: `|date=` (help)