数学の力

京大生が数学の定理・公式の証明や入試問題の解説をするブログ.

京大2021年度理系第3問(無限級数)


スポンサードリンク

問題.

ーーー→ 2021年度京大理系の他の問題はこちらから
第1問        第2問       第3問       第4問       第5問       第6問



第3問.
無限級数 \displaystyle\sum_{n=0}^\infty\left(\frac{1}{2}\right)^n\cos\frac{n\pi}{6}の和を求めよ.




無限級数を計算する問題.京大らしい短い問題文の問題ですね.

複素数と結びつけて考えることができればあとは計算を頑張れば解けます.複素数と結びつけることに気が付かなくても, \cos\frac{n\pi}{6}の周期性を用いれば計算できます.


解説.

1. 複素数を経由して解く

まず,複素数と結びつけて考える解放を説明します.おそらくこの手法が想定解かと思います.

等比級数の値は

\begin{align*}
\sum_{n=0}^\infty x^n &= \frac{1}{1-x}\quad (x\neq 1)
\end{align*}

と計算できるので,等比級数の形を作るという方針で考えていきます.

複素数 zに対して,その実部を \Re(z)で表すことにします.

\begin{align*}
\sum_{n=0}^\infty \left(\frac{1}{2}\right)^n\cos\frac{n\pi}{6} &= \sum_{n=0}^\infty \left(\frac{1}{2}\right)^n\Re\left(\cos\frac{n\pi}{6}+i\sin\frac{n\pi}{6}\right)\\
&= \Re\left(\sum_{n=0}^\infty\left(\frac{1}{2}\right)^n\left(\cos\frac{n\pi}{6}+i\sin\frac{n\pi}{6}\right)\right)
\end{align*}

ここで,ド・モアブルの定理を用いると

\begin{align*}
\cos\frac{n\pi}{6}+i\sin\frac{n\pi}{6} &= \left(\cos\frac{\pi}{6}+i\sin\frac{\pi}{6}\right)^n\\
&= \left(\frac{\sqrt{3}+i}{2}\right)^n
\end{align*}

なので,

\begin{align*}
\sum_{n=0}^\infty\left(\frac{1}{2}\right)^n\left(\cos\frac{n\pi}{6}+i\sin\frac{n\pi}{6}\right) &= \sum_{n=0}^\infty\left(\frac{1}{2}\right)^n\left(\frac{\sqrt{3}+i}{2}\right)^n\\
&= \left(\frac{\sqrt{3}+i}{4}\right)^n\\
&= \frac{1}{1-\frac{\sqrt{3}+i}{4}}\\
&= \frac{4}{4-\sqrt{3}-i}\\
&= \frac{4(4-\sqrt{3}+i)}{(4-\sqrt{3}-i)(4-\sqrt{3}+i)}\\
&= \frac{4(4-\sqrt{3}+i)}{20-8\sqrt{3}}\\
&= \frac{4-\sqrt{3}+i}{5-2\sqrt{3}}
\end{align*}

求めたかったものはこれの実部なので,

\begin{align*}
\frac{4-\sqrt{3}}{5-2\sqrt{3}} &= \frac{(4-\sqrt{3})(5+2\sqrt{3})}{(5-2\sqrt{3})(5+2\sqrt{3})}\\
&= \frac{14+3\sqrt{3}}{13}
\end{align*}

 

もう少し地道に解く

次に,複素数を経由することに気が付かなかった場合の \cos\frac{n\pi}{6}の値の周期性を用いた解法を試してみます.本質的には上の解法と同じです.

 \cos\frac{n\pi}{6}の値を, nを6で割った余りで分類してみます. mを非負整数として,

\begin{align*}
\cos\frac{n\pi}{6} &= \left\{
\begin{array}{ll}
(-1)^m & (n=6m)\\
(-1)^m\cdot\frac{\sqrt{3}}{2} & (n = 6m+1)\\
(-1)^m\cdot\frac{1}{2} & (n = 6m+2)\\
0 & (n = 6m+3)\\
(-1)^m\left(-\frac{1}{2}\right) & (n = 6m+4)\\
(-1)^m\left(-\frac{\sqrt{3}}{2}\right) & (n = 6m+5)
\end{array}
\right.
\end{align*}

となります. nを12で割った余りで分類しても良かったのですが,それだとさすがに計算が大変になるので上のようにしました.

これを用いると,

\begin{align*}
\sum_{n=0}^{\infty}\left(\frac{1}{2}\right)\cos\frac{n\pi}{6} &= \sum_{m=0}^{\infty}\left(\frac{1}{2}\right)^{6m}(-1)^m+\sum_{m=0}^{\infty}\left(\frac{1}{2}\right)^{6m+1}(-1)^m\cdot\frac{\sqrt{3}}{2}\\
&\quad +\sum_{m=0}^{\infty}\left(\frac{1}{2}\right)^{6m+2}(-1)^m\cdot\frac{1}{2}+\sum_{m=0}^{\infty}\left(\frac{1}{2}\right)^{6m+3}\cdot 0\\
&\quad +\sum_{m=0}^{\infty}\left(\frac{1}{2}\right)^{6m+4}(-1)^m\left(-\frac{1}{2}\right)+\sum_{m=0}^{\infty}\left(\frac{1}{2}\right)^{6m+5}(-1)^m\left(-\frac{\sqrt{3}}{2}\right)\\
&= \sum_{m=0}^\infty \left(-\frac{1}{2^6}\right)^m + \frac{\sqrt{3}}{4}\sum_{m=0}^\infty \left(-\frac{1}{2^6}\right)^m\\
&\quad + \frac{1}{8}\sum_{m=0}^\infty \left(-\frac{1}{2^6}\right)^m + 0\\
&\quad -\frac{1}{32}\sum_{m=0}^\infty \left(-\frac{1}{2^6}\right)^m - \frac{\sqrt{3}}{64}\sum_{m=0}^\infty \left(-\frac{1}{2^6}\right)^m\\
&= \left(1+\frac{\sqrt{3}}{4}+\frac{1}{8}-\frac{1}{32}-\frac{\sqrt{3}}{64}\right)\sum_{m=0}^\infty \left(-\frac{1}{2^6}\right)^m\\
&= \frac{70+15\sqrt{3}}{64}\cdot\frac{1}{1+\frac{1}{2^6}}\\
&= \frac{70+15\sqrt{3}}{64}\cdot\frac{64}{65}\\
&= \frac{14+3\sqrt{3}}{13}
\end{align*}

となり,上の解法と同じ答えが無事にでました.