# عاملي

في الرياضيات، المضروب أو العاملي لعدد صحيح طبيعي n، والذي يكتب $n!$، والذي يقرأ "عاملي n"، هو جداء كل الأعداد الطبيعية (الأعداد الصحيحة الموجبة قطعاً) المساوية أو الأصغر من n، ما عدا الصفر.
فيما يلي مثال 5 عاملي:
    $5!=5\times 4\times 3\times 2\times 1=120\$
و تعريف العاملي على شكل جداء يترتب عنه كون $0!=1$ ذلك أن 0! جداء مفرغ، وبمعنى آخر مختصر أي عدد مضروب في صفر يساوي صفر في عملية الضرب.
تظهر دالة العاملي في مجالات مختلفة من الرياضيات، وخصوصا في التوافقيات والجبر والتحليل الرياضي. أبسط مثال على ذلك، وجود !n طريقة مختلفة لترتيب عناصر مجموعة عددهم مساو ل n (أي عدد التبديلات لعناصر هذه المجموعة). عرفت هذه الحقيقة على الأقل منذ القرن الثاني عشر الميلادي، من طرف علماء الرياضيات الهنديين. ويظهر العاملي في عدة معادلات رياضية، مثل صيغة الثنائي الحد لنيوتن وصيغة تايلور. إستُعمل رمز علامة التعجب (!) للتعبير عن دالة عاملي لأول مرة من طرف عالم الرياضيات كريستيان كرامب وكان ذلك عام 1808.
يمكن لتعريف دالة عاملي أن يمدد إلى أعداد غير صحيحة بدون المساس بخصائص هذه الدالة. هذه العملية تستلزم تقنيات متطورة في الرياضيات وخصوصا تلك المستقاة من التحليل الرياضي.

## تعريف

تعرف دالة عاملي بالصيغة التالية:
    $n!=\prod _{i=1}^{n}i=1\times 2\times 3\times \cdots \times (n-1)\times n$
أو عن طريق الاستدعاء الذاتي كما يلي
    $n!={\begin{cases}1&{\text{if }}n=0,\\(n-1)!\times n&{\text{if }}n>0.\end{cases}}$
وكلا التعريفين يضم المتساوية التالية:
    $0!=1,\$

## تطبيقات

يمكننا التعبير عن التوفيقة بدلالة العاملي:
    ${\binom {n}{k}}={\frac {n^{\underline {k}}}{k!}}={\frac {n!}{(n-k)!k!}}={\frac {n^{\underline {n-k}}}{(n-k)!}}={\binom {n}{n-k}}.$

## نظرية الأعداد

لدالة عاملي عدة تطبيقات في مجال نظرية الأعداد. وبشكل خاص، عاملي n قابل للقسمة على جميع الأعداد الأولية الأصغر من أو تساوي n. ونتيجة لذلك، فإن n> 5، عدد مؤلف، إذا وفقط إذا توفر ما يلي:
    $(n-1)!\ \equiv \ 0{\pmod {n}}$
وهنالك نتيجة أقوى من ذلك تتمثل في مبرهنة ويلسون. تنص هاته المبرهنة على ما يلي:
    $(p-1)!\ \equiv \ -1{\pmod {p}}$
إذا وفقط إذا كان p أوليا.

## سرعة النمو وتقريبات عندما يصير n كبيرا

