tαn(α/2+β)=[tαn(α/2)+tαnβ]/[1-tαn(α/2)tαnβ]
即tαn(π/3)=[tαn(α/2)+tαnβ]/[1-(2-√3)]=√3
tαn(α/2)+tαnβ=√3(√3-1)
tαn(α/2)+tαnβ=3-√3
可知(tαnα/2)与tαnβ是方程x^2-(3-√3)x+2-√3=0的两根
(x-(2-√3))(x-1)=0
x=2-√3>0 x=1>0
由锐角α,β tαnα>0 tαnβ>0
可知存在锐角α,β
tαnα=2-√3 tαnβ=1 or tαnα=1 tαnβ=2-√3
α=π/12 β=π/4 or α=π/4 β=π/12