Accueil🇫🇷Chercher

Factorielle

En mathématiques, la factorielle d'un entier naturel n est le produit des nombres entiers strictement positifs inférieurs ou égaux à n.

Cette opération est notée avec un point d'exclamation, n!, ce qui se lit soit « factorielle de n », soit « factorielle n », soit[1] « n factorielle ». Cette notation a été introduite en 1808 par Christian Kramp.

Par exemple, la factorielle 10 exprime le nombre de combinaisons possibles de placement des 10 convives autour d'une table (on dit la permutation des convives). Le premier convive s'installe sur l'une des 10 places à sa disposition. Chacun de ses 10 placements ouvre 9 nouvelles possibilités pour le deuxième convive, celles-ci 8 pour le troisième, et ainsi de suite.

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 la formule du binôme et la formule de Taylor.

Définition

n n!
01
11
22
36
424
5120
6720
75 040
840 320
9362 880
103 628 800
1139 916 800
12479 001 600
136 227 020 800
1487 178 291 200
151 307 674 368 000
1620 922 789 888 000
17355 687 428 096 000
186 402 373 705 728 000
19121 645 100 408 832 000
202 432 902 008 176 640 000
251,551 121 004 333 098 598 4 × 1025
Notes :
  • Voir suite A000142 de l'OEIS pour davantage d'exemples.
  • La partie décimale de la valeur de 25!, indiquée en notation scientifique, est exacte.

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

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

Valeur de 0!

Cette définition donne aussi :

0! = 1

puisque par convention, le produit vide est égal à l'élément neutre de la multiplication. Cette convention est pratique ici car 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.

Il existe aussi une définition par récurrence (équivalente) de la factorielle :

  1. 0! = 1.
  2. Pour tout entier n > 0, n! = (n – 1)! × n.

Enfin, la fonction Gamma, qui prolonge analytiquement la factorielle, donne un résultat cohérent :

Propriétés

Généralisation

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 admet pour prolongement, à l'ensemble des nombres complexes autres que les entiers strictement négatifs, l'application z ↦ Γ(z + 1) où Γ désigne la fonction gamma d'Euler. En effet, pour tout entier naturel n, on a :

Par ailleurs, la fonction z ↦ Γ(z + 1) vérifie la même relation de récurrence que la factorielle :

Cette vision de la fonction gamma (translatée) comme prolongement privilégié 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).

Il existe cependant d'autres prolongements ayant de « bonnes propriétés », comme la fonction gamma d'Hadamard, qui est entière[3].

Approximation

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

d'où

.

où le nombre e désigne la base de l'exponentielle.

On en déduit une approximation du logarithme de n! :

.

Exemples d'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 :

Les factorielles apparaissent également en analyse. Par exemple, le théorème de Taylor, qui exprime la valeur en x d'une fonction ƒ sous forme de série entière, fait intervenir la factorielle n! pour le terme correspondant à la ne dérivée de ƒ en x.

Le volume d'une hypersphère en dimension n paire peut être exprimé par :

Les factorielles sont utilisées de façon intensive en théorie des probabilités.

Les factorielles sont souvent utilisées comme exemple — avec la suite de Fibonacci — pour l'apprentissage de la récursivité en informatique du fait de leur définition récurrente simple.

Théorie des nombres

Les factorielles ont de nombreuses applications en théorie des nombres.

Par exemple, le théorème de Wilson montre qu'un entier n > 1 est premier si et seulement si (n – 1)! ≡ –1 (mod n).

En particulier, si n est premier alors il ne divise pas (n – 1)!, ce qui peut d'ailleurs se déduire directement du lemme d'Euclide ; la réciproque est presque vraie : si n est un nombre composé différent de 4, alors (n – 1)! ≡ 0 (mod n).

Une preuve de ce dernier énoncé utilise qu'un produit P de k entiers consécutifs est toujours divisible par k (puisque l'un des k facteurs l'est). En fait, P est même divisible par k[4]! on peut le démontrer en exprimant P/k! comme un coefficient binomial, ou bien[5] en comparant, pour tout nombre premier p, la multiplicité de p dans les décompositions en facteurs premiers de P et de k!, grâce à la formule de Legendre.

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

Variantes

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[6] 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: entier): entier
Début
   Si n > 0
     Retourner n * factorielle(n - 1)
   Sinon
     Retourner 1
   Fin si
Fin

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Factorial » (voir la liste des auteurs).
  1. Par exemple dans Michel Divay, La programmation objet en Java : Cours et exercices corrigés, Dunod, (lire en ligne), p. 24.
  2. Jean Dieudonné, Pour l'honneur de l'esprit humain : les mathématiques aujourd'hui, Hachette, , 316 p. (ISBN 978-2-01-014000-6, OCLC 20000703), p. 102.
  3. (en) H. M. Srivastava et Junesang Choi, Zeta and q-Zeta Functions and Associated Series and Integrals, Elsevier, (lire en ligne), p. 124.
  4. Gauss, Recherches arithmétiques, § 127.
  5. « Are these the same proof? », sur Gowers's Weblog, .
  6. En particulier dans l'OEIS.

Voir aussi

Articles connexes

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.