2sina-cosa=√3sina
--> cosa=(2-√3)sina
--> sina=(2+√3)cosa
代入(sina)^2+(cosa)^2=1
--> (8+4√3)(cosa)^2=1
--> (cosa)^2=(8-4√3)/16
--> cosa=±((√6-√2)/4)