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 得到上式。