普通に三角関数の証明問題が出た