- #1

- 136

- 0

My intuition says it's true, as can be seen from [itex]\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta[/itex], because [itex]0<\cos\alpha,\cos\beta<1[/itex], but I haven't been able to prove it.

Thanks in advance!!!

- Kamataat

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Kamataat
- Start date

- #1

- 136

- 0

My intuition says it's true, as can be seen from [itex]\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta[/itex], because [itex]0<\cos\alpha,\cos\beta<1[/itex], but I haven't been able to prove it.

Thanks in advance!!!

- Kamataat

- #2

Curious3141

Homework Helper

- 2,850

- 87

Kamataat said:

My intuition says it's true, as can be seen from [itex]\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta[/itex], because [itex]0<\cos\alpha,\cos\beta<1[/itex], but I haven't been able to prove it.

Thanks in advance!!!

- Kamataat

The inequality should not be a strict one, it should include the "=" sign for the domain given. But otherwise, you're completely on the right track and you've already proven it. You've already made the observation that the cosines are positive for the domain and have magnitude less than or equal to one.

[tex]\sin(\alpha + \beta) = \sin\alpha \cos\beta + \cos\alpha \sin\beta \leq \sin\alpha + \cos\alpha \sin\beta \leq \sin\alpha + \sin\beta[/tex]

and you're done. Note that doing it in two "stages" makes things easier to see. The equality occurs when [itex]\alpha = \beta = 0[/itex].

EDIT : I should mention that the fact that both sines are also non-negative over the domain is critical in the proof.

Last edited:

- #3

- 2,210

- 1

Perhaps the identity [itex] sin(x) = cos(\frac{\pi}{2} - x) [/itex] would be helpful. It goes both ways.

[itex]\sin(\alpha+\beta)=\sin\alpha\sin(\frac{\pi}{2} - \beta)+\sin(\frac{\pi}{2} - \alpha) sin\beta[/itex]

Then you get

[tex]\sin\alpha\sin\left(\frac{\pi}{2} - \beta\right)+\sin\left(\frac{\pi}{2} - \alpha\right) sin\beta < \sin\alpha + \sin\beta [/tex]

For [itex] \alpha, \beta > \frac{\pi}{4} [/tex] you are bounded underneath by [itex] \sqrt{2} [/tex] on the RHS, but the left will be bounded underneath by 1. Since sine is increasing between [itex] \frac{\pi}{4} \rightarrow \frac{\pi}{2} [/tex] it holds for that interval.

Perhaps the easiest way would just be to show that [itex]0 <\sin\alpha+\sin\beta - \sin(\alpha+\beta) [/itex] by saying that in the given domain the function is bounded below by 0, and is increasing throughout?

Share: