パスカルの三角形の各段の奇数の数

問題:{}_nC_r(r=0,1,...,n)のうち奇数はいくつあるか

解答:(1) {}_nC_rが奇数になる必要十分条件は2進法での(n-r)+r=nの筆算において繰り上がりが生じないことである。

(2) つまり、nを2進数で表示したときに登場する「1」を0+1とみる(rの桁)か、1+0とみる(n-rの桁)かのいずれかである。

(3) よって

pow( 2 , bitCount( n ) )

である。

例えば、n=2^kのときは、最上位ビットのみが1なので奇数は2個。最上位ビットを0+1とみると、それは0nに対応するので、2つの奇数は{}_nC_0{}_nC_nである。