等差数列とは、各項の差が一定の公差になるものをさすから、
差ｄ＝ａ_n+1 －ａ_n
　　　＝｛ｐ（ｎ＋１）＋ｑ｝－（ｐｎ＋ｑ）
　　　＝ｐｎ＋ｐ＋ｑ－ｐｎ－ｑ
　　　＝ｐ（一定）
したがって、
差ｄは公差となる。