So, I have this equation: $$\sin x = 4\sin10°\sin40°\sin(70°-x)$$ And I'm trying to solve for $x$. Apparently $x=20°$ is the (smallest positive) solution but I can't arrive at it. I'm not very comfortable with this kind of equation so I just try to simplify it using prosthaphaere-something formulas, yet I don't get anywhere but to a messier equation to deal with.
Can someone solve it or at least point me in the right direction? Also, if you could tell me where I can find some material on solving equations like this (I can only find high school trig), that'd be great. Thanks.
Using Werner Formulas,
$$2\sin10\sin40=\cos30-\cos50$$
Again, $$4\sin10\sin40\sin(70-x)=2(\cos30-\cos50)\sin(70-x)$$
$$=\sin(100-x)+\sin(40-x)-[\sin(120-x)+\sin(20-x)]$$
Now, $$\sin x=4\sin10\sin40\sin(70-x)$$
$$\iff\sin x=\sin(100-x)+\sin(40-x)-[\sin(120-x)+\sin(20-x)] $$
$$\iff\sin x-\sin(40-x)=[\sin(100-x)-\sin(120-x)]+\sin(x-20) $$
$$\iff2\sin(x-20)\cos20=-2\sin10\cos(110-x)+\sin(x-20)$$
As $\displaystyle\cos(110-x)=\cos\{90-(x-20)\}=\sin(x-20),$ this becomes
$$\sin(x-20)(2\cos20-1)=-2\sin10\sin(x-20)$$
$$\iff\sin(x-20)(2\cos20-1+2\sin10)=0$$
But $\displaystyle\cos20+\sin10=\cos20+\cos80=2\cos50\cos30=\sqrt3\cos50\ne1$
$\displaystyle\implies\sin(x-20)=0\implies x-20=180^\circ n+20$ where $n$ is any integer