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

[[پرونده:X=64 for prime composite number.png|بندانگشتی|اعدلد دوقلو به صورت یک نمودار]]
'''اعداد اول دوقلو''' به [[عدد اول|اعداد اول]]ی می‌گویند که فاصله آن‌ها دو واحد است.
یعنی برای هر <math>k</math> [[عدد طبیعی|طبیعی]] داشته باشیم :   ,   <math>p_{k+1}- p_{k}=2</math>

{{حل نشده|ریاضیات|آیا تعداد اعداد اول دوقلو نامتناهی است؟}}

ریاضیدانان طی چند قرن اخیر فرضیه ای را در خصوص اعداد اول دوقلو مطرح کرده‌اند که نشان می‌دهد، تعداد نامتناهی از این جفت اعداد اول وجود دارند، اما این مسئله تاکنون اثبات نشده‌است.
دستاورد ریاضی‌دانی به نام دکتر «[[ییتانگ ژانگ]]» نشان می‌دهد، مهم نیست که عدد اول دوقلو چقدر بزرگ باشد، چراکه همیشه یک جفت عدد اول دیگر هست که از آن با کمتر از 70 میلیون رقم جدا شده‌است.
اگرچه این تحقیق به‌طور قطعی وجود تعداد نامتناهی اعداد اول دوقلو را نشان نمی‌دهد، اما گام مهمی برای اثبات این مسئله محسوب می‌شود.
==خواص==
معمولاً زوج (2،3) را به عنوان دو قلو در نظر نمیگیرند . از آنجایی که 2 تنها عدد اول زوج است ، درنتیجه این زوج تنها زوجی است که تنها 1 واحد اختلاف دارند . بنابراین برای دیگر زوج ها ، اعداد اول دو قلو کمترین فاصله را دارند .
چند جفت اول از اعداد اول دو قلو :

<center><math>(3,  5), (5,  7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73),  (101, 103), (107, 109), (137, 139)</math></center>

عدد <math>5</math> تنها عدد اولی است که به دو جفت تعلق دارد . برای همه [[عدد طبیعی|اعداد طبیعی]] <math>n</math> ، جفت <math>(6n-1, 6n+1)</math> شامل تمام جفت های اول دو قلو به غیر از <math>(3, 5)</math> می شود .در نتیجه مجموع هر جفت اول دو قلو بر 12 بخش پذیر است. 

===[[قضیه برون]]===
در سال 1915 ، [[ویگو برون]] نشان داد که مجموع معکوس اعداد اول دو قلو ، همگراست. برون این قضیه را با تکنیک [[غربال برون]] اثبات کرد و به توسعه [[نظریه غربال|نظریه مدرن غربال]] کمک کرد . از نسخه مدرن استدلال برون می توان نشان داد که 
تعداد اعداد اول دو قلوی کمتر از <math>N</math> ، هیچگاه از مقدار زیر بیشتر نمیشود :
:<math>\frac{CN}{(\log N)^2}</math> 
برای بعضی ثابت های مطلق <math>C>0</math> ، در حقیقت کران بالای آن به صورت زیر است :
:<math>\frac{C'N}{(\log N)^2}\left(1 + O\left(\frac{\log \log N}{\log N}\right)\right),</math>
که در آن <math>C' = 8C_2</math> و <math>C_2</math> ، ثابت اعداد اول دو قلو است.
==قضایای ضعیف تر از حدس اعداد اول دو قلو==
در سال 1940 ،[[پال اردوش|پال اِردوش]] نشان داد که یک ثابت مانند  <math>c<1</math>  و بی نهایت عدد اول مانند <math>p_{n}</math> , وجود دارد به طوری که:

<math>{p_{n+1}-p_{n}<c.log(p_{n})}</math>

این به آن معنی است که هر چقدر که اعداد اول ، بزرگ و بزرگ تر شوند ، فاصله ی بین آنها نیز به آرامی رشد می کند . "رشد آرام" یعنی این فاصله ها به صورت [[لگاریتم طبیعی|لگاریتمی]] رشد می کنند.این نتیجه پی در پی بهبود یافت ؛ در سال 1986 ،[[هِلموت مایِر]] [[ثابت ریاضی|ثابت]] [[پال اردوش|اِردوش]] را به <math>c<1/4</math> تعمیم داد . در سال 2004 [[دنیل گلدستن|دنیِل گُلدِستِن]] و [[جِم یِلدیریم]] نشان دادند که این ثابت می تواند به <math>c<0.085876</math> , برسد.
در سال 2005 ،گُلدِستِن ، 
[[جوناس پینتز]] و یِلدیریم اشاره کردند که <math>c</math>  می تواند به دلخواه کوچک باشد: یعنی به زبان [[حد زبرین|حد زبَرین]]:
:<math>\liminf_{n\to\infty}\frac{p_{n+1}-p_n}{\log p_n}=0.</math>
با در نظر گرفتن [[حدس اِلیوت-هالبرستام]] و یا حدس ضعیف تری از آن ، می توان نشان داد برای بی شمار n ، حداقل دو تا از اعداد ''n'', ''n''&nbsp;+&nbsp;2, ''n''&nbsp;+&nbsp;6, ''n''&nbsp;+&nbsp;8, ''n''&nbsp;+&nbsp;12, ''n''&nbsp;+&nbsp;18,  ''n''&nbsp;+&nbsp;20 اول است.
با استفاده از یک حدس قویتر می توان نشان داد که برای بی شمار n ، حداقل دو تا از اعداد ''n'', ''n''&nbsp;+&nbsp;2, ''n''&nbsp;+&nbsp;4,  ''n''&nbsp;+&nbsp;6  اول هستند.

==جستار های وابسته==
*[[شکاف اعداد اول]]
*[[عدد اول رامانوجان]] 
*[[عدد اول مرسن]] 
*[[اعداد فرما]]
== منابع ==
{{پانویس}}
* {{cite book |author-link=Neil Sloane |first=Neil |last=Sloane |author-link2=Simon Plouffe |first2=Simon |last2=Plouffe |title=The Encyclopedia of Integer Sequences |url=https://archive.org/details/encyclopediaofin0000sloa |publisher=Academic Press |location=San Diego, CA |year=1995 |isbn=0-12-558630-2 }}
* {{springer|title=Twins|id=p/t094470}}
* [http://primes.utm.edu/top20/page.php?id=1 Top-20 Twin Primes] at Chris Caldwell's [[Prime Pages]]
{{یادکرد ویکی|عنوان =Twin prime |پیوند =http://en.wikipedia.org/wiki/Twin_prime  |زبان =انگلیسی| بازیابی =۲۱ مرداد ۱۳۹۲}}

سایت خبرگزاری ایسنا

{{رده‌های اعداد اول}}
[[رده:رده‌های اعداد اول]]
[[رده:ریاضیات]]
[[رده:مسائل حل‌نشده در نظریه اعداد]]
[[رده:مسئله‌های حل‌نشده در ریاضیات]]