学生の時はテスト中に加法定理を証明して使ってたなー
自分の記憶を信用してないし…テイラー展開も証明簡単