用a代替
00
(cosa-sina)²
=cos²a+sin²a-2sinacosa
=1-2*1/8
=3/4
所以cosa-sina=√3/2