tan30=tan(10+20)=(tan10+tan20)/(1-tan10*tan20)=√3/3
√3*(tan10+tan20)=1-tan10*tan20
tan10*tan20+√3*(tan10+tan20)=1