>>282
cos（2θ）＝ c ， sin（2θ）＝ s とおくと，その最後の式は
　　　−c ＋ 3s ＝ 1
となる　これを cs 平面の直線の式と見る
cs 平面の単位円との共有点の s 座標が求めるものである