MHB Trig. inequality: Strictly algebraic

  • Thread starter Thread starter SweatingBear
  • Start date Start date
  • Tags Tags
    Inequality Trig
SweatingBear
Messages
119
Reaction score
0
Forum, do you have any idea how to solve the trigonometric inequality $$\cos (x) < \sin (x)$$ strictly algebraically?

The conventional(?) approach is to first solve $$\cos(x) = \sin(x)$$ and then draw the graphs for each function in order to find the correct interval. However, I would love to know if there is a way to do it strictly algebraically.

I attempted writing $$\sin (90^\circ - x) < \sin (x)$$ which yields $$x > 45^\circ + n \cdot 180^\circ$$ but I am unable to find an upper bound for $$x$$.
 
Mathematics news on Phys.org
sweatingbear said:
Forum, do you have any idea how to solve the trigonometric inequality $$\cos (x) < \sin (x)$$ strictly algebraically?

The conventional(?) approach is to first solve $$\cos(x) = \sin(x)$$ and then draw the graphs for each function in order to find the correct interval. However, I would love to know if there is a way to do it strictly algebraically.

I attempted writing $$\sin (90^\circ - x) < \sin (x)$$ which yields $$x > 45^\circ + n \cdot 180^\circ$$ but I am unable to find an upper bound for $$x$$.

Hi sweatingbear!

You can rewrite it as $\cos x - \sin x < 0$.

Furthermore $\cos x - \sin x = \sqrt 2 \cos(x+45^\circ)$.
See for instance the trigonometric identities on wiki.
Or you can use the cosine sum formula to verify it's true.

So $\sqrt 2 \cos(x+45^\circ) < 0$.
Know how to solve that?
 
Perhaps try writing the inequality as:

$$\cos(-x)<\cos\left(270^{\circ}+x \right)$$
 
I like Serena said:
Hi sweatingbear!

You can rewrite it as $\cos x - \sin x < 0$.

Furthermore $\cos x - \sin x = \sqrt 2 \cos(x+45^\circ)$.
See for instance the trigonometric identities on wiki.
Or you can use the cosine sum formula to verify it's true.

So $\sqrt 2 \cos(x+45^\circ) < 0$.
Know how to solve that?

I have never seen that identity before, so it is rather odd in my eyes. Would it not be possible to reduce the inequality simpler one using another, more commonly seen identity? For instance the one I attempted to use?

And regarding the inequality you asked me to solve: I am not quite sure, I would really appreciate it if you could show me how you would solve that inequality. It would be very insightful to see how you do it!

MarkFL said:
Perhaps try writing the inequality as:

$$\cos(-x)<\cos\left(270^{\circ}+x \right)$$

Hm, which identities did you use?
 
sweatingbear said:
I have never seen that identity before, so it is rather odd in my eyes. Would it not be possible to reduce the inequality simpler one using another, more commonly seen identity? For instance the one I attempted to use?

Well, you can also do:
$$\cos x - \sin x = \cos x - \cos(90^\circ - x)$$

And with the identity:
$$\cos p - \cos q = -2\sin\frac{p+q}2\sin\frac{p-q}2$$
It follows that:
$$\cos x - \sin x = \cos x - \cos(90^\circ - x) = -2 \sin\frac{x+(90^\circ - x)}2\sin\frac{x-(90^\circ - x)}2 = -2 \cdot \frac 12\sqrt{2} \cdot \sin(x-45^\circ)$$

And regarding the inequality you asked me to solve: I am not quite sure, I would really appreciate it if you could show me how you would solve that inequality. It would be very insightful to see how you do it!

If $\cos y < 0$, then $90^\circ < y < 270^\circ$ plus a possible multiple of $360^\circ$.

Starting from:
$$\cos(x+45^\circ)<0$$
we find:
\begin{array}{lcccl}90^\circ &<& x + 45^\circ &<& 270^\circ \\
45^\circ &<& x &<& 225^\circ
\end{array}
All plus a possible multiple of $360^\circ$.
 
sweatingbear said:
...
Hm, which identities did you use?

$$\cos(x)=\cos\left(0^{\circ}-(-x) \right)=\cos\left(0^{\circ} \right)\cos(-x)+\sin\left(0^{\circ} \right)\sin(-x)=\cos(-x)$$

$$\sin(x)=\cos\left(90^{\circ}-x \right)=\cos\left(360^{\circ}-\left(90^{\circ}-x \right) \right)=\cos\left(270^{\circ}+x \right)$$
 
I like Serena said:
Well, you can also do:
$$\cos x - \sin x = \cos x - \cos(90^\circ - x)$$

