A∈O(2)とし、det(A)=1のとき、A=[[cosθ,-sinθ],[sinθ,cosθ]]
となるようなθが存在することを示せという問題なのですが、
示すことができません。どなたかご教授よろしくお願いします。
（O(2)は二次の直交行列全体の集合のことです）