00:01
Okay, so we have this function.
00:03
F of x is tanx plus three cotangent x, and we want to show that it has an absolute minimum between 0 and pi over 2.
00:27
So let's see.
00:32
So if we take the derivative, we want to find the absolute minimum, so let's find a critical point and see if it's actually a minimum.
00:40
So derivative of tangent is secant squared x, and then minus 3 co -secret squared x.
00:48
Okay, so let's find a critical point if we can.
00:52
So when does secant squared x equal three co -sacent squared x? well, let's see.
01:04
It looks like this is, i can multiply through by sine squared and i'll have tan squared x.
01:11
It's 3 or tan x plus or minus root 3.
01:17
Okay, so i know tan x is root 3 at pi over 3.
01:25
I think that's the only value that tan x is plus or minus root 3 between 0 and pi over 2.
01:30
So we have this one critical point.
01:34
And what can we do now? well, we can show, for instance, that the function is always concave up.
01:41
That would be sufficient to show that this is an absolute minimum.
01:44
So the second derivative equals 2 s squared x tanx.
01:54
This is going to be plus 6 co -sequent squared x cotangent x okay and why would this always be well so we actually see that is this always positive so let's look so what is this this is this is well we can factor it 2 out that doesn't matter and this is 1 so tan x over cosine squared x plus three times cotangine x over sine squared x.
02:52
Okay, so let's get a common denominator.
02:57
So 2, tanx, sine squared x plus 3 cotangine x cosign squared x over cosine squared x.
03:19
Okay, and so we see that this actually does have a zero.
03:37
Has one zero.
03:39
Nope.
03:40
Actually, no, it doesn't.
03:41
Right.
03:42
Because tangent of x is never, let's see...