MathLabs

第3题

设实数列满足1=a0≤a1≤a2≤⋯1=a_0\le a_1\le a_2\le\cdots。定义bn=∑k=1n(1−ak−1ak)1akb_n=\sum_{k=1}^n\left(1-\frac{a_{k-1}}{a_k}\right)\frac1{\sqrt{a_k}}。(a)证明对所有nn都有0≤bn<20\le b_n<2。(b)给定任意bb满足0≤b<20\le b<2,证明存在这样的数列,使得bn>bb_n>b对无穷多个nn成立。
第 4/5 步:选择等差数列
通俗地说

等距分点把和变成标准黎曼和。

ak=1+kDeltaxquad(Deltax>0)a_k=1+k\\Delta x\\quad(\\Delta x>0)
详细分析

取ak=1+kΔxa_k=1+k\Delta x,则bnb_n是∫1anx−3/2dx\int_1^{a_n}x^{-3/2}dx的右端点黎曼和;固定端点令Δx→0+\Delta x\to0^+,它收敛到积分。