>>37
加法定理や積和でバラカシても上手くいきませんです。
多分x=30゜のみが解だと思いますが。