三角関数の加法定理のいろいろな証明方法