加法定理証明するのに三角関数の定義まで聞かれるのかな