عدد اول

[بندانگشتی|300px|'''[غربال اراتوستن|غربال گری اراتوستن** [[الگوریتم|الگوریتمی]] ساده و قدیمی برای یافتن همهٔ اعداد اول تا عدد صحیح برگزیده است. این الگوریتم پیش از [[غربال آتکین]]، که سریع‌تر و پیچیده‌تر بود، مورد استفاده قرار می‌گرفت. غربال اراتوستن را [[اراتوستن]]، [[ریاضیدان]] [[یونان باستان]] در [[قرن سوم پیش از میلاد]] ابداع کرد.]]
**عدد اول** ، [[عدد طبیعی|عددی طبیعی]] بزرگ‌تر از ۱ است که نتوان آن را به‌صورت ضرب دو عدد طبیعی کوچک‌تر نوشت (یعنی جز بر خودشان و یک بر عدد دیگری بخش پذیر نیستند). به عبارت ساده‌تر، اعداد اول، مجموعه‌ای از اعداد طبیعی بزرگ‌تر از ۱ هستند که فقط بر یک و خود عدد بخش‌پذیر هستند. عدد طبیعی بزرگ‌تر از ۱ که اول نباشد را عدد مرکب می‌گویند. به عنوان مثال، ۷ یک عدد اول است، چون فقط بر یک و ۷ بخش‌پذیر است و تنها روشی که می‌توان آن را به‌صورت ضرب دو عدد طبیعی نوشت به‌صورت <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 است، که همیشه جواب صحیح به‌دست می‌دهد، اما مرتبه زمانی آن [[چندجمله‌ای]] است و برای کاربردهای عملی بسیار کُند می‌باشد. روش‌های بسیار سریعی برای آزمون اول بودن اعداد خاصی مثل [[اعداد مرسن]] نیز وجود دارد. تا دسامبر ۲۰۱۸ بزرگ‌ترین عدد اول شناخته شده در سیستم ده-دهی ۲۴٬۸۶۲٬۰۴۸ رقم دارد.

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

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

== تعریف و مثال‌ها ==

[[عدد طبیعی|عددی طبیعی]] (۱، ۲، ۳، ...) را «''عدد اول''» (یا ''اول'') نامند اگر بزرگ‌تر از ۱ بوده و نتوان آن را به‌صورت ضرب دو عدد طبیعی کوچک‌تر نوشت. اعداد بزرگ‌تر از ۱ که اول نباشند را [[اعداد مرکب|مرکب]] می‌نامند. به بیان دیگر، <math>n</math> اول است اگر نتوان آن را به بیش از یک گروه با اندازهٔ مساوی تقسیم‌بندی نمود، یا امکان آرایش <math>n</math> نقطه به شبکه‌ای از نقاط مستطیل‌گونه که طول و عرضی بزرگ‌تر از یک داشته باشند، امکان‌پذیر نباشد. به عنوان مثال، در میان اعداد ۱ تا ۶، اعداد ۲، ۳ و ۵، اعداد اول می‌باشند، چرا که هیچ عددی آن‌ها را به گونه‌ای تقسیم نمی‌کنند که باقیمانده صفر شود. ۱ اول نیست، چرا که به‌طور ویژه از تعریف مستثنی شده. ۴=۲×۲ و ۶=۲×۳، هردو اعدادی مرکب‌اند.


[[مقسوم‌علیه]]‌های یک عدد طبیعی چون <math>n</math>، اعداد طبیعی هستند که <math>n</math> را به بخش‌های مساوی تقسیم می‌کنند. برای هر عدد طبیعی، ۱ و خود عدد همیشه جزو مقسوم‌علیه‌ها می‌باشند. اگر مقسوم‌علیه دیگری وجود داشته باشد، آن عدد اول نخواهد بود. این ایده منجر به تعریف متفاوت ولی معادلی برای اعداد اول می‌گردد: آن‌ها اعدادی هستند که دقیقاً دو مقسوم‌علیه دارند، ۱ و خود عدد. هنوز روش دیگری جهت بیان همین مفهوم وجود دارد، این که عدد <math>n</math> اول است اگر بزرگ‌تر از یک بوده و بر هیچ‌یک از اعداد <math>2, 3, \cdots, n-1</math> بخش‌پذیر نباشد.

اولین ۲۵ عدد اول (تمام اعداد اول کوچکتر از ۱۰۰) بدین قرار اند:
:[[۲ (عدد)|۲]]، [[۳ (عدد)|۳]]، [[۵ (عدد)|۵]]، [[۷ (عدد)|۷]]، [[۱۱ (عدد)|۱۱]]، [[۱۳ (عدد)|۱۳]]، [[۱۷ (عدد)|۱۷]]، [[۱۹ (عدد)|۱۹]]، [[۲۳ (عدد)|۲۳]]، [[۲۹ (عدد)|۲۹]]، [[۳۱ (عدد)|۳۱]]، [[۳۷ (عدد)|۳۷]]، [[۴۱ (عدد)|۴۱]]، [[۴۳ (عدد)|۴۳]]، [[۴۷ (عدد)|۴۷]]، [[۵۳ (عدد)|۵۳]]، [[۵۹ (عدد)|۵۹]]، [[۶۱ (عدد)|۶۱]]، [[۶۷ (عدد)|۶۷]]، [[۷۱ (عدد)|۷۱]]، [[۷۳ (عدد)|۷۳]]، [[۷۹ (عدد)|۷۹]]، [[۸۳ (عدد)|۸۳]]، [[۸۹ (عدد)|۸۹]]، [[۹۷ (عدد)|۹۷]] .

هیچ [[اعداد زوج و فرد|عدد زوج]] بزرگ‌تر از ۲ چون <math>n</math> اول نیست، چرا که دست کم می‌توان آن را به صورت <math>2\times \tfrac{n}{2}</math> بیان نمود. ازین رو، هر عدد اول به غیر از ۲، یک عدد فرد است که به آن ''عدد اول فرد'' می‌گویند. به‌طور مشابه، هنگامی که تمام اعداد اول بزرگ‌تر از ۵ را در قالب دستگاه اعداد [[مبنای ده]] بنویسیم، رقم آخر آن‌ها (رقم یکان) به یکی از ارقام ۱، ۳، ۷ یا ۹ ختم می‌گردد. اعداد بزرگتر از ۵ی که به سایر ارقام ختم شوند، مرکب‌اند، چرا که اعداد ده-دهی که به ۰، ۲، ۴، ۶، یا ۸ ختم شوند زوج بوده و اعداد ده-دهی که به ۰ یا ۵ ختم شوند بر ۵ بخش‌پذیرند.

برخی مواقع، [[مجموعه (ریاضیات)|مجموعه]] تمام اعداد اول را با <math>\mathbf{P}</math> (حرف بزرگ درشت‌شده ''P'') و برخی از مواقع دیگر با <math>\mathbb{P}</math> (حرف ''P'' بزرگ و درشت تخته‌سیاهی) نمایش می‌دهند.

== تاریخچه ==

[[پاپیروس ریاضی ریند]]، مربوط به حدود ۱۵۵۰ پیش از میلاد است که در آن کسرهای گسترش‌یافته مختلفی از اعداد اول و مرکب موجود است. با اینحال، قدیمی‌ترین مطالعات صریح برجای مانده که بر روی اعداد اول صورت پذیرفته، مربوط به ریاضیات یونان باستان می‌باشد. ''[[اصول اقلیدس]]'' (حدود ۳۰۰ پیش از میلاد)، [[قضیه اقلیدس|بی‌نهایت بودن اعداد اول]] و [[قضیه اساسی حساب]] را اثبات کرده و نشان می‌دهد که چگونه می‌توان از یک [[عدد اول مرسن]]، [[عدد تام|عدد تامی]] ساخت. [[غربال اراتوستن]]، یکی دیگر از اختراعات یونانیان است که هنوز هم جهت ساخت فهرست اعداد اول مورد استفاده قرار می‌گیرد.

در حدود ۱۰۰۰ میلادی، [[ریاضیات قدیمه در جهان اسلام|ریاضی‌دان جهان اسلام]]، [[ابن هیثم]] (Alhazen)، [[قضیه ویلسون]] را یافت، که اعداد اول را به عنوان اعدادی چون <math>n</math> مشخص می‌کند که <math>(n-1)!+1</math> را می‌شمارند (یعنی <math>n</math> اول است [[اگر و تنها اگر|<math>\iff</math>]] <math>(n-1)!+1</math>). همچنین او حدس زد که تمام اعداد تام زوج، از ترسیم اقلیدسی با استفاده از اعداد اول می‌آیند، اما قادر به اثبات آن نبود. یکی دیگر از ریاضیدانان جهان اسلام، به نام [[ابن بنای مراکشی]]، مشاهده نمود که غربال اراتوستن را می‌توان تنها با آزمودن مقسوم‌علیه‌های کوچکتر مساوی ریشه دوم ([[ریشه مربعی]]) بزرگ‌ترین عددی که باید آزموده شود، تسریع نمود. [[فیبوناچی]]، نوآوری‌های جهان اسلام را به اروپا بازگرداند. کتاب او با نام ''Liber Abaci'' (۱۲۰۲ میلادی)، اولین کتابی بود که [[آزمون تقسیم]] را با استفاده از [[مقسوم‌علیه]]‌های کوچکتر مساوی رادیکال عدد مورد نظر، جهت آزمودن اول بودن یا نبودن یک عدد صحیح معرفی نمود.

در ۱۶۴۰ میلادی، [[پیر دو فرما]]، [[قضیه کوچک فرما]] را بیان نمود (بدون اثبات)، (بعدها [[لایبنیتس]] و [[اویلر]] اثباتش نمودند). همچنین فرما در مورد اول بودن [[اعداد فرما]] <math>2^{2^n}+1</math>، و [[مارین مرسن]] در مورد اعداد اول مرسن، یعنی اعداد اولی به فرم <math>2^p-1</math> که در آن <math>p</math> اول است، تحقیق نمودند. [[کریستین گلدباخ]]، [[حدس گلدباخ]] را فرموله کرد، این حدس بیان می‌دارد که هر عدد زوج به صورت جمع دو عدد اول است، او صورت این حدس را در ۱۷۴۲ میلادی در قالب نامه‌ای به اویلر مطرح نمود. اویلر حدس ابن هیثم (Alhazen) (که اکنون به قضیه اقلیدس-اویلر معروف است) را اثبات نمود، این حدس بیان می‌نمود که تمام اعداد تام زوج را می‌توان از اعداد اول مرسن ساخت. او در اثبات‌هایش در ارتباط با بی‌نهایت بودن اعداد اول و همچنین واگرایی جمع معکوس اعداد اول <math>\tfrac{1}{2}+\tfrac{1}{3}+\tfrac{1}{5}+\tfrac{1}{7}+\tfrac{1}{11}+\cdots</math>، روش‌هایی را از [[آنالیز ریاضی]] به این حوزه از ریاضیات معرفی نمود. در ابتدای قرن نوزدهم میلادی، [[آدرین-ماری لژاندر|لژاندر]] و [[گاوس]] حدس زدند که با میل پیدا کردن <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> وجود دارد، این اصل در ۱۸۵۲ میلادی توسط [[پافنوتی چبیشف]] اثبات شد. ایده‌های [[برنهارت ریمان]] در مقاله‌اش به سال ۱۸۵۹ میلادی، که در ارتباط با [[تابع زتای ریمان|تابع زتا]] بود، خطوط کلی اثبات حدس لژاندر و گاوس را ترسیم نمود. گرچه که فرضیه ریمان، با وجود ارتباط نزدیک با حدس اخیر، هنوز هم اثبات نشده، ولی خطوط کلی اثبات ریمان در ارتباط با حدس لژاندر و گاوس در ۱۸۹۶ توسط [[ژاک آدامار|آدامار]] و دو لا والی پوسین تکمیل شده و نتیجه آن را اکنون به نام [[قضیه اعداد اول]] می‌شناسند. یکی دیگر از نتایج مهم قرن نوزدهم میلادی، [[قضیه دیریکله روی تصاعدهای حسابی]] بود، این که برخی از تصاعدهای حسابی، بی‌نهایت عدد اول را دربر می‌گیرند.

بسیاری از ریاضی‌دانان، برای اعداد بزرگی که اعمال تقسیم معمولی رویشان عملی نباشند (از نظر قدرت محاسبه)، آزمون‌های اول بودن را مورد بررسی قرار داده‌اند. روش‌هایی که به فرم‌های عددی خاصی محدود شده باشند، مثل این موارد: آزمون پپین برای اعداد فرما (۱۸۷۷)، قضیه پروث (حدود ۱۸۷۸ میلادی)، آزمون اول بودن لهمر (نشأت گرفته در ۱۸۵۶ میلادی)، و آزمون اول بودن لوکاس.

از ۱۹۵۱میلادی، تمام [[بزرگ‌ترین عدد اول شناخته‌شده|بزرگ‌ترین اعداد اول شناخته شده]] را با استفاده از این آزمون‌ها، و با کمک کامپیوترها یافته‌اند. جستجو برای اعداد اول بزرگتر، در خارج از دایره ریاضی‌دانان نیز ایجاد علاقه نموده است، پروژه‌هایی چون «جستجوی بزرگ اینترنتی اعداد اول مرسن» و سایر پروژه‌هایی که با کمک [[محاسبات توزیع‌شده]] صورت می‌پذیرند. این ایده که اعداد اول کاربردهایی نیز خارج از [[ریاضیات محض]] دارد در دهه ۱۹۷۰ میلادی، هنگامی که دستگاه‌های [[رمزنگاری کلید عمومی]] و [[RSA]] ابداع شدند، درهم شکست، چرا که این الگوریتم‌ها، اعداد اول را مبنای خود قرار می‌دادند.

اهمیت عملی فزاینده آزمون اول بودن با کمک [[کامپیوتر]]، و همچنین فاکتورگیری، منجر به توسعه روش‌های ارتقاء یافته‌ای شد که قادر بودند به کمک آن‌ها، با اعداد بزرگی با فرم غیر مقید و بدون محدودیت نیز کار کنند. همچنین، با کشف قضیه گرین-تائو (۲۰۰۴ میلادی)، مبنی بر این که تصاعدهای حسابی به میزان دلخواه بلندی از اعداد اول وجود دارند، به علاوه اثبات [[یتان ژانگ]] در ۲۰۱۳ میلادی مبنی بر این که بی‌نهایت [[شکاف اعداد اول]] با اندازه کراندار موجودند، قدم‌های مثبتی در پیش‌برد نظریه ریاضیاتی اعداد اول بوند.

=== اول بودن یک ===
یونانیان اولیه، ۱ را حتی جزو اعداد هم به‌شمار نمی‌آوردند، پس طبیعتاً آن را اول هم در نظر نمی‌گرفتند. همچنین برخی از ریاضی‌دانان مربوط به این دوره، اعداد اول را به عنوان جزئی از اعداد فرد در نظر می‌گرفتند، بنابراین آن‌ها نیز ۲ را به عنوان عدد اول در نظر نمی‌گرفتند. با این حال، اقلیدس و بخش عمده‌ای از سایر ریاضی‌دانان یونانی، ۲ را به عنوان اول در نظر می‌گرفتند. [[ریاضیات قدیمه در جهان اسلام|ریاضی‌دانان جهان اسلام در قرون وسطی]]، عمدتاً از یونانیان طبعیت کرده و ۱ را عدد در نظر نمی‌گرفتند. در قرون وسطی و رنسانس، ریاضی‌دانان کم‌کم ۱ را به عنوان عدد در نظر گرفتند، و برخی از آن‌ها ۱ را به عنوان اولین عدد اول به حساب آوردند. در اواسط قرن هجدهم میلادی، [[کریستین گلدباخ]]، ۱ را در مراودات خود با [[لئونارد اویلر]]، به عنوان عدد اول در نظر می‌گرفت؛ با این‌حال، خود اویلر ۱ را اول در نظر نمی‌گرفت. در قرن نوزدهم میلادی، بسیاری از ریاضی‌دانان هنوز هم ۱ را اول می‌دانستند، و فهرست‌های اعداد اولی که شامل ۱ بودند، هنوز هم تا ۱۹۵۶ میلادی منتشر می‌شدند.

اگر در تعریف عدد اول تغییر ایجاد شده به گونه‌ای که ۱ نیز عدد اول محسوب شود، بسیاری از گزاره‌ها در مورد اعداد اول نیاز به بازنویسی خام و ناشیانه‌ای خواهند داشت. به عنوان مثال، [[قضیه اساسی حساب|قضیه بنیادین حساب]] را باید به گونه‌ای بازنویسی کرد تا فاکتورگیری برحسب اعداد اول بزرگتر از یک صورت گیرند، چرا که با ظهور تعداد متفاوت و تکراری از عدد ۱ در تجزیه اعداد، فاکتورگیری‌های مختلفی برای هر عدد تولید می‌شوند. به‌طور مشابه، اگر ۱ به عنوان عدد اول در نظر گرفته شود، [[غربال اراتوستن]] به خوبی کار نمی‌کند، چرا که تمام مضارب ۱ (یعنی تمام اعداد دیگر) حذف شده و خروجی تنها شامل ۱ خواهد بود. برخی از خواص فنی‌تر اعداد اول نیز برای عدد ۱ برقرار نیستند: به عنوان مثال، فرمول‌های [[تابع فی اویلر]]، یا تابع جمع مقسوم‌علیه‌ها، برای ۱ ضوابط متفاوتی نسبت به ضابطه‌شان برای اعداد اول دارند. تا اوایل قرن بیستم میلادی، ریاضی‌دانان شروع به توافق بر سر این موضوع کردند که ۱ نباید به عنوان عدد اول فهرست شود، بلکه برایش رده مخصوصی به نام «یکه» (unit، عضو معکوس‌دار در [[ساختار جبری|ساختارهای جبری]] چون حلقه) را تعریف نمودند.

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

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

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

<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-۲ عدد اولی وجود دارد.
* **قضیهٔ ۴** ([[قضیه اردیش|قضیه اردوش]] (تعمیم قضیه چبیشف)): برای هر عدد طبیعی k، وجود دارد یک عدد طبیعی مثل N، که برای هر n>N، بین n و 2n,
k عدد اول وجود دارد.
* **قضیهٔ ۵**: تنها زمانی مجموع دو عدد اول عددی فرد می‌شود که یکی از آنها عدد ۲ باشد؛ زیرا عدد ۲ تنها عدد اول زوج است و تنها حالتی که مجموع دو عدد فرد می‌شود این است که یکی از عوامل جمع زوج و دیگری فرد باشد.
* **قضیهٔ ۶**: عددی اول است که به اعداد اول کوچکتر یا مساوی با جذر خودش بخش پذیر نباشد.(از روش [[غربال اراتوستن]] نتیجه می‌شود)
* **قضیهٔ ۷''': رقم یکان اعداد اول بزرگ‌تر از ۱۰ فقط ممکن است ارقام ۱، ۳، ۷، و ۹ باشد (اثبات آن به این صورت است که فرض می‌کنیم یکان ارقام دیگر باشند، یعنی ۲٬۴٬۵٬۶٬۸ در این صورت عدد یا بر پنج برای یکان پنج یا بر دو برای یکان‌های زوج بخش پذیر است که تناقض است)

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

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

 \frac{x}{\ln x}\left(1- 365+795\frac{1}{\ln x}\right) 

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

 \frac {x}{\ln x + 2} 

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

\frac {x}{\ln x - (1-\varepsilon)} 

## قضیه اعداد اول
اگر \pi(x)  تعداد اعداد اول کمتر از  x  باشد

آنگاه
 \lim_{x \to \infty} \frac{\pi(x)}{x/ln(x)} = 1 
:

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

 \lim_{x \to \infty} \frac{p(x)}{x \ln(x)} = 1 

که در آن تابع p(x)، تابع مولد اعداد اول باشد؛ یعنی x امین عدد اول p(x)=

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

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

\pi(x)\sim\frac{x}{\ln x}. \!

می‌دانیم توابع p(x) و \pi(x) معکوس هم هستند؛ یعنی:

 p^{-1}\left(\, x \, \right) = \pi(x)

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

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

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

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

\frac{x_1}{\ln x}=x_2

{x_1}=x_2 \ln(x)

p(x)=x \ln(x)

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

p(x)\sim\ x \ln(x)

در نتیجه:

 \lim_{x \to \infty} \frac{p(x)}{x \ln(x)} = 1 

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

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

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

\;  \;(x-1)! \equiv -1 \pmod{x}

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

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


\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}


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

