同一骨架 2022 年重庆预赛 · P006771
两题都把非线性递推的有界性连到不动点。先找到候选阻挡点,再用初值所在区间的保持性证明轨道不会越过;参数越过临界时,还须由单调及假定有界推出极限,才可用不动点方程制造矛盾。
一个先由第一步严格递增筛最小整数参数,另一个问最大实参数;初步必要条件与全程不变区间的职责不同。
已知数列 满足 和
试求使 对所有 恒成立的最小正整数 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先由第一步递推给出必要下界,再对最小候选值研究迭代映射的不动点区间。
先回想这道题的想法,再试试当前题。
由 ,得 ,故正整数 。取 ,记
方程 的较小根为 。当 时,
从 出发归纳得到
对所有 成立。因此最小正整数为
时 ,已经违反严格不等式; 的上界实际比题设的 更强。
递推全程有界递增可借助吸引或阻挡不动点证明:先找相邻不动点,再验证初值所在区间在映射下保持不变。
首步给出b至少为8;取8后递推函数在1至2间递增且映入该区间,可直接归纳严格单调与有界。
同一骨架 2022 年重庆预赛 · P006771
两题都把非线性递推的有界性连到不动点。先找到候选阻挡点,再用初值所在区间的保持性证明轨道不会越过;参数越过临界时,还须由单调及假定有界推出极限,才可用不动点方程制造矛盾。
一个先由第一步严格递增筛最小整数参数,另一个问最大实参数;初步必要条件与全程不变区间的职责不同。
同一骨架 2015 年天津预赛 第 13 题 · P010367
两题都围绕不动点建立可保持的区间,再比较映射后的点与原点。先证明迭代始终有定义且不越过边界,才能用严格差值控制每一步的方向。
一题比较两次复合并精确判断差的符号,另一题用一次映射的阻挡不动点对整条数列归纳。
已记下,谢谢!