Proving Sin(x)<=x<=Tan(x) for x Close to 0

  • Thread starter Thread starter forty
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Homework Help Overview

The discussion revolves around proving the inequality sin(x) ≤ x ≤ tan(x) for values of x close to zero, with references to the unit circle and various mathematical properties of the sine and tangent functions.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants explore the validity of the inequality within specific intervals and question the implications of using absolute values. Some express confusion about the notation and the behavior of sine in different quadrants.

Discussion Status

There is an ongoing exploration of the inequality, with some participants suggesting that the proof can be straightforward using the unit circle, while others raise questions about the assumptions made regarding the intervals and the behavior of sine and tangent functions. Guidance has been offered regarding the careful selection of intervals and the implications of negative values.

Contextual Notes

Participants note that the discussion is limited to radians and that the behavior of the sine function is different in various quadrants, which may affect the validity of the inequality. There is also mention of the limitations of using the sandwich theorem in certain contexts.

forty
Messages
132
Reaction score
0
Is it true that sin(x) <= x <= tan(x) , for x close to zero??

Can this be proven using the unit circle?

Rather then using l'hospital's rule to solve lim(x->0) of Sin(3x)/x (answer = 3)
 
Physics news on Phys.org
sinx\leq x for x\in[0,\pi] or

|sinx|\leq |x| for every x. Also

|tanx| \geq |x| for x \neq \frac{\pi}{2}(2k+1)

the proof is quite straightforward in both cases using the unit circle, although there are other methods without reference to the unite circle at all. remember that this is true only when x is measured in radian.
 
Last edited:
sutupidmath said:
sinx\leq x for x\in[0,\pi]

I just want to jump in here with my massive ignorance and ask something (I haven't gotten to trig yet).

Isn't sin(n) always in the range [0,1]? That is certainly how the sin function of all the programming languages I've used behaves.

If so, sin(n) is always < n in (1,->). Why stop at pi?

k
 
well, if we want to go all the way through we have to put it under the absolute values, like i did a line below. Because take

x=-\frac{\pi}{6} than clearly the following is not valid

sin({-\frac{\pi}{6})=-\frac{1}{2}\leq -\frac{\pi}{6}

YOu see the point.

So basically when sin falls in the 3rd and 4rth quadrant than we are in trouble.
 
kenewbie said:
I just want to jump in here with my massive ignorance and ask something (I haven't gotten to trig yet).

Isn't sin(n) always in the range [0,1]? That is certainly how the sin function of all the programming languages I've used behaves.

If so, sin(n) is always < n in (1,->). Why stop at pi?

k

and one more thing

|sin(x)|\leq 1 for all x.
 
Oh, ok. I thought [0,pi] denoted only the values between 0 and pi inclusive, which would all be positive (except 0 I guess).

Ugh, if the notation I've been using is being thrown out the window for a new one at some point, I'll be mad. I hate when they teach you something that's "wrong" as an "just for now" sort of thing.

k
 
kenewbie said:
Oh, ok. I thought [0,pi] denoted only the values between 0 and pi inclusive, which would all be positive (except 0 I guess).

Ugh, if the notation I've been using is being thrown out the window for a new one at some point, I'll be mad. I hate when they teach you something that's "wrong" as an "just for now" sort of thing.

k
yeah [0,pi] includes only values between zero and pi. But i just arbitrarly took this interval, since i did not write sinx in abs values, so i wanted to make sure i am talking for only positive values.
 
So is the following correct??

sin(3x) <= 3x <= tan(3x)

sin(3x) <= 3x <= sin(3x)/cos(3x)

1 <= 3x/sin(3x) <= 1/cos(x)

1 => sin(3x)/3x => cos(3x)

3 => sin(3x)/x => 3cos(3x)

lim(x->0) 3 => lim(x->0) sin(3x)/x => lim(x->0) 3cos(3x)

3 => lim(x->0) sin(3x)/x => 3

.: lim(x->0) sin(3x)/x = 3 (by sandwich theorem)

Any help would be greatly appreciated.
 
It looks correct to me, if you are careful to qualify 0<=x<pi/2. Gotta admit, tho, I think l'Hopital is a bit more direct.
 
  • #10
Yeah, like Dick mentioned, you have to be carefull on the interval you are working on.
 
  • #11
I thought when you used the sandwich theorem is was known that you are only talking about points close to the limit you are evaluating? So in this case only points close to 0 and yes l'hospital's rule is much easier but i just wanted to see if it could be done a different way.

Thanks for your help!
 
  • #12
forty said:
I thought when you used the sandwich theorem is was known that you are only talking about points close to the limit you are evaluating? So in this case only points close to 0 and yes l'hospital's rule is much easier but i just wanted to see if it could be done a different way.

Thanks for your help!

Yeah, when we use the sandwich theorem, we pretty much look only for points close enought to some point c, but from both sides, that is from the left and from the right also. But since you have x close to zero, it means that x can be negative also, which would make the following statement untrue

sinx<x , say x=-b, where b>0 so

sin(-b)<-b=>-sin(b)<-b=>sin(b)>b, which is not true, here this is a small contradiction, or maybe a warning that we have either to make sure x is only positive, or to put sin and x in abs values.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
5K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
8
Views
2K