00:01
So here we're given some positive numbers a and b with a larger than b.
00:06
And then we define some sequence a -n and b -n by the following equations.
00:14
And for convenience, we could also just call a -a -a -sub -0.
00:21
So these will be the first terms of the sequence instead of a -1 and b -1.
00:27
So we'd like to go ahead and show these inequalities here.
00:32
So we go by induction.
00:34
And first we have our base case, which now we can call n equals 0.
00:42
So we'd like to show, so let's go ahead and show these one at a time.
00:56
So let's go ahead and deal with this one first.
01:02
We have a1 by definition is just a plus b over 2.
01:10
Now since b is less than a, this is less than a plus a over 2.
01:16
So i'm using the given information over here.
01:18
And that's just equal to a or same thing as a0.
01:26
So that guarantees this.
01:31
Now similarly for b1, go to the definition over here.
01:38
And now this is larger than the square root of b times b, because once again, a is larger than b.
01:47
And this is just equal to b or as we call it b not.
01:53
That guarantees the second one.
01:58
Now for the third one, instead of just dealing with a1 and b1, let me actually show this is true for any n, because we'll actually need this in the inductive step as well as the base case.
02:11
So i'll just go ahead and instead of plugging an n equals zero, i'll use any n.
02:18
Now this is what we want to show, but this is equivalent to go to the definition of the an plus 1 and bn plus 1.
02:30
These are given information up here.
02:34
Now this, now i'll bring this inequality.
02:37
Let me running out of room here.
02:40
So i'll bring this over here.
02:42
Let's go ahead and multiply both sides by two.
02:51
And then square both sides.
02:59
So i'm foiling it out here on the left.
03:02
Oops.
03:03
Plus bn squared.
03:06
And then the right side, i get a four there and then the radical goes away.
03:10
And then go ahead and subtract this four to the other side.
03:24
And i could go ahead and factor the left hand side and that becomes a .n minus bn and that's a square bigger than zero.
03:36
Now in the base case that we're dealing with, this becomes a1 is bigger than b1 if and only if a0 minus b0 squared is bigger than zero.
03:54
And this is true because a0 minus b0 is just a minus b not.
04:01
B and this is a positive number by the given information.
04:04
So if you square it, it's also going to be a positive number.
04:09
So that guarantees this inequality here, but that's equivalent to what we were trying to show.
04:16
And so that's the third inequality in the base case.
04:20
I'm running out of room here, so i will need to go to the next page.
04:24
However, we'll want to remember when we're proving this inequality here in the middle, we just did it for the base case.
04:33
Now in the general case, i'll also refer to this expression over here when we show that the desired inequality was equivalent to this inequality here.
04:46
So that's what we'll want to memorize in a few moments.
04:53
So now let me go on to the next page, but that does complete part a.
05:02
Excuse me, sorry, that completes the base case of part a.
05:06
We still have to do the induction.
05:07
Induction stuff.
05:09
So suppose that the inequality is true for n equals k.
05:27
So this means that the inequalities that i'm writing here are true.
05:34
This is corresponding to n equals k.
05:38
And then we want to show, show it's true for k plus 1.
05:49
So we're increasing k by 1 there.
05:52
And that'll be the inductive part of the mathematical induction...