And with the identity:
$$\cos p - \cos q = -2\sin\frac{p+q}2\sin\frac{p-q}2$$
It follows that:
$$\cos x - \sin x = \cos x - \cos(90^\circ - x) = -2 \sin\frac{x+(90^\circ - x)}2\sin\frac{x-(90^\circ - x)}2 = -2 \cdot \frac 12\sqrt{2} \cdot \sin(x-45^\circ)$$
If $\cos y < 0$, then $90^\circ < y < 270^\circ$ plus a possible multiple of $360^\circ$.

Starting from:
$$\cos(x+45^\circ)<0$$
we find:
\begin{array}{lcccl}90^\circ &<& x + 45^\circ &<& 270^\circ \\
45^\circ &<& x &<& 225^\circ
\end{array}
All plus a possible multiple of $360^\circ$.

Well of course, how wonderful! Thank you so much I like Serena!

MarkFL said:
$$\cos(x)=\cos\left(0^{\circ}-(-x) \right)=\cos\left(0^{\circ} \right)\cos(-x)+\sin\left(0^{\circ} \right)\sin(-x)=\cos(-x)$$

$$\sin(x)=\cos\left(90^{\circ}-x \right)=\cos\left(360^{\circ}-\left(90^{\circ}-x \right) \right)=\cos\left(270^{\circ}+x \right)$$

Oh ok, thank you! I understand now. However, how would you solve the previously mentioned inequality?
 
sweatingbear said:
...
Oh ok, thank you! I understand now. However, how would you solve the previously mentioned inequality?

How did you solve the first version?
 
sweatingbear said:
Forum, do you have any idea how to solve the trigonometric inequality $$\cos (x) < \sin (x)$$ strictly algebraically?

The conventional(?) approach is to first solve $$\cos(x) = \sin(x)$$ and then draw the graphs for each function in order to find the correct interval. However, I would love to know if there is a way to do it strictly algebraically.

I attempted writing $$\sin (90^\circ - x) < \sin (x)$$ which yields $$x > 45^\circ + n \cdot 180^\circ$$ but I am unable to find an upper bound for $$x$$.
When \displaystyle \begin{align*} -\frac{\pi}{2} + 2\pi n &lt; x &lt; \frac{\pi}{2} + 2\pi n \end{align*} where \displaystyle \begin{align*} n \in \mathbf{Z} \end{align*}, we have \displaystyle \begin{align*} \cos{(x)} &gt; 0 \end{align*}, so in this region we can say

\displaystyle \begin{align*} \sin{(x)} &amp;&gt; \cos{(x)} \\ \frac{\sin{(x)}}{\cos{(x)}} &amp;&gt; 1 \\ \tan{(x)} &amp;&gt; 1 \end{align*}

We know that \displaystyle \begin{align*} \tan{(x)} &gt; 1 \end{align*} when \displaystyle \begin{align*} \frac{ \pi}{ 4} + 2\pi n &lt; x &lt; \frac{\pi}{2} + 2\pi n \end{align*} and when \displaystyle \begin{align*} -\frac{3\pi}{4} + 2\pi n &lt; x &lt; -\frac{\pi}{2} + 2\pi n \end{align*}

So putting these together, that means we have one solution set for \displaystyle \begin{align*} \sin{(x)} &gt; \cos{(x)} \end{align*} as \displaystyle \begin{align*} \frac{\pi}{4} + 2\pi n &lt; x &lt; \frac{\pi}{2} + 2\pi n \end{align*}.Now when \displaystyle \begin{align*} -\pi + 2\pi n &lt; x &lt; -\frac{\pi}{2} + 2\pi n \end{align*} or \displaystyle \begin{align*} \frac{\pi}{2} + 2\pi n &lt; x \leq \pi + 2\pi n \end{align*} we have \displaystyle \begin{align*} \cos{(x)} &lt; 0 \end{align*}, so that would mean in that region we have

\displaystyle \begin{align*} \sin{(x)} &amp;&gt; \cos{(x)} \\ \frac{\sin{(x)}}{\cos{(x)}} &amp;&lt; 1 \\ \tan{(x)} &amp;&lt; 1 \end{align*}

We know that \displaystyle \begin{align*} \tan{(x)} &lt; 1 \end{align*} when \displaystyle \begin{align*} -\frac{\pi}{2} + 2\pi n &lt; x &lt; \frac{\pi}{4} + 2\pi n \end{align*} or \displaystyle \begin{align*} -\pi + 2\pi n &lt; x &lt; -\frac{3\pi}{4} + 2\pi n \end{align*} or \displaystyle \begin{align*} \frac{\pi}{2} + 2\pi n &lt; x \leq \pi + 2\pi n \end{align*}.

