1593

1593

证明: 1−12+13−14+⋯+12025−12026<22.

证明

左边看着像 ln⁡x 的泰勒展开式. 我们来证明如下结论: 当 n 为偶数时 fn(x)=ln⁡x−∑i=1n(x−1)i(−1)i−1i>0. 这是因为 fn′(x)=1x−∑i=1n(1−x)i−1=1x−1−(1−x)nx>0, 从而 fn(x)>fn(1)=0. 这样 ∑i=12026(−1)i−1i=ln⁡2−fn(2)<ln⁡2. 借助对数均值不等式 ln⁡x<12(x−1x), x>1, 有 ln⁡2=2ln⁡2<2−12=22.