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 の関数として表せ。
ステップ 3/5: 望遠鏡型の差を認識する
[n+2k2k+1]=[n2k]−[n2k+1]\left[\frac{n+2^k}{2^{k+1}}\right]=\left[\frac n{2^k}\right]-\left[\frac n{2^{k+1}}\right]
詳しい解説

スケールした恒等式を変形する。問題の各項は床関数列の隣り合う二項の差そのものである。