cosa＝1/2且0＜α＜π/2
所以a=π/3
sina=√3/2
所以原式=(1-√3)/2