عددان أوليان توأم

معلومات عامة| صنف فرعي من | 
عدد أولي عدل القيمة على Wikidata |
| يدرسه | 
Theory of twin primes (en) ترجم عدل القيمة على Wikidata |
| ممثلة بـ | 
فجوة أولية عدل القيمة على Wikidata |

عدد أولي عدل القيمة على Wikidataprime triplet (en) ترجم عدل القيمة على Wikidataتعديل - تعديل مصدري - تعديل ويكي بياناتحول القالب

يقال عن عددين أوليين {\displaystyle p} و {\displaystyle q} أنهما **توأم** (بالإنجليزية: Twin prime)‏ إذا كان الفرق بينهما يساوي اثنان. يدعى هذا الزوج من الأعداد الأولية **بالعددين الأوليين التوأم**. أما حدسية العددين الأوليين التوأم فتنص على ما يلي :

**هناك عدد غير منته من الأعداد الأولية التوأم.**

هي واحدة من المسائل المشهورة غير المحلولة في نظرية الأعداد ويعتقد علماء الرياضيات أن هذه الحدسية صحيحة، ولكن ما زالت الأبحاث قائمة في العمل على برهانها.

الأعداد الأولية التوأم تصبح نادرة كلما تقدمنا في خط الأعداد، ومع ذلك العمل الذي قدمه بعض الرياضيين مثل يتانغ تشانغ في 2013، بالإضافة إلى جيمس ماينارد وتيرنس تاو و أخرون، قد أحرز تقدمًا كبيرًا نحو إثبات أن هناك عددًا لا نهائيًا من الأعداد الأولية التوأم ، ولكن في الوقت الحالي لا يزال هذا الأمر دون حل.

المواصفات
---------

عادة لا يعتبر (2 ، 3) زوجًا من الأعداد الأولية التوأم. نظرًا لأن 2 هو العدد الأولي الوحيد ، فإن هذا الزوج هو الزوج الوحيد من الأعداد الأولية الذي يختلف بمقدار واحد.

أول الأعداد الأعداد الأولية التوأم هم :

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

5 هو العدد الوحيد الذي ينتمي لزوجين من الأعداد الأولي التوأم، بحيث أن جميع الأزواج الأكبر من (3, 5)، هي على شكل {\displaystyle (6n-1,6n+1)}، وهذا يعني أن العدد الذي يتوسط هذه الأزواج هو من مضاعفات 6.

و كنتيجة، مجموع أي زوج من الأعداد الأولية التوأم (باستثناء الزوج (3, 5) ) هو من مضاعفات 12.

التاريخ
-------

كانت حدسية الأعداد الأولية التوأم (هل عددها منته أم غير منته) واحدة من أهم المعضلات المفتوحة في نظرية الأعداد لعدة سنوات، يقول بعض الأشخاص انها تعود لزمن اقليدس ، ولكن أول مرة رأينا فيها شخصا يتكلم عنها كانت عام 1849، حين وضع دي بوليناك حدسيته المعروفة بحدسية دي بوليناك والتي تنص على ما يلي:

*من أجل أي عدد طبيعي* {\displaystyle k} *هناك عدد غير منته من أزواج الأعداد الأولية* {\displaystyle p} *و* {\displaystyle q} *حيث* {\displaystyle p-q=2n}*، لكل عدد صحيح موجب* {\displaystyle n}*. وفي حالة* {\displaystyle n=1} *تتحول هذه الحدسية إلى حدسية العددين الأوليين التوأم.*
في عام 1940 قام بول إيردوس بإثبات وجود ثابت {\displaystyle c<1}، وعدد لانهائي من الأعداد الأولية التي تستوفي الشرط الآتي :{\displaystyle p\_{n+1}-p\_{n}<c\ln p\_{n}}، وهذا يعني أنه يمكننا إيجاد عدد لانهائي من المجالات التي تحوي أعداد أولية توأم، طالما قمنا بترك هذه المجالات لتكبر في الحجم (بشكل بطيء نسبيا) كلما تقدمنا في خط الأعداد. النمو البطيء يعني النمو بشكل لوغاريتمي .

