Precalculus by Richard Wright

Previous Lesson Table of Contents Next Lesson

Are you not my student and
has this helped you?

This book is available
to download as an epub.


My flesh and my heart may fail, but God is the strength of my heart and my portion forever. Psalms 73:26 NIV

10-05 Mathematical Induction

Mr. Wright teaches the lesson.

Summary: In this section, you will:

SDA NAD Content Standards (2018): PC.7.2

Note: This assignment is long and should take two days.

formulas
Mathematical formulas. (pxfuel)

The derivations for the sum of an arithmetic series and geometric series are given in lessons 10-03 and 10-04, but how do we know other sum formulas are correct? This lesson shows how to prove sum formulas and a few other mathematical statements.

Mathematical Induction

Mathematical induction is a method of proving mathematical statements by showing that the statement works for the first value and then works for the next value. As long as the next value works, all the values will work and the statement is proven.

Mathematical Induction

To prove a formula using mathematical induction

  1. Show the formula works for n = 1.
  2. Assume the formula works for n = k.
  3. Show the formula works for n = k + 1.

Specifically for sum formulas

  1. Show S1 = a1.
  2. Assume Sk.
  3. Show Sk+1 = Sk + ak+1.

Prove a Sum Formula

Prove 5 + 9 + 13 + 17 + ⋯ + (4n + 1) = n(2n + 3).

Solution

The left side of the equation is terms; the right side is the sum formula.

$$ \begin{matrix} 5 & + & 9 & + & 13 & + & 17 & + & \cdots & + & (4n + 1) & = & n(2n + 3) \\ a_1 & , & a_2 & , & a_3 & , & a_4 & , & & & a_n & = & S_n \end{matrix} $$

Show the formula works for n = 1 by plugging in a 1 for n. In other words, show that S1 = a1.

S1 = 1(2(1) + 3) = 5 = a1

Assume the formula works for n = k. So, plug in a k for n in the sum formula.

Sk = k(2k + 3)

Show the formula works for Sk+1. For sum formulas that means to show that Sk+1 = Sk + ak+1. This means that the sum through the next term equals the sum through the current term plus the next term.

Sk+1 = Sk + ak+1

(k + 1)(2(k + 1) + 3) = k(2k + 3) + 4(k + 1) + 1

Simplify both sides and show that they are equal.

(k + 1)(2k + 2 + 3) = 2k2 + 3k + 4k + 4 + 1

(k + 1)(2k + 5) = 2k2 + 7k + 5

2k2 + 7k + 5 = 2k2 + 7k + 5

Since the formula works for the next term (k + 1), it will work for all the terms and the proof is complete.

Prove a Sum Formula

Prove \(3 + 9 + 19 + 33 + \cdots + (2n^2 + 1) = \frac{n(2n^2 + 3n + 4)}{3}\).

Solution

The left side of the equation is terms; the right side is the sum formula.

$$ \begin{matrix} 3 & + & 9 & + & 19 & + & 33 & + & \cdots & + & (2n^2 + 1) & = & \frac{n(2n^2 + 3n + 4)}{3} \\ a_1 & , & a_2 & , & a_3 & , & a_4 & , & & & a_n & = & S_n \end{matrix} $$

Show the formula works for n = 1 by plugging in a 1 for n. In other words, show that S1 = a1.

$$ S_1 = \frac{1\left(2(1)^2 + 3(1) + 4\right)}{3} = 3 = a_1 $$

Assume the formula works for n = k. So, plug in a k for n in the sum formula.

$$ S_k = \frac{k(2k^2 + 3k + 4)}{3} $$

Show the formula works for Sk+1. For sum formulas that means to show that Sk+1 = Sk + ak+1. This means that the sum through the next term equals the sum through the current term plus the next term.

Sk+1 = Sk + ak+1

$$ \color{blue}{\frac{(k + 1)(2(k + 1)^2 + 3(k + 1) + 4)}{3}} = \color{purple}{\frac{k(2k^2 + 3k + 4)}{3} + \color{red}{2(k + 1)^2 + 1}} $$

Simplify both sides and show that they are equal.

$$ \frac{(k + 1)(2(k^2 + 2k + 1) + 3(k + 1) + 4)}{3} = \frac{2k^3 + 3k^2 + 4k}{3} + 2(k^2 + 2k + 1) + 1 $$

$$ \frac{(k + 1)(2k^2 + 4k + 2 + 3k + 3 + 4)}{3} = \frac{2k^3 + 3k^2 + 4k}{3} + 2k^2 + 4k + 3 $$

$$ \frac{(k + 1)(2k^2 + 7k + 9)}{3} = \frac{2k^3 + 3k^2 + 4k}{3} + \frac{6k^2 + 12k + 9}{3} $$

$$ \frac{2k^3 + 9k^2 + 16k + 9}{3} = \frac{2k^3 + 9k^2 + 16k + 9}{3} $$

