专题地图 › 导数的应用
2018 年天津预赛 · 第 15 题
F3解答题导数的应用
设 f(x)=ex−cosx,x>0。正实数数列 {an} 满足 a1=1,且当 n≥2 时
f(an)=an−1。求证:
- (1)
- (2)
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
先用高阶导数证明指数余量的严格正性,再把递推差累加为平方和界。
解答
令 H(x)=ex−cosx−x−x2,则 H(0)=H′(0)=H′′(0)=0,而 H′′′(x)=ex−sinx>0 对 x>0 成立。逐层恢复得 f(x)>x+x2,故 an−1>an+an2。函数 f 在正半轴导数为 ex+sinx>0,且从零增到无穷,递推正输入唯一且保持正。对 n≥2 求和得 ∑k=2nak2<∑k=2n(ak−1−ak)=1−an<1,因此全部平方和小于二。Cauchy给 ∑k=1nak<2n<2n;n=1 时直接成立。所以 k=1∑nak<2n。
复核
每层辅助导数的零初值都明确给出;仅声称高阶导数正并不足够。平方和累计首项是一,不能把它漏出总和;首项的严格界单独核过。
方法总结
逆递推可以由函数的强下界控制相邻差,累加后再将平方和界转成普通和界。
为什么评为 F3(会透露解法方向)
以三层零初值和高阶导数证明指数余量的严格正性,再用递推相邻差累计平方和并控制普通和。
用到的方法(会透露解法方向)
核心工具:用导数或作差看单调性、裂项相消
专题卡:差函数与逐层导数估计