A Complete Guide: Proof by Mathematical Induction with Products

Video Lesson: Proof by Induction with Products

Pi Product Operator Notation

The symbol ∏ is the pi product operator (or product series). Its meaning is to substitute all integer values from the starting value to the final value into the expression that follows and then multiply together all of the outputs.

the product from i equals to n equals of i

The pi product notation

For example, in the case of the product from i equals 1 to n equals 5 of i:

  • The initial value is 1
  • The final value is 5
  • Substitute all integer values between 1 and 5 as ‘i’ into the following expression
  • The following expression is just ‘i‘ so we just substitute the numbers 1 to 5
  • Then we multiply the outputs together
pi product operator notation

Therefore, the product from i equals 1 to n equals 5 of i equals 1 times 2 times 3 times 4 times 5 equals 120


Here is another example: the product from i equals 1 to n equals 4 of open paren 3 i minus 1 close paren

  • The initial value is 1
  • The final value is 4
  • Substitute all integer values between 1 and 4 as ‘i’ into the following expression
  • The following expression is ‘(3i-1)
  • Then multiply the outputs together
example of pi product notation
  • When ‘i’ = 1, the output of ‘(3i-1)’ is 2
  • When ‘i’ = 2, the output of ‘(3i-1)’ is 5
  • When ‘i’ = 3, the output of ‘(3i-1)’ is 8
  • When ‘i’ = 4, the output of ‘(3i-1)’ is 11

We multiply all of these outputs together to obtain 2 times 5 times 8 times 11 equals 880.

Steps for Mathematical Induction with Products

The steps for mathematical induction with products are:

  1. Show the statement is true for the base case (often n = 1).
  2. Assume the statement is true for the case of n = k.
  3. Use this assumption to prove that the statement is true for n = k + 1.
  4. Conclude the proof.
steps for proof by induction with products

How to do Mathematical Induction with Products

In simple terms, to do mathematical induction for products:

  1. Substitute a simple value (such as n = 0 or n = 1) into the statement and show it is true.
  2. Substitute n = k into both sides of the statement and assume the result is true.
  3. Substitute n = k + 1 into both sides of the statement. We will then try to prove this.
  4. Substitute the result from step 2 into the expression on the left hand side.
  5. Simplify this expression further to show that it is equal to the expression on the right hand side.
  6. State that since the statement is true for the base case and it is true for n = k + 1 provided that it is true for n = k, then it must be true for all given values.

For example, prove that the product from i equals 1 to n of open paren 1 minus the fraction with numerator 1 and denominator i plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1 for n is a member of the positive integers.

It is first important to understand what this question is asking.

The pi product symbol product from i equals 1 to n means to substitute values from 1 to n into the following expression of open paren 1 minus the fraction with numerator 1 and denominator i plus 1 close paren and then multiply them together.

n is a member of the positive integers is read as ‘where n is an element of the positive integer set’. This means that we will only consider the positive whole numbers from 1 to n. It is just used to clarify which values this statement is true for. For example, we won’t substitute decimal or negative values into this expression.

the product from i equals 1 to n of open paren 1 minus the fraction with numerator 1 and denominator i plus 1 close paren means that we will substitute i equals 1, i equals 2, i equals 3 etc. all the way up to a final value of i equals n period Then we write it as these results all multiplied together.

Doing this, we obtain open paren 1 minus the fraction with numerator 1 and denominator 1 plus 1 close parenopen paren 1 minus the fraction with numerator 1 and denominator 2 plus 1 close parenopen paren 1 minus the fraction with numerator 1 and denominator 3 plus 1 close parenopen paren 1 minus the fraction with numerator 1 and denominator n plus 1 close paren.

We can write this more simply as open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator n plus 1 close paren.

Therefore we wish to prove that open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator n plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1.

proof mathematical induction products question

Step 1. Show that the statement is true for a base case

In this step, we simply substitute a simple value of n into the statement to show that it is true.

We must choose a value of n that is within the set of numbers being considered. We have n is a member of the positive integers, which means that n must be any positive integer.

We will use n = 1 as this is the simplest case. We substitute n = 1 into both sides of the statement. On the left hand side of the equation, we substitute i equals 1 and go no further.

