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 :

Claim

Claim: the sum of the first odd numbers .

(Hint: where does the induction hypothesis appear in the left-hand side summation?)

Proof

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 .