Factorielle


Factorielle

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 notation n! a été introduite en 1808 par Christian Kramp.

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

Définition

n n!
0 1
1 1
2 2
3 6
4 24
5 120
6 720
7 5 040
8 40 320
9 362 880
10 3 628 800
11 39 916 800
12 479 001 600
13 6 227 020 800

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

Le tableau de droite donne les premières factorielles ; par exemple, on a

  • 1! = 1
  • 2! = 1 × 2 = 2
  • 3! = 1 × 2 × 3 = 6
  • 4! = 1 × 2 × 3 × 4 = 24
  • 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 plusieurs autres raisons :

  • Elle permet une définition récursive de la factorielle : (n+1)! = n! × (n+1) pour tout n.
  • Elle permet à des formules de dénombrement obtenues en analyse combinatoire d'être encore valides pour des tailles nulles. En particulier, le nombre d'arrangements ou de permutations de l'ensemble vide est égal à 1.
  • La fonction Gamma (définie plus bas) permet alors d'écrire Γ(n + 1) = n! pour tout n.

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

La somme des inverses des factorielles donne un nombre très connu des mathématiciens, la constante e.

\sum_{n=0}^{\infty} \frac{1}{n!} = 2,7182818... = e

Généralisation

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 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)!
\Gamma(n+1)=n \Gamma(n)~

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

z! = \Gamma(z+1)\quad = \quad \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 satisfasse 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).

Exemples d'applications

{n\choose k}={n!\over k!(n-k)!}.
  • 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)!}.

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.

Variantes

Article détaillé : Analogues de la factorielle.

De nombreux auteurs ont défini des fonctions analogues, croissant plus rapidement encore, ainsi que des produits restreints à certains entiers seulement. On rencontre ainsi dans la littérature[1] les fonctions primorielles, multifactorielles, superfactorielles, hyperfactorielles, etc. Mais il ne semble pas que, contrairement à la factorielle, omniprésente dans la plupart des branches des mathématiques, ces autres fonctions aient eu beaucoup d'applications autres que récréatives, sauf les primorielles ; quant à leur utilisation pour désigner de très grands nombres, les notations de Knuth et celles de Conway s'avèrent à la fois plus maniables et beaucoup plus efficaces.

Algorithme

Le calcul de la factorielle peut se traduire par l'algorithme récursif suivant, écrit en pseudo-code :

  Fonction factorielle (n)
     Si n = 0
        Renvoyer 1
     Sinon
        Renvoyer n * factorielle(n - 1)
     Fin si
  Fin fonction

Notons que l'algorithme ci-dessus ne prend pas en compte le fait que la factorielle croît de manière super-exponentielle et dépasse rapidement la capacité de stockage des entiers informatiques, souvent limités à 32 ou 64 bits. Cela ne pose par contre pas de problème dans les langages qui possèdent un type entier en multiprécision.

Notes et références

  1. En particulier dans l'OEIS

Annexes

Articles connexes

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Factorielle de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • factorielle — ● factorielle nom féminin Factorielle n, entier naturel noté n ! et défini par : 0 ! = 1 et pour tout n ;≥ 1 n ! = (n −1) !× n, d où n ! = 1 ;× 2 × 3 × … ×(n −1) × n. ● factorielle (expressions) nom fém …   Encyclopédie Universelle

  • Factorielle n — ● Factorielle n entier naturel noté n ! et défini par : 0 ! = 1 et pour tout n ;≥ 1 n ! = (n −1) !× n, d où n ! = 1 ;× 2 × 3 × … ×(n −1) × n …   Encyclopédie Universelle

  • factorielle — faktorialas statusas T sritis fizika atitikmenys: angl. factorial vok. Faktorielle, f; Fakultät, f rus. факториал, m pranc. factorielle, f …   Fizikos terminų žodynas

  • FACTORIELLE (ANALYSE) — L’analyse factorielle est une méthode mathématique expérimentale, spécialement employée en psychologie, qui a pour objet l’étude des dimensions, ou facteurs , d’un domaine empirique donné. Soit, par exemple, les mesures de longueur, de surface et …   Encyclopédie Universelle

  • Analogues de la factorielle — En mathématiques, de nombreuses fonctions analogues à la fonction factorielle ont été définies ; cette page recense les variantes les plus fréquemment rencontrées. Sommaire 1 Primorielle 2 Multifactorielles 3 Hyperfactorielle …   Wikipédia en Français

  • Analyse Factorielle Des Correspondances — Pour les articles homonymes, voir AFC. L analyse factorielle des correspondances, en abrégée AFC, est une méthode statistique d analyse des données mise au point par Jean Paul Benzecri à l Université Pierre et Marie Curie à Paris (ISUP et… …   Wikipédia en Français

  • Analyse factorielle des correspondances — Pour les articles homonymes, voir AFC. L analyse factorielle des correspondances, en abrégée AFC, est une méthode statistique d analyse des données mise au point par Jean Paul Benzecri à l Université Pierre et Marie Curie à Paris (ISUP et… …   Wikipédia en Français

  • Analyse factorielle discriminante — Analyse discriminante L’analyse factorielle discriminante ou analyse discriminante est une technique statistique qui vise à décrire, expliquer et prédire l’appartenance à des groupes prédéfinis (classes, modalités de la variable à prédire, ...)… …   Wikipédia en Français

  • Analyse factorielle — L analyse factorielle est une méthode de la famille de la statistique multivariée, utilisée pour décrire la variabilité entre des variables observées, au moyen de variables latentes (non observées). Pour réduire le nombre de variables, la méthode …   Wikipédia en Français

  • Carte factorielle — Cartographique génétique La cartographie génétique est la construction d’une carte soit localisée autour d’un gène, soit à base large portant sur le génome entier. Plus généralement, c’est la détermination de la position d’un locus (gène ou… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.