Therefore, the product from i equals 1 to n of open paren 1 minus the fraction with numerator 1 and denominator i plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1

becomes open paren 1 minus the fraction with numerator 1 and denominator 1 plus 1 close paren equals the fraction with numerator 1 and denominator 1 plus 1 which simplifies to open paren 1 minus one half close paren equals one half which is true.

This step shows that the proof is true for the case where n = 1.

proof by induction products step 1

If we wished, we could have chosen another simple value of n as the base case. For example, if n = 2,

the product from i equals 1 to n of open paren 1 minus the fraction with numerator 1 and denominator i plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1 becomes open paren 1 minus the fraction with numerator 1 and denominator 1 plus 1 close paren times open paren 1 minus the fraction with numerator 1 and denominator 2 plus 1 close paren equals the fraction with numerator 1 and denominator 2 plus 1.

This simplifies to one half times two thirds equals one third, which is also true.

We only need to verify one base case and it makes sense to do this for the smallest possible value of n in our given domain.

Step 2. Assume that the statement is true for n = k.

We write out the product from i equals 1 to n of open paren 1 minus the fraction with numerator 1 and denominator i plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1 in full as open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator n plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1.

We now substitute n = k into this equation to obtain open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k plus 1 close paren equals the fraction with numerator 1 and denominator k plus 1.

We will assume that this equation is true.

This result will be used in the following step.

Step 3. Use the assumption of step 2 to show that the statement is true for n = k + 1

We have already assumed that the statement is true for n = k.

That is: open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k plus 1 close paren equals the fraction with numerator 1 and denominator k plus 1.

We will now write the statement which we wish to show to be true. That is, that it is true for n = k + 1.

The original equation is open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus 1 over n close paren times open paren 1 minus the fraction with numerator 1 and denominator n plus 1 close paren equals the fraction with numerator 1 and denominator n plus 1.

Substituting n = k + 1 into this, we obtain: open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k plus 1 close paren times open paren 1 minus the fraction with numerator 1 and denominator open paren k plus 1 close paren plus 1 close paren equals the fraction with numerator 1 and denominator open paren k plus 1 close paren plus 1

This simplifies to:

open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k plus 1 close paren times open paren 1 minus the fraction with numerator 1 and denominator k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2.

This is what we will try to prove.

how to prove products using mathematical induction

We can see that open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k plus 1 close paren times open paren 1 minus the fraction with numerator 1 and denominator k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2 contains the result from step 2, which is: open paren 1 minus one half close paren times open paren 1 minus one third close paren times open paren 1 minus one fourth close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k plus 1 close paren equals the fraction with numerator 1 and denominator k plus 1.

We can substitute this result from step 2 into this equation to obtain:

open paren the fraction with numerator 1 and denominator k plus 1 close paren times open paren 1 minus the fraction with numerator 1 and denominator k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2.

Now we need to show this is true algebraically.

Expand the brackets to obtain:

the fraction with numerator 1 and denominator k plus 1 minus 1 over open paren k plus 1 close paren times open paren k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2

Now we multiply the first term by the fraction with numerator open paren k plus 2 close paren and denominator open paren k plus 2 close paren so that the two fractions have a common denominator. We obtain:

the fraction with numerator k plus 2 and denominator open paren k plus 1 close paren times open paren k plus 2 close paren minus 1 over open paren k plus 1 close paren times open paren k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2

Now we can write the two fractions as one fraction like so:

the fraction with numerator k plus 2 minus 1 and denominator open paren k plus 1 close paren times open paren k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2, which simplifies to:

the fraction with numerator k plus 1 and denominator open paren k plus 1 close paren times open paren k plus 2 close paren equals the fraction with numerator 1 and denominator k plus 2.

Now we can cancel the terms k plus 1 on the top and bottom of the fraction to obtain:

the fraction with numerator 1 and denominator k plus 2 equals the fraction with numerator 1 and denominator k plus 2.

Since the left hand side of the equation is now equal to the right hand side, we have completed this step.

Step 4. Conclude the proof

To conclude proof by induction, we simply make a statement containing the following information:

  • The statement was true for the base case.
  • The statement is true for the n=k+1 case provided that the n=k case was true.
  • The statement is true for all required values of n.

Our conclusion to the proof is the following:

Since the statement is true for the base case where n = 1 and it is true for n = k + 1 whenever n = k is true, the rule is true for all required values of n.

how to conclude mathematical induction

The case of n=k+1 refers to the next integer after the n=k case.

We have assumed that the n=k case is true and used this fact to prove that the n=k+1 case is true.

This means that as long as one case is proven true, we know that the following case is also true.

Therefore, the case after that will be true and so on.

Since we have verified the base case (when n=1), we know that the statement is true for n=2, n=3 and so on.

Proof by induction is often compared to domino chains. The logic is that we know that when one domino falls, it will knock over the next domino. Then we know that the first domino is knocked over then we know that all of the following dominos will fall over.

Here we know our first case is true and therefore, all following cases will be true as well.

Proof by Induction with Products: Examples and Solutions

Here are some examples of questions involving proof by induction with products.

For example: Prove that the product from i equals 2 to n of open paren 1 minus the fraction with numerator 1 and denominator i squared close paren equals the fraction with numerator n plus 1 and denominator 2 n.

This means: prove that open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator n squared close paren equals the fraction with numerator n plus 1 and denominator 2 n

Notice that we start with the initial value of n = 2 in this question.

example of proof by induction with products

Step 1. Show that the statement is true for a base case

Here we are given that n is a member of the integers, which means that our values of n must be integers (whole numbers).

We are also given that n is greater than or equal to 2, which means that the smallest value of n is 2.

We will use n = 2 to verify the base case.

When n = 2, the statement of the product from i equals 2 to n of open paren 1 minus the fraction with numerator 1 and denominator i squared close paren equals the fraction with numerator n plus 1 and denominator 2 n becomes 1 minus the fraction with numerator 1 and denominator 2 squared equals the fraction with numerator 2 plus 1 and denominator 2 times 2.

Therefore, we evaluate both sides to obtain three fourths equals three fourths which is true.

proof by induction verifying the base case

Step 2. Assume the statement is true for n=k

We take the full statement of open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator n squared close paren equals the fraction with numerator n plus 1 and denominator 2 n and substitute n = k to obtain:

open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k squared close paren equals the fraction with numerator k plus 1 and denominator 2 k.

As part of the proof by induction process, we will assume this to be true and we will substitute this equation into our algebra in the next step.

Step 3. Use the assumption from step 2 to prove that the statement is true for n = k + 1

We substitute n = k+1 into open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator open paren n minus 1 close paren squared close paren times open paren 1 minus the fraction with numerator 1 and denominator n squared close paren equals the fraction with numerator n plus 1 and denominator 2 n to obtain the statement that we wish to prove, which is:

open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k squared close paren times open paren 1 minus the fraction with numerator 1 and denominator open paren k plus 1 close paren squared close paren equals the fraction with numerator open paren k plus 1 close paren plus 1 and denominator 2 times open paren k plus 1 close paren

We can simplify this to:

open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k squared close paren times open paren 1 minus the fraction with numerator 1 and denominator open paren k plus 1 close paren squared close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren.

Now we substitute the assumption from step 2: open paren 1 minus the fraction with numerator 1 and denominator 2 squared close paren times open paren 1 minus the fraction with numerator 1 and denominator 3 squared close paren period period period open paren 1 minus the fraction with numerator 1 and denominator k squared close paren equals the fraction with numerator k plus 1 and denominator 2 k in to obtain:

the fraction with numerator k plus 1 and denominator 2 k times open paren 1 minus the fraction with numerator 1 and denominator open paren k plus 1 close paren squared close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren.

Now we need to rearrange the expression on the left of the equals sign to show that it is equal to the expression on the right of the equals sign.

We start by expanding the brackets to obtain:

the fraction with numerator k plus 1 and denominator 2 k minus the fraction with numerator k plus 1 and denominator 2 k times open paren k plus 1 close paren squared equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

We can simplify this to obtain:

the fraction with numerator k plus 1 and denominator 2 k minus 1 over 2 k times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

Now we multiply the first term by the fraction with numerator k plus 1 and denominator k plus 1 so that the denominators are:

the fraction with numerator open paren k plus 1 close paren squared and denominator 2 k times open paren k plus 1 close paren minus 1 over 2 k times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

We can expand the bracket on the first term to obtain:

the fraction with numerator k squared plus 2 k plus 1 and denominator 2 k times open paren k plus 1 close paren minus 1 over 2 k times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

We can write this as one fraction as:

the fraction with numerator k squared plus 2 k plus 1 minus 1 and denominator 2 k times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

and this simplifies to:

the fraction with numerator k squared plus 2 k and denominator 2 k times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

We can factor k out of the numerator to obtain:

k times open paren k plus 2 close paren over 2 k times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren

and dividing the numerator and denominator by k, we prove the required result:

the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren equals the fraction with numerator k plus 2 and denominator 2 times open paren k plus 1 close paren.

proof by induction with products

Step 4. Conclude the proof

Since the statement is true for the base case where n = 2 and it is true for n = k + 1 whenever n = k is true, the rule is true for all required values of n≥2.


Here is another example.

Prove that the product from i equals 1 to n of open paren 2 i minus 1 close paren is odd for n≥2.

This means that the product of open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 n minus 1 close paren is odd.

proof by induction that it is odd

Step 1. Show that the base case is true

In this question, n ≥ 2 and so, we must consider values of n greater than 2.

We will use n = 2 as the base case.

Substituting n = 2, the expression is open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren.

Since we do not have a given rule that it is equal to, this example is a little different. We can show that this result is odd by simply calculating it.

open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren equals 3 which is an odd result.

Therefore the base case has been shown to be true.

Step 2. Assume the statement is true for the case where n = k

Before we proceed with the usual process, we will consider what it means for the result to always be odd.

An odd number is always formed when any given integer is doubled and then one is subtracted.

Therefore an odd number can be represented by 2A-1, where A is any integer.

For the case where n = k, we can write:

open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 k minus 1 close paren equals 2 A minus 1, where A is a member of the integers.

Step 3. Use the assumption in step 2 to prove the statement true for n = k + 1

We take the given expression: open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 n minus 1 close paren times open paren 2 times open paren n plus 1 close paren minus 1 close paren and substitute n=k+1 to obtain:

open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 k minus 1 close paren times open paren 2 times open paren k plus 1 close paren minus 1 close paren.

We can expand the final term to obtain: open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 k minus 1 close paren times open paren 2 k plus 2 minus 1 close paren

This simplifies to: open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 k minus 1 close paren times open paren 2 k plus 1 close paren.

Now we can substitute the assumption from step 2, which was:

open paren 2 times 1 minus 1 close paren times open paren 2 times 2 minus 1 close paren period period period open paren 2 k minus 1 close paren equals 2 A minus 1.

The equation becomes: open paren 2 A minus 1 close paren times open paren 2 k plus 1 close paren.

Our job is to expand this and show that the result is also odd.

Expanding, we obtain: 4 A K plus 2 A minus 2 k minus 1.

We can factor the 2 out of the first three terms to obtain: 2 times open paren 2 A K plus A minus k close paren minus 1.

Now, whenever we subtract 1 from a multiple of 2, we have an odd result.

open paren 2 A K plus A minus k close paren is just an integer, since A and k are integers too. Therefore 2 times open paren 2 A K plus A minus k close paren minus 1 is odd.

proof by induction show that the result is always odd

Step 4. Conclude the proof

Since the statement is true for n = 2 and it is true for the case of n = k + 1 whenever n = k is true, the statement is true for all n ≥ 2.


Here is another example.

Prove that for x is not equal to 1 that the product from i equals 1 to n of open paren 1 plus x raised to the exponent 2 raised to the i minus 1 power end exponent close paren equals open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the exponent 2 raised to the n minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 to the power of n end exponent and denominator 1 minus x

, where n is a member of the integers.

Step 1. Verify the statement is true for a base case

We will consider the case where n = 1.

When n = 1, the equation open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the exponent 2 raised to the n minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 to the power of n end exponent and denominator 1 minus x becomes:

1 plus x raised to the exponent 2 raised to the open paren 1 minus 1 close paren power end exponent equals the fraction with numerator 1 minus x raised to the exponent 2 to the first power end exponent and denominator 1 minus x

