COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

階差数列

階差数列

定義≪階差数列≫

 数列 $\{ a_n\}$ に対して, $a_{n+1}-a_n$ を一般項とする数列を $\{ a_n\}$ の階差数列(difference sequence)と呼ぶ.

定理≪階差数列と一般項≫

 数列 $\{ a_n\}$ の階差数列が $\{ d_n\}$ であるならば, $n \geqq 2$ のとき \[ a_n = a_1+\sum_{k = 1}^{n-1}d_k\] が成り立つ.

問題≪シュタイナーの平面の分割問題≫

 どの $2$ 本も平行でなく, どの $3$ 本も $1$ 点で交わらないように, 平面上に $n$ 本の直線を引く. このとき, 円が分割されてできる領域の個数 $a_n$ を求めよ.
[2019 横浜市立大*]

解答例

 $n$ 本の直線を引いた状態から新たに $1$ 本の直線を引いていくと, 既存の直線と交わるたびに領域が $1$ 個ずつ増え, 全部で $n+1$ 個の領域が増えるので, \[ a_{n+1}-a_n = n+1\] が成り立つ.
また, $a_1 = 2$ であるから, $n \geqq 2$ のとき \begin{align*} a_n &= a_1+\sum_{k = 1}^{n-1}(a_{k+1}-a_k) \\ &= 2+\sum_{k = 1}^{n-1}(k+1) \\ &= 2+\frac{(n-1)n}{2}+(n-1) \\ &= \frac{n^2+n+2}{2} \end{align*} が成り立つ. これは $n = 1$ のときも成り立つ.

参考

 どの $2$ 本も平行でなく, どの $3$ 本も $1$ 点で交わらないような $n$ 本の直線として, 例えば, 放物線 $y = x^2$ の点 $(k,k^2)$ における接線 \[ y = 2k(x-k)+k^2\] ($k$: 整数, $1 \leqq k \leqq n$)が挙げられる. 実際, これらの直線の傾きはすべて異なるから, どの $2$ 本も平行でない. また, $1$ 点から放物線に引ける接線の本数は $2$ 本以下であるから, どの $3$ 本も $1$ 点で交わることはない.

問題≪モーザーの円の分割問題≫

 円周上に $n$ 個の点 $\mathrm P_1,$ $\cdots,$ $\mathrm P_n$ をとり, それらの点どうしをすべて互いに弦で結んだとき, どの $2$ 本の弦も互いに平行でなく, どの $3$ 本の弦も円の内部において $1$ 点で交わらないとする. このとき, 円が分割されてできる領域の個数を $a_n$ とおく.
(1)
円周上にとる点の個数が $n+1$ の場合を考える. $1 \leqq k \leqq n$ なる整数 $k$ に対して, 円周上にとる点の個数が $n$ の場合から弦 $\mathrm P_k\mathrm P_{n+1}$ を引くと, 領域は $(k-1)(n-k)+1$ 個増えることを説明せよ.
(2)
$n$ を用いて $a_{n+1}-a_n$ を表せ.
(3)
$n$ を用いて $a_n$ を表せ.

解答例

