Inequality - how to prove that xcosx < sinx for all x

  • Context: Undergrad 
  • Thread starter Thread starter martint
  • Start date Start date
  • Tags Tags
    Inequality
Click For Summary

Discussion Overview

The discussion revolves around proving the inequality \( x \cos x < \sin x \) for all \( x \) in the interval \( (0, \pi) \). Participants explore various mathematical approaches, including calculus and function analysis, to establish the validity of the inequality.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant initially questions how to prove the inequality for \( x > 0 \), but later corrects the interval to \( 0 < x < \pi \).
  • Another participant argues that the problem can be transformed into showing \( x \cot x < 1 \) for \( x \in (0, \pi) \), suggesting the use of calculus.
  • A different participant proposes using the inequality \( \tan(x) > x \) to derive \( \sin(x) > x \cos(x) \), stating this is valid on \( (0, \frac{\pi}{2}) \).
  • Several participants express confusion about the advantages of reformulating the inequality as \( x \cot x < 1 \) and discuss the role of calculus in solving the problem.
  • One participant defines the function \( f(x) = x \cos x - \sin x \) and computes its derivative, concluding that \( f'(x) = -x \sin x \) is negative in the interval, suggesting that \( f(x) < 0 \) for \( x \in (0, \pi) \).
  • Another participant questions whether finding critical points is necessary, given that the derivative is negative throughout the interval.
  • A later reply challenges the assumption that the function is decreasing everywhere, pointing out that \( f' > 0 \) for \( x = \frac{3\pi}{2} \) and in the interval \( ( \pi, 2\pi) \), indicating that the function's behavior outside \( (0, \pi) \) needs consideration.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of finding critical points and the implications of the derivative's sign. While some agree on the function's behavior within the interval \( (0, \pi) \), there is no consensus on the overall behavior of the function outside this interval.

Contextual Notes

Participants note that the analysis relies on the behavior of the function \( f(x) \) and its derivative, but the implications for values outside the interval \( (0, \pi) \) remain unresolved. The discussion highlights the importance of critical points in understanding the function's overall behavior.

martint
Messages
9
Reaction score
0
Hello! does anyone know how to prove that xcosx < sinx for all x greater than 0?

Many thanks
 
Physics news on Phys.org
Well it's obviously false, for take x=2pi.
 
sorry my error, the interval for x should be 0 < x < (pi)

sorry!
 
Well, notice that the problem is equivalent to showing that xcotx<1 for all x in (0,pi). So use calculus.
 
[tex]tan(x)>x=>\frac{sin(x)}{cos(x)}>x=>sin(x)>xcos(x)[/tex] THis is valid however on the interval [tex]\left(0,\frac{\pi}{2}\right)[/tex]

Edit: Or better use quasar987's suggestion, it is better and valid on the whole interval.
 
Last edited:
thanks guys, but I am failing to see how its easier to solve the inequality when written as xcotx<1? :confused:
 
Do you know calculus? (differentiation and things like that)
 
yes thanks, have been using differential calculus to try and solve the problem I posted but have not been able to, else I wouldn't have posted it! just don't see the advantages of changing to xcotx<1
 
Consider the function f(x) = xcos(x)-sin(x). If you know calculus it should be fairly easy to show where this function is negative!
 
  • #10
Again, this is what I have been trying to do! are we for example taking f(x), noting that f(0) =0, and using the first derivative test to show that the function is decreasing ?
 
  • #11
ok, here it is how i would argue about showing the validity of that inequality using calculus.

Lets define the following function:

[tex]f(x)=xcosx-sinx,\forall x \in \left(0,\pi \right)[/tex]

NOw,

[tex]f'(x)=cosx-xsinx-cosx=-xsinx[/tex]

Now let's find the critical numbers

[tex]f'(x)=0=>xsinx=0=>x=0,and,x=k\pi[/tex]

But, notice that none of these numbers are in the domain of our function, so it means that f, has no cr numbers at all.

THis actually means also that f'(x) does not change sign at all on the given interval, so it is sufficient to plug in any value from the interval (0,pi) to determine the sign of f' on the whole interval, that is let [tex]x=\frac{\pi}{2}[/tex]

SO:

[tex]f'(x)=\frac{\pi}{2}sin\frac{\pi}{2}=-\frac{\pi}{2}<0[/tex]

THis means that our function is decreasing on the given interval. Now from this information we know that:

[tex]f(0)>f(0+\epsilon),\epsilon>0,\epsilon\to\ 0, \epsilon \in (0,\pi][/tex]


Hence,

[tex]f(0)=0*cos(0)-sin(0)=0[/tex] it means that

[tex]f(x)<0,\forall x \in (0,\pi)[/tex]

so:

[tex]f(x)=xcosx-sinx<0=>xcosx<sinx[/tex]
 
  • #12
ahh thank you very much stupidmath! Also, when solving inequalities like this in the future, should i always try to solve for critical nos, or is it enough to say for example in this case that since f(0)=0 and f'(x) = -xsinx, which is clearly negative over the whole the interval then f(x) is a decreasing function and hence less than 0?
 
  • #13
Take [tex]x=\frac{3 \pi}{2}[/tex] f' is clearly >0 for this value. Or take any x in the interval (pi,2pi) what do you get for f'=-xsinx ?.SO it means that our funcitno is decreasing only on (0,pi) but this does not guarantee us that it is decreasing everywhere in its domain, like in this case which is not ture, since f is not decreasing everywhere but rather only on (0,pi) for our purporse.

So actually finding cr. points and seeing where function is increasing and decreasing guarantees us where f' changes sign and where not.
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 35 ·
2
Replies
35
Views
6K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
10K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K