Description:

  • Allows us to make a stronger assumption in the inductive step.
  • Mathematical induction proves that we can climb as high as we like on a ladder, by proving that
    • we can climb on the bottom rung (base case)
    • we can climb all the previous rung then we can climb the next one

Strong induction principle:

  • At induction step , we have proved that all for are true and thus we can use these facts to show is true as well:
    1. Base case:
      • First prove that is true for some base values (e.g. ). These are base cases
    2. Inductive step:
      • Next prove that if is true for , then is true.