Factorielle

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, la factorielle d'un entier naturel n, notée n!, ce qui se lit soit « factorielle de n » soit « factorielle n », est le produit des nombres entiers strictement positifs inférieurs ou égaux à n.

La factorielle joue un rôle important en algèbre combinatoire parce qu'il y a n! façons différentes de permuter n objets. Elle apparaît dans de nombreuses formules en mathématiques, comme par exemple la formule du binôme et la formule de Taylor.

Sommaire

[modifier] Définition

Soit n un entier naturel. Sa factorielle est formellement définie par :

n! = \prod_{i=1}^n i = 1\times 2\times 3\times \cdots \times (n-1) \times n

Par exemple :

  • 1! = 1
  • 2! = 1 × 2 = 2
  • 3! = 1 × 2 × 3 = 6
  • 10! = 1 × 2 × 3 × 4 × 5 × 6 × 7 × 8 × 9 × 10 = 3 628 800

Par convention :

0! = 1

La définition de la factorielle sous forme de produit rend naturelle cette convention puisque 0! est un produit vide, c'est-à-dire réduit à l'élément neutre de la multiplication. Cette convention est pratique pour deux points :

  • Elle permet une définition récursive de la factorielle : (n+1)! = n! × (n+1) pour tout n.
  • Elle permet à deux nombreux identifés en combinatoire d'être valides pour des tailles nulles. En particulier, le nombre d'arrangements ou de permutations de l'ensemble vide est égal à 1.

La formule de Stirling donne un équivalent de n! quand n est grand :

\lim_{n\to+\infty} \frac{n!}{\sqrt{2\pi n} (n/e)^n}=1

d'où n\,! \sim \sqrt{2\pi n}\, {\left(\frac n e\right)}^n

[modifier] Généralisation

Icône de détail Article détaillé : Fonction Gamma d'Euler.
La fonction gamma, tracée ici le long de l'axe des réels, prolonge la factorielle sur les valeurs qui ne sont pas entières
La fonction gamma, tracée ici le long de l'axe des réels, prolonge la factorielle sur les valeurs qui ne sont pas entières

La fonction factorielle peut être prolongée à l'ensemble des nombres complexes (à l'exception des nombres entiers négatifs ou nuls) grâce à la fonction gamma d'Euler (notée Γ). En effet, pour n entier positif, on a :

Γ(n + 1) = n!

Par ailleurs, les deux fonctions satisfont les relations de récurrence suivantes :

n!=n \times (n-1)!
Γ(n + 1) = nΓ(n)

La fonction gamma agit donc comme un prolongement de la factorielle :

z! = \Gamma(z+1)=\int_{0}^{\infty} t^z e^{-t}\, \mathrm{d}t

Cette fonction n'est cependant pas définie pour les nombres entiers négatifs ou nuls (0, -1, -2, etc.).

Cette vision de la fonction gamma comme prolongation de la factorielle est justifiée par les raisons suivantes :

  • Les deux fonctions partagent une même définition récurrente.
  • La fonction gamma est généralement utilisée dans un contexte similaire (même si plus général) à la factorielle.
  • La fonction gamma est la seule fonction qui satisfait cette définition de récurrence sur les nombres complexes, qui est holomorphe et dont le logarithme de la restriction aux réels positifs est convexe (théorème de Bohr-Mollerup)

[modifier] Applications

  • En combinatoire, il existe n! façons différentes d'arranger n objets distincts (c’est-à-dire n! permutations). Et le nombre de façons de choisir k éléments parmi un ensemble de n est donné par le coefficient binomial :
{n\choose k}={n!\over k!(n-k)!}.
  • En permutation, si r éléments peuvent être choisis et arrangés de r façons différentes parmi un total de n objets (r < n), alors le nombre total de permutations distinctes est donné par :
