垫脚石(此题 → 相关题) 2025 年甘肃预赛 · P006218
先练习证明迭代把一个区间送回自身,用统一夹逼控制任意两项的距离。再处理从区间外出发的情形:阈值以上需要下降速率,提前进入阈值以下后仍须证明不会重新越界。
前题初值已在合适的不变区间内,区间宽度就足以完成差值界;后题先给几何步数估计,再另外建立进入后的不变区间,严格号还要从初始条件保留。
数列 满足
求证:;
求证:。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
用递推映射保持一个短区间,同时控制第(1)问的下界和第(2)问的差。
把原式改写为 。当 时,。因 ,归纳得到
故任意两个项的差的绝对值均不超过 ,特别地
均落在上述区间内;区间内 ,因此改写后的递推无零分母,且所有项非零,满足原式的定义要求。
证明项间距离时,先看是否能用同一个不变区间同时夹住所有项。
把分式递推视为映射,先找保持不变的闭区间,再用归纳控制所有项;区间宽度随即给出任意两项的距离界。
垫脚石(此题 → 相关题) 2025 年甘肃预赛 · P006218
先练习证明迭代把一个区间送回自身,用统一夹逼控制任意两项的距离。再处理从区间外出发的情形:阈值以上需要下降速率,提前进入阈值以下后仍须证明不会重新越界。
前题初值已在合适的不变区间内,区间宽度就足以完成差值界;后题先给几何步数估计,再另外建立进入后的不变区间,严格号还要从初始条件保留。
已记下,谢谢!