■ある恒等式(その29)

 パスカルの三角形では

  C(n,k)=C(n−1,k−1)+C(n−1,k)

に従っているが,パスカルの三角形の置換則を変えると,

  C(n,k)=C(n−1,k−1)−C(n−1,k)

  C(n,k)=C(n−1,k−1)+2C(n−1,k)

とか.

 たとえば,スターリングの三角形は

  C(n,k)=C(n−1,k−1)+2C(n−1,k)

に従う.

1 1

1 3 1

1 7 5 1

1 15 17 7 1

1 31 49 31 9 1

1 63 129 111 49 11 1

 また,スターリングの三角形は,右端が2の累乗で形成される他はパスカルの三角形と同じである.

1 2

1 3 4

1 4 7 8

1 5 11 15 16

1 6 16 26 31 32

1 7 22 42 57 63 64

===================================