## بزرگ‌ترین عدد اول کشف شده
بزرگ‌ترین عدد اول کشف شده تا (۲۰۱۶) برابر دو به توان ۷۴ میلیون و ۲۰۷ هزار و ۲۸۱ منهای یک است. این عدد ۲۲٬۳۳۸٬۶۱۸ رقم دارد و یک عدد مرسن است. عدد مرسن عددی است که برابر ۲ به توان n منهای یک است.
در سال ۲۰۱۸، طولانی‌ترین عدد اول که دارای ۲۳ میلیون رقم است؛ کشف شد. این عدد اول نیز یک عدد مرسن است که در جریان محاسبات در رایانه یک مهندس برق به نام جاناتان پیس در آمریکا در جریان پروژه‌ای برای کشف اعداد اول به نام «تحقیق اینترنتی بزرگ عدد مرسن» (GIMPS) کشف شد. این عدد را به اختصار و به‌طور قراردادی، M77232917 نامیده‌اند. پژوهش‌ها برای یافتن عددهای اول بزرگ دشوار و نیازمند نرم‌افزارهای خاص و همکاری علمی پژوهشگران هستند.

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

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

## جستارهای وابسته
* اعداد اول بزرگ
* بزرگ‌ترین عدد اول شناخته‌شده
* اعداد اول دوقلو

## یادداشت‌ها

## منابع

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