设 表示不超过 的最大整数,则
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
取整式的分子比分母的一半多一个固定数,像是在数等差数列中有多少项。
把第 k 项解释成不超过上界的奇数倍 2^k 的个数;每个正整数都有唯一的二因子次数,于是这些类别恰好把全部整数分完。
把 按含有的因子 的次数分类: 每个正整数都能唯一写成 ,其中 为非负整数。 对固定 ,第 类为
中不超过 的数,它们的个数恰为
确切地说,若 、, 则前 个完整区段各贡献一个;余段当且仅当 时再贡献一个,正与上式一致。 当 时 ,该类为空,故题目求和的上限 已包含全部非空类别。 各类互斥并且覆盖 至 的所有整数,所以
这里取整表达式在计数奇数倍;不是把每一项都近似为 。 利用正整数唯一的二因子分解,把求和各项解释为互不重叠的类别,便不需逐项计算。
难点是把每项取整解释成固定二因子次数的奇数倍个数;唯一分解给互斥全覆盖,避免逐项计算或近似取整。
已记下,谢谢!