(1)
点 $\mathrm P_k$ から点 $\mathrm P_{n+1}$ に向かって弦 $\mathrm P_k\mathrm P_{n+1}$ を引いていくと, 既存の弦と交わるたびに領域が $1$ 個ずつ増えて, 点 $\mathrm P_{n+1}$ に達したときに領域がさらに $1$ 個増える. 弦 $\mathrm P_k\mathrm P_{n+1}$ と交わる弦はその両側の点を結んだ $(k-1)(n-k)$ 本の弦 $\mathrm P_i\mathrm P_j$ $(1 \leqq i \leqq k-1,$ $k+1 \leqq j \leqq n+1)$ に限るから, 領域は全部で $(k-1)(n-k)+1$ 個増える.
(2)
円周上にとる点の個数が $n$ の場合から $n$ 本の弦 $\mathrm P_k\mathrm P_{n+1}$ $(1 \leqq k \leqq n)$ を引くときに増える領域の個数を考えると, (1) の結果から, \begin{align*} &a_{n+1}-a_n \\ &= \sum_{k = 1}^n\{ (k-1)(n-k)+1\} \\ &= \sum_{k = 1}^n\{ -k^2+(n+1)k+(1-n)\} \\ &= -\frac{1}{6}n(n+1)(2n+1)+\frac{1}{2}n(n+1)^2+(1-n)n \\ &= \frac{1}{6}n\{ -(n+1)(2n+1)+3(n+1)^2+6(1-n)\} \\ &= \frac{1}{6}n(n^2-3n+8) \end{align*} が得られる.
(3)
$n \geqq 2$ のとき, (2) の結果から, \begin{align*} a_n &= a_1+\sum_{k = 1}^{n-1}\frac{1}{6}k(k^2-3k+8) \\ &= 1+\frac{1}{6}\sum_{k = 1}^{n-1}(k^3-3k^2+8k) \\ &= 1+\frac{1}{6}\left\{\frac{1}{4}(n-1)^2n^2\right. \\ &\qquad \left.-3\cdot\frac{1}{6}(n-1)n(2n-1)+8\cdot\frac{1}{2}(n-1)n\right\} \\ &= 1+\frac{1}{24}(n-1)n\{ (n-1)n-2(2n-1)+16\} \\ &= 1+\frac{1}{24}(n-1)n(n^2-5n+18) \\ &= \frac{1}{24}(n^4-6n^3+23n^2-18n+24) \end{align*} が得られる. これは $n = 1$ のときも成り立つ. ゆえに, すべての正の整数 $n$ に対して $a_n = \dfrac{1}{24}(n^4-6n^3+23n^2-18n+24)$ が成り立つ.

