易混 2022 年新疆预赛 · P006906
两题的分式连乘都能利用相邻因子相消,但相消前的逻辑不同。任意互异整数先排序所得的是逐项比较界;连续下标乘积经完整因式分解后得到的才是精确等式。
把下界误写成原乘积的恒等式会丢失自由选择;反过来,只给粗界也不足以完成含整数参数的精确等式。
设 是 个不同的正整数,满足
则正整数 的最小值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先把不同的 递增排列,由 得到一个可望远镜相消的乘积下界; 随后寻找恰好达到所需分数的七个数作为构造。
等式右端非零,所以所有 。不妨设 ,则 。函数 在 上递增,故
而
(因为 )。若 ,则(1)右端至少为 ,矛盾。 所以 。
取
则这些数互不相同,且
故最小值为
下界使用的是每个因子分别单调增大,方向正确;构造中的分母 均不同,且 ,乘积与题设完全一致。
“互不相同的正整数”经排序后会给出 。若乘积含 ,这一逐项下界会望远镜相消;证明项数下界后,再反向拆分目标分数完成构造。
将互异整数排序后用ai≥i+1得到乘积下界1/(n+1),再保留连续整数段并调节最后一个因子达到目标。
易混 2022 年新疆预赛 · P006906
两题的分式连乘都能利用相邻因子相消,但相消前的逻辑不同。任意互异整数先排序所得的是逐项比较界;连续下标乘积经完整因式分解后得到的才是精确等式。
把下界误写成原乘积的恒等式会丢失自由选择;反过来,只给粗界也不足以完成含整数参数的精确等式。
已记下,谢谢!