nPr = \frac{n!}{(n-r)!}
  • Les factorielles apparaissent également en analyse. Par exemple, le théorème de Taylor, qui exprime la valeur en x d'une fonction f sous forme de série entière, fait intervenir la factorielle n! pour le terme correspondant à la ne dérivée de f en x.
V_n={\pi^{n/2}R^n\over (n/2)!}.

[modifier] Théorie des nombres

Les factorielles ont de nombreuses applications en théorie des nombres. Les nombres factoriels sont des nombres hautement composés. En particulier, n! est divisible par tous les nombres premiers qui lui sont égaux ou inférieurs. Par conséquent, tout nombre n > 4 est un nombre composé si et seulement si :

(n-1)!\ \equiv\ 0 \ ({\rm mod}\ n).

Un résultat plus fort est le théorème de Wilson. n est premier si et seulement si :

(n-1)!\ \equiv\ -1 \ ({\rm mod}\ n)

Adrien-Marie Legendre a montré que la multiplicité du nombre premier p dans la décomposition en produit de facteurs premiers de n! peut être exprimé par :

\sum_{i=1}^{\infty} \lfloor n/p^i \rfloor,

(qui est définie, car la fonction partie entière élimine tous les pi > n).

La seule factorielle qui soit également un nombre premier est 2, mais il existe des nombres premiers de la forme n! \pm 1, appelés nombres premiers factoriels.

[modifier] Variantes

[modifier] Primorielle

La fonction primorielle est similaire à la fonction factorielle, mais ne prend en compte que le produit des nombres premiers.

[modifier] Multifactorielles

Afin d'alléger l'écriture, une notation courante est d'utiliser plusieurs points d'exclamation pour noter une fonction multifactorielle, le produit d'un facteur sur deux (n!!), sur trois (n!!!) ou plus.

