tan(x+y)=(tanx+tany)/(1-tanxtany)
整理得tanx+tany=tan(x+y)-tanxtanytan(x+y)
tan20+tan40+√3tan20tan40
＝tan60-tan60tan20tan40+√3tan20tan40
=tan60=√3