نمایش مبدأ برای عدد اول

[[پرونده:Sieve of Eratosthenes animation.gif|بندانگشتی|300px|'''[[غربال اراتوستن|غربال گری اراتوستن]]''' [[الگوریتم|الگوریتمی]] ساده و قدیمی برای یافتن همهٔ اعداد اول تا عدد صحیح برگزیده است. این الگوریتم پیش از [[غربال آتکین]]، که سریع‌تر و پیچیده‌تر بود، مورد استفاده قرار می‌گرفت. غربال اراتوستن را [[اراتوستن]]، [[ریاضیدان]] [[یونان باستان]] در [[قرن سوم پیش از میلاد]] ابداع کرد.]]
'''عدد اول''' {{به انگلیسی|Prime Number}}، [[عدد طبیعی|عددی طبیعی]] بزرگ‌تر از ۱ است که نتوان آن را به‌صورت ضرب دو عدد طبیعی کوچک‌تر نوشت (یعنی جز بر خودشان و یک بر عدد دیگری بخش پذیر نیستند). به عبارت ساده‌تر، اعداد اول، مجموعه‌ای از اعداد طبیعی بزرگ‌تر از ۱ هستند که فقط بر یک و خود عدد بخش‌پذیر هستند. عدد طبیعی بزرگ‌تر از ۱ که اول نباشد را عدد مرکب می‌گویند. به عنوان مثال، ۷ یک عدد اول است، چون فقط بر یک و ۷ بخش‌پذیر است و تنها روشی که می‌توان آن را به‌صورت ضرب دو عدد طبیعی نوشت به‌صورت <math>1\times7</math> یا <math>7\times1</math> است که شامل خود ۷ می‌شود (دو عددی که در ضرب می‌آیند باید از خود ۷ کوچک‌تر باشند). اما به عنوان مثال، ۶ یک عدد مرکب است، چرا که می‌توان آن را به‌صورت <math>2\times3</math> نوشت که هردوی آن‌ها از ۶ کوچک‌ترند. اعداد اول در نظریهٔ اعداد به دلیل [[قضیهٔ اساسی حساب]] نقش محوری دارند، این قضیه می‌گوید: هر عدد طبیعی بزرگ‌تر از ۱، یا اول است یا اگر اول نباشد، می‌توان آن را به ضرب اعداد اول تجزیه کرد، که این تجزیه در حد ترتیب یگانه است.

