设m=sina,n=cosa,
显然有m^2+n^2=1 --(1),
且知mn=1/8 --(2).
所有由(1)-(2)×2,得(n-m)^2=3/4,
即n-m=正负(根号3)/2.
则cosa-sina=正负(根号3)/2.
而其中pi/4