Factorielle
Période historique : 1808 (Kramp)
Le produit de tous les entiers positifs de 1 jusqu'à n : n! = 1 × 2 × ... × n, avec la convention 0! = 1.
Contenu & Formulation mathématique
Genèse & Portée historique
Fonction arithmétique associant à tout entier n ≥ 0 le produit des entiers naturels non nuls inférieurs ou égaux à n. Elle croît plus vite que n'importe quelle exponentielle et s'étend aux nombres réels et complexes via la fonction Gamma d'Euler.
La notation avec point d'exclamation n! fut introduite en 1808 par le mathématicien alsacien Christian Kramp, qui cherchait une notation compacte pour alléger les typographies d'imprimerie encombrées.
Filiations & Relations conceptuelles (3)
Permutation
Le nombre total de permutations d'un ensemble de taille n est exactement n!.
Combinaison
La formule de la combinaison (n k) fait intervenir n!, k! et (n-k)!.
Formule de Stirling
Fournit l'estimation asymptotique de n! pour les grands entiers.
Objet de collection MathTCG
Factorielle
Produit de tous les entiers consécutifs de 1 à n, prolongé par 0! = 1 pour respecter la cohérence combinatoire.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.