# Simplifying Factorials with Variables

In this lesson, we will learn how to simplify factorial expressions with variables found in the numerator and denominator. We want to generate common factors in both locations so that they can be canceled. That’s ultimately our goal.

The key is to compare the factorials and determine which one is larger in value. Suppose we want to compare the factorials **( n+3)!** and

**(**.

*n*+1)!It is easy to see that (*n*+3)! > (*n*+1)! is true for all values of n as long as the factorial is defined, that is, the stuff inside the parenthesis is a whole number greater than or equal to zero.

- That means we can expand (
*n*+3)! until such time the expression (*n*+1)! appears in the sequence.

How about for (*n*-5)! and (*n*-2)! ? This time we are subtracting the variable by some number. The larger expression is the one with smaller subtrahend, or the value being subtracted from the minuend. Therefore, (*n*-2)! > (*n*-5)!

- That implies the expression (
*n*-2)! will have (*n*-5)! in its expanded form.

What if they have different signs? Obviously, the larger factorial expression is the one with the addition operation.

For example, (*n*+1) > (*n*-4)

- We can expand (
*n*+1)! to include (*n*-4)! in the sequence.

**Key Steps on How to Simplify Factorials involving Variables**

**1)** Compare the factorials in the numerator and denominator.

**2)** Expand the larger factorial such that it includes the smaller one in the sequence.

**3)** Cancel out the common factors between the numerator and denominator.

**4)** Simplify further by multiplying or dividing the leftover expressions.Let’s go over six (6) examples with varying levels of difficulty.

### Examples of Simplifying Factorials with Variables

**Example 1:** Simplify

Since the factorial expression in the numerator is larger than the denominator, I can partially expand *n*! until the expression (*n*-2)! shows up which is the value in the denominator. Then I will cancel the common factors. Apply the distributive property to get to the final answer.

**Example 2:** Simplify

Obviously, the denominator is larger than the numerator because 3 is being added to “*n*” as compared to being added by 1. I will keep the numerator unchanged while expanding the denominator (*n*+3)! until the expression (*n*+1)! appears in the denominator. What we are doing is matching common factors so we can cancel them out. Multiply the two binomials in the denominator to finish it off.

**Example 3:** Simplify

The numerator (*k*+2)! can be expanded into factors that would include the denominator (*k−*1)!. By doing so, we can cancel out duplicate factors between the numerator and denominator. Multiply together the leftover factors: two binomials and a monomial.

**Example 4:** Simplify

The denominator is the bigger factorial expression, so I will expand it such that I get the numerator. Cancel out the common factors and multiply the binomials to arrive at the final answer.

**Example 5:** Simplify

I will expand the factorial in the numerator which is (*x*^{2 }− 4)! to get the factorial in the denominator which is (*x*^{2 }− 5)! so we can cancel them out. In addition, I will leave alone the binomial (*x *− 2) found in the denominator. Don’t expand it because it doesn’t have the factorial symbol.

After cancellations, observe that the numerator is a quadratic term which can be factored out into two binomials. Notice, *x*^{2 }− 4 = (*x*+2)(*x*−2). I hope you can see that we generated common factors that can be canceled out one more time. This greatly simplifies our final answer.

**Example 6:** Simplify

Notice that *n*! is being squared in the numerator. That means (*n*!)^{2} = (*n*!)(*n*!). As part of our strategy, we can also separate the original problem into two separate fractions. This allows us to see much better what’s going on. Perform the necessary expansions and cancel out common factors. Simplify by writing back the final answer as one fraction.

**You might also be interested in:**

Factorial Notation, Formula, and Basic Examples

Dividing Factorials

Zero Factorial