易混 2023 年中科大少年班初试 第 4 题 · P009742
控制正弦与线性项的差,都可从零点出发逐层利用导数符号;但后续需要的是相对比值还是绝对误差,会决定应证明哪一种辅助界,以及在哪个区间保留符号。
前题先核三角分式分母为正,再估计相对差;后题先给全正域的三次余项界,递推中另缩小到正弦为正的区间,并累计归一量的倒数误差。
设 ,证明 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
分子分母先分别判正,上界再转成一个从零出发严格增加的函数。
在原区间上,,因为其在零为零、导数 ;而 ,因为 。上界等价于 。令 ,有 ,且 ,故结论成立,即 。
用于初值的零点是辅助函数可定义的点,原分式在零没有定义,证明没有将它纳入。分母在实际开区间严格正,所以交叉相乘方向可靠。
三角分式严格界先核分母,再把目标差的导数用余弦变量因式分解。
先核原分子分母严格正,再把上界化为辅助差函数,导数以余弦变量分解并从零初值恢复严格性。
易混 2023 年中科大少年班初试 第 4 题 · P009742
控制正弦与线性项的差,都可从零点出发逐层利用导数符号;但后续需要的是相对比值还是绝对误差,会决定应证明哪一种辅助界,以及在哪个区间保留符号。
前题先核三角分式分母为正,再估计相对差;后题先给全正域的三次余项界,递推中另缩小到正弦为正的区间,并累计归一量的倒数误差。
已记下,谢谢!