خاصیت اعداد اول را اول بودن می‌گویند. یک روش کُند برای چک کردن اول بودن یک عدد مثل <math>\mathrm{n}</math>، [[آزمون تقسیم]] است. این آزمون بخش پذیر بودن <>math>\mathrm{n}</math بر هر [[عدد صحیح]] بین ۲ و <math>\sqrt{n}</math> را چک می‌کند. [[الگوریتم]]‌های سریع‌تری نیز وجود دارند، مثل آزمون اول بودن میلر-رابین که سریع است، اما احتمال رخ دادن درصدی خطا نیز در آن وجود دارد. آزمون دیگر، آزمون اول بودن AKS است، که همیشه جواب صحیح به‌دست می‌دهد، اما مرتبه زمانی آن [[چندجمله‌ای]] است و برای کاربردهای عملی بسیار کُند می‌باشد. روش‌های بسیار سریعی برای آزمون اول بودن اعداد خاصی مثل [[اعداد مرسن]] نیز وجود دارد. تا دسامبر ۲۰۱۸ بزرگ‌ترین عدد اول شناخته شده در سیستم ده-دهی ۲۴٬۸۶۲٬۰۴۸ رقم دارد.<ref name="GIMPS-2018">{{cite web|title=GIMPS Project Discovers Largest Known Prime Number: 2<sup>82,589,933</sup>-1|url=https://www.mersenne.org/primes/press/M82589933.html|date=21 December 2018|work=Mersenne Research, Inc.|accessdate=21 December 2018}}</ref>

[[اقلیدس]] حدود ۲۵۶ سال قبل از میلاد اثبات کرد که بی‌نهایت عدد اول وجود دارد. با این حال، توزیع اعداد اول در میان اعداد طبیعی را می‌توان از نظر آماری مدل‌سازی کرد. اولین نتیجه‌ای که در این جهت حاصل شد [[قضیه اعداد اول]] بود که در انتهای قرن نوزدهم به‌دست آمد. این قضیه می‌گوید که احتمال اول بودن یک عدد طبیعی تصادفی با تعداد ارقام آن (یعنی لگاریتم آن عدد) رابطه عکس دارد.

چندین سؤال تاریخی در ارتباط با اعداد اول هنوزmath>\mathrm{n}</math> لاینحل مانده‌اند. این سؤالات شامل حدس گلدباخ می‌شود، این حدس می‌گوید که هر عدد صحیح زوج بزرگ‌تر از ۲ را می‌توان به‌صورت جمع دو عدد اول بیان کرد. یکی دیگر از این سؤالات حدس [[اعداد اول دوقلو]] است، که می‌گوید تعداد اعداد اولی که تفاضل‌شان فقط ۲ باشد بی‌نهایت است. چنین سؤالاتی موجب پیشرفت شاخه‌های مختلف [[نظریهٔ اعداد]] گشتند که در این مسیر بر روی جنبه‌های تحلیلی و جبری اعداد تمرکز شده‌است. اعداد اول در چندین مسیر [[فناوری اطلاعات]] استفاده شده‌اند. مثل رمزنگاری کلید عمومی که به سخت بودن تجزیهٔ اعداد بزرگ به عوامل اول‌شان تکیه می‌کند. در جبر مجرد، اشیائی وجود دارند که به صورت تعمیم‌یافته، شبیه اعداد اول عمل می‌کنند. مثل عناصر اول و ایده‌آل‌های اول
[[پرونده:اعداد اول.jpg|بندانگشتی|216x216پیکسل|در این تصویر اعداد اول بین 1 تا 640000 از بالا به پایین با رنگ سفید و اعداد غیر اول با رنگ سیاه نمایش داده شده اند]]

== تعریف و مثال‌ها ==
{{اصلی|فهرست اعداد اول}}
[[عدد طبیعی|عددی طبیعی]] (۱، ۲، ۳، ...) را «''عدد اول''» (یا ''اول'') نامند اگر بزرگ‌تر از ۱ بوده و نتوان آن را به‌صورت ضرب دو عدد طبیعی کوچک‌تر نوشت. اعداد بزرگ‌تر از ۱ که اول نباشند را [[اعداد مرکب|مرکب]] می‌نامند.<ref>{{cite book|title=The Mathematical Olympiad Handbook: An Introduction to Problem Solving Based on the First 32 British Mathematical Olympiads 1965–1996|first=Anthony|last=Gardiner|author-link=Tony Gardiner|publisher=Oxford University Press|year=1997|isbn=978-0-19-850105-3|page=[https://archive.org/details/mathematicalolym1997gard/page/26 26]|url=https://archive.org/details/mathematicalolym1997gard|url-access=registration}}</ref> به بیان دیگر، <math>n</math> اول است اگر نتوان آن را به بیش از یک گروه با اندازهٔ مساوی تقسیم‌بندی نمود،<ref>{{cite book|title=Dyslexia, Dyscalculia and Mathematics: A practical guide|first=Anne|last=Henderson|edition=2nd|publisher=Routledge|year=2014|isbn=978-1-136-63662-2|page=62|url=https://books.google.com/books?id=uy-yGVRUilMC&pg=PA62}}</ref> یا امکان آرایش <math>n</math> نقطه به شبکه‌ای از نقاط مستطیل‌گونه که طول و عرضی بزرگ‌تر از یک داشته باشند، امکان‌پذیر نباشد.<ref>{{cite book|title=The Giant Golden Book of Mathematics: Exploring the World of Numbers and Space|url=https://archive.org/details/giantgoldenbooko00adle|url-access=registration|first=Irving|last=Adler|author-link=Irving Adler|publisher=Golden Press|year=1960|page=[https://archive.org/details/giantgoldenbooko00adle/page/16 16]|oclc=6975809}}</ref> به عنوان مثال، در میان اعداد ۱ تا ۶، اعداد ۲، ۳ و ۵، اعداد اول می‌باشند،<ref>{{cite book | url = https://archive.org/details/barronsmathworkb00leff_0 | url-access = registration | page = [https://archive.org/details/barronsmathworkb00leff_0/page/360 360] | title = Math Workbook for the SAT I | first = Lawrence S. | last = Leff | publisher = Barron's Educational Series | year = 2000 | isbn = 978-0-7641-0768-9}}</ref> چرا که هیچ عددی آن‌ها را به گونه‌ای تقسیم نمی‌کنند که باقیمانده صفر شود. ۱ اول نیست، چرا که به‌طور ویژه از تعریف مستثنی شده. ۴=۲×۲ و ۶=۲×۳، هردو اعدادی مرکب‌اند.

[[File:Prime number Cuisenaire rods 7.png|thumb|بوسیله میله‌های کویزنیر نشان داده شده که ۷ اول است، چرا که بر هیچ‌کدام از ۲، ۳، ۴، ۵، یا ۶ بخش‌پذیر نیست.]]
[[مقسوم‌علیه]]‌های یک عدد طبیعی چون <math>n</math>، اعداد طبیعی هستند که <math>n</math> را به بخش‌های مساوی تقسیم می‌کنند. برای هر عدد طبیعی، ۱ و خود عدد همیشه جزو مقسوم‌علیه‌ها می‌باشند. اگر مقسوم‌علیه دیگری وجود داشته باشد، آن عدد اول نخواهد بود. این ایده منجر به تعریف متفاوت ولی معادلی برای اعداد اول می‌گردد: آن‌ها اعدادی هستند که دقیقاً دو مقسوم‌علیه دارند، ۱ و خود عدد.<ref>{{cite book | last1=Dudley | first1=Underwood | author-link=Underwood Dudley | title=Elementary number theory | publisher=W.H. Freeman and Co. | edition=2nd | isbn=978-0-7167-0076-0 | year=1978 | contribution=Section 2: Unique factorization | page=[https://archive.org/details/elementarynumber00dudl_0/page/10 10] | contribution-url=https://books.google.com/books?id=tr7SzBTsk1UC&pg=PA10 | url=https://archive.org/details/elementarynumber00dudl_0/page/10}}</ref> هنوز روش دیگری جهت بیان همین مفهوم وجود دارد، این که عدد <math>n</math> اول است اگر بزرگ‌تر از یک بوده و بر هیچ‌یک از اعداد <math>2, 3, \cdots, n-1</math> بخش‌پذیر نباشد.<ref>{{cite book | last = Sierpiński | first = Wacław | author-link = Wacław Sierpiński | title = Elementary Theory of Numbers | edition = 2nd | volume = 31 | series = North-Holland Mathematical Library | publisher = Elsevier | year = 1988 | isbn = 978-0-08-096019-7 | page = 113 | url = https://books.google.com/books?id=ktCZ2MvgN3MC&pg=PA113}}</ref>

اولین ۲۵ عدد اول (تمام اعداد اول کوچکتر از ۱۰۰) بدین قرار اند:<!--Do not add 1 to this list. Its exclusion from the list is addressed in the "History of prime numbers" section below. --><ref name=ziegler>{{cite journal | last = Ziegler | first = Günter M. | author-link = Günter M. Ziegler | issue = 4 | journal = [[Notices of the American Mathematical Society]] | mr = 2039814 | pages = 414–416 | title = The great prime number record races | volume = 51 | year = 2004}}</ref>
:[[۲ (عدد)|۲]]، [[۳ (عدد)|۳]]، [[۵ (عدد)|۵]]، [[۷ (عدد)|۷]]، [[۱۱ (عدد)|۱۱]]، [[۱۳ (عدد)|۱۳]]، [[۱۷ (عدد)|۱۷]]، [[۱۹ (عدد)|۱۹]]، [[۲۳ (عدد)|۲۳]]، [[۲۹ (عدد)|۲۹]]، [[۳۱ (عدد)|۳۱]]، [[۳۷ (عدد)|۳۷]]، [[۴۱ (عدد)|۴۱]]، [[۴۳ (عدد)|۴۳]]، [[۴۷ (عدد)|۴۷]]، [[۵۳ (عدد)|۵۳]]، [[۵۹ (عدد)|۵۹]]، [[۶۱ (عدد)|۶۱]]، [[۶۷ (عدد)|۶۷]]، [[۷۱ (عدد)|۷۱]]، [[۷۳ (عدد)|۷۳]]، [[۷۹ (عدد)|۷۹]]، [[۸۳ (عدد)|۸۳]]، [[۸۹ (عدد)|۸۹]]، [[۹۷ (عدد)|۹۷]] {{OEIS|id=A000040}}.

هیچ [[اعداد زوج و فرد|عدد زوج]] بزرگ‌تر از ۲ چون <math>n</math> اول نیست، چرا که دست کم می‌توان آن را به صورت <math>2\times \tfrac{n}{2}</math> بیان نمود. ازین رو، هر عدد اول به غیر از ۲، یک عدد فرد است که به آن ''عدد اول فرد'' می‌گویند.<ref>{{cite book|title=Numbers and Geometry|series=Undergraduate Texts in Mathematics|first=John|last=Stillwell|author-link=John Stillwell|publisher=Springer|year=1997|isbn=978-0-387-98289-2|page=9|url=https://books.google.com/books?id=4elkHwVS0eUC&pg=PA9}}</ref> به‌طور مشابه، هنگامی که تمام اعداد اول بزرگ‌تر از ۵ را در قالب دستگاه اعداد [[مبنای ده]] بنویسیم، رقم آخر آن‌ها (رقم یکان) به یکی از ارقام ۱، ۳، ۷ یا ۹ ختم می‌گردد. اعداد بزرگتر از ۵ی که به سایر ارقام ختم شوند، مرکب‌اند، چرا که اعداد ده-دهی که به ۰، ۲، ۴، ۶، یا ۸ ختم شوند زوج بوده و اعداد ده-دهی که به ۰ یا ۵ ختم شوند بر ۵ بخش‌پذیرند.<ref>{{cite book | last = Sierpiński | first = Wacław | author-link = Wacław Sierpiński | location = New York | mr = 0170843 | page = [https://archive.org/details/selectionproblem00sier/page/n37 40] | publisher = Macmillan | title = A Selection of Problems in the Theory of Numbers | url = https://archive.org/details/selectionproblem00sier | url-access = limited | year = 1964}}</ref>

برخی مواقع، [[مجموعه (ریاضیات)|مجموعه]] تمام اعداد اول را با <math>\mathbf{P}</math> (حرف بزرگ درشت‌شده ''P'')<ref>{{cite book|title=Elementary Methods in Number Theory|volume=195|series=Graduate Texts in Mathematics|contribution=Notations and Conventions|contribution-url=https://books.google.com/books?id=sE7lBwAAQBAJ&pg=PP10|first=Melvyn B.|last=Nathanson|author-link=Melvyn B. Nathanson|publisher=Springer|year=2000|isbn=978-0-387-22738-2|mr=1732941}}</ref> و برخی از مواقع دیگر با <math>\mathbb{P}</math> (حرف ''P'' بزرگ و درشت تخته‌سیاهی) نمایش می‌دهند.<ref>{{cite book|title=The Mathematics of Infinity: A Guide to Great Ideas|volume=111|series=Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts|first=Theodore G.|last=Faticoni|edition=2nd|publisher=John Wiley & Sons|year=2012|isbn=978-1-118-24382-4|page=44|url=https://books.google.com/books?id=I433i_ZGxRsC&pg=PA44}}</ref>

== تاریخچه ==
[[File:Rhind Mathematical Papyrus.jpg|thumb|[[پاپیروس ریاضی ریند]]]]
[[پاپیروس ریاضی ریند]]، مربوط به حدود ۱۵۵۰ پیش از میلاد است که در آن کسرهای گسترش‌یافته مختلفی از اعداد اول و مرکب موجود است.<ref>Bruins, Evert Marie, review in ''Mathematical Reviews'' of {{cite journal | last = Gillings | first = R.J. | doi = 10.1007/BF01307175 | journal = Archive for History of Exact Sciences | mr = 0497458 | pages = 291–298 | title = The recto of the Rhind Mathematical Papyrus. How did the ancient Egyptian scribe prepare it? | volume = 12 | issue = 4 | year = 1974| s2cid = 121046003}}</ref> با اینحال، قدیمی‌ترین مطالعات صریح برجای مانده که بر روی اعداد اول صورت پذیرفته، مربوط به ریاضیات یونان باستان می‌باشد. ''[[اصول اقلیدس]]'' (حدود ۳۰۰ پیش از میلاد)، [[قضیه اقلیدس|بی‌نهایت بودن اعداد اول]] و [[قضیه اساسی حساب]] را اثبات کرده و نشان می‌دهد که چگونه می‌توان از یک [[عدد اول مرسن]]، [[عدد تام|عدد تامی]] ساخت.<ref name="stillwell-2010-p40">{{cite book|title=Mathematics and Its History|series=Undergraduate Texts in Mathematics|first=John|last=Stillwell|author-link=John Stillwell|edition=3rd|publisher=Springer|year=2010|isbn=978-1-4419-6052-8|page=40|url=https://books.google.com/books?id=V7mxZqjs5yUC&pg=PA40}}</ref> [[غربال اراتوستن]]، یکی دیگر از اختراعات یونانیان است که هنوز هم جهت ساخت فهرست اعداد اول مورد استفاده قرار می‌گیرد.<ref name="pomerance-sciam">{{cite journal|title=The Search for Prime Numbers|url=https://archive.org/details/sim_scientific-american_1982-12_247_6/page/136|first=Carl|last=Pomerance|author-link=Carl Pomerance|journal=[[Scientific American]]|volume=247|issue=6|date=December 1982|pages=136–147|jstor=24966751|doi=10.1038/scientificamerican1282-136|bibcode=1982SciAm.247f.136P}}</ref><ref name="mollin">{{cite journal | last = Mollin | first = Richard A. | doi = 10.2307/3219180 | issue = 1 | journal = Mathematics Magazine | mr = 2107288 | pages = 18–29 | title = A brief history of factoring and primality testing B. C. (before computers) | url = https://archive.org/details/sim_mathematics-magazine_2002-02_75_1/page/18 | volume = 75 | year = 2002| jstor = 3219180}}</ref>

در حدود ۱۰۰۰ میلادی، [[ریاضیات قدیمه در جهان اسلام|ریاضی‌دان جهان اسلام]]، [[ابن هیثم]] (Alhazen)، [[قضیه ویلسون]] را یافت، که اعداد اول را به عنوان اعدادی چون <math>n</math> مشخص می‌کند که <math>(n-1)!+1</math> را می‌شمارند (یعنی <math>n</math> اول است [[اگر و تنها اگر|<math>\iff</math>]] {{رچ}}<math>(n-1)!+1</math>). همچنین او حدس زد که تمام اعداد تام زوج، از ترسیم اقلیدسی با استفاده از اعداد اول می‌آیند، اما قادر به اثبات آن نبود.<ref>{{MacTutor Biography|id=Al-Haytham|title=Abu Ali al-Hasan ibn al-Haytham|mode=cs1}}</ref> یکی دیگر از ریاضیدانان جهان اسلام، به نام [[ابن بنای مراکشی]]، مشاهده نمود که غربال اراتوستن را می‌توان تنها با آزمودن مقسوم‌علیه‌های کوچکتر مساوی ریشه دوم ([[ریشه مربعی]]) بزرگترین عددی که باید آزموده شود، تسریع نمود. [[فیبوناچی]]، نوآوری‌های جهان اسلام را به اروپا بازگرداند. کتاب او با نام ''Liber Abaci'' {{رچ}}(۱۲۰۲ میلادی)، اولین کتابی بود که [[آزمون تقسیم]] را با استفاده از [[مقسوم‌علیه|مقسوم‌علیه‌های]] کوچکتر مساوی رادیکال عدد مورد نظر، جهت آزمودن اول بودن یا نبودن یک عدد صحیح معرفی نمود.<ref name="mollin"/>

در ۱۶۴۰ میلادی، [[پیر دو فرما]]، [[قضیه کوچک فرما]] را بیان نمود (بدون اثبات)، (بعدها [[لایبنیتس]] و [[اویلر]] اثباتش نمودند).<ref>{{harvnb|Sandifer|2007}}, [https://books.google.com/books?id=sohHs7ExOsYC&pg=PA45 8. Fermat's Little Theorem (November 2003), p. 45]</ref> همچنین فرما در مورد اول بودن [[اعداد فرما]] <math>2^{2^n}+1</math>،<ref>{{cite book|title=How Euler Did Even More|first=C. Edward|last=Sandifer|publisher=Mathematical Association of America|year=2014|isbn=978-0-88385-584-3|page=42|url=https://books.google.com/books?id=3c6iBQAAQBAJ&pg=PA42}}</ref> و [[مارین مرسن]] در مورد اعداد اول مرسن، یعنی اعداد اولی به فرم <math>2^p-1</math> که در آن <math>p</math> اول است، تحقیق نمودند.<ref>{{cite book|title=Elementary Number Theory with Applications|first=Thomas|last=Koshy|publisher=Academic Press|year=2002|isbn=978-0-12-421171-1|page=369|url=https://books.google.com/books?id=-9pg-4Pa19IC&pg=PA369}}</ref> [[کریستین گلدباخ]]، [[حدس گلدباخ]] را فرموله کرد، این حدس بیان می‌دارد که هر عدد زوج به صورت جمع دو عدد اول است، او صورت این حدس را در ۱۷۴۲ میلادی در قالب نامه‌ای به اویلر مطرح نمود.<ref>{{cite book|title=Goldbach Conjecture|edition=2nd|volume=4|series=Series In Pure Mathematics|first=Wang|last=Yuan|publisher=World Scientific|year=2002|isbn=978-981-4487-52-8|page=21|url=https://books.google.com/books?id=g4jVCgAAQBAJ&pg=PA21}}</ref> اویلر حدس ابن هیثم (Alhazen) (که اکنون به قضیه اقلیدس-اویلر معروف است) را اثبات نمود، این حدس بیان می‌نمود که تمام اعداد تام زوج را می‌توان از اعداد اول مرسن ساخت.<ref name="stillwell-2010-p40" /> او در اثبات‌هایش در ارتباط با بی‌نهایت بودن اعداد اول و همچنین واگرایی جمع معکوس اعداد اول <math>\tfrac{1}{2}+\tfrac{1}{3}+\tfrac{1}{5}+\tfrac{1}{7}+\tfrac{1}{11}+\cdots</math>، روش‌هایی را از [[آنالیز ریاضی]] به این حوزه از ریاضیات معرفی نمود.<ref>{{cite book|title=The Development of Prime Number Theory: From Euclid to Hardy and Littlewood|series=Springer Monographs in Mathematics|first=Wladyslaw|last=Narkiewicz|publisher=Springer|year=2000|isbn=978-3-540-66289-1|page=11|contribution=1.2 Sum of Reciprocals of Primes|contribution-url=https://books.google.com/books?id=VVr3EuiHU0YC&pg=PA11}}</ref> در ابتدای قرن نوزدهم میلادی، [[آدرین-ماری لژاندر|لژاندر]] و [[گاوس]] حدس زدند که با میل پیدا کردن <math>x</math> به سمت بی‌نهایت، تعداد اعداد اول کوچکتر مساوی <math>x</math>، مجانب با <math>\tfrac{x}{\operatorname{log}x}</math> است که در آن <math>\operatorname{log}x</math>، [[لگاریتم طبیعی]] <math>x</math> است. پیامد ضعیف تری از این چگالی بالای اعداد اول، [[اصل برتراند]] بود که می‌گفت: برای هر <math>n>1</math>، عدد اولی بین <math>n</math> و <math>2n</math> وجود دارد، این اصل در ۱۸۵۲ میلادی توسط [[پافنوتی چبیشف]] اثبات شد.<ref>{{cite journal|first=P. |last=Tchebychev |author-link=Pafnuty Chebyshev |title=Mémoire sur les nombres premiers. |journal=Journal de mathématiques pures et appliquées |series=Série 1 |year=1852 |pages=366–390 |url=http://sites.mathdoc.fr/JMPA/PDF/JMPA_1852_1_17_A19_0.pdf |language=fr}}. (Proof of the postulate: 371-382). Also see Mémoires de l'Académie Impériale des Sciences de St. Pétersbourg, vol. 7, pp.15-33, 1854</ref> ایده‌های [[برنهارت ریمان]] در مقاله‌اش به سال ۱۸۵۹ میلادی، که در ارتباط با [[تابع زتای ریمان|تابع زتا]] بود، خطوط کلی اثبات حدس لژاندر و گاوس را ترسیم نمود. گرچه که فرضیه ریمان، با وجود ارتباط نزدیک با حدس اخیر، هنوز هم اثبات نشده، ولی خطوط کلی اثبات ریمان در ارتباط با حدس لژاندر و گاوس در ۱۸۹۶ توسط [[ژاک آدامار|آدامار]] و دو لا والی پوسین تکمیل شده و نتیجه آن را اکنون به نام [[قضیه اعداد اول]] می‌شناسند.<ref>{{cite book | last = Apostol | first = Tom M. | author-link = Tom M. Apostol | editor1-last = Bambah | editor1-first = R.P. | editor2-last = Dumir | editor2-first = V.C. | editor3-last = Hans-Gill | editor3-first = R.J. | contribution = A centennial history of the prime number theorem | location = Basel | mr = 1764793 | pages = 1–14 | publisher = Birkhäuser | series = Trends in Mathematics | title = Number Theory | contribution-url = https://books.google.com/books?id=aiDyBwAAQBAJ&pg=PA1 | year = 2000}}</ref> یکی دیگر از نتایج مهم قرن نوزدهم میلادی، [[قضیه دیریکله روی تصاعدهای حسابی]] بود، این که برخی از تصاعدهای حسابی، بی‌نهایت عدد اول را دربر می‌گیرند.<ref>{{cite book | last = Apostol | first = Tom M. | author-link = Tom M. Apostol | contribution = 7. Dirichlet's Theorem on Primes in Arithmetical Progressions | contribution-url = https://books.google.com/books?id=3yoBCAAAQBAJ&pg=PA146 | location = New York; Heidelberg | mr = 0434929 | pages = 146–156 | publisher = Springer-Verlag | title = Introduction to Analytic Number Theory | year = 1976}}</ref>

بسیاری از ریاضی‌دانان، برای اعداد بزرگی که اعمال تقسیم معمولی رویشان عملی نباشند (از نظر قدرت محاسبه)، آزمون‌های اول بودن را مورد بررسی قرار داده‌اند. روش‌هایی که به فرم‌های عددی خاصی محدود شده باشند، مثل این موارد: آزمون پپین برای اعداد فرما (۱۸۷۷)،<ref>{{cite book|title=A History of Algorithms: From the Pebble to the Microchip|first=Jean-Luc|last=Chabert|publisher=Springer|year=2012|isbn=978-3-642-18192-4|page=261|url=https://books.google.com/books?id=XcDqCAAAQBAJ&pg=PA261}}</ref> قضیه پروث (حدود ۱۸۷۸ میلادی)،<ref>{{cite book|title=Elementary Number Theory and Its Applications|first=Kenneth H.|last=Rosen|edition=4th|publisher=Addison-Wesley|year=2000|isbn=978-0-201-87073-2|contribution=Theorem 9.20. Proth's Primality Test|page=342}}</ref> آزمون اول بودن لهمر (نشأت گرفته در ۱۸۵۶ میلادی)، و آزمون اول بودن لوکاس.<ref name="mollin"/>

از ۱۹۵۱میلادی، تمام [[بزرگ‌ترین عدد اول شناخته‌شده|بزرگترین اعداد اول شناخته شده]] را با استفاده از این آزمون‌ها، و با کمک کامپیوترها یافته‌اند.{{efn|A 44-digit prime number found in 1951 by Aimé Ferrier with a mechanical calculator remains the largest prime not to have been found with the aid of electronic computers.<ref>{{cite book|title=The Once and Future Turing|first1=S. Barry|last1=Cooper|first2=Andrew|last2=Hodges|publisher=Cambridge University Press|year=2016|isbn=978-1-107-01083-3|pages=37–38|url=https://books.google.com/books?id=h12cCwAAQBAJ&pg=PA37}}</ref>}} جستجو برای اعداد اول بزرگتر، در خارج از دایره ریاضی‌دانان نیز ایجاد علاقه نموده‌است، پروژه‌هایی چون «جستجوی بزرگ اینترنتی اعداد اول مرسن» و سایر پروژه‌هایی که با کمک [[محاسبات توزیع‌شده]] صورت می‌پذیرند.<ref name=ziegler/><ref>{{harvnb|Rosen|2000}}, p. 245.</ref> این ایده که اعداد اول کاربردهایی نیز خارج از [[ریاضیات محض]] دارد{{efn|name="pure"|For instance, Beiler writes that number theorist [[Ernst Kummer]] loved his [[ideal number]]s, closely related to the primes, "because they had not soiled themselves with any practical applications",<ref>{{cite book|title=Recreations in the Theory of Numbers: The Queen of Mathematics Entertains|first=Albert H.|last=Beiler|year=1999|publisher=Dover|orig-year=1966|isbn=978-0-486-21096-4|page=2|url=https://books.google.com/books?id=NbbbL9gMJ88C&pg=PA2|oclc=444171535}}</ref> and Katz writes that [[Edmund Landau]], known for his work on the distribution of primes, "loathed practical applications of mathematics", and for this reason avoided subjects such as [[geometry]] that had already shown themselves to be useful.<ref>{{cite journal | last = Katz | first = Shaul | doi = 10.1017/S0269889704000092 | issue = 1–2 | journal = Science in Context | mr = 2089305 | pages = 199–234 | title = Berlin roots&nbsp;– Zionist incarnation: the ethos of pure mathematics and the beginnings of the Einstein Institute of Mathematics at the Hebrew University of Jerusalem | volume = 17 | year = 2004}}</ref>}} در دهه ۱۹۷۰ میلادی، هنگامی که دستگاه‌های [[رمزنگاری کلید عمومی]] و [[RSA]] ابداع شدند، درهم شکست، چرا که این الگوریتم‌ها، اعداد اول را مبنای خود قرار می‌دادند.<ref name="ent-7">{{cite book|title=Elementary Number Theory|series=Textbooks in mathematics|first1=James S.|last1=Kraft|first2=Lawrence C.|last2=Washington|publisher=CRC Press|year=2014|isbn=978-1-4987-0269-0|page=7|url=https://books.google.com/books?id=4NAqBgAAQBAJ&pg=PA7}}</ref>

اهمیت عملی فزاینده آزمون اول بودن با کمک [[کامپیوتر]]، و همچنین فاکتورگیری، منجر به توسعه روش‌های ارتقاء یافته‌ای شد که قادر بودند به کمک آن‌ها، با اعداد بزرگی با فرم غیر مقید و بدون محدودیت نیز کار کنند.<ref name="pomerance-sciam"/><ref>{{cite book|title=Secret History: The Story of Cryptology|series=Discrete Mathematics and Its Applications|first=Craig P.|last=Bauer|publisher=CRC Press|year=2013|isbn=978-1-4665-6186-1|page=468|url=https://books.google.com/books?id=EBkEGAOlCDsC&pg=PA468}}</ref><ref>{{cite book|title=Old and New Unsolved Problems in Plane Geometry and Number Theory|volume=11|series=Dolciani mathematical expositions|first1=Victor|last1=Klee|author1-link=Victor Klee|first2=Stan|last2=Wagon|author2-link=Stan Wagon|publisher=Cambridge University Press|year=1991|isbn=978-0-88385-315-3|page=224|url=https://books.google.com/books?id=tRdoIhHh3moC&pg=PA224}}</ref> همچنین، با کشف قضیه گرین-تائو (۲۰۰۴ میلادی)، مبنی بر این که تصاعدهای حسابی به میزان دلخواه بلندی از اعداد اول وجود دارند، به علاوه اثبات [[یتان ژانگ]] در ۲۰۱۳ میلادی مبنی بر این که بی‌نهایت [[شکاف اعداد اول]] با اندازه کراندار موجودند،<ref name="neale-18-47">{{harvnb|Neale|2017}}, pp. 18, 47.</ref> قدم‌های مثبتی در پیش‌برد نظریه ریاضیاتی اعداد اول بوند.

=== اول بودن یک ===
یونانیان اولیه، ۱ را حتی جزو اعداد هم به‌شمار نمی‌آوردند،<ref name="crxk-34">{{cite journal | last1 = Caldwell | first1 = Chris K. | last2 = Reddick | first2 = Angela | last3 = Xiong | first3 = Yeng | last4 = Keller | first4 = Wilfrid | issue = 9 | journal = [[Journal of Integer Sequences]] | mr = 3005523 | page = Article 12.9.8 | title = The history of the primality of one: a selection of sources | url = https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.html | volume = 15 | year = 2012}} For a selection of quotes from and about the ancient Greek positions on this issue, see in particular pp. 3–4. For the Islamic mathematicians, see p. 6.</ref><ref>{{cite book|title=Speusippus of Athens: A Critical Study With a Collection of the Related Texts and Commentary|volume=39|series=Philosophia Antiqua: A Series of Monographs on Ancient Philosophy|first=Leonardo|last=Tarán|publisher=Brill|year=1981|isbn=978-90-04-06505-5|pages=35–38|url=https://books.google.com/books?id=cUPXqSb7V1wC&pg=PA35}}</ref> پس طبیعتاً آن را اول هم در نظر نمی‌گرفتند. همچنین برخی از ریاضی‌دانان مربوط به این دوره، اعداد اول را به عنوان جزئی از اعداد فرد در نظر می‌گرفتند، بنابراین آن‌ها نیز ۲ را به عنوان عدد اول در نظر نمی‌گرفتند. با این حال، اقلیدس و بخش عمده‌ای از سایر ریاضی‌دانان یونانی، ۲ را به عنوان اول در نظر می‌گرفتند. [[ریاضیات قدیمه در جهان اسلام|ریاضی‌دانان جهان اسلام در قرون وسطی]]، عمدتاً از یونانیان طبعیت کرده و ۱ را عدد در نظر نمی‌گرفتند.<ref name="crxk-34"/> در قرون وسطی و رنسانس، ریاضی‌دانان کم‌کم ۱ را به عنوان عدد در نظر گرفتند، و برخی از آن‌ها ۱ را به عنوان اولین عدد اول به حساب آوردند.<ref>{{harvnb|Caldwell|Reddick|Xiong|Keller|2012}}, pp. 7–13. See in particular the entries for Stevin, Brancker, Wallis, and Prestet.</ref> در اواسط قرن هجدهم میلادی، [[کریستین گلدباخ]]، ۱ را در مراودات خود با [[لئونارد اویلر]]، به عنوان عدد اول در نظر می‌گرفت؛ با این‌حال، خود اویلر ۱ را اول در نظر نمی‌گرفت.<ref>{{harvnb|Caldwell|Reddick|Xiong|Keller|2012}}, p. 15.</ref> در قرن نوزدهم میلادی، بسیاری از ریاضی‌دانان هنوز هم ۱ را اول می‌دانستند،<ref name="cx"/> و فهرست‌های اعداد اولی که شامل ۱ بودند، هنوز هم تا ۱۹۵۶ میلادی منتشر می‌شدند.<ref>{{cite book | last=Riesel | first=Hans | author-link= Hans Riesel | title=Prime Numbers and Computer Methods for Factorization | publisher=Birkhäuser | location=Basel, Switzerland | isbn=978-0-8176-3743-9 | year=1994|page=36|edition=2nd|mr=1292250|url=https://books.google.com/books?id=ITvaBwAAQBAJ&pg=PA36 | doi=10.1007/978-1-4612-0251-6}}</ref><ref name="cg-bon-129-130">{{cite book | last1=Conway | first1=John Horton | author1-link=John Horton Conway | last2=Guy | first2=Richard K. | author2-link=Richard K. Guy | title=The Book of Numbers | url=https://archive.org/details/bookofnumbers0000conw | url-access=registration | publisher=Copernicus | location=New York | isbn=978-0-387-97993-9 | year=1996 | pages = [https://archive.org/details/bookofnumbers0000conw/page/129 129–130] | mr=1411676 | doi=10.1007/978-1-4612-4072-3}}</ref>

اگر در تعریف عدد اول تغییر ایجاد شده به گونه‌ای که ۱ نیز عدد اول محسوب شود، بسیاری از گزاره‌ها در مورد اعداد اول نیاز به بازنویسی خام و ناشیانه‌ای خواهند داشت. به عنوان مثال، [[قضیه اساسی حساب|قضیه بنیادین حساب]] را باید به گونه‌ای بازنویسی کرد تا فاکتورگیری برحسب اعداد اول بزرگتر از یک صورت گیرند، چرا که با ظهور تعداد متفاوت و تکراری از عدد ۱ در تجزیه اعداد، فاکتورگیری‌های مختلفی برای هر عدد تولید می‌شوند.<ref name="cx">{{cite journal | last1 = Caldwell | first1 = Chris K. | last2 = Xiong | first2 = Yeng | issue = 9 | journal = [[Journal of Integer Sequences]] | mr = 3005530 | page = Article 12.9.7 | title = What is the smallest prime? | url = https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell1/cald5.pdf | volume = 15 | year = 2012}}</ref> به‌طور مشابه، اگر ۱ به عنوان عدد اول در نظر گرفته شود، [[غربال اراتوستن]] به خوبی کار نمی‌کند، چرا که تمام مضارب ۱ (یعنی تمام اعداد دیگر) حذف شده و خروجی تنها شامل ۱ خواهد بود.<ref name="cg-bon-129-130"/> برخی از خواص فنی‌تر اعداد اول نیز برای عدد ۱ برقرار نیستند: به عنوان مثال، فرمول‌های [[تابع فی اویلر]]، یا تابع جمع مقسوم‌علیه‌ها، برای ۱ ضوابط متفاوتی نسبت به ضابطه‌شان برای اعداد اول دارند.<ref>For the totient, see {{harvnb|Sierpiński|1988}}, [https://books.google.com/books?id=ktCZ2MvgN3MC&pg=PA245 p. 245]. For the sum of divisors, see {{cite book|title=How Euler Did It|series=MAA Spectrum|first=C. Edward|last=Sandifer|publisher=Mathematical Association of America|year=2007|isbn=978-0-88385-563-8|page=59|url=https://books.google.com/books?id=sohHs7ExOsYC&pg=PA59}}</ref> تا اوایل قرن بیستم میلادی، ریاضی‌دانان شروع به توافق بر سر این موضوع کردند که ۱ نباید به عنوان عدد اول فهرست شود، بلکه برایش رده مخصوصی به نام «یکه» (unit، عضو معکوس‌دار در [[ساختار جبری|ساختارهای جبری]] چون حلقه) را تعریف نمودند.<ref name="cx"/>

== قضیه‌ها ==
* '''قضیهٔ ۱''': تعداد اعداد اول [[بی‌نهایت (ریاضی)|بی‌نهایت]] است.
به این اثبات دقت کنید که از [[برهان خلف]] استفاده می‌کنیم:

''فرض خلف :'' اعداد اول متناهی است.

اعداد اول را در هم ضرب می‌کنیم.

<math>P_1,P_2,P_3, ... ,P_n</math>

ضرب اعداد از <math>P_i</math> بزرگ‌تراست.

<math>P_1 \times P_2 \times P_3 \times ... \times P_n> P_i</math>

<math>P_1 \times P_2 \times P_3 \times ... \times P_n + 1> P_i</math>

<math>P_1 \times P_2 \times P_3 \times ... \times P_n + 1 = P_{i_1} ... P_{i_k}</math>

<math>P_1 \times P_2 \times P_3 \times ... \times P_n + 1 = P_i \times X</math>

<math>P_{i_1} \times ... \times P_{i_k} = P_i \times X</math>

<math>P_1 \times P_2 \times P_3 \times ... \times P_n +1 = Y+1</math>

<math>P_{i_1} \times Y + 1 = P_{i_1} \times X</math>

<math>P_{i_1} \times X - P_{i_1} \times Y = 1</math>

<math>P_{i_1}\times(X-Y) = 1</math>

<math>P_{i_1} = 1</math>

که عدد یک جزء اعداد اول نیست پس به تناقض می‌رسیم و فرض خلف باطل است. اعداد اول نامتناهی هستند.
* '''قضیهٔ ۲''' ([[قضیه اساسی حساب]]): هر عدد طبیعی مرکب بزرگ‌تر از ۱ را می‌توان به شکل حاصل‌ضرب اعدادی اول نوشت.
* '''قضیهٔ ۳''' ([[قضیه چبیشف]]):اگر n عددی طبیعی و بزرگ‌تر از ۳ باشد، حتماً بین n و 2n-2 عدد اولی وجود دارد.
* '''قضیهٔ ۴''' ([[قضیه اردیش|قضیه اردوش]] (تعمیم قضیه چبیشف)): برای هر عدد طبیعی k، وجود دارد یک عدد طبیعی مثل N، که برای هر n>N، بین n و 2n,
k عدد اول وجود دارد.
* '''قضیهٔ ۵''': تنها زمانی مجموع دو عدد اول عددی فرد می‌شود که یکی از آنها عدد ۲ باشد. زیرا عدد ۲ تنها عدد اول زوج است و تنها حالتی که مجموع دو عدد فرد میشود این است که یکی از عوامل جمع زوج و دیگری فرد باشد.
* '''قضیهٔ ۶''': عددی اول است که به اعداد اول کوچکتر یا مساوی با جذر خودش بخش پذیر نباشد.<ref>{{Cite journal|last=Mollin|first=Richard A|date=2002-02-01|title=A Brief History of Factoring and Primality Testing B. C. (Before Computers)|url=http://www.jstor.org/stable/10.2307/3219180?origin=crossref|journal=Mathematics Magazine|language=English|volume=75|issue=1|pages=18|doi=10.2307/3219180|via=}}</ref>(از روش [[غربال اراتوستن]] نتیجه میشود)
* '''قضیهٔ ۷''': رقم [[یکان]] اعداد اول بزرگ‌تر از ۱۰ فقط ممکن است ارقام ۱، ۳، ۷، و ۹ باشد (اثبات آن به این صورت است که فرض میکنیم یکان ارقام دیگر باشند،یعنی ۲،۴،۵،۶،۸ در این صورت عدد یا بر پنج برای یکان پنج یا بر دو برای یکان های زوج بخش پذیر است که تناقض است)

== تابع شمارش اعداد اول ==


ریاضیات تابع شمارش اعداد اول تابعی است که برای بیان تعداد اعداد اول به کار می‌رود و آن را با نماد  <math> \pi(x) </math> نمایش می‌دهند.

ریاضیدان فرانسوی [[پیر دوسارارت]] ثابت کرد که برای x ≥ ۵۹۹ رابطه زیر برقرار است:

<math> \frac{x}{\ln x}\left(1- 365+795\frac{1}{\ln x}\right) < \pi(x) < \frac{x}{\ln x}\left(1+\frac{1}{\ln x}+\frac{2.51}{(\ln x)^2}\right). </math>

همچنین ثابت کرد که برای هر x ≥ ۳۵۵۹۹۱:

<math> \frac {x}{\ln x + 2} < \pi(x) < \frac {x}{\ln x - 4}</math>

بعدها ثابت شد که برای هر ε>۰ عددی طبیعی مانند s وجود دارد که برای هر x>s رابطه زیر برقرار است:

<math>\frac {x}{\ln x - (1-\varepsilon)} < \pi(x) < \frac {x}{\ln x - (1+\varepsilon)}.</math>

== قضیه اعداد اول ==
اگر<math> \pi(x) </math> تعداد اعداد اول کمتر از <math> x </math> باشد

آنگاه
<math> \lim_{x \to \infty} \frac{\pi(x)}{x/ln(x)} = 1 </math>
:{| class="wikitable" style="text-align: right"
! ''<math>x</math>''
! ''<math> \pi(x) </math>''
! ''<math> \frac{\pi(x)}{x/ln(x)} </math>''

|-
| ۱۰
| ۴
| ۰٫۹۲۱

|-
| 10<sup>2</sup>
| ۲۵
| ۱٫۱۵۱
|-
| 10<sup>3</sup>
| ۱۶۸
| ۱٫۱۶۱
|-
| 10<sup>4</sup>
| ۱٬۲۲۹
| ۱٫۱۳۲
|-
| 10<sup>5</sup>
| ۹٬۵۹۲
| ۱٫۱۰۴
|-
| 10<sup>6</sup>
| ۷۸٬۴۹۸
| ۱٫۰۸۴
|-
| 10<sup>7</sup>
| ۶۶۴٬۵۷۹
| ۱٫۰۷۱
|-
| 10<sup>8</sup>
| ۵٬۷۶۱٬۴۵۵
| ۱٫۰۶۱
|-
| 10<sup>9</sup>
| ۵۰٬۸۴۷٬۵۳۴
| ۱٫۰۵۴
|-
| 10<sup>10</sup>
| ۴۵۵٬۰۵۲٬۵۱۱
| ۱٫۰۴۸

|-
| [[OEIS]]
| {{OEIS link|id=A006880}}
| {{OEIS link|id=A057835}}

|}

با استفاده از قضیه اعداد اول می‌توان اثبات کرد که:

<math> \lim_{x \to \infty} \frac{p(x)}{x \ln(x)} = 1 </math>

که در آن تابع <math>p(x)</math>، تابع مولد اعداد اول باشد. یعنی x امین عدد اول <math>p(x)=</math>

اثبات مطلب بالا به شرح زیر است:

می‌دانیم
<math> \lim_{x \to \infty} \frac{\pi(x)}{x/ln(x)} = 1 </math>

<math>\pi(x)\sim\frac{x}{\ln x}. \!</math>

می‌دانیم توابع <math>p(x)</math> و <math>\pi(x)</math> معکوس هم هستند. یعنی:

<math> p^{-1}\left(\, x \, \right) = \pi(x)</math>

در نتیجه می‌توان با حل معادله <math>\pi(x)=x</math> تابع <math>p(x)</math> را یافت.

می‌دانیم <math>\pi(x)\sim\frac{x}{\ln x}. \!</math>

پس با حل معادله <math>\frac{x}{\ln x}=x</math> می‌توان هم‌ارزی برای <math>p(x)</math> یافت.

به روش تکرار ساده معادله را حل می‌کنیم.

<math>\frac{x_1}{\ln x}=x_2</math>

<math>{x_1}=x_2 \ln(x)</math>

<math>p(x)=x \ln(x)</math>

اما باید توجه داشت چون به جای <math>\pi(x)</math> از تابع هم ارز آن استفاده شده پس:

<math>p(x)\sim\ x \ln(x)</math>

در نتیجه:

<math> \lim_{x \to \infty} \frac{p(x)}{x \ln(x)} = 1 </math>

== قضیه ویلسون ==
قضیه ویلسون راهی برای تشخیص اعداد اول است.
این قضیه بیان می‌کند به ازای هر عدد اول مانند <math>\; p</math> داریم <math>\;(p-1)! \equiv -1 \pmod{p}</math>

این قضیه دوشرطی است بنابراین راهی برای تشخیص اعداد اول از مرکب است یعنی:

برای هر عدد صحیح x اگر رابطه زیر برقرار باشد آنگاه x عددی اول است در غیر این صورت x عددی مرکب است.

<math>\; </math> <math>\;(x-1)! \equiv -1 \pmod{x}</math>

این قضیه تعمیم‌هایی به شکل زیر دارد:

تعمیم گاوس: [[کارل فریدریش گاوس]] ریاضیدان آلمانی در سال ۱۸۰۰ میلادی ثابت کرده که برای هر عدد طبیعی m>۲ عدد اول p

<math>
\prod_{k = 1 \atop \gcd(k,m)=1}^{m} \!\!k \ \equiv
\begin{cases}
-1 \pmod{m} & \text{if } m=4,\;p^\alpha,\;2p^\alpha \\
\;\;\,1 \pmod{m} & \text{otherwise}
\end{cases}
</math>

در اینجا <math>\alpha</math> عددی صحیح و مثبت است.

== بزرگترین عدد اول کشف شده ==
بزرگ‌ترین عدد اول کشف شده تا (۲۰۱۶) برابر دو به توان ۷۴ میلیون و ۲۰۷ هزار و ۲۸۱ منهای یک است.<ref name=GIMPSM49>{{cite web|url=http://www.mersenne.org/primes/?press=M74207281|title=Mersenne Prime Number discovery - 2<sup>74207281</sup>-1|publisher=Great Internet Mersenne Prime Search}}</ref> این عدد ۲۲٬۳۳۸٬۶۱۸ رقم دارد و یک [[عدد مرسن]] است. عدد مرسن عددی است که برابر ۲ به توان n منهای یک است.
در سال ۲۰۱۸، طولانی‌ترین عدد اول که دارای ۲۳ میلیون رقم است؛ کشف شد. این عدد اول نیز یک عدد مرسن است که در جریان محاسبات در رایانه یک [[مهندسی برق|مهندس برق]] به نام جاناتان پیس در آمریکا در جریان پروژه‌ای برای کشف اعداد اول به نام «تحقیق اینترنتی بزرگ عدد مرسن» (GIMPS) کشف شد. این عدد را به اختصار و به‌طور قراردادی، M77232917 نامیده‌اند. پژوهش‌ها برای یافتن عددهای اول بزرگ دشوار و نیازمند نرم‌افزارهای خاص و [[همکاری علمی]] پژوهشگران هستند.<ref>{{یادکرد خبر|کوشش=خبرگزاری جمهوری اسلامی|عنوان=کشف طولانی‌ترین عدد اول با 23 میلیون رقم|نشانی=http://www.irna.ir/fa/News/82787102|زبان=fa-IR|تاریخ بازبینی=2018-01-06}}</ref>

== الگوهای توزیع اعداد اول ==
یکی از مسائل مورد توجه ریاضی‌دانان، چگونگی توزیع و ترتیب قرارگرفتن اعداد اول درون رشته اعداد طبیعی است. این چگونگی دارای الگوهایی است که یکی از آنها به «الگوی پیشرفت عددی» معروف است.{{سخ}}
مثلاً اگر به عدد ۵ که عددی اول است، ۶ واحد اضافه کنیم به ۱۱ و اگر به ۱۱، ۶ واحد اضافه کنیم به ۱۷ و اگر دوباره اضافه کنیم، به ۲۳ و ۲۹ می‌رسیم که همگی اعدادی اولند. اما با اضافه کردن ۶ واحد دیگر به ۳۵ می‌رسیم که عددی اول نیست و الگو متوقف می‌گردد.

مسئله مورد توجه اینست که در هر الگوی پیشرفت چند عدد اول پیش از رسیدن به اولین عدد غیر اول، بدست می‌آیند؟ طولانی‌ترین رشته‌ای که تاکنون بدست آمده، ۲۲ عدد اول را شامل است. اولین عدد اول این رشته ۱۱۴۱۰۳۳۷۸۵۰۵۵۳ بوده که اگر عدد ۴۶۰۹۰۹۸۶۹۴۲۰۰ به آن اضافه شود عدد اول بعدی به‌وجود می‌آید و می‌توان ۲۲ بار عدد مذکور را به اعداد اول مرحله قبل افزود و عدد اولی جدید بدست آورد. دو ریاضی‌دان اثبات کرده‌اند برای هر رشته از اعداد اول می‌توان به یک رشته عددی رسید.<ref>''ماهنامه علمی-فنی دانشمند''، شماره ۵۳۷، ص ۱۷</ref>

== جستارهای وابسته ==
* [[اعداد اول بزرگ]]
* [[بزرگ‌ترین عدد اول شناخته‌شده]]
*[[اعداد اول دوقلو]]
{{طبقه‌بندی اعداد}}

== یادداشت‌ها ==
{{یادداشت‌ها}}

== منابع ==
{{پانویس|چپ‌چین=بله|۲}}

{{نظریه اعداد}}
{{کلاس‌های مقسوم‌علیه}}
{{رده‌های اعداد اول}}
{{رده‌های اعداد طبیعی}}
{{نوار درگاه|ریاضیات|دانش}}
{{داده‌های کتابخانه‌ای}}

[[رده:اعداد اول]]
[[رده:دنباله اعداد صحیح]]
[[رده:مقاله‌های دربردارنده برهان]]