注意到 30o=(12o+x)+(18o-x),令a=12o+x,b18o-x
则有：tan30o=tan(a+b)=(tana+tanb)/(1-tanatanb)=1/√3
由右边的那个等号得到
(tana+tanb)/(1-tanatanb)=1/√3
√3（tana+tanb)=1-tanatanb
tanatanb+√3（tana+tanb)=1
将a=12o+x,b18o-x 代入上式,得到
tan(18o-x)tan(12o+x)+√3[tan(18o-x)+tan(12o+x)]=1
大概是这样子的2014-3-16 下午 09:31:10