Trig proof question

  • Thread starter Kamataat
  • Start date
  • #1
136
0
Let [itex]\alpha,\beta\in]0;\pi/2[[/itex]. Prove that [itex]\sin(\alpha+\beta)<\sin\alpha+\sin\beta[/itex].

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
 

Answers and Replies

  • #2
Curious3141
Homework Helper
2,850
87
Kamataat said:
Let [itex]\alpha,\beta\in]0;\pi/2[[/itex]. Prove that [itex]\sin(\alpha+\beta)<\sin\alpha+\sin\beta[/itex].

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
[itex]\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\ sin\beta[/itex]

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]

Unsure thoughts :
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?
 

Related Threads on Trig proof question

  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
5
Views
4K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
5
Views
1K
M
  • Last Post
Replies
15
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
5
Views
2K
Top