This simplifies to: 1 plus x raised to the exponent 2 to the 0 power end exponent equals the fraction with numerator 1 minus x squared and denominator 1 minus x which simplifies to 1 plus x equals the fraction with numerator 1 minus x squared and denominator 1 minus x.

We can write this as:

1 plus x equals the fraction with numerator open paren 1 plus x close paren times open paren 1 minus x close paren and denominator 1 minus x

Cancelling the 1 minus x in the fraction, we obtain: 1 plus x equals 1 plus x .

Therefore the base case has been proven true for n = 1.

Step 2. Assume the statement is true for the case where n = k

We substitute n = k into the equation: open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the exponent 2 raised to the n minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 to the power of n end exponent and denominator 1 minus x

to obtain:

open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the exponent 2 raised to the k minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 to the power of k end exponent and denominator 1 minus x.

Step 3. Use the assumption in step 2 to prove the statement is true for the case where n = k + 1

We consider the original statement: open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the 2 times open paren k minus 1 close paren minus 1 power close paren times open paren 1 plus x raised to the exponent 2 raised to the k minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 to the power of k end exponent and denominator 1 minus x

When n = k + 1, the statement becomes:

open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the 2 k minus 1 power close paren times open paren 1 plus x raised to the exponent 2 raised to the open paren k plus 1 close paren minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 raised to the k plus 1 power end exponent and denominator 1 minus x

This can be simplified as:

open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the 2 k minus 1 power close paren times open paren 1 plus x raised to the exponent 2 to the power of k end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 raised to the k plus 1 power end exponent and denominator 1 minus x

Which can be written as:

open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the 2 k minus 1 power close paren times open paren 1 plus x raised to the exponent 2 to the power of k end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent open paren 2 times 2 to the power of k close paren end exponent and denominator 1 minus x

We can substitute the assumption from step 2: open paren 1 plus x close paren times open paren 1 plus x squared close paren times open paren 1 plus x to the fourth power close paren period period period open paren 1 plus x raised to the exponent 2 raised to the k minus 1 power end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 to the power of k end exponent and denominator 1 minus x

into the left hand side of the equals sign to obtain:

the fraction with numerator open paren 1 minus x raised to the exponent 2 to the power of k end exponent close paren and denominator 1 minus x times open paren 1 plus x raised to the exponent 2 to the power of k end exponent close paren equals the fraction with numerator 1 minus x raised to the exponent 2 times 2 to the power of k end exponent and denominator 1 minus x

This can be written as:

the fraction with numerator open paren 1 minus x raised to the exponent 2 to the power of k end exponent close paren times open paren 1 plus x raised to the exponent 2 to the power of k end exponent close paren and denominator 1 minus x equals the fraction with numerator 1 minus x raised to the exponent 2 times 2 to the power of k end exponent and denominator 1 minus x

Now the numerator of open paren 1 minus x raised to the 2 k power close paren times open paren 1 plus x raised to the exponent 2 to the power of k end exponent close paren can be expanded so that:

open paren 1 minus x raised to the exponent 2 to the power of k end exponent close paren times open paren 1 plus x raised to the exponent 2 to the power of k end exponent close paren equals 1 minus x raised to the exponent 2 to the power of k end exponent squared

And therefore, the equation can be written as:

the fraction with numerator 1 minus x raised to the exponent 2 to the power of k end exponent squared and denominator 1 minus x equals the fraction with numerator 1 minus x raised to the exponent 2 times 2 to the power of k end exponent and denominator 1 minus x

And since: 1 minus x raised to the exponent 2 to the power of k end exponent squared equals 1 minus x raised to the exponent 2 times 2 to the power of k end exponent

We can write:

the fraction with numerator 1 minus x raised to the exponent 2 times 2 to the power of k end exponent and denominator 1 minus x equals the fraction with numerator 1 minus x raised to the exponent 2 times 2 to the power of k end exponent and denominator 1 minus x.

Therefore the statement is true for n = k + 1 whenever it is true for n = k.

Step 4. Conclude the proof.

Since the statement is true for the base case of n = 1 and it is true for the case of n = k + 1 whenever it is true for n = k, the statement is true for all n.