عدد اول: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
رضاسلیمی
جز ویرایش 91.107.231.197 (بحث) به آخرین تغییری که Sharaky انجام داده بود واگردانده شد
خط ۱:
استاد رضاسلیمی[[پرونده:Sieve of Eratosthenes animation.gif|بندانگشتی|300px|'''[[غربال اراتوستنس]]''' [[الگوریتم|الگوریتمی]] ساده و قدیمی برای یافتن همهٔ اعداد اول تا عدد صحیح برگزیده است. این الگوریتم پیش از [[غربال آتکین]]، که سریع‌تر و پیچیده‌تر بود، مورد استفاده قرار می‌گرفت. غربال اراتوستنس را [[اراتوستنس]]، [[ریاضیدان]] [[یونان باستان]] در [[قرن سوم پیش از میلاد]] ابداع کرد.]]
 
'''عدد اول''' [[اعداد طبیعی|عددی طبیعی]] بزرگ‌تر از ۱ است که بر هیچ عددی به جز خود و ۱ [[بخش‌پذیر]] نباشد. تنها استثنا عدد ۱ است که جزو این اعداد قرار نمی‌گیرد. اگرعددی طبیعی وبزرگ‌تر از ۱ اول نباشد [[اعداد مرکب|مرکب]] است.
خط ۹:
دنبالهٔ اعداد اول به این صورت شروع می‌شود:
 
[[۲ (عدد)|۲]]، [[۳ (عدد)|۳]]، [[۵ (عدد)|۵]]، [[۷ (عدد)|۷]]، [[۱۱ (عدد)|۱۱]]، [[۱۳ (عدد)|۱۳]]، [[۱۷ (عدد)|۱۷]]، [[۱۹ (عدد)|۱۹]]، [[۲۳ (عدد)|۲۳]]، [[۲۹ (عدد)|۲۹]]، [[۳۱ (عدد)|۳۱]]، [[۳۷ (عدد)|۳۷]]، [[۴۱ (عدد)|۴۱]]، [[۴۳ (عدد)|۴۳]]، [[۴۷ (عدد)|۴۷]]، [[۵۳ (عدد)|۵۳]]، [[۵۹ (عدد)|۵۹]]، [[۶۱ (عدد)|۶۱]]، [[۶۷ (عدد)|۶۷]]، [[۷۱ (عدد)|۷۱]]، [[۷۳ (عدد)|۷۳]]، [[۷۹ (عدد)|۷۹]]، [[۸۳ (عدد)|۸۳]]، [[۸۹ (عدد)|۸۹]]، [[۹۷ (عدد)|۹۷]]، [[۱۰۱ (عدد)|۱۰۱]]، [[۱۰۳ (عدد)|۱۰۳]]، [[۱۰۷ (عدد)|۱۰۷]]، [[۱۰۹ (عدد)|۱۰۹]]، [[۱۱۳ (عدد)|۱۱۳]]، [[۱۲۷ (عدد)|۱۲۷]]، [[۱۳۱ (عدد)|۱۳۱]]، [[۱۳۷ (عدد)|۱۳۷]]، [[۱۳۹ (عدد)|۱۳۹]]<ref>(دنبالهٔ [http://www.research.att.com/~njas/sequences/A000040 A000040] در [[دانشنامه برخط دنباله‌های اعداد صحیح|OEIS]])</ref> رضاسلیمی
 
== قضیه‌ها ==
* '''قضیه ۱''': تعداد اعداد اول [[بی‌نهایت]] است.
به این اثبات دقت کنیداز [[برهان خلف]] استفاده می‌کنیم: