Proof of an elementary but very important result

[dextercioby]

Alright, I know I'm kind of shaky when it comes to proving elementary things rigorously.

I'm looking for for the most elementary (in the sense of using least possible mathematical knowledge) proof that

x < \tan x, {} {} \forall \frac{\pi}{2}>x>0

Geometrically ? I can't prove it...:redface: Algebraically ? How ? Using calculus ? I wish to see a proof to that, too...

You can also post links to freely available resources, if you know them.

EDIT: To make sense of post #2, the \pi/2 was missing when ILS wrote his post.

[I like Serena]

Umm :uhh:... \pi > tan \pi = 0


I'm not really sure what you're looking for, but here's one proof for 0<x<pi/2...

According to the mean value theorem (http://en.wikipedia.org/wiki/Mean_value_theorem), for every 0<x<pi/2 there has to be a 0<c<x such that:
tan' c = (tan x - tan 0)/(x-0).

Since tan'c = 1/cos²(c) > 1, it follows that tan x/x > 1, and therefore x < tan x.

[AlephZero]

Another calculus proof. Let f(x) = \tan x - x

f(0) = 0 and f(x) is continuous on [0 , \pi/2)

f'(x) = \sec^2 x - 1 = \tan^2 x >= 0

So f(x) is monotonically increasing on [0 , \pi/2)

Neither I nor ILS proved that \tan x is continuous on [0 , \pi/2), but that proof depends on what you think is an "elementary" definiton of trig functions.

[dextercioby]

I apologize, I forgot about ranges. Now it is correctly formulated.

@ILS Your attempt should be a calculus version. However, how do you prove that the tangent function is continuous (you need this to use the theorem) and how do you prove that the derivative of tangent is what it is ?

[dextercioby]

[...]
Neither I nor ILS proved that \tan x is continuous on [0 , \pi/2), but that proof depends on what you think is an "elementary" definiton of trig functions.

The proof of continuity is assumed to be the one with delta and epsilon. Tangent is defined as the ratio of sine and cosine which are in term defined as sides in a right triangle inside the unit circle => the name (circular) trigonometric functions.

[micromass]

The proof of what you want occurs in this khan academy video:

http://www.khanacademy.org/video/proof--lim--sin-x--x?playlist=Calculus

The inequality occurs in the first 8 minutes.

I don't think it's possible to prove this using calculus. Because, if you use calculus, you should already know about the continuity and differentiability of the tangent function. But to prove this, you use the inequality of your OP!!

Unless of course you define the tangent as a power series. Which is possible. But then the proof is trivial. But it is less trivial that it actually corresponds to the tangent function of trigonometry.

[dextercioby]

Alright, Micro, I found it on You tube, too.

http://www.youtube.com/watch?v=vz9_102nL8M

I was soo easy in the end to look for it, I mean. Anyways, it's nice to bring forth things that are seldom overlooked and taken as elementary.