是否存在锐角a,b,使a+2b=2π/3,(tana/2)*tanb=2-√3同时成立