Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Double factorial
Résumé
In mathematics, the double factorial of a number n, denoted by n!!, is the product of all the positive integers up to n that have the same parity (odd or even) as n. That is,
Restated, this says that for even n, the double factorial is
while for odd n it is
For example, 9!! = 9 × 7 × 5 × 3 × 1 = 945. The zero double factorial 0!! = 1 as an empty product.
The sequence of double factorials for even n = 0, 2, 4, 6, 8,... starts as
The sequence of double factorials for odd n = 1, 3, 5, 7, 9,... starts as
The term odd factorial is sometimes used for the double factorial of an odd number.
In a 1902 paper, the physicist Arthur Schuster wrote:
The symbolical representation of the results of this paper is much facilitated by the introduction of a separate symbol for the product of alternate factors, , if be odd, or if be odd [sic]. I propose to write for such products, and if a name be required for the product to call it the "alternate factorial" or the "double factorial."
states that the double factorial was originally introduced in order to simplify the expression of certain trigonometric integrals that arise in the derivation of the Wallis product. Double factorials also arise in expressing the volume of a hypersphere, and they have many applications in enumerative combinatorics. They occur in Student's t-distribution (1908), though Gosset did not use the double exclamation point notation.
Because the double factorial only involves about half the factors of the ordinary factorial, its value is not substantially larger than the square root of the factorial n!, and it is much smaller than the iterated factorial (n!)!.
The factorial of a positive n may be written as the product of two double factorials:
and therefore
where the denominator cancels the unwanted factors in the numerator. (The last form also applies when n = 0.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.