Consider the following proposed proof, which claims to show that every nonnegative integer power of every nonzero real number is 1.
Let r be any nonzero real number, and let P(n) be the equation r ^n = 1.
Show that P(0) is true : P(0) is true because r^0 = 1 by definition of zeroth power.
Show that for every integer k >= 0, if P(i) is true for each integer i from 0 through k, then P(k + 1) is also true:
Let k be any integer with k >= 0 and suppose that r^ i = 1 for each integer i from 0 through k. This is the inductive hypothesis. We must show that r^ k + 1 = 1. Now
r^ k + 1 = r^ k + k - (k - 1) because k + k - (k - 1) = k + 1
r ^k * r^ k / r^ k - 1 by the laws of exponents
1*1 / 1 by inductive hypothesis
=1
Thus r^ k + 1 = 1 [as was to be shown].
[Since we have proved the basis step and the inductive step of the strong mathematical induction, we conclude that the given statement is true.]
Question:
a) Identify the error(s) in the above "proof."