Since the formula works for the next term (k + 1), it will work for all the terms and the proof is complete.

Prove \(2 + 6 + 12 + 20 + \cdots + n(n + 1) = \frac{n(n^2 + 3n + 2)}{3}\).

Solution

Show your work. The final step should end with \(\frac{k^3 + 6k^2 + 11k + 6}{3}\).

Prove a Mathematical Statement

Prove n! ≥ 2n where n ≥ 4.

Solution

Start by checking n = 4 because that is the lowest value of n.

4! ≥ 24

24 ≥ 16

Assume the formula is valid for n = k.

k! ≥ 2k

Show it works when n = k + 1. Do this by plugging in k + 1. Then simplify both sides so that the 2nd step is in each side. Finally compare the two sides.

(k + 1)! ≥ 2k+1

(k + 1)k(k − 1)(k − 2)… ≥ 2k·21

(k + 1)k! ≥ 2k · 2

The blue part is the assumption and is true. The black part is always true when k ≥ 4. Thus, the proof is complete.

Prove n2 < 3n where n > 2.

Answer

22 < 32 → 4 < 9

Assume k2 < 3k

(k + 1)2 < 3k + 1

k2 + 2k + 1 < 3k · 31

Prove a Factor

Prove that 2 is a factor of 3n − 1.

Solution

Show that it is true when n = 1.

31 − 1 = 2

Assume 2 is a factor when n = k.

3k − 1

Show that it works when n = k + 1.

3k+1 − 1

The trick is to subtract and add 3k.

3k+1 − 3k + 3k − 1

(3k+1 − 3k) + (3k − 1)

(3k·31 − 3k) + (3k − 1)

3k(3 − 1) + (3k − 1)

2·3k + (3k − 1)

2 is a factor of the blue part and 2 is a factor of the red part from the assumption, thus 2 is a factor of the whole thing.

Prove that 3 is a factor of 4n − 1.

Answer

41 − 1 = 3

Assume 3 is a factor of 4k − 1

4k+1 − 1

4k+1} − 4k + 4k − 1

(4k+1 − 4k) + (4k − 1)

(4k·41 − 4k) + (4k − 1)

4k(4 − 1) + (4k − 1)

3·4k + (4k − 1)

3 is a factor of the blue part and 3 is a factor of the red part from the assumption, thus 3 is a factor of the whole thing.

Lesson Summary

Mathematical Induction

To prove a formula using mathematical induction

  1. Show the formula works for n = 1.
  2. Assume the formula works for n = k.
  3. Show the formula works for n = k + 1.

Specifically for sum formulas

  1. Show S1 = a1.
  2. Assume Sk.
  3. Show Sk+1 = Sk + ak+1.

Helpful videos about this lesson.

Practice Exercises

  1. Substitute \(k + 1\) into the expression and simplify.
  2. \(\frac{n}{n + 3}\)
  3. \(\frac{n(n + 1)}{4}\)
  4. Prove the sum formulas using mathematical induction.
  5. 2 + 4 + 6 + 8 + ⋯ + 2n = n(n + 1)
  6. \(2 + 7 + 12 + 17 + \cdots + (5n-3) = \frac{n}{2}(5n - 1)\)
  7. 1 + 2 + 4 + 8 + ⋯ + 2n−1 = 2n − 1
  8. \(1 + 2 + 3 + 4 + \cdots + n = \frac{n(n+1)}{2}\)
  9. \(\displaystyle \sum_{i=1}^n i(i+1) = \frac{n(n+1)(n+2)}{3}\)
  10. Prove the inequality using mathematical induction.
  11. 2n ≥ 2n where n ≥ 2
  12. n! > 2n where n ≥ 4
  13. Prove the property using mathematical induction.
  14. (ab)n = anbn
  15. 3 is a factor of n3 + 3n2 + 2n
  16. 5 is a factor of 6n − 1
  17. Mixed Review
  18. (10-04) Is 3(2)n−1 geometric, arithmetic, or neither?
  19. (10-04) Write the rule for the nth term of 3, 9, 27, 81, …
  20. (10-03) Evaluate 3 + 6 + 9 + 12 + 15 + ⋯ + 39.

Answers

  1. \(\frac{k+1}{k+4}\)
  2. \(\frac{k^2+3k+2}{4}\)
  3. Show work and final step should have k2 + 3k + 2
  4. Show work and final step should have \(\frac{5k^2+9k+4}{2}\)
  5. Show work and final step should have 2k+1 − 1
  6. Show work and final step should have \(\frac{k^2+3k+2}{2}\)
  7. Show work and final step should have \(\frac{k^3+6k^2+11k+6}{3}\)
  8. Show work
  9. Show work
  10. Show work
  11. Show work
  12. Show work
  13. geometric because it is exponential
  14. an = 3n
  15. 273