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 の関数として表せ。
ステップ 2/5: 恒等式をスケールする
[n2k]=[n2k+1]+[n+2k2k+1]\left[\frac n{2^k}\right]=\left[\frac n{2^{k+1}}\right]+\left[\frac{n+2^k}{2^{k+1}}\right]
詳しい解説

恒等式を x=n/2kx=n/2^k に適用すると、すべての整数 k≥0k\ge0 で表示式を得る。