MathLabs

第6問

[x][x] を xx 以下の最大の整数とする。正整数 nn に対し、[n+12]+[n+24]+[n+48]+⋯[\frac{n+1}{2}]+[\frac{n+2}{4}]+[\frac{n+4}{8}]+\cdots を nn の関数として表せ。
ステップ 4/5: 有限和を望遠鏡型に消去する
∑k=0N[n+2k2k+1]=n−[n2N+1]\sum_{k=0}^{N}\left[\frac{n+2^k}{2^{k+1}}\right]=n-\left[\frac n{2^{N+1}}\right]
詳しい解説

k=0k=0 から NN まで差を足すと、最初の [n]=n[n]=n から最後の [n/2N+1][n/2^{N+1}] を引いたものだけが残る。