階差数列

階差数列（かいさすうれつ、英: progression of differences, sequence of differences）とは、ある数列に対し、隣り合う項の差をとることによってできる新たな数列のことである。数列の規則性が見えにくい場合でも、階差数列を考えることにより元の数列の素性が分かりやすくなる場合がある。

定義編集

数列 $(a n)$ が与えられているとき

b_{n}=a_{n+1}-a_{n}

を $n$ -項目の差分または階差 (difference) といい、階差によって定義される数列 $(b n)$ を、数列 $(a n)$ の（第 1-）階差数列と呼び、 $(Δ a n)$ などと表す。 $(Δ a n)$ の階差数列を $(a n)$ の第 2-階差数列と呼び、 $(Δ 2 a n)$ などと表す。以下、帰納的に第 $m$ -階差数列 $(Δ m a n)$ が定義される。

たとえば、数列 $(a n)$ の一般項が

a_{n}={\frac {1}{2}}n^{2}-{\frac {1}{2}}n+1

であるとき、 $(a n)$ の階差数列 $(b n)$ の一般項は

b_{n}={\frac {1}{2}}(n+1)^{2}-{\frac {1}{2}}(n+1)+1-\left({\frac {1}{2}}n^{2}-{\frac {1}{2}}n+1\right)=n

である。

定理編集

数列 $(a n)$ の階差数列を $(b n)$ とするとき

a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}\quad (n\geqq 2)

が成り立つ^{[注釈 1]}。

たとえば

a_{1}=1,\quad a_{n+1}=a_{n}+n\quad (n\geqq 1)

によって定義される数列 $(a n)$ の一般項は、この性質を利用して次のように求めることができる。この数列の階差数列を $(b n)$ とすれば、その一般項は

b_{n}=a_{n+1}-a_{n}=n

である。よって、 $n ≧ 2$ のとき

a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}=1+{\frac {n-1}{2}}\cdot (1+n-1)={\frac {1}{2}}n^{2}-{\frac {1}{2}}n+1

(1)

が成り立つ。(1) に $n = 1$ を代入すると $a 1 = 1$ と一致するから、結局、(1) は全ての自然数 $n$ に対して成り立つ。

階乗冪編集

階乗冪の階差は再び階乗冪となる。 $m$ を与えられた整数とし、一般項が

k^{\langle m\rangle }={\begin{cases}k(k-1)(k-2)\cdots (k-m+1)&(m>0)\\1&(m=0)\\1/k(k+1)(k+2)\cdots (k+|m|-1)&(m<0)\end{cases}}

で定義される数列 $(k ⟨ m ⟩) k$ を考えれば

{\frac {\;\Delta k^{\langle m\rangle }\!\!\!\!\!}{\,\Delta k}}=mk^{\langle m-1\rangle }

が成り立つことは簡単な計算でわかる（分母は $Δ k \equiv 1$ だから書いても書かなくても同じだが）。逆に $m \neq -1$ のとき $k = 1, 2, ..., n - 1$ について加えると

\sum _{k=1}^{n-1}k^{\langle m\rangle }={\frac {1}{m+1}}(n^{\langle m+1\rangle }-1^{\langle m+1\rangle })

を得る。特に $m \geq 1$ のとき $k ⟨ m ⟩$ を展開することにより、冪和 $S i (n)$ に関する関係式

{\frac {(n+1)^{\langle m+1\rangle }}{m+1}}=S_{m}(n)-{\frac {m(m-1)}{2}}S_{m-1}(n)+\cdots +(-1)^{m-1}(m-1)!S_{1}(n)

が得られる。

「ファウルハーバーの公式」も参照

階差表と高階等差数列編集

もとの数列とその各階の階差数列を並べて表にしたものを階差表という。たとえば、二項係数の階差表はパスカルの三角形であり、調和級数の階差表はライプニッツの調和三角形である（正負の符号は異なる）。

適当な自然数 $m$ に対し、第 $m$ -階差が定数列となるとき、もとの数列を $m$ -階等差数列という。通常の等差数列は、1-階等差数列である。また、0-階等差数列は定数列である。一般項が添字 $n$ の多項式であるような数列は必ず定数列となるような高階階差を持つから、高階等差数列のクラスに含まれる。

注釈編集

^ 空和は $0$ に等しいと約束すれば、この式は $n = 1$ のときも成り立つ。

参考文献編集

J.H.コンウェイ、R.K.ガイ著、根上生也訳『数の本』シュプリンガー・フェアラーク東京、2001年12月。ISBN 978-4-431-70770-7。
- J.H.コンウェイ、R.K.ガイ著、根上生也訳『数の本』丸善出版、2001年12月。ISBN 978-4-621-06207-4。

階差数列

目次

定義編集

定理編集

階乗冪編集

階差表と高階等差数列編集

注釈編集

参考文献編集

関連項目編集

階差数列

定義 編集

定理 編集

階乗冪 編集

階差表と高階等差数列 編集

注釈 編集

参考文献 編集

関連項目 編集

定義編集

定理編集

階乗冪編集

階差表と高階等差数列編集

注釈編集

参考文献編集

関連項目編集