Factorials
One of the most basic concepts of permutations and combinations is the use of factorial notation. Using the concept of factorials, many complicated things are made simpler. The use of was started by Christian Kramp in 1808. Though they may seem very simple, the use of factorial notation for non-negative integers and fractions is a bit complicated. The applications range from simple algebra to calculus, and it is used to find probabilities too.
Contents
Definition and Properties
Let's first get familiar with the definition of factorial and then we will discuss some properties associated with factorial.
For all positive integers, (read as factorial) is defined as
In words, is the product of all positive integers less than or equal to .
Here are some examples based on the above definition:
Evaluate .
We have
Evaluate
We can write as. Substituting this value in the question, we get
Evaluate .
We have
If how many different values can have?
We have
So, values of satisfy the given equation.
Evaluate .
The expression is equal to
\[ \begin{align}
\dfrac{3 \times 2 \times 1}{5 \times 4 \times 3 \times 2 \times 1} = & \dfrac{1}{5 \times 4}\\\\ = & \dfrac{1}{20}.\ _\square \end{align} \]
Now you can easily solve the following problems:
If what is
Find the value of satisfying the equation above.
Notation: denotes the factorial notation. For example, .
Let's try a special case of . There had been many controversies about the case , but finally it was accepted that Before proving this, let's understand a basic theorem.
For any positive integer ,
We can write as
Now, let's prove that
We can express . Then we can put the value of to obtain
Evaluate
We have
Evaluate
We have
Find the highest power of 125 that divides in .
Notation: denotes the factorial notation. For example, .
Now, let's talk about what double factorials are. This type of factorial is denoted by . It is a type of multifactorial which will be discussed in this wiki. As far as double factorial is concerned, it ends with for an even number, and ends with for an odd number. In other words,
- for an even number and
- for an odd number and
- if
Some Observations
For any non-negative integer we find that
There are the following 2 cases:
Case 1: is odd. Then we have Since all the odd numbers get canceled, this equation is equivalent to
Case 2: is even. Then we have Since all the even numbers get canceled, this equation is equivalent to
Now, if we combine both the cases, we find that for any non-negative integer
Evaluate
We know that . Substituting in the values, we get
If can be written as what is the value of
We have
So, the value of is
Suppose that is defined as follows:
Then what is
For any non-negative integer we find that
Here, there is no need to consider two separate cases because, whether is either odd or even, it makes no difference.
We can expand the expression as
We find that get canceled (i.e. all the even numbers get canceled), leading us to this result:
Notation:
Try the first part here!
For any non-negative integer we find that
Again here, there is no need to consider two separate cases.
We can expand the expression in the LHS as
Since all the even numbers get canceled, this equation is equivalent to
Note: Do not interpret to be . They are completely different.
Evaluate .
We have
\[ \begin{align}
\dfrac { 9! } { 8!!} = & \dfrac{ (2 \times 5 - 1 ) ! } { (2 \times 5 - 2 ) !! } \\ = & (2 \times 5 - 1 )!! \\ = & 9 !! \\ = & 9 \times 7 \times 5 \times 3 \times 1 \\ = &945.\ _\square \end{align} \]
Evaluate .
We have
Factorial Growth
Stirling's approximation for says that
Furthermore, we know of a good lower bound for
An interesting fact about factorials is that for any polynomial , we can say for an integer that and for that . We'll call this "overcoming" .
A simple approach to show this is to use the lower bound already provided, and assume that . This tells us that
For it is clear that any exponential function with a base greater than 1 will "overcome" it by taking logs. Because will grow faster than an exponential function for , it follows that it must also overcome . As this was a lower bound for we have shown overcomes for an arbitrary and .
As polynomials are composed of such functions, the result follows.
Extending
While factorials are usually used with integers, they can be generalized for complex values (except negative integers) and expressed by an integral:
where is defined as . This is also written as .
A very nice derivation of this formula begins with the integral
and hence
Then differentiate times with respect to to obtain
Observe that can be factored out from both sides, and then taking we arrive at
From this integral definition, some nice properties of can be derived. First, we need to compute or . This is found through the integral
Using this combined with you can arrive at
All that is left is to simplify . This is easier once you express each term as a fraction:
Hence, the final result for is .
Extension
The idea of factorials is not confined to only double factorials, but there exist multi-factorials as well!
Factorials Problem Solving - Basic
For what integer , is equal to the number of seconds in 6 weeks?
Try to solve this without using a calculator.
How many of the following 99 integers are primes?
Evaluate
Hint: You don't need to multiply out all the factorials!
Factorials Problem Solving - Intermediate
Given that is a positive integer, how many values of satisfy the equation below?
Find the highest power of that divides .
Clarification: .
Given that satisfies the infinitely nested function above, find .