تم تحسين هذه النتيجة عام 1986، من طرف هيلموت ماير، حيث أثبت أن {\displaystyle c<0.25}. و في عام 2005، غولدستون، يانوس بينتز و يلديرم قاموا بإثبات أن {\displaystyle c} يمكن أن يكون متناهي الصغر، أي أن 

> {\displaystyle \liminf \_{n\to \infty }{\frac {p\_{n+1}-p\_{n}}{\log p\_{n}}}=0.}
> 
> 

في عام 2013، وصل يتانغ تشانغ للنتيجة الآتية :

> {\displaystyle \liminf \_{n\to \infty }(p\_{n+1}-p\_{n})<N} مع {\displaystyle N=7\times 10^{7}}
> 
> 

و هي تحسين كبير لنتيجة غولدستون، يانوس بينتز و يلديرم. بعدها تم تنظيم مشروع البوليماث، بهدف تقليص الحد {\displaystyle N}، بفضل جهود هذا المشروع وبالإضافة إلى عمل جيمس ماينارد، تم تقليص الحد إلى {\displaystyle N=246}.

مبرهنة برون
-----------

في عام 1915، برهن فيغو برون أن مجموع مقلوبات الأعداد الأولية التوأم منته (أي أنه يؤول إلى عدد حقيقي ما ولا يؤول إلى ما لا نهاية له)، أي أن

.{\displaystyle \sum \_{p,p+2\in \mathbb {P} }\left({\frac {1}{p}}+{\frac {1}{p+2}}\right)={\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{5}}+{\frac {1}{7}}+{\frac {1}{11}}+{\frac {1}{13}}+{\frac {1}{17}}+{\frac {1}{19}}+\ldots <\infty }

بحيث أن {\displaystyle p} و {\displaystyle q} هما زوج من الأعداد الأولية التوأم.

كانت هاته النتيجة المشهورة والمسماة مبرهنة برون أول استعمال لغربال برون وكانت سبب بداية وتطور نظرية الغرابيل العصرية.

أكبر عددين أوليين توأم معروفين
------------------------------

يقدر عدد الأعداد التوائم الأولية تحت {\displaystyle 10^{18}} ، ب {\displaystyle 808,675,888,577,436}، و أكبر عددين أوليين توأمين مسجلان في سبتمبر 2016 ، {\displaystyle 2996863034895\times 2^{1290000}\pm 1} ، بعدد خانات مقدر ب {\displaystyle 388,342} خانة.

يُظهر تحليل تجريبي بالحاسوب لجميع الأزواج الأولية تحت {\displaystyle 4.35\times 10^{15}}، أنه إذا كان عدد هذه الأزواج الأقل من {\displaystyle x} هو {\displaystyle {\frac {f(x)x}{(\ln x)^{2}}}}، فإن {\displaystyle f(x)} تكون حوالي 1.7 للأزواج الصغيرة {\displaystyle x} وتتناقص نحو 1.3 عندما يؤول {\displaystyle x} إلى المالانهاية.

خصائص بسيطة
-----------

تم إثبات أن الزوج (m,m+2) هو زوج عددين أوليين توأم، إذا وإذا كان فقط : 

> {\displaystyle 4((m-1)!+1)\equiv -m{\pmod {m(m+2)}}.}
> 
> 

إذا كان {\displaystyle m-4} أو {\displaystyle m+6} عدداً أوليا، فيقال عن هذه الأعداد أنها ثلاثية أولية (Primes Triplets).

حدسية هاردي-ليتلوود الأولى
--------------------------

حدسية هاردي - ليتلوود (التي سميت على اسم جي إتش هاردي و جون ليتلوود ) هي تعميم لحدسية الأعداد الأولية التوأم.  تهتم بتوزيع الأبراج الأولية ، بما في ذلك الأعداد الأولية التوأم.  لتكن {\displaystyle \pi \_{2}(x)} ترمز إلى عدد الأعداد الأولية الأصغر من تساوي {\displaystyle x} بحيث أن {\displaystyle p+2} هو أيضًا عددً أولي.  نعرف الثابت الأولي التوأم {\displaystyle C\_{2}} على أنه : 

