00:01
So we're dealing with proofs via induction.
00:03
We have two theorems to prove here.
00:07
Theorem a is the sum of the first n in natural numbers.
00:11
And theorem b is the sum of the first in natural cubes.
00:15
Now, to do proof by induction, the first step is to try to prove if your theorem is true for some really simple, trivial case.
00:25
For example, if we let r in the first equation be 1, and we test it in our equation here, we get 1 half times 1 plus 1, 2 plus 1⁄2 times 2 or 1.
00:46
So we see that's true.
00:48
So we've done step 1 for equation a.
00:53
Next, you just assume that that theorem holds true for some larger number, k.
01:03
And the hard part is proving that it's true for that larger number by testing it on the next largest number of k plus one.
01:14
And it's kind of confusing, so it's better if i just show you what i mean.
01:19
I'm looking for r plus 1 2, k plus 1 of 3.
01:25
The first r natural numbers.
01:28
I know that must equal 1 to k.
01:34
The first natural numbers plus k plus 1.
01:41
Next we just substitute the value in for the summation symbol.
01:47
That's going to give us 1 half k, k plus 1 plus k plus 1.
01:56
Now it's all algebra.
02:02
We just multiply this k over 2 in.
02:05
And we get k squared over 2 plus k over 2 plus k over 1 plus 1 over 1.
02:17
I'm going to multiply these last 2 by 2 so i have a common denominator...