求函数y=(√[sin x-((√3)/2)])+lg[√2-(2cos x)]的定义域