cos(ｰ2θ)=cos2θだから、(OP)^2の式に代入して、二乗とりました。