n!!, la double factorielle de n, est définie de façon récurrente par :


  n!!=
  \left\{
   \begin{matrix}
    1,\qquad\quad\ &&\mbox{si }n=0\mbox{ ou }n=1;
   \\
    n(n-2)!!&&\mbox{si }n\ge2.\qquad\qquad
   \end{matrix}
  \right.

Par exemple :

  • 3!! = 3 \times 1 = 3
  • 4!! = 4 \times 2 = 8
  • 5!! = 5 \times 3 \times 1 = 15
  • 6!! = 6 \times 4 \times 2 = 48
  • n!! = n \times (n-2) \times (n-4) \times \cdots

Certaines identités découlent de la définition :

n!=n!!(n-1)!! \,
(2n)!!=2^nn! \,
(2n+1)!!={(2n+1)!\over(2n)!!}={(2n+1)!\over2^nn!}
\Gamma\left(n+{1\over2}\right)=\sqrt\pi{(2n-1)!!\over2^n}

Il faut faire attention de ne pas interpréter n!! comme la factorielle de n!, qui serait écrite (n!)! et est un nombre largement plus grand. Certains mathématiciens ont suggéré la notation alternative n!2 pour la double factorielle et similairement n!n pour les autres multifactorielles, mais cet usage ne s'est pas répandu.

La double factorielle est la variante la plus commune, mais il est possible de définir de façon similaire la triple factorielle, etc. De façon générale, la ke factorielle, notée n!(k), est définie de façon récurrente par :


  n!^{(k)}=
  \left\{
   \begin{matrix}
    1,\qquad\qquad\ &&\mbox{si }0\le n<k;
   \\
    n(n-k)!^{(k)},&&\mbox{si }n\ge k.\quad\ \ \,
   \end{matrix}
  \right.

[modifier] Hyperfactorielle

L'hyperfactorielle de n, notée H(n), est définie par :


  H(n)
  =\prod_{k=1}^n k^k
  =1^1\cdot2^2\cdot3^3\cdots(n-1)^{n-1}\cdot n^n.

Pour n = 1, 2, 3, 4,... les valeurs de H(n) sont 1, 4, 108, 27 648,... (la séquence A002109 de l'OEIS).

La fonction hyperfactorielle est similaire à la fonction factorielle, mais produit de plus grands nombres. Sa croissance est en revanche comparable.

[modifier] Superfactorielle

Neil Sloane et Simon Plouffe ont défini la superfactorielle en 1995 comme le produit des n premières factorielles :


  \mathrm{sf}(n)
  =\prod_{k=1}^n k! =\prod_{k=1}^n k^{n-k+1}
  =1^n\cdot2^{n-1}\cdot3^{n-2}\cdots(n-1)^2\cdot n^1.

Par exemple, la superfactorielle de 4 est :

 \mathrm{sf}(4)=1! \times 2! \times 3! \times 4!=288 \,

La suite des superfactorielles débute (depuis n = 0) par :

1, 1, 2, 12, 288, 34560, 24883200, ... voir (la séquence A000178 de l'OEIS)

L'idée fut étendue en 2000 par Henry Bottomley à la superduperfactorielle, produit des n premières superfactorielles, débutant (depuis n = 0) par :

1, 1, 2, 24, 6912, 238878720, 5944066965504000, ... voir (la séquence A055462 de l'OEIS)

puis, par récurrence, à n'importe quelle factorielle de niveau supérieur, où la factorielle de niveau m de n est le produit des n premières factorielles de niveau m-1, c’est-à-dire, en notant f(n,m) la factorielle de n de niveau m :

\mathrm{f}(n,m) = \mathrm{f}(n-1,m)\mathrm{f}(n,m-1)
  =\prod_{k=1}^n k^{n-k+m-1 \choose n-k}

f(n,0) = n pour n > 0 et f(0,m) = 1.

[modifier] Superfactorielle (définition alternative)

Clifford Pickover, dans son livre Keys to Infinity (1995), définit la superfactorielle de n, notée n$ ($ étant un signe factoriel ! portant un S superposé), comme :

n\$\equiv \begin{matrix} \underbrace{ n!^{{n!}^{{\cdot}^{{\cdot}^{{\cdot}^{n!}}}}}} \\ n! \end{matrix},

ou, en utilisant la notation de Knuth :

n\$=(n!)\uparrow\uparrow(n!) \,.

Les premiers éléments de la suite des superfactorielles sont :

1\$=1
2\$=2^2=4
3\$=6\uparrow\uparrow6=6^{6^{6^{6^{6^6}}}} \!=8.02\times 10^{6050}

[modifier] Sous-factorielle

La fonction sous-factorielle, notée !n, sert à calculer le nombre de permutations possible de n objets distincts de manière à ce qu'aucun objet ne se trouve à sa place.

Par exemple, il existe !n façon de glisser n lettres dans n enveloppes affranchies et adressées de manière à ce qu'aucune des lettres ne soit dans la bonne enveloppe.

Il existe différentes façons de calculer la sous-factorielle

!n = n! \sum_{k=0}^n \frac {(-1)^k}{k!}


!n = \frac{\Gamma (n+1, -1)}{e}

Γ est la fonction gamma incomplète et e la constante mathématique.

!n = \left [ \frac {n!}{e} \right ]

Où [x] désigne l'entier le plus proche de x

!n = !(n-1)\;n + (-1)^n
!n = (n-1)\;(!(n-1)+!(n-2))
!n = (n-1)\; a_{n-2} avec \;a_0 = a_1 = 1 et a_n = n\;a_{n-1} + (n-1)\;a_{n-2} la séquence A000255 de l'OEIS

Les premières valeurs de cette fonction sont :

!1 = 0
!2 = 1
!3 = 2
!4 = 9
!5 = 44
!6 = 265
!7 = 1854
!8 = 14833
!9 = 133496
!10 = 1334961
!11 = 14684570
!12 = 176214841
!13 = 2290792932

[modifier] Voir aussi

[modifier] Liens internes

[modifier] Liens externes