tanX=cos3π/5 ってどうやって解くんですか?