飛び飛びの二項係数の和

問題

次の値を求めよ。

  1. 100C0+100C2+⋯+100C100{}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_2 + \cdots + {}_{100} \mathrm{C}_{100}
  2. 100C0+100C3+⋯+100C99{}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_3 + \cdots + {}_{100} \mathrm{C}_{99}
  3. 100C0+100C4+⋯+100C100{}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_4 + \cdots + {}_{100} \mathrm{C}_{100}

この記事では飛び飛びの二項係数の和の計算テクニックを紹介します。

偶数だけ/奇数だけ

二項定理より (1+1)100=100C0+100C1+⋯+100C100(1−1)100=100C0−100C1+⋯+100C100\begin{aligned} (1+1)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 + \cdots + {}_{100} \mathrm{C}_{100}\\ (1-1)^{100} &= {}_{100} \mathrm{C}_0 - {}_{100} \mathrm{C}_1 + \cdots + {}_{100} \mathrm{C}_{100} \end{aligned} であるため,辺々を足して2で割ることで 100C0+100C2+⋯+100C100=2100+02=299\begin{aligned} {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_2 + \cdots + {}_{100} \mathrm{C}_{100} &= \dfrac{2^{100}+0}{2}\\ & = 2^{99} \end{aligned} となります。

二項係数の偶数番目の和と奇数番目の和は一致することも分かります。

3の倍数

次は 11 の三乗根 ω\omega を用います。→ 1の三乗根オメガを用いた計算と因数分解

二項定理より (1+1)100=100C0+100C1+⋯+100C100(1+ω)100=100C0+100C1ω1+⋯+100C100ω100(1+ω2)100=100C0+100C1ω2+⋯+100C100ω200\begin{aligned} (1+1)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 + \cdots + {}_{100} \mathrm{C}_{100}\\ (1+\omega)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 \omega^1 + \cdots + {}_{100} \mathrm{C}_{100} \omega^{100}\\ (1+\omega^2)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 \omega^2 + \cdots + {}_{100} \mathrm{C}_{100} \omega^{200} \end{aligned} であるため,辺々を足すと (1+1)100+(1+ω)100+(1+ω2)100=(100C0+100C3+⋯+100C99)×3+(100C1+100C4+⋯+100C100)×(1+ω+ω2)+(100C2+100C5+⋯+100C98)×(1+ω+ω2)=(100C0+100C3+⋯+100C99)×3\begin{aligned} &(1+1)^{100} + (1+\omega)^{100} + (1+\omega^2)^{100}\\ &= ({}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_{3} + \cdots + {}_{100} \mathrm{C}_{99}) \times 3\\ &\quad + ({}_{100} \mathrm{C}_1 + {}_{100} \mathrm{C}_{4} + \cdots + {}_{100} \mathrm{C}_{100}) \times (1 + \omega + \omega^2)\\ &\quad + ({}_{100} \mathrm{C}_2 + {}_{100} \mathrm{C}_{5} + \cdots + {}_{100} \mathrm{C}_{98}) \times (1 + \omega + \omega^2)\\ &= ({}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_{3} + \cdots + {}_{100} \mathrm{C}_{99}) \times 3 \end{aligned} となります。

よって 100C0+100C3+⋯+100C99=(1+1)100+(1+ω)100+(1+ω2)1003\begin{aligned} &{}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_{3} + \cdots + {}_{100} \mathrm{C}_{99} \\ &= \dfrac{(1+1)^{100} + (1+\omega)^{100} + (1+\omega^2)^{100}}{3} \end{aligned} となります。

ω+1=1+3i2=cos⁡π3+isin⁡π3ω2+1=1−3i2=cos⁡π3+isin⁡5π3 \omega + 1 = \dfrac{1+\sqrt{3}i}{2} = \cos \dfrac{\pi}{3} + i \sin \dfrac{\pi}{3}\\ \omega^2 + 1 = \dfrac{1-\sqrt{3}i}{2} = \cos \dfrac{\pi}{3} + i \sin \dfrac{5\pi}{3} より (1+1)100+(1+ω)100+(1+ω2)100=2100+(cos⁡1003π+isin⁡1003π)+(cos⁡2003π+isin⁡2003π)=2100+(cos⁡43π+isin⁡43π)+(cos⁡23π+isin⁡23π)=2100−1\begin{aligned} &(1+1)^{100} + (1+\omega)^{100} + (1+\omega^2)^{100}\\ &= 2^{100} +\left( \cos \dfrac{100}{3} \pi + i \sin \dfrac{100}{3} \pi \right)\\ &\qquad \qquad +\left( \cos \dfrac{200}{3} \pi + i \sin \dfrac{200}{3} \pi \right)\\ &= 2^{100} + \left( \cos \dfrac{4}{3} \pi + i \sin \dfrac{4}{3} \pi \right)\\ &\qquad \qquad +\left( \cos \dfrac{2}{3} \pi + i \sin \dfrac{2}{3} \pi \right)\\ &= 2^{100}-1 \end{aligned} であるため 100C0+100C3+⋯+100C99=2100−13 {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_{3} + \cdots + {}_{100} \mathrm{C}_{99} = \dfrac{2^{100}-1}{3} となります。

4の倍数

3の倍数のときを踏まえると,11 の4乗根を用いれば良さそうです。11 の4乗根といえば ii ですね。

二項定理より (1+1)100=100C0+100C1+⋯+100C100(1+i)100=100C0+100C1×i1+⋯+100C100×i100(1−1)100=100C0−100C1+⋯+100C100(1−i)100=100C0−100C1×i1+⋯+100C100×i100\begin{aligned} (1+1)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 + \cdots + {}_{100} \mathrm{C}_{100}\\ (1+i)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 \times i^1 + \cdots + {}_{100} \mathrm{C}_{100} \times i^{100}\\ (1-1)^{100} &= {}_{100} \mathrm{C}_0 - {}_{100} \mathrm{C}_1 + \cdots + {}_{100} \mathrm{C}_{100}\\ (1-i)^{100} &= {}_{100} \mathrm{C}_0 - {}_{100} \mathrm{C}_1 \times i^1 + \cdots + {}_{100} \mathrm{C}_{100} \times i^{100}\\ \end{aligned} であるため,辺々を足すと (1+1)100+(1+i)100+(1−1)100+(1−i)100=(100C0+100C4+⋯+100C100)×4\begin{aligned} &(1+1)^{100} + (1+i)^{100} + (1-1)^{100} + (1-i)^{100}\\ &= ({}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_{4} + \cdots + {}_{100} \mathrm{C}_{100}) \times 4 \end{aligned} となります。

(1+i)100={2×(cos⁡π4+isin⁡π4)}100=250(cos⁡25π+isin⁡25π)=−250(1−i)100={2×(cos⁡34π+isin⁡34π)}100=250(cos⁡75π+isin⁡75π)=−250\begin{aligned} (1+i)^{100} &= \left\{ \sqrt{2} \times \left( \cos \dfrac{\pi}{4} + i \sin \dfrac{\pi}{4} \right) \right\}^{100}\\ &= 2^{50} ( \cos 25 \pi + i \sin 25\pi )\\ &= -2^{50}\\ (1-i)^{100} &= \left\{ \sqrt{2} \times \left( \cos \dfrac{3}{4}\pi + i \sin \dfrac{3}{4}\pi \right) \right\}^{100}\\ &= 2^{50} ( \cos 75 \pi + i \sin 75\pi )\\ &= -2^{50} \end{aligned} であるため 100C0+100C4+⋯+100C100=2100−250−2504=298−249\begin{aligned} &{}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_{4} + \cdots + {}_{100} \mathrm{C}_{100} \\ &= \dfrac{2^{100}-2^{50}-2^{50}}{4}\\ &= 2^{98} - 2^{49} \end{aligned} となります。

発展

以上を踏まえると次の計算もできます。

100C0+100C2×22+⋯+100C100×2100 {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_2 \times 2^2 + \cdots + {}_{100} \mathrm{C}_{100} \times 2^{100}

この場合は (1+2)100=100C0+100C1×21+⋯+100C100×2100(1−2)100=100C0−100C1×21+⋯+100C100×2100\begin{aligned} (1+2)^{100} &= {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 \times 2^1 + \cdots + {}_{100} \mathrm{C}_{100} \times 2^{100}\\ (1-2)^{100} &= {}_{100} \mathrm{C}_0 - {}_{100} \mathrm{C}_1 \times 2^1 + \cdots + {}_{100} \mathrm{C}_{100} \times 2^{100} \end{aligned} より 100C0+100C2×22+⋯+100C100×2100=3100+12 {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_2 \times 2^2 + \cdots + {}_{100} \mathrm{C}_{100} \times 2^{100} = \dfrac{3^{100}+1}{2} と計算できます。

5の倍数や6の倍数でも同じことができます。