Mathematical Induction Practice
A worked solution is below!
Problem 4: Even More Mathematical Induction Practice
We can formally define the th odd number to be (where is the first odd number: ). Prove the following claim using mathematical induction on :
(Hint: where does the induction hypothesis appear in the left-hand side summation?)
We will proceed through induction on .
Base Case: let . Then the "sum" of this first odd number is just , which is equal to .
Induction Hypothesis: Assume that the sum of the first odd numbers is
.
Inductive Step: Consider the sum of the first odd numbers .
We can split this sum into two parts (using parentheses):
.
The term in the parentheses is exactly the sum of the first odd numbers. Note that this is by our Induction Hypothesis. So we can write the sum as
.
Now note that by definition. Moreover, we can expand . So our expression is now
.
Thus the sum of the first odd numbers is .