同一骨架 2024 年山东预赛 · P006575
两题都围绕不动点建立可保持的区间,再比较映射后的点与原点。先证明迭代始终有定义且不越过边界,才能用严格差值控制每一步的方向。
一题比较两次复合并精确判断差的符号,另一题用一次映射的阻挡不动点对整条数列归纳。
设
证明:对任意 ,有
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先控制内层函数值所在的正区间,再比较复合值。
先回想这道题的想法,再试试当前题。
令 ,下界来自 的严格递减性,上界可把差通分成一个立方。
在 上,,且只在端点 为零,故 严格递减。对 ,令 ,则 。所以复合式有定义,并且 。另一方面直接通分得 。这里分母为正、分子立方为正,故 。合并得到 。
展开 ,可复查通分恒等式。在 时为不动点,两侧均变等号,所以左端必须排除;在 时 ,立方仍正,故右端确可包含。
复合函数估计先核内层值域与分母,再用单调性及因式分解分别证明两侧。
须控制第一次迭代的合法像区间,再因式化二次迭代差,证明严格双界及端点。
同一骨架 2024 年山东预赛 · P006575
两题都围绕不动点建立可保持的区间,再比较映射后的点与原点。先证明迭代始终有定义且不越过边界,才能用严格差值控制每一步的方向。
一题比较两次复合并精确判断差的符号,另一题用一次映射的阻挡不动点对整条数列归纳。
已记下,谢谢!