高中数学之数列放缩与不等式

前言

在高中数学中,数列放缩往往在高考中扮演极其重要的角色,往往是压轴题的直接证明对象或是关键步骤,而其放缩的灵活性与多变性使考生难以掌握,本文梳理常见的几种放缩形式。

放缩公式与技巧

  • 增添项:$\sqrt{a^{2}+1}> \begin{vmatrix} a \end{vmatrix};\sqrt{n(n+1)}>n$
  • 基本不等式:$a+b\geq2\sqrt{ab}(a,b>0)$
  • 分母放大或缩小,此法可能会伴随列项操作
  • 裂项:
  1. $\frac{1}{k(k-1)}=\frac{1}{k-1}-\frac{1}{k}$
  2. $\frac{1}{2^{n}\left(2^{n}-1\right)}=\frac{1}{2^{n}-1}-\frac{1}{2^{n}}$
  • 对数均值不等式链: $\text{若}a>b>0,\text{则}a<\frac{2}{\frac{1}{a}+\frac{1}{b}}=\frac{2ab}{a+b}<\sqrt{ab}<\frac{a-b}{\ln a-\ln b}<\frac{a+b}{2}<\sqrt{\frac{a^{2}+b^{2}}{2}}<b$
  • 糖水不等式
  • 切线放缩
  • ……

此类公式实用性高,但是大部分题目不会那么容易让你看出放缩方向,因此还是要根据实际题型和情景来放缩

例题

例一

求证:

$$
\sum_{k=1}^{n} \frac{k+1}{k^2} >ln(n+1)
$$

解答:

  • 法一
    注意到

$$
ln(n+1)=\sum_{k=1}^{n} ln\frac{k+1}{k}
$$

要证原式,即证

$$
\sum_{k=1}^{n}\frac{k+1}{k^2}>\sum_{k=1}^{n} ln\frac{k+1}{k}
$$

$$
\frac{k+1}{k^2}> ln\frac{k+1}{k}
$$

令$t=\frac{1}{k} $,可知$t\in \left (0 ,1\right] $,原式化为

$$
t^2+t-ln(1+t)>0
$$

到这一步,函数求导分析已经很简单了,故不再说明。

  • 法二

$$
x>1时,有x^2>x+lnx(证明略)
$$

令$x=x+1$,则原式化为

$$
x^2+x>ln(x+1)
$$

令$x=\frac{1}{k}$,原式等价于

$$
\frac{k+1}{k^2}> ln\frac{k+1}{k}
$$

到此推导至法一所求,证明完毕

例二

$$
n\in N^*,求证:\sum_{k=1}^{n} \frac{1}{(n+k)\tan{\frac{1}{n+k} } } >n-\frac{1}{4n+2}
$$

解答
可知$\frac{1}{n+k}\in(0,\frac{1}{2}]$,所以有

$$
\sum_{k=1}^{n} \frac{1}{(n+k)\tan{\frac{1}{n+k} } } =\sum_{k=1}^{n} \frac{\cos{\frac{1}{n+k} }}{(n+k)\sin{\frac{1}{n+k} }} >\sum_{k=1}^{n}\cos{\frac{1}{n+k} }
$$

对放缩式进行三角恒等变换,有

$$
\sum_{k=1}^{n}\cos{\frac{1}{n+k} }=\sum_{k=1}^{n}(1-2\sin^2{\frac{1}{2(n+k)}} )=n-2\sum_{k=1}^{n}\sin^2{\frac{1}{2(n+k)}}
$$

即证

$$
\sum_{k=1}^{n}\sin^2{\frac{1}{2(n+k)}}<\frac{1}{8n+4}
$$

由切线放缩知,$x^2>\sin^2{x} (x>0)$,要证原式,即证

$$
\sum_{k=1}^{n} \frac{1}{(n+k)^2}<\frac{1}{2n+1}
$$

经尝试发现,裂项间距为1时,精度不足,现尝试间距为$\frac{1}{2}$

$$
\sum_{k=1}^{n} \frac{1}{(n+k)^2}< \sum_{k=1}^{n} \frac{1}{(n+k)^2-\frac{1}{4} } =\sum_{k=1}^{n} \frac{1}{(n+k+\frac{1}{2} )(n+k-\frac{1}{2}) } =\sum_{k=1}^{n}(\frac{1}{n+k-\frac{1}{2}} -\frac{1}{n+k+\frac{1}{2}})=\frac{2}{2n+1}-\frac{2}{4n+1}
$$

化简得

$$
\frac{1}{4n+1} >\frac{1}{4n+2}
$$

显然成立,故证毕

未完待续,更新日期:2026年7月15日