**عدد مؤلف للغاية** (بالإنجليزية: Highly composite number)‏ ، والذي يسمى أحيانًا عدد عكس أولي، هو عدد صحيح موجب له قواسم أكثر من أي عدد صحيح موجب أصغر منه. هذا المصطلح صاغه رامانوجان سنة 1915. ومع ذلك، اقترح جان بيير كاهانا أن المفهوم ربما كان معروفا ل أفلاطون ، الذي حدد 5040 باعتباره العدد المثالي للمواطنين في المدينة حيث أن 5040 له قواسم أكثر من أي عدد أصغر منه.

يمكن أن يكون الاسم مضللًا إلى حد ما، حيث إن عددين مؤلفين للغاية مثل (1و 2) ليسا في الواقع عددين مؤلفين.

أمثلة
-----

يوضح الجدول أدناه بعض الأعداد المؤلفة للغاية. و يرمز {\displaystyle d(n)} إلي عدد قواسم العدد *n* .

لائحة الأعداد المؤلفة للغاية| الترتيب | العدد | العوامل الأولية | عدد العوامل الأولية | (d(n |
| --- | --- | --- | --- | --- |
| 1 | 1 |  | 0 | 1 |
| 2 | 2 | {\displaystyle 2} | 1 | 2 |
| 3 | 4 | {\displaystyle 2^{2}} | 2 | 3 |
| 4 | 6 | {\displaystyle 3\cdot 2} | 2 | 4 |
| 5 | 12 | {\displaystyle 2^{2}\cdot 3} | 3 | 6 |
| 6 | 24 | {\displaystyle 2^{3}\cdot 3} | 4 | 8 |
| 7 | 36 | {\displaystyle 2^{2}\cdot 3^{2}} | 4 | 9 |
| 8 | 48 | {\displaystyle 2^{4}\cdot 3} | 5 | 10 |
| 9 | 60 | {\displaystyle 2^{2}\cdot 3\cdot 5} | 4 | 12 |
| 10 | 120 | {\displaystyle 2^{3}\cdot 3\cdot 5} | 5 | 16 |
| 11 | 180 | {\displaystyle 2^{2}\cdot 3^{2}\cdot 5} | 5 | 18 |
| 12 | 240 | {\displaystyle 2^{4}\cdot 3\cdot 5} | 6 | 20 |
| 13 | 360 | {\displaystyle 2^{3}\cdot 3^{2}\cdot 5} | 6 | 24 |
| 14 | 720 | {\displaystyle 2^{4}\cdot 3^{2}\cdot 5} | 7 | 30 |
| 15 | 840 | {\displaystyle 2^{3}\cdot 3\cdot 5\cdot 7} | 6 | 32 |
| 16 | 1260 | {\displaystyle 2^{2}\cdot 3^{2}\cdot 5\cdot 7} | 6 | 36 |
| 17 | 1680 | {\displaystyle 2^{4}\cdot 3\cdot 5\cdot 7} | 7 | 40 |

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

بشكل تقريبي، لكي يكون عدد ما مؤلفا للغاية، يجب أن يكون له عوامل أولية صغيرة قدر الإمكان. وفقًا للمبرهنة الأساسية في الحساب ، فإن كل عدد صحيح موجب n له عوامل أولية فريدة :

> {\displaystyle n=p\_{1}^{c\_{1}}\times p\_{2}^{c\_{2}}\times \cdots \times p\_{k}^{c\_{k}}\qquad (1)}
> 
> 

بحيث {\displaystyle p\_{1}<p\_{2}<\cdots <p\_{k}} هم أعداد أولية، والقوى {\displaystyle c\_{i}} هم أعداد صحيحة موجبة.

عدد قواسم الأعداد بين 1 و 1000. الأعداد المؤلفة للغاية مكتوبة بخط غليظ.
أي قاسم ل n يجب أن يكون على الشكل الآتي :

> {\displaystyle p\_{1}^{d\_{1}}\times p\_{2}^{d\_{2}}\times \cdots \times p\_{k}^{d\_{k}},0\leq d\_{i}\leq c\_{i},0<i\leq k}
> 
> 

إذاً عدد قواسم n هو :

> {\displaystyle d(n)=(c\_{1}+1)\times (c\_{2}+1)\times \cdots \times (c\_{k}+1).\qquad (2)}
> 
> 

و من هنا يمكننا أن نستنتج أنه إذا كان n عددا مؤلفا للغاية :

* يجب أن تكون عوامله الأولية متسلسلة بالترتيب (2 ، 3 ، 5 ، ...) ؛ إذا لم يكن الأمر كذلك، فيمكننا استبدال أحد الأعداد الأولية بعدد أولي أصغر منه، وبالتالي الحصول على رقم أصغر من n بنفس عدد القواسم (على سبيل المثال، يمكن استبدال{\displaystyle 10=2\cdot 5} بـ {\displaystyle 6=2\cdot 3} ؛ كلاهما له أربعة قواسم) .
* يجب أن يكون تسلسل القوى غير متزايد، أي أن :{\displaystyle c\_{1}\geq c\_{2}\geq \cdots \geq c\_{k}} ،إذا لم يكن الأمر كذلك، من خلال تبادل اثنين من القوى، سنحصل مرة أخرى على عدد أصغر من n بنفس عدد القواسم (على سبيل المثال {\displaystyle 18=21\cdot 32} يمكن استبدالها بـ{\displaystyle 12=22\cdot 31} ؛ كلاهما له ستة قواسم).

يمكننا إستنتاج قاعدة بسيطة من خلال ملاحظة قائمة الأعداد المؤلفة للغاية، وهي أنه إذا كان n عددا مؤلفاً للغاية، فهذا يعني أن آخر عامل أولي ل n له أس يساوي واحد. ولكن هذه القاعدة لها استثناء وحيد وهو في الحالات التالية :{\displaystyle n=1}, {\displaystyle n=4} و {\displaystyle n=36}.

لاحظ أنه على الرغم من أن الشروط الموصوفة أعلاه ضرورية، إلا أنها غير كافية لكي يكون العدد مؤلفاً للغاية.  على سبيل المثال، {\displaystyle 2^{5}\cdot 3=96} يستوفي الشروط المذكورة أعلاه ويحتوي على 12 قاسم ولكنه ليس مؤلفاً للغاية، نظرًا لوجود عدد أصغر، وهو 60 و يحتوي على نفس عدد القواسم.

النمو والكثافة
--------------

إذا كانت {\displaystyle Q(x)} تشير إلى عدد الأعداد المؤلفة للغاية الأقل من أو تساوي x ، فإن هناك ثابتين a و b ، كلاهما أكبر من 1 ، بحيث :

> {\displaystyle (\log x)^{a}\leq Q(x)\leq (\log x)^{b}\,.}
> 
> 

تم إثبات الجزء الأول من هذه المتفاوتة بواسطة بول إيردس في عام 1944 والجزء الثاني بواسطة جان لويس نيكولاس في عام 1988. لدينا:

> {\displaystyle 1.13862<\liminf {\frac {\log Q(x)}{\log \log x}}\leq 1.44}
> 
> 

بالإضافة إلى : 

> {\displaystyle \limsup {\frac {\log Q(x)}{\log \log x}}\leq 1.71\ .}
> 
>

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

* مؤشر أويلر
* عدد مؤلف
* دالة القواسم

مراجع
-----

1. ↑  Srinivasa، Ramanujan (1915). "Highly Composite Numbers" (PDF). مؤرشف من الأصل (PDF) في 2021-03-09.
2. ↑  "The list of highly composite numbers". *OEIS*. مؤرشف من الأصل في 2021-05-08.
3. ↑  "5040 and other Anti-Prime Numbers - Numberphile". *Youtube*. Brady Haran. مؤرشف من الأصل في 2021-06-17.
4. ↑  Sándor et al. (2006) p.45

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