3
$\begingroup$

I was working on simplifying some trig functions, and after a while of playing with them I simplified $$\frac{\sin(x)}{2}+\sin^2\left(\frac{x}{2}\right)\tan\left(\frac{x}{2}\right) \rightarrow \tan\left(\frac{x}{2}\right)$$

The way I got that result, however, was with what I think a very "roundabout" way. I first used the half-angle formulaes, then used $x=\pi/2-\beta$, and that simplified to $$\frac{\cos(\beta)}{1+\sin(\beta)}$$ where I again used the coordinate change to get $$\frac{\sin(x)}{1+\cos(x)}\rightarrow\tan\left(\frac{x}{2}\right)$$

I tried using the online trig simplifiers but none succeeded. Of course, after you know the above identity, it's easy to prove by proving that $$\frac{\sin(x)}{2}=\tan\left(\frac{x}{2}\right)-\sin^2\left(\frac{x}{2}\right)\tan\left(\frac{x}{2}\right)$$

Is there a more direct way to get the identity? I guess what I'm asking is, am I missing any "tricks" or software that I could have on my toolbelt so that next time I don't spend hours trying to simplify trig identities?

$\endgroup$

4 Answers 4

5
$\begingroup$

Use $ \sin(x) = 2 \sin(x/2) \cos(x/2)$ then we have \begin{eqnarray*} \frac{\sin(x)}{2}+\sin^2\left(\frac{x}{2}\right)\tan\left(\frac{x}{2}\right) &=& \frac{\sin(x/2)}{\cos(x/2)} \underbrace{\left( \cos^2(x/2) + \sin^2(x/2) \right)}_{=1} \\ &=& \tan (x/2). \end{eqnarray*}

$\endgroup$
1
  • $\begingroup$ I actually tried this route but got stuck, unfortunately. So I think it's worth commenting that the "trick" here to get to your right hand expression is to multiply the 2sin(x/2)cos(x/2)/2 term by cos(x/2)/cos(x/2). $\endgroup$
    – Esteban
    Sep 30, 2020 at 14:51
3
$\begingroup$

Fairly obvious: $$\sin^2\left(\frac{x}{2}\right)\tan\left(\frac{x}{2}\right)=(1-\cos^2\left(\frac{x}{2}\right))\tan\left(\frac{x}{2}\right)=\tan\left(\frac{x}{2}\right)-\cos\left(\frac{x}{2}\right)\sin\left(\frac{x}{2}\right)=\tan\left(\frac{x}{2}\right)-\frac{\sin x}{2}$$

$\endgroup$
1
  • $\begingroup$ All the tried trig simplifiers beg to differ it was fairly obvious, unfortunately. I like the route you took. $\endgroup$
    – Esteban
    Sep 30, 2020 at 14:54
2
$\begingroup$

$$ \frac{\sin x}{2} = \sin\frac{x}{2}\cos\frac{x}{2} = \frac{\sin\frac{x}{2}}{\cos\frac{x}{2}} \cos^2\frac{x}{2} = \tan\frac{x}{2} \left(1 - \sin^2\frac{x}{2}\right) $$

$\endgroup$
1
$\begingroup$

With $s:=\sin\frac x2,c:=\cos\frac x2$, $\sin x=2sc$ and

$$\frac122sc+s^2\frac sc=\frac{sc^2+s^3}c=\frac sc.$$

$\endgroup$
2
  • 1
    $\begingroup$ I accepted this answer since it makes all steps explicit $\endgroup$
    – Esteban
    Sep 30, 2020 at 15:03
  • $\begingroup$ @Esteban: thank you for the explanation. $\endgroup$
    – user65203
    Sep 30, 2020 at 15:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.