So putting these together, that means another possible solution set for \displaystyle \begin{align*} \sin{(x)} &gt; \cos{(x)} \end{align*} is \displaystyle \begin{align*} -\pi + 2\pi n \leq x &lt; -\frac{3\pi}{4} + 2\pi n \end{align*} or \displaystyle \begin{align*} \frac{\pi}{2} + 2\pi n &lt; x \leq \pi + 2\pi n \end{align*}.Therefore the solution to \displaystyle \begin{align*} \sin{(x)} &gt; \cos{(x)} \end{align*} is \displaystyle \begin{align*} -\pi + 2\pi n \leq x \leq -\frac{3\pi}{4} + 2\pi n \end{align*} or \displaystyle \begin{align*} \frac{\pi}{4} + 2\pi n &lt; x &lt; \frac{\pi}{2} + 2\pi n \end{align*} or \displaystyle \begin{align*} \frac{\pi}{2} + 2\pi n &lt; x \leq \pi + 2\pi n \end{align*}.
 
  • #10
Thanks a bunch everybody, I believe I finally understand now. Here's my rendition:

$$\cos (x) < \sin (x) \iff \cos (x) - \sin (x) < 0 \, .$$

The linear combination of cosine and sine, $$\cos (x) - \sin (x)$$, can be written as $$\sqrt{2} \sin (x + 135^\circ)$$. Thus we have

$$\sqrt{2} \sin (x + 135^\circ) < 0 \iff \sin (x + 135^\circ) < 0 \, .$$

Let $$t = x + 135^\circ$$. Thus $$\sin (t) < 0$$. If we take a look at the unit circle, we can conclude that sine is negative if and only if the argument is between $$180^\circ + n \cdot 360^\circ$$ and $$360^\circ + n \cdot 360^\circ$$. Therefore, we must require

$$180^\circ + n \cdot 360^\circ < t < 360^\circ + n \cdot 360^\circ \, .$$

Now, substituting back $$t = x + 135^\circ $$ and ultimately solving for $$x$$ yields

$$45^\circ + n \cdot 360^\circ < x < 225^\circ + n \cdot 360^\circ \, .$$

If we want to answer in the interval $$0^\circ < v < 360^\circ$$, we can let $$p = 0$$ and finally arrive at $$45^\circ < x < 225^\circ$$.

So forum, what do you think?
 
  • #11
Looks fine to me. ;-)

You may want to support the following statement with an identity though.

sweatingbear said:
The linear combination of cosine and sine, $$\cos (x) - \sin (x)$$, can be written as $$\sqrt{2} \sin (x + 135^\circ)$$.
 
  • #12
I like Serena said:
Looks fine to me. ;-)

You may want to support the following statement with an identity though.

All right, great.

I used

$$a \sin (x) + b \cos(x) = \sqrt{a^2 + b^2} \sin \left( x + \arctan \left( \frac ba \right) \right) \, .$$
 
  • #13
sweatingbear said:
All right, great.

I used

$$a \sin (x) + b \cos(x) = \sqrt{a^2 + b^2} \sin \left( x + \arctan \left( \frac ba \right) \right) \, .$$

You found it!

One problem though, it's not $\arctan \left( \frac ba \right)$. It's an angle $\phi$ such that $$\cos \phi = \frac a {\sqrt{a^2+b^2}}$$ and $$\sin \phi = \frac b {\sqrt{a^2+b^2}}$$.
Or you might say $\phi = \text{atan2}(a,b)$, although not everybody is familiar with the $\text{atan2}$ function.
 
  • #14
I like Serena said:
You found it!

One problem though, it's not $\arctan \left( \frac ba \right)$. It's an angle $\phi$ such that $$\cos \phi = \frac a {\sqrt{a^2+b^2}}$$ and $$\sin \phi = \frac b {\sqrt{a^2+b^2}}$$.
Or you might say $\phi = \text{atan2}(a,b)$, although not everybody is familiar with the $\text{atan2}$ function.

How is it not arctan? You can, after all, form $$\tan (\theta) = \frac ba$$ with your listed cosine- and sine-equations.
 
  • #15
sweatingbear said:
How is it not arctan? You can, after all, form $$\tan (\theta) = \frac ba$$ with your listed cosine- and sine-equations.

The problem is that $\arctan$ has a range of $(-\pi/2,\pi/2)$, while the angle you need has a range of the full $2\pi \text{ rad}$.
The function $\arctan$ fails for angles outside its range, which is slightly over half the full range.
 
  • #16
I like Serena said:
The problem is that $\arctan$ has a range of $(-\pi/2,\pi/2)$, while the angle you need has a range of the full $2\pi \text{ rad}$.
The function $\arctan$ fails for angles outside its range, which is slightly over half the full range.

You are absolutely correct, thanks a lot!
 
Back
Top