> {\displaystyle C\_{2}=\prod \_{p\geq 3}\left(1-{\frac {1}{(p-1)^{2}}}\right)\approx 0.6601618...}. 
> 
> 

(هذا الجداء يمتد على جميع الأعداد الأولية الأكبر من أو تساوي 3).

هناك حالة خاصة لحدسية هاردي - ليتلوود، وهي أن :

> .{\displaystyle \pi \_{2}(x)\sim 2C\_{2}{\frac {x}{(\ln x)^{2}}}\sim 2C\_{2}\int \_{2}^{x}{dt \over (\ln t)^{2}}}
> 
>

الأعداد الأولية المعزولة
------------------------

يقال عن عدد أولي {\displaystyle p} أنه **معزول** إذا كان {\displaystyle p+2} و {\displaystyle p-2} أعداد غير أولية. بمعنى أن {\displaystyle p} لا ينتمي إلى أي زوج من الأعداد الأولية التوأم. مثلا 23 هو عدد أولي معزول لأن 21 و 25 هم أعداد غير أولية.

هذه قائمة الأعداد الأولية المعزولة :

2, 23, 37, 47, 53, 67, 79, 83, 89, 97, ...

تقول مبرهنة برون أن تقريبا كل الأعداد الأولية هي معزولة، لأن نهاية النسبة بين عدد الأعداد الأولية الأقل من {\displaystyle n} و عدد الأعداد الأولية المعزولة الأقل من {\displaystyle n} عندما تؤول {\displaystyle n} إلى {\displaystyle \infty }، تساوي واحد. بمعنى أنه كلما تقدمنا في خط الأعداد، يقترب عدد الأعداد الأولية المعزولة من عدد الأعداد الأولية الأقل من {\displaystyle n}.

انظر أيضًا
----------

* جدول القواسم
* عدد أولي
* عدد أولي ستي

مراجع
-----

1. ↑  "معلومات عن عددان أوليان توأم على موقع britannica.com". britannica.com. مؤرشف من الأصل في 2015-09-11.
2. ↑  "معلومات عن عددان أوليان توأم على موقع babelnet.org". babelnet.org. مؤرشف من الأصل في 2019-12-10.
3. ↑  "معلومات عن عددان أوليان توأم على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 2019-09-02.
4. ↑  Yitang، Zhang. "Bounded gaps between primes" (PDF). *Annals math*. مؤرشف من الأصل (PDF) في 2020-07-09.
5. ↑  "Are all primes of the form 6n-1 or 6n+1". مؤرشف من الأصل في 2021-04-21.
6. ↑  Goldston، Pintz, Yıldırım (2005). "Small Gaps between Primes Exist". *arxiv*. مؤرشف من الأصل في 2021-05-07.`{{استشهاد ويب}}`: صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link)
7. ↑  Caldwell، Chris K. "The Prime Database". مؤرشف من الأصل في 2021-04-28.
8. ↑  "Isolated primes". *OEIS*. مؤرشف من الأصل في 2021-04-26.

وصلات خارجية
------------

* أيقونة بوابةبوابة رياضيات
* أيقونة بوابةبوابة نظرية الأعداد

|  |  |
| --- | --- |
| مشاريع شقيقة | في كومنز صور وملفات عن: عددان أوليان توأم |



