sin80-√3cos80-2sin20的值是多少