- #1
maverick280857
- 1,789
- 5
Hi
This is a fairly straightforward problem but I want to do it using calculus. Here goes:
Prove that [itex]\sin 1 > \cos(\sin 1)[/itex].
This is what I've done (I've hardly done much):
Let [itex]f(x) = \sin(\cos(\sin x) - \cos(\sin(\cos(x)))[/itex]. I also have to show that f(x) = 0 has exactly one solution in [itex][0,\pi/2][/itex]. So anyway, f'(x) < 0 for all x in this interval which in particular means that f(0) > f([itex]\pi/2[/itex]). But the first part requires showing that f(0) > 0. Can this be done by a purely calculus-based argument? It is easily done if we bend the inequality a bit and observe that it is true if [itex]\pi/2 -1 <\sin 1[/itex].
Thanks and cheers
Vivek
This is a fairly straightforward problem but I want to do it using calculus. Here goes:
Prove that [itex]\sin 1 > \cos(\sin 1)[/itex].
This is what I've done (I've hardly done much):
Let [itex]f(x) = \sin(\cos(\sin x) - \cos(\sin(\cos(x)))[/itex]. I also have to show that f(x) = 0 has exactly one solution in [itex][0,\pi/2][/itex]. So anyway, f'(x) < 0 for all x in this interval which in particular means that f(0) > f([itex]\pi/2[/itex]). But the first part requires showing that f(0) > 0. Can this be done by a purely calculus-based argument? It is easily done if we bend the inequality a bit and observe that it is true if [itex]\pi/2 -1 <\sin 1[/itex].
Thanks and cheers
Vivek