Double Factorial — Definition, Formula & Examples
Double factorial of a positive integer , written , is the product of all positive integers from 1 (or 2) up to that have the same parity (odd or even) as .
For a positive integer , the double factorial is defined as , where the product continues down in steps of 2 until reaching 1 (if is odd) or 2 (if is even). By convention, and .
Key Formula
Where:
- = A non-negative integer
- = Index running from 0 up to $\lceil n/2 \rceil - 1$
How It Works
To compute , start at and multiply by every second integer going downward. If is odd, you multiply all odd numbers from down to 1. If is even, you multiply all even numbers from down to 2. The notation does not mean taking the factorial twice — it is a separate operation with its own definition.
Worked Example
Problem: Compute 7!! (the double factorial of 7).
Identify parity: Since 7 is odd, multiply all odd integers from 7 down to 1.
Multiply step by step: Compute the product from left to right.
Answer:
Why It Matters
Double factorials appear in combinatorics when counting perfect matchings and in probability when computing moments of the normal distribution. For instance, the number of ways to pair up objects into pairs is . They also show up in physics and certain integral identities involving powers of trigonometric functions.
Common Mistakes
Mistake: Interpreting as , i.e., taking the factorial of and then taking the factorial of that result.
Correction: The double factorial is a single operation that multiplies every other integer down from . It is not the factorial applied twice. For example, , whereas , an astronomically larger number.