| * ع
* ن
* ت
أصناف الأعداد الأولية |
| --- |
| من حيث الصيغة | 
* فيرما (22*n* + 1)
* ميرسين (2*p* − 1)
* عدد ميرسين المزدوج (22*p*−1 − 1)
* Wagstaff (2*p* + 1)/3
* Proth (*k*·2*n* + 1)
* عدد أولي عاملي
* Primorial (*pn*# ± 1)
* أقليدس(*pn*# + 1)
* Pythagorean (4*n* + 1)
* Pierpont (2*m*·3*n* + 1)
* Quartan (*x*4 + *y*4)
* Solinas (2*m* ± 2*n* ± 1)
* Cullen (*n*·2*n* + 1)
* Woodall (*n*·2*n* − 1)
* Cuban (*x*3 − *y*3)/(*x* − *y*)
* Carol (2*n* − 1)2 − 2
* Kynea (2*n* + 1)2 − 2
* Leyland (*xy* + *yx*)
* ثابت(3·2*n* − 1)
* Williams ((*b*−1)·*b**n* − 1)
* Mills (**خطأ في التعبير: علامة ترقيم لم نتعرف عليها «'».**)

 |
| By integer sequence | 
* فيبوناتشي
* لوكاس
* بيل
* Newman–Shanks–Williams
* بيرن
* تجزئة (نظرية الأعداد)
* عدد بيل
* رقم موتسكين

 |
| من حيث الخصائص | 
* Wieferich (pair)
* Wall–Sun–Sun
* Wolstenholme
* عدد ويلسون الأولي
* محظوظ
* Fortunate
* عدد رامانجن الأولي
* Pillai
* عدد أولي نظامي
* Strong
* Stern
* Supersingular (elliptic curve)
* Supersingular (moonshine theory)
* Good
* Super
* Higgs
* Highly cototient

 |
| أساس (رياضيات)-dependent | 
* عدد سعيد
* Dihedral
* Palindromic
* Emirp
* Repunit (10*n* − 1)/9
* Permutable
* دائرية
* Truncatable
* Strobogrammatic
* Minimal
* Weakly
* Full reptend
* Unique
* Primeval
* Self
* Smarandache–Wellin
* Tetradic

 |
| من حيث الشكل | 
* عددان أوليان توأم (*p*, *p* + 2)
* Bi-twin chain (*n* − 1, *n* + 1, 2*n* − 1, 2*n* + 1, …)
* Triplet (*p*, *p* + 2 or *p* + 4, *p* + 6)
* Quadruplet (*p*, *p* + 2, *p* + 6, *p* + 8)
* *k*−Tuple
* Cousin (*p*, *p* + 4)
* Sexy (*p*, *p* + 6)
* عدد تشين الأولي
* Sophie Germain (*p*, 2*p* + 1)
* Cunningham (*p*, 2*p* ± 1, 4*p* ± 3, 8*p* ± 7, ...)
* Safe (*p*, (*p* − 1)/2)
* Arithmetic progression (*p* + *a·n*, *n* = 0, 1, 2, 3, ...)
* Balanced (consecutive *p* − *n*, *p*, *p* + *n*)

 |
| من حيث عدد الأرقام | 
* Titanic (1,000+ digits)
* Gigantic (10,000+ digits)
* Mega (1,000,000+ digits)
* أكبر عدد أولي معروف

 |
| عدد مركب | 
* عدد أيزنشتاين الأولي
* عدد صحيح غاوسي

 |
| عدد غير أولي | 
* عدد شبه أولي
	+ كاتالان
	+ Elliptic
	+ أويلر
	+ أويلر–جاكوبي
	+ أعداد فيرما شبه الأولية
	+ فروبنيوس
	+ لوكاس
	+ سومر–لوكاس
	+ Strong
* عدد كارميكائيل
* Almost prime
* عدد نصف أولي
* Interprime
* Pernicious

 |
| Related topics | 
* عدد أولي محتمل
* Industrial-grade prime
* عدد غير شرعي
* صيغة للأعداد الأولية
* فجوة أولية

 |
| الأعداد الأولية الستون الأولى | 
* 2
* 3
* 5
* 7
* 11
* 13
* 17
* 19
* 23
* 29
* 31
* 37
* 41
* 43
* 47
* 53
* 59
* 61
* 67
* 71
* 73
* 79
* 83
* 89
* 97
* 101
* 103
* 107
* 109
* 113
* 127
* 131
* 137
* 139
* 149
* 151
* 157
* 163
* 167
* 173
* 179
* 181
* 191
* 193
* 197
* 199
* 211
* 223
* 227
* 229
* 233
* 239
* 241
* 251
* 257
* 263
* 269
* 271
* 277
* 281

 |
| قائمة الأعداد الأولية |