في نظرية الأعداد، **صيغة الأعداد الأولية** هي صيغة (أو معادلة) تنتج الأعداد الأولية، تمامًا وبدون استثناء. لا توجد معادلة معروفة قابلة للحساب بكفاءة. هناك عدد من القيود المعروفة، والتي تبين ما يمكن وما لا يمكن أن تكون عليه مثل هذه «الصيغة».

صيغة مبنية على نظرية ويلسون
---------------------------

هي صيغة بسيطة:

> {\displaystyle f(n)=\left\lfloor {\frac {n!{\bmod {(}}n+1)}{n}}\right\rfloor (n-1)+2}
> 
> 

لعدد صحيح موجب {\displaystyle n} ، بحيث {\displaystyle \lfloor \ \rfloor } هي دالة الجزء الصحيح. من خلال مبرهنة ويلسون، {\displaystyle n+1} هو عدد أولي إذا وفقط إذا كان{\displaystyle n!\equiv n{\pmod {n+1}}}. وهكذا عندما يكون {\displaystyle n+1} عدد أولي، يصبح العامل الأول في الجداء واحدًا (طالع الصيغة أعلاه)، وتنتج الصيغة العدد الأولي {\displaystyle n+1}. لكن إذا كان {\displaystyle n+1} ليس عددًا أوليًا، يصبح العامل الأول صفراً وتنتج الصيغة العدد الأولي 2. هذه الصيغة ليست طريقة فعالة لتوليد الأعداد الأولية لأن حساب {\displaystyle n!{\bmod {(}}n+1)} يأخذ وقتاً.

صيغة مبنية على نظام معادلات ديوفانتية
-------------------------------------

نظرًا لأن مجموعة الأعداد الأولية عبارة عن مجموعة يمكن عدها حسابيًا، من خلال مبرهنة ماتياسيفيتش، يمكن الحصول على هذه المجموعة من خلال نظام معادلات ديوفانتية. جونز et al. (1976) وجد مجموعة من 14 معادلة ديوفانتين مع 26 متغيرًا، بحيث أن عدداً معين {\displaystyle k+2} هو عدد أولي إذا وفقط إذا كان لهذه النظمة حل في الأعداد الطبيعية:

> {\displaystyle \alpha \_{0}=wz+h+j-q=0}
> 
> 
> {\displaystyle \alpha \_{1}=(gk+2g+k+1)(h+j)+h-z=0}
> 
> 
> {\displaystyle \alpha \_{2}=16(k+1)^{3}(k+2)(n+1)^{2}+1-f^{2}=0}
> 
> 
> {\displaystyle \alpha \_{3}=2n+p+q+z-e=0}
> 
> 
> {\displaystyle \alpha \_{4}=e^{3}(e+2)(a+1)^{2}+1-o^{2}=0}
> 
> 
> {\displaystyle \alpha \_{5}=(a^{2}-1)y^{2}+1-x^{2}=0}
> 
> 
> {\displaystyle \alpha \_{6}=16r^{2}y^{4}(a^{2}-1)+1-u^{2}=0}
> 
> 
> {\displaystyle \alpha \_{7}=n+\ell +v-y=0}
> 
> 
> {\displaystyle \alpha \_{8}=(a^{2}-1)\ell ^{2}+1-m^{2}=0}
> 
> 
> {\displaystyle \alpha \_{9}=ai+k+1-\ell -i=0}
> 
> 
> {\displaystyle \alpha \_{10}=((a+u^{2}(u^{2}-a))^{2}-1)(n+4dy)^{2}+1-(x+cu)^{2}=0}
> 
> 
> {\displaystyle \alpha \_{11}=p+\ell (a-n-1)+b(2an+2a-n^{2}-2n-2)-m=0}
> 
> 
> {\displaystyle \alpha \_{12}=q+y(a-p-1)+s(2ap+2a-p^{2}-2p-2)-x=0}
> 
> 
> {\displaystyle \alpha \_{13}=z+p\ell (a-p)+t(2ap-p^{2}-1)-pm=0}
> 
> 

يمكن استخدام المعادلات 14 {\displaystyle \alpha \_{0},...\alpha \_{13}} لإنتاج متفاوتة متعددة الحدود تنتج عدداً أوليًا مع 26 متغيرًا:

> {\displaystyle (k+2)(1-\alpha \_{0}^{2}-\alpha \_{1}^{2}-\cdots -\alpha \_{13}^{2})>0}
> 
> 

أي أن:

> {\displaystyle {\begin{aligned}&(k+2)(1-{}\\[6pt]&[wz+h+j-q]^{2}-{}\\[6pt]&[(gk+2g+k+1)(h+j)+h-z]^{2}-{}\\[6pt]&[16(k+1)^{3}(k+2)(n+1)^{2}+1-f^{2}]^{2}-{}\\[6pt]&[2n+p+q+z-e]^{2}-{}\\[6pt]&[e^{3}(e+2)(a+1)^{2}+1-o^{2}]^{2}-{}\\[6pt]&[(a^{2}-1)y^{2}+1-x^{2}]^{2}-{}\\[6pt]&[16r^{2}y^{4}(a^{2}-1)+1-u^{2}]^{2}-{}\\[6pt]&[n+\ell +v-y]^{2}-{}\\[6pt]&[(a^{2}-1)\ell ^{2}+1-m^{2}]^{2}-{}\\[6pt]&[ai+k+1-\ell -i]^{2}-{}\\[6pt]&[((a+u^{2}(u^{2}-a))^{2}-1)(n+4dy)^{2}+1-(x+cu)^{2}]^{2}-{}\\[6pt]&[p+\ell (a-n-1)+b(2an+2a-n^{2}-2n-2)-m]^{2}-{}\\[6pt]&[q+y(a-p-1)+s(2ap+2a-p^{2}-2p-2)-x]^{2}-{}\\[6pt]&[z+p\ell (a-p)+t(2ap-p^{2}-1)-pm]^{2})\\[6pt]&>0\end{aligned}}}
> 
> 

هي متفاوتة متعددة الحدود مع 26 متغيرًا، ومجموعة الأعداد الأولية متطابقة مع مجموعة القيم الموجبة التي يتخذها الجانب الأيسر مثل المتغيرات {\displaystyle a,b,...z} على الأعداد الصحيحة غير السالبة.

تقول النظرية العامة لماتياسيفيتش أنه إذا تم تحديد مجموعة من خلال نظام معادلات ديوفانتية، فيمكن أيضًا تعريفها من خلال نظام معادلات ديوفانتية مع 9 متغيرات فقط. ومن ثم، هناك كثيرة حدود تنتج عدداً أولياً على النحو الوارد أعلاه مع 10 متغيرات فقط. ومع ذلك، فإن درجتها كبيرة (في حدود {\displaystyle 10^{45}}). من ناحية أخرى، توجد أيضًا مجموعة من المعادلات من الدرجة 4 فقط، ولكن مع 58 متغيرًا.

صيغة ميلز
---------

تم إنشاء أول صيغة معروفة من قبل ميلز (1947) ، الذي أثبت وجود عدد حقيقي {\displaystyle A}، بحيث أنه إذا كان:

> {\displaystyle d\_{n}=A^{3^{n}}}
> 
> 

فإن:

> {\displaystyle \left\lfloor d\_{n}\right\rfloor =\left\lfloor A^{3^{n}}\right\rfloor }
> 
> 

هو عدد أولي لجميع الأعداد الصحيحة الموجبة {\displaystyle n}. إذا كانت فرضية ريمان صحيحة، فإن أصغر *A* له قيمة حوالي {\displaystyle 1.30637788386308} ويُعرف باسم ثابت ميلز. تؤدي هذه القيمة إلى ظهور الأعداد الأولية التالية {\displaystyle \left\lfloor d\_{1}\right\rfloor =2} و {\displaystyle \left\lfloor d\_{2}\right\rfloor =11} و {\displaystyle \left\lfloor d\_{3}\right\rfloor =1361} .... لا يُعرف سوى القليل جدًا عن الثابت {\displaystyle A} (ولا حتى كونه كسرياً أو لا). هذه الصيغة ليس لها قيمة عملية، لأنه لا توجد طريقة معروفة لحساب الثابت دون إيجاد الأعداد الأولية في المقام الأول.

لاحظ أنه لا يوجد شيء مميز حول دالة الجزء الصحيح في الصيغة. أثبت توث  أن هناك أيضًا ثابتًا {\displaystyle B} مثل ذلك، بحيث أن:

