On the proof $\tan 70°-\tan 20° -2 \tan 40°=4\tan 10°$

\begin{align*} \tan 70-\tan 20 & =\tan 70-\cot 70\\ & =\tan 70-\frac{1}{\tan 70}\\ & = \frac{\tan^2 70-1}{\tan 70}=-\frac{1-\tan^2 70}{\tan 70}\\ & = -\frac{2(1-\tan^2 70)}{2\tan 70}=-\frac{2}{\frac{2\tan 70}{1-\tan^2 70}}\\ & = \frac{-2}{\tan 140}= \frac{-2}{-\tan 40}= \frac{2}{\tan 40}=2\cot 40 \end{align*} Now, $$ \tan 70-\tt-2\tan 40 =2\cot 40-2\tan 40=-2(\tan 40-\cot 40) $$ \begin{align*} -2(\tan 40-\cot 40)= -2\left( \tan 40-\frac{1}{\tan 40} \right) \end{align*} Now do the same as above to get the result. You will get $ 4\cot 80=4\tan 10. $

$\tan 70 = \tan(90 - 20) = \cot 20$. So

$$\tan 70 - \tan 20 = \cot 20 - \tan 20= \frac{\cos^2 20 - \sin^2 20}{\cos 20 \sin 20} = \frac{\cos 40}{\frac12 \sin 40} = 2 \cot 40$$

Repeating the same procedure, we get that the LHS is:

$$2(\cot 40 - \tan 40) = \cdots = 2 (2 \cot 80) = 4\cot (90 - 10) = 4 \tan 10$$

$$\begin{align} \tan 70-\tan 20-2\tan 40 &= \left( \tan { 70-\tan { 40 } } \right) -\left( \tan { 40+\tan { 20 } } \right) \\ &=\frac { \sin { 70 } }{ \cos { 70 } } -\frac { \sin { 40 } }{ \cos { 40 } } -\left( \frac { \sin { 40 } }{ \cos { 40 } } +\frac { \sin { 20 } }{ \cos { 20 } } \right) \\ &=\frac { \sin { 30 } }{ \cos { 70\cos { 40 } } } -\frac { \sin { 60 } }{ \cos { 20\cos { 40 } } } \\ &=\frac { 1 }{ 2\cos { 40 } } \left( \frac { 1 }{ \cos { 70 } } -\frac { \sqrt { 3 } }{ \cos { 20 } } \right) \\ &=\frac { 1 }{ 2\cos { 40 } } \left( \frac { \cos { 20-\sqrt { 3 } \cos { 70 } } }{ \cos { 70\cos { 20 } } } \right) \\ &=\frac { 1 }{ 2\cos { 40 } } \left( \frac { \cos { 20-\sqrt { 3 } \sin { 20 } } }{ \sin { 20 } \cos { 20 } } \right) \\ &=\frac { 1 }{ \cos { 40 } } \left( \frac { \frac { 1 }{ 2 } \cos { 20 } -\frac { \sqrt { 3 } }{ 2 } \sin { 20 } }{ \sin { 20 } \cos { 20 } } \right) \\ &=\frac { 2 }{ \cos { 40 } } \frac { \cos { 60\cos { 20 } -\sin { 60\sin { 20 } } } }{ 2\sin { 20 } \cos { 20 } } \\ &=\frac { 2 }{ \cos { 40 } } \frac { \cos { 80 } }{ \sin { 40 } } \\ &= 4\frac { \cos { 80 } }{ 2\sin { 40 } \cos { 40 } } \\ &= 4\frac { \cos { 80 } }{ \sin { 80 } } =4\cot { 80 } =4\tan { 10 } \end{align}$$