でも三角関数の定義を証明する問題が出たんですが