> {\displaystyle \lceil B^{r^{n}}\rceil }
> 
> 

هو عدد أولي لـ {\displaystyle r>2.106\ldots } (توث 2017) .

صيغة رايت
---------

صيغة أخرى لإنتاج الأعداد الأولية مماثلة لميلز تأتي من مبرهنة إي.إم. رايت. فقد أثبت وجود عدد حقيقي {\displaystyle \alpha }، بحيث أنه إذا كان: 

> {\displaystyle g\_{0}=\alpha } و
> 
> {\displaystyle g\_{n+1}=2^{g\_{n}}} من أجل {\displaystyle n\geq 0}.
> 
> 

فإن 

> {\displaystyle \left\lfloor g\_{n}\right\rfloor =\left\lfloor 2^{\dots ^{2^{2^{\alpha }}}}\right\rfloor }
> 
> 

هو عدد أولي لكل {\displaystyle n\geq 1}. يعطي رايت أول سبعة منازل عشرية لهذا الثابت: {\displaystyle \alpha =1.9287800} هذه القيمة يمكن أن تولد الأعداد الأولية التالية {\displaystyle \left\lfloor g\_{1}\right\rfloor =\left\lfloor 2^{\alpha }\right\rfloor =3}، {\displaystyle \left\lfloor g\_{2}\right\rfloor =13}، {\displaystyle \left\lfloor g\_{3}\right\rfloor =16381}، {\displaystyle \left\lfloor g\_{4}\right\rfloor } هو عدد زوجي وبالتالي فهو ليس أولياً. ولكن باستخدام {\displaystyle \alpha =1.9287800+8.2843\cdot 10^{-4933}}، {\displaystyle \left\lfloor g\_{1}\right\rfloor }، {\displaystyle \left\lfloor g\_{2}\right\rfloor } و {\displaystyle \left\lfloor g\_{3}\right\rfloor } لم يطرئ عليهم أي تغيير، بينما {\displaystyle \left\lfloor g\_{4}\right\rfloor } هو عدد أولي مكون من 4932 رقمًا. هذا التسلسل من الأعداد الأولية لا يمكن أن يمتد إلى ما بعد {\displaystyle \left\lfloor g\_{4}\right\rfloor } دون معرفة المزيد من المنازل العشرية ل{\displaystyle \alpha }.. مثل صيغة ميلز، وللأسباب نفسها، لا يمكن استخدام صيغة رايت (بكفائة) للعثور على الأعداد الأولية.

دالة تمثل جميع الأعداد الأولية
------------------------------

الثابت {\displaystyle ,f\_{1}=2.920050977316\ldots } من أجل {\displaystyle n\geq 2} يمكننا أن نعرف المتتالية التالية:

إذا من أ

جل {\displaystyle n\geq 1}، هو العدد الأولي النوني: {\displaystyle \left\lfloor f\_{1}\right\rfloor =2}، {\displaystyle \left\lfloor f\_{2}\right\rfloor =3}، {\displaystyle \left\lfloor f\_{3}\right\rfloor =5}، {\displaystyle \left\lfloor f\_{4}\right\rfloor =7}...

الثابت {\displaystyle f\_{1}} المعطى أعلاه يكفي لإنتاج الأعداد الأولية حتى 37 (العدد الأولي الثاني عشر).

القيمة الدقيقة لـ{\displaystyle f\_{1}} الذي ينتج جميع الأعداد الأولية يتم إعطاؤه بواسطة المتسلسلة «سريعة» التقارب الآتية:

> {\displaystyle f\_{1}=\sum \_{n=1}^{\infty }{\frac {p\_{n}-1}{P\_{n}}}={\frac {2-1}{1}}+{\frac {3-1}{2}}+{\frac {5-1}{2\cdot 3}}+{\frac {7-1}{2\cdot 3\cdot 5}}+\cdots ,}.
> 
> 

بحيث {\displaystyle p\_{n}} هو العدد الأولي النوني و {\displaystyle P\_{n}} هو جداء جميع الأعداد الأولية الأقل من أو تساوي {\displaystyle p\_{n}}.

كما هو الحال مع صيغة ميلز وصيغة رايت أعلاه، من أجل إنشاء قائمة أطول من الأعداد الأولية، نحتاج إلى البدء بمعرفة المزيد من المنازل العشرية للثابت {\displaystyle f\_{1}}، والذي يتطلب في هذه الحالة قائمة أطول من الأعداد الأولية في حسابها.