عندما يصير n كبيرا، تصير دالة عاملي أكبر من أي متعددة حدود ومن أي دالة أسية ل n.(ولكنها تبقى أبطأ من دالة الأس المزدوج).
أغلب التقريبات لعاملي n تعتمد أساسا على تقريب لوغارتمها الطبيعي كما تبين الصيغة:
$\log n!=\sum _{x=1}^{n}\log x.$.
تبيان الدالة (!f(n) = log(n مبين في يسار هاته الفقرة، حيث يبدو أنها خطية مع n (أي أنها متناسبة معه) إلا أن هذا الحدس خاطئ.
تعطينا صيغة ستيرلينغ مقاربا ل n! عندما تكون n كبيرة:
    $\lim _{n\to +\infty }{\frac {n!}{{\sqrt {2\pi n}}(n/e)^{n}}}=1.$

## الحساب والبرمجة

يمكن حساب عاملي عدد ما باستعمال خوارزميات الاستقراء. فلنكتب باستعمال لغة Scheme، القريبة من لغة Lisp، برنامجا استقرائيا يعطينا عاملي عدد صحيح:
و هذا البرنامج السابق غير مفيد في حالة الاعداد الكبيرة.
و بنفس الطريقة في Caml :
و بطريقة أخرى:
و في لغة سي:
و بطريقة أخرى:
و في لغة بايثون:
وبطريقة ثانية:
وبطريقة ثالثة:
و في لغة جافاسكربت:
وبطريقة أخرى:
هذه الدوال (البرامج) لا تمكننا من حساب عملي أعداد أكبر من 12 إذا كانت الاعداد الصحيحة محدودة بـ 32 بت، لأن النتيجة تتعدى المساحة المتوفرة.

## تمديد دالة عاملي للأعداد غير الصحيحة
### دالتا غاما و π

لكل عدد صحيح n، لدينا $\Gamma (n+1)=n!$ حيث Γ هي دالة أويلر(دالة غاما) وضعها ليونهارد أويلر. وتمكننا هاته الدالة من تعميم العاملي على مجموعة الأعداد المركّبة باستثناء الأعداد السالبة قطعا. وفي النهاية نجد:
    $\Gamma (z+1)=\int _{0}^{\infty }t^{z}e^{-t}\,\mathrm {d} t=z!\ \forall z>-1$

## دوال وجداءات تشبه دالة عاملي
### عاملي ثنائي

يطلق على جداء جميع الأعداد الصحيحة من 1 إلى n والتي لها نفس الزوجية (سواء كان فردي أو زوجي) تماما مثل n، اسم العاملي الثنائي (بالإنجليزية: Double factorial)‏ للعدد n ويُشار إليه بـ n!!
يمكن أن نعرفها بواسطة متسلسلة الجداء:
    $n!!=\prod _{k=0}^{\left\lceil {\frac {n}{2}}\right\rceil -1}(n-2k)=n(n-2)(n-4)\cdots$
حيث $\left\lceil n\right\rceil$ هو سقف العدد n.
على سبيل المثال، 9!! = 9 × 7 × 5 × 3 × 1 = 945.

### عاملي متعدد

من الترميزات الشائعة ذات الصلة هي استخدام علامات تعجب متعددة للإشارة إلى عاملي متعدد (بالإنجليزية: Multifactorial)‏، أنواعها: عاملي ثنائي (n!!)، عاملي ثلاثي (n!!!)... وهكذا.
يعرف العاملي المتعدد بـ:
    $n!^{(k)}={\begin{cases}n&{\text{if }}0<n\leq k,\\n\left({(n-k)!}^{(k)}\right)&{\text{if }}n>k.\end{cases}}$

### عاملي الأعداد الأولية

عاملي الأعداد الأولية (بالإنجليزية: Primorial)‏ للعدد n هو جداء جميع الأعداد الأولية أقل من أو يساوي n، يرمز إليها بـ n#.
نُعرّفه كمتسلسلة الجداء:
    $n\#=\prod _{p\leq n}p,$
حيث p هي الأعداد الأولية.

## انظر أيضا

* دالة غاما
* الأعداد المثلثية
* تقريب ستيرلينغ
* عاملي أعداد أولية

## مراجع

* ↑ مذكور في: ISO 80000-2:2019 Quantities and units — Part 2: Mathematics. قسم أو آية أو فقرة أو بند: 2-11.1. الناشر: المنظمة الدولية للمعايير. تاريخ النشر: أغسطس 2019.
* ↑ "معلومات عن عاملي على موقع britannica.com". britannica.com. مؤرشف من الأصل في 2016-05-06.
* ↑ "معلومات عن عاملي على موقع zthiztegia.elhuyar.eus". zthiztegia.elhuyar.eus. مؤرشف من الأصل في 2019-12-10.
* ↑ "معلومات عن عاملي على موقع oeis.org". oeis.org. مؤرشف من الأصل في 2019-05-07.

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

* بوابة حسابيات
* بوابة رياضيات