背景

 本問は,「モーザーの円の分割問題」(Moser's circle problem)としてよく知られている. \[ a_1 = 1, \quad a_2 = 2, \quad a_3 = 4, \quad a_4 = 8, \quad a_5 = 16\] から $a_n = 2^{n-1}$ と推測してしまいそうだが, $a_6 = 31$ で $\{ a_n\}$ は等比数列でない. この結果は, すべてが証明されるまでは予想は覆される恐れがあるということをよく暗示している.

さまざまな数列の和

問題≪平方数の逆数の和の評価≫

 $n$ を正の整数とする.
(1)
$n > 1$ のとき, $\dfrac{1}{1\cdot 2}\!+\!\dfrac{1}{2\cdot 3}\!+\!\cdots\!+\!\dfrac{1}{(n\!-\!1)n}$ を求めよ.
(2)
$n \geqq 1$ のとき, $\dfrac{1}{1^2}+\dfrac{1}{2^2}+\cdots +\dfrac{1}{n^2} < 2$ を示せ.

解答例

(1)
$\dfrac{1}{(x-1)x} = \dfrac{1}{x-1}-\dfrac{1}{x}$ であるから, $n > 1$ のとき \begin{align*} &\frac{1}{1\cdot 2}+\frac{1}{2\cdot 3}+\cdots +\frac{1}{(n-1)n} \\ &= \frac{1}{1}-\frac{1}{2}+\frac{1}{2}-\frac{1}{3}+\cdots +\frac{1}{n-1}-\frac{1}{n} \\ &= 1-\frac{1}{n} \end{align*} である.
(2)
(i)
$n = 1$ のとき, $\dfrac{1}{1^2} = 1 < 2$ である.
(ii)
$n > 1$ のとき, (1) の結果により, \begin{align*} \frac{1}{1^2}\!+\!\frac{1}{2^2}\!+\!\cdots\!+\!\frac{1}{n^2} &< 1\!+\!\frac{1}{1\!\cdot\!2}\!+\!\cdots\!+\!\frac{1}{(n\!-\!1)n} \\ &= 1+\left( 1-\frac{1}{n}\right) = 2-\frac{1}{n} \\ &< 2 \end{align*} が成り立つ.
(i), (ii) から, $n \geqq 1$ のとき \[\frac{1}{1^2}+\frac{1}{2^2}+\cdots +\frac{1}{n^2} < 2\] が成り立つ.

背景

  • 常に一定値以下(以上)の値をとる単調増加(減少)数列は収束することが知られているので, 無限級数 $\displaystyle\sum_{n = 1}^\infty\frac{1}{n^2}$ は収束する(数学 III). 実際に, $\displaystyle\sum_{n = 1}^\infty\frac{1}{n^2} = \dfrac{\pi ^2}{6} = 1.64493\cdots$ であることが知られている.
  • 一般に, 無限級数 $\displaystyle\sum_{n = 1}^\infty\frac{1}{n^s}$ は, $s > 1$ のとき収束することが知られており, 定義域を複素数に拡げた「リーマンゼータ関数」(Riemann zeta function)に一般化される.

問題≪立方数の逆数の和の評価≫

 $n$ を正の整数とする.
(1)
$n > 1$ のとき, $\dfrac{1}{1\!\cdot\!2\!\cdot\!3}\!+\!\dfrac{1}{2\!\cdot\!3\!\cdot\!4}\!+\!\cdots\!+\!\dfrac{1}{(n\!-\!1)n(n\!+\!1)}$ を求めよ.
(2)
$n \geqq 1$ のとき, $\dfrac{1}{1^3}+\dfrac{1}{2^3}+\cdots +\dfrac{1}{n^3} < \dfrac{5}{4}$ を示せ.
[2002 一橋大]

解答例

(1)
\[\frac{1}{(x-1)x(x+1)} = \frac{1}{2}\left\{\frac{1}{(x-1)x}-\frac{1}{x(x+1)}\right\}\] であるから, $n > 1$ のとき \begin{align*} &\frac{1}{1\cdot 2\cdot 3}+\frac{1}{2\cdot 3\cdot 4}+\cdots +\frac{1}{(n-1)n(n+1)} \\ &= \frac{1}{2}\left(\frac{1}{1\cdot 2}-\frac{1}{2\cdot 3}\right) +\frac{1}{2}\left(\frac{1}{2\cdot 3}-\frac{1}{3\cdot 4}\right) \\ &\qquad +\cdots +\frac{1}{2}\left\{\frac{1}{(n-1)n}-\frac{1}{n(n+1)}\right\} \\ &= \frac{1}{2}\left\{\frac{1}{2}-\frac{1}{n(n+1)}\right\} = \frac{1}{2}\cdot\frac{n(n+1)-2}{2n(n+1)} \\ &= \frac{(n-1)(n+2)}{4n(n+1)} \end{align*} である.
(2)
(i)
$n = 1$ のとき, $\dfrac{1}{1^3} = 1 < \dfrac{5}{4}$ である.
(ii)
$n > 1$ のとき, (1) の結果により \begin{align*} &\frac{1}{1^3}+\frac{1}{2^3}+\cdots +\frac{1}{n^3} \\ &< 1+\frac{1}{1\cdot 2\cdot 3}+\cdots +\frac{1}{(n-1)n(n+1)} \\ &= 1+\frac{(n-1)(n+2)}{4n(n+1)} \end{align*} であるから, $\dfrac{(n-1)(n+2)}{4n(n+1)} < \dfrac{1}{4}$ を示せばよい.
これは, \begin{align*} \frac{(n\!-\!1)(n\!+\!2)}{4n(n\!+\!1)}\!-\!\frac{1}{4} &= \frac{(n\!-\!1)(n\!+\!2)\!-\!n(n\!+\!1)}{4n(n\!+\!1)} \\ &= \frac{-2}{4n(n+1)} < 0 \end{align*} から従う.
(i), (ii) から, $n \geqq 1$ のとき \[\frac{1}{1^3}+\frac{1}{2^3}+\cdots +\frac{1}{n^3} < \frac{5}{4}\] が成り立つ.

背景

  • 無限級数 $\displaystyle\sum_{n = 1}^\infty\frac{1}{n^s}$ (数学 III)は $s$ が正の偶数のとき, $s = 3$ のときに無理数であることが知られており, $\displaystyle\sum_{n = 1}^\infty\frac{1}{n^3} \!=\! 1.20205\cdots$ は「アペリーの定数」(Apéry's constant)として知られている.
  • $s$ が $5$ 以上の奇数のとき $\displaystyle\sum_{n = 1}^\infty\frac{1}{n^s}$ が無理数であるかどうかは知られていない($2019$ 年 $4$ 月現在).