tan20+2tan40+4tan10=tan70
tan20+2tan40+4tan10=cot20
(tan20)^2+2tan40tan20+4tan10tan20=1
2tan20(tan40+2tan10)=1-(tan20)^2
tan40+2tan10=cot40
(tan40)^2+2tan10tan40=1
2tan10tan40=1-(tan40)^2
tan10=cot80
tan10=tan10
左边等于右边,所以等式成立
注：有的书写不太规范,凑合看吧,明白就行（所以角度都没有加符号）