<s>[INST] Showing $\tan70° = \tan20° + 2\tan50°$ Q. Prove that $\tan 70° = \tan 20° + 2\tan 50°$.
My approach:
$ LHS = \tan 70° = \dfrac1{\cot 70°} = \dfrac1{\tan 20°}$
$ \begin{align}
RHS 
&= \tan 20° + 2\tan 50° \\
&=  \tan 20° + 2\tan (20+30)° \\
&= \tan 20° + \dfrac{2(\tan 20° + 1/√3)}{1 - \tan 20°/√3} \\
&=\dfrac{2 + 3√3 \tan 20° - \tan^2 20°)}{√3 - \tan 20°} 
\end{align}
$
Why are the two sides not equal despite being expressed in the same terms? Can someone offer some help?
Much to my surprise, my friend just expanded tan70° and cross-multiplied the terms to prove it.
 [/INST] You can do the following: $\tan (50) = \tan (70 - 20)= \frac{\tan (70) - \tan (20)} {1+ \tan( 70). \tan (20)}.$ The bottom is $2,$ so you are done.
In general, if $ A +B = \pi/2,$ then $\tan A = \tan B + 2\tan(A-B)$, where $A$ is the bigger one.
Edit: If you can also start from the right/left side. Essentially do the same trick to get equality. For example,
RHS= $\tan 20° + 2\tan 50° \\
  =\tan 20° + 2\tan (70-20)° \\
= \tan 20° + \frac{2(\tan 70° - \tan 20° )}{1 + \tan 70° \tan 20°}
= \tan 20° + \frac{2(\tan 70° - \tan 20° )}{2}\\ 
=\tan 20° + \tan 70° - \tan 20° .\\
$
To show this equality, you split the angle differently, and the expression has become a bit complicated-looking and Tavish explained why they have to be equal.
</s>