北京工业大学 2019年数学分析第0题
📝 题目
五．（15 分）已知下列不等式恒成立
$$
\sqrt{1}+\sqrt{2}+\cdots+\sqrt{n}<A n^{\frac{3}{2}}
$$
其中 $A$ 为常数，且 $\displaystyle 0<A<1$ ，求 $A$ 的最小值．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：将求和与积分比较，得到下界估计
考虑函数 $f(x)=\sqrt{x}$，它是单调递增的。利用积分比较法，有：
$$
\int_0^n \sqrt{x} \, dx < \sum_{k=1}^n \sqrt{k} < \int_1^{n+1} \sqrt{x} \, dx
$$
计算积分：
$$
\int_0^n \sqrt{x} \, dx = \frac{2}{3} n^{3/2}
$$
因此得到下界：
$$
\sum_{k=1}^n \sqrt{k} > \frac{2}{3} n^{3/2}
$$
这说明如果 $A \le \frac{2}{3}$，当 $n$ 充分大时，左边会超过 $A n^{3/2}$，所以 $A$ 必须大于 $\frac{2}{3}$。
公式：\int_0^n \sqrt{x} \, dx = \frac{2}{3} n^{3/2}
提示：注意积分比较的方向：单调递增函数左矩形和右矩形的放缩关系。
步骤 2/5
目标：利用积分放缩得到上界表达式
对于单调递增函数 $f(x)=\sqrt{x}$，有不等式：
$$
\sum_{k=1}^n \sqrt{k} \le \int_1^n \sqrt{x} \, dx + \sqrt{n}
$$
计算积分：
$$
\int_1^n \sqrt{x} \, dx = \frac{2}{3}(n^{3/2} - 1)
$$
代入得：
$$
\sum_{k=1}^n \sqrt{k} \le \frac{2}{3}n^{3/2} - \frac{2}{3} + \sqrt{n}
$$
公式：\sum_{k=1}^n \sqrt{k} \le \frac{2}{3}n^{3/2} - \frac{2}{3} + \sqrt{n}
提示：这个放缩比直接用右矩形积分更精确，适用于寻找上界常数。
步骤 3/5
目标：推导A需要满足的条件
要求对所有正整数 $n$ 有 $\sum_{k=1}^n \sqrt{k} < A n^{3/2}$，代入上界放缩得：
$$
\frac{2}{3}n^{3/2} - \frac{2}{3} + \sqrt{n} < A n^{3/2}
$$
两边除以 $n^{3/2}$（$n>0$）：
$$
\frac{2}{3} - \frac{2}{3n^{3/2}} + \frac{1}{n} < A
$$
当 $n \to \infty$ 时，左边趋近于 $\frac{2}{3}$，但对小的 $n$ 需要单独验证。
公式：\frac{2}{3} - \frac{2}{3n^{3/2}} + \frac{1}{n} < A
提示：注意不等式方向：左边是下界，A必须大于左边所有可能的值。
步骤 4/5
目标：检查n=1的特殊情况并修正理解
当 $n=1$ 时，原不等式为 $1 < A \cdot 1^{3/2} = A$，要求 $A>1$，这与题目条件 $00$，当 $n$ 足够大时，取 $A = \frac{2}{3}+\epsilon$ 可使不等式成立。最小的 $A$ 为 $\frac{2}{3}$（但严格来说取不到，因为对有限 $n$ 会略大）。
公式：\lim_{n\to\infty} \frac{\sum_{k=1}^n \sqrt{k}}{n^{3/2}} = \frac{2}{3}
提示：注意题目中$0
步骤 5/5
目标：得出结论
综合以上分析，使得不等式 $\sqrt{1}+\sqrt{2}+\cdots+\sqrt{n}
公式：A_{\min} = \frac{2}{3}
提示：最终答案需注意题目对A的范围限制，$\frac{2}{3}$在0到1之间。
步骤 6/6
目标：确定A的最小值
由渐近分析，当n→∞时，$\sum_{k=1}^{n} \sqrt{k} \sim \frac{2}{3} n^{3/2}$，因此要使不等式 $\sum_{k=1}^{n} \sqrt{k} < A n^{3/2}$ 对充分大的n成立，只需 $A > \frac{2}{3}$。又因为A是常数且题目要求最小值，故A的下确界为 $\frac{2}{3}$。
验证：取 $A = \frac{2}{3} + \varepsilon$（任意小正数），则当n足够大时不等式成立。因此A的最小可能值为 $\frac{2}{3}$。
公式：\boxed{\frac{2}{3}}
提示：注意：严格来说，A不能等于2/3（因为n=1时失败），但作为下确界，最小值是2/3。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。