垫脚石(此题 → 相关题) 2012 年山西预赛 第 6 题 · P010351
先将整数等比项的公比写成既约分数,用整除性把分母幂吸收到首项;这一步还能给出短整数等比列的本原参数形式,继续用于有限筛选和同步构造。
前题用分母幂得到单个末项的离散下界;后题要先规范排序、排除相等项,再枚举完整的小核范围,并让两个总和条件同时成立。
设 是等比数列,公比 。当 时, 为正整数,那么 的最小值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
整数项使公比为有理数,但不保证公比为整数。
将它写成既约分数,用第六项整性约束首项的分母幂。
由前两项为正整数,设公比 ,其中正整数 互素。 使 、。又
互素性迫使 ,故 。取 、,前六项为 ,均为正整数。因此
所构造公比严格位于 ,末项恰达到下界。若把整数项误作整数公比,反而会错误认为区间内没有可行公比;分母幂正是必须保留的条件。
整数等比项先约成既约公比。末项整性可迫使首项含足够高的分母幂,既给离散下界,也指导最小构造。
正整数等比项不能直接当作整数公比;须把公比化为既约分数,用末项整性迫使首项含分母的高次幂,再给满足开区间公比条件的最小构造。
垫脚石(此题 → 相关题) 2012 年山西预赛 第 6 题 · P010351
先将整数等比项的公比写成既约分数,用整除性把分母幂吸收到首项;这一步还能给出短整数等比列的本原参数形式,继续用于有限筛选和同步构造。
前题用分母幂得到单个末项的离散下界;后题要先规范排序、排除相等项,再枚举完整的小核范围,并让两个总和条件同时成立。
已记下,谢谢!