صيغة ممكنة باستخدام علاقة تكرار
-------------------------------

يتم تعريف صيغة أخرى من خلال علاقة التكرار:

> {\displaystyle a\_{n}=a\_{n-1}+\gcd(n,a\_{n-1}),\quad a\_{1}=7}،
> 
> 

حيث يشير {\displaystyle \gcd(x,y)} إلى القاسم المشترك الأكبر لـ {\displaystyle x} و {\displaystyle y}. تسلسل الفروق {\displaystyle a\_{n+1}-a\_{n}} يبدأ بـ 1، 1، 1، 5، 3، 1، 1، 1، 1، 11، 3، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 23، 3، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 1، 47، 3، 1، 5، 3... .رولند (2008) أثبت أن هذا التسلسل يحتوي فقط على العدد واحد وأعداد أولية. ومع ذلك، فإنه لا يحتوي على جميع الأعداد الأولية.

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

* مبرهنة الأعداد الأولية.
* عدد أولي.

مراجع
-----

1. ↑  Mackinnon، Nick (يونيو 1987)، "Prime Number Formulae"، *The Mathematical Gazette*، ج. 71، ص. 113–114، DOI:10.2307/3616496، JSTOR:3616496.
2. ↑  Jones، James P.؛ Sato، Daihachiro؛ Wada، Hideo؛ Wiens، Douglas (1976)، "Diophantine representation of the set of prime numbers"، *الرياضيات الأمريكية الشهرية*، Mathematical Association of America، ج. 83، ص. 449–464، DOI:10.2307/2318339، JSTOR:2318339، مؤرشف من الأصل في 2012-02-24.
3. ↑  Matiyasevich، Yuri V. (1999)، "Formulas for Prime Numbers"، في Tabachnikov، Serge (المحرر)، *Kvant Selecta: Algebra and Analysis*، جمعية الرياضيات الأمريكية، ج. II، ص. 13–24، ISBN:978-0-8218-1915-9.
4. ↑  Jones، James P. (1982)، "Universal diophantine equation"، *Journal of Symbolic Logic*، ج. 47، ص. 549–571، DOI:10.2307/2273588، JSTOR:2273588.
5. ↑  Mills، W. H. (1947)، "A prime-representing function" (PDF)، *Bulletin of the American Mathematical Society*، ج. 53، ص. 604، DOI:10.1090/S0002-9904-1947-08849-2.
6. ↑  Tóth، László (2017)، "A Variation on Mills-Like Prime-Representing Functions" (PDF)، *Journal of Integer Sequences*، ج. 20، arXiv:1801.08014.
7. ↑  "A prime-representing function". 1951. مؤرشف من الأصل في 2021-05-29. `{{استشهاد بدورية محكمة}}`: الاستشهاد بدورية محكمة يطلب `|دورية محكمة=` (مساعدة)
8. ↑  "A Prime-Representing Constant". *Mathematical Association of America*. 2019. مؤرشف من الأصل في 2021-07-05.
9. ↑  Rowland، Eric S. (2008)، "A Natural Prime-Generating Recurrence"، *Journal of Integer Sequences*، ج. 11، ص. 08.2.8، arXiv:0710.3217، Bibcode:2008JIntS..11...28R، مؤرشف من الأصل في 2022-12-08.

قراءة متعمقة
------------

* Regimbal، Stephen (1975)، "An explicit Formula for the k-th prime number"، *Mathematics Magazine*، Mathematical Association of America، ج. 48، ص. 230–232، DOI:10.2307/2690354، JSTOR:2690354 .
* فينوجوبالان. *صيغة للأعداد الأولية، التوأم، عدد الأعداد الأولية وعدد الأعداد المزدوجة*. وقائع الأكاديمية الهندية للعلوم - العلوم الرياضية، المجلد. 92، رقم 1، سبتمبر 1983، ص 49-52 Errata

روابط خارجية
------------

* Eric W. Weisstein, Prime Formulas (Prime-Generating Polynomial) at MathWorld.

| * ع
* ن
* ت
أصناف الأعداد الأولية |
| --- |
| من حيث الصيغة | 
* فيرما (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

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

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