prove
tan 70 = tan 20 + 2 tan 40 +4 tan 10

Hello, perash!
red_dog had a brilliant solution!
. . Did you follow it?
We have the identity: .Prove: .![]()
.**
So we have: .
Add the three equations:
. .
which simplifies to:
. .
. . . . . . .
. . . . . . .
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
**
We have: .
. .
. . . . ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
Alternate proof:
. .