1. 高校数学の美しい物語
  2. 位相が等差数列である三角関数の和の公式

位相が等差数列である三角関数の和の公式

更新日時 2021/03/07

(位相が等差数列なら)複素指数関数と等比数列の和の公式を用いて三角関数の和を計算することができる:

k=0nsin(θ+kϕ)=sin((n+1)ϕ2)sin(θ+nϕ2)sinϕ2\displaystyle\sum_{k=0}^n\sin(\theta+k\phi)=\dfrac{\sin(\frac{(n+1)\phi}{2})\sin(\theta+\frac{n\phi}{2})}{\sin\frac{\phi}{2}}

k=0ncos(θ+kϕ)=sin((n+1)ϕ2)cos(θ+nϕ2)sinϕ2\displaystyle\sum_{k=0}^n\cos(\theta+k\phi)=\dfrac{\sin(\frac{(n+1)\phi}{2})\cos(\theta+\frac{n\phi}{2})}{\sin\frac{\phi}{2}}

三角関数の和を求めるタイプの問題に対するかなり万能な方法です。

目次
  • 扱う問題

  • 方法の概略

  • 具体例

扱う問題

「位相が等差数列」となる三角関数の和の例

cosθ+cos3θ+cos5θ\cos\theta+\cos 3\theta+\cos 5\theta

sinπ5+sin2π5+sin3π5+sin4π5\sin \dfrac{\pi}{5}+\sin \dfrac{2\pi}{5}+\sin \dfrac{3\pi}{5}+\sin\dfrac{4\pi}{5}

三角関数の和を求める問題は入試や数オリでしばしば出題されます。チェビシェフ多項式や図形的な性質(多角形の重心)を用いて解くのが一般的ですが,複素指数関数とオイラーの公式を用いればほとんどの問題に機械的に対応できます。

方法の概略

複素数 z=a+biz=a+bi の実部 aaRe(z)\mathrm{Re}(z),虚部 bbIm(z)\mathrm{Im}(z) と表記します。

三角関数(コサイン)の和を求める方法

1:オイラーの公式より

cosθ=Re(eiθ)\cos\theta=\mathrm{Re}(e^{i\theta}) と表すことができる

2:位相が等差数列なら複素指数関数では等比数列になり和を求めることができる(複素指数関数の指数法則を利用している)

3:頑張って実部を求める

ちなみに,サインの和を求める場合は虚部を用います。

sinθ=Im(eiθ)\sin\theta=\mathrm{Im}(e^{i\theta}) と表すことができる)

一般的な説明では分かりにくいと思うので具体例で解説します。

具体例

チェビシェフ多項式でも紹介した問題です。

問題

cosπ7+cos3π7+cos5π7\cos\dfrac{\pi}{7}+\cos\dfrac{3\pi}{7}+\cos\dfrac{5\pi}{7} を求めよ。

方針

チェビシェフ多項式を思いつくのは少し発想力が必要になりますが,複素指数関数を用いると機械的な計算で値が求まります!初項 eπi7e^{\tfrac{\pi i}{7}},公比 e2πi7e^{\tfrac{2\pi i}{7}},項数3の等比数列です。

解答

与式は複素指数関数を用いて以下のように計算できる。

Re(eπi7+e3πi7+e5πi7)=Re(eπi7(1e23πi7)1e2πi7)=Re(1+cosπ7+isinπ71cos2π7isin2π7)\mathrm{Re}(e^{\tfrac{\pi i}{7}}+e^{\tfrac{3\pi i}{7}}+e^{\tfrac{5\pi i}{7}})\\ =\mathrm{Re}\left(\dfrac{e^{\tfrac{\pi i}{7}}(1-e^{\tfrac{2\cdot 3\pi i}{7}})}{1-e^{\tfrac{2\pi i}{7}}}\right)\\ =\mathrm{Re}\left(\dfrac{1+\cos\tfrac{\pi}{7}+i\sin\tfrac{\pi}{7}}{1-\cos\tfrac{2\pi}{7}-i\sin\tfrac{2\pi}{7}}\right)

ここで,C+DiA+Bi\dfrac{C+Di}{A+Bi} の実部は AC+BDA2+B2\dfrac{AC+BD}{A^2+B^2} なので頑張って計算すると,求める値は,

1cos2π722cos2π7=12\dfrac{1-\cos\tfrac{2\pi}{7}}{2-2\cos\tfrac{2\pi}{7}}\\ =\dfrac{1}{2}

複素数を考えることの嬉しさが遺憾なく発揮されています。

Tag:数列の和を計算するための公式まとめ

Tag:複素数の美しい性質と効果まとめ

人気記事
  1. 高校数学の美しい物語
  2. 位相が等差数列である三角関数の和の公式