出典: フリー百科事典『ウィキペディア（Wikipedia）』
階差数列 （かいさすうれつ、英 : progression of differences , sequence of differences 数列 に対し、隣り合う項の差をとることによってできる新たな数列のことである。数列の規則性が見えにくい場合でも、階差数列を考えることにより元の数列の素性が分かりやすくなる場合がある。
数列 (a n が与えられているとき
b
n
=
a
n
+
1
−
a
n
{\displaystyle 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
=
1
2
n
2
−
1
2
n
+
1
{\displaystyle a_{n}={\frac {1}{2}}n^{2}-{\frac {1}{2}}n+1}
であるとき、(a n の階差数列 (b n の一般項は
b
n
=
1
2
(
n
+
1
)
2
−
1
2
(
n
+
1
)
+
1
−
(
1
2
n
2
−
1
2
n
+
1
)
=
n
{\displaystyle 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
+
∑
k
=
1
n
−
1
b
k
(
n
≧
2
)
{\displaystyle a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}\quad (n\geqq 2)}
が成り立つ[ 注釈 1]
たとえば
a
1
=
1
,
a
n
+
1
=
a
n
+
n
(
n
≧
1
)
{\displaystyle 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
{\displaystyle b_{n}=a_{n+1}-a_{n}=n}
である。よって、n ≧ 2
a
n
=
a
1
+
∑
k
=
1
n
−
1
b
k
=
1
+
n
−
1
2
⋅
(
1
+
n
−
1
)
=
1
2
n
2
−
1
2
n
+
1
{\displaystyle 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 = 1a 1 = 11 自然数 n に対して成り立つ。
階乗冪 の階差は再び階乗冪となる。m を与えられた整数 とし、一般項が
k
⟨
m
⟩
=
{
k
(
k
−
1
)
(
k
−
2
)
⋯
(
k
−
m
+
1
)
(
m
>
0
)
1
(
m
=
0
)
1
/
k
(
k
+
1
)
(
k
+
2
)
⋯
(
k
+
|
m
|
−
1
)
(
m
<
0
)
{\displaystyle 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 を考えれば
Δ
k
⟨
m
⟩
Δ
k
=
m
k
⟨
m
−
1
⟩
{\displaystyle {\frac {\;\Delta k^{\langle m\rangle }\!\!\!\!\!}{\,\Delta k}}=mk^{\langle m-1\rangle }}
が成り立つことは簡単な計算でわかる（分母は Δk ≡ 1 だから書いても書かなくても同じだが）。逆に m ≠ −1k = 1, 2, ..., n − 1
∑
k
=
1
n
−
1
k
⟨
m
⟩
=
1
m
+
1
(
n
⟨
m
+
1
⟩
−
1
⟨
m
+
1
⟩
)
{\displaystyle \sum _{k=1}^{n-1}k^{\langle m\rangle }={\frac {1}{m+1}}(n^{\langle m+1\rangle }-1^{\langle m+1\rangle })}
を得る。特に m ≥ 1k ⟨m ⟩ S i n )
(
n
+
1
)
⟨
m
+
1
⟩
m
+
1
=
S
m
(
n
)
−
m
(
m
−
1
)
2
S
m
−
1
(
n
)
+
⋯
+
(
−
1
)
m
−
1
(
m
−
1
)
!
S
1
(
n
)
{\displaystyle {\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
