求sin(派/12)-根号3cos(派/12)的值.