题型分析 — Riemann Sums
Type 0: 用积分求求和的下界(通用方法)
如何识别
给一个求和 ,要求用积分证明它大于(或小于)某个表达式。
核心原理
宽度为 1 的矩形柱,高度取 :
f(x) 增函数:
r=1 r=2 r=3 r=n
┌────┬────┬────┬───┬────┐
│f(1)│f(2)│f(3) │ │f(n)│
└────┴────┴────┴───┴────┘
x=0 x=1 x=2 x=n x=n+1
左端点矩形面积和 = Σ_{r=1}^{n} f(r) (从 x=0 到 x=n, 高取左端)
右端点矩形面积和 = Σ_{r=2}^{n+1} f(r) (从 x=1 到 x=n+1, 高取右端)
对于增函数 :
左端点矩形偏低(高度取区间左端,小于实际函数值)→ 下界
右端点矩形偏高(高度取区间右端,大于实际函数值)→ 上界
对于减函数 :
左端点矩形偏高 → 上界,右端点矩形偏低 → 下界
- 判断单调性: 增还是减?(求导 或直接观察)
- 写出积分-求和不等式:
- 增函数:
- 减函数:不等号反向
- 调整求和指标到目标形式:
- 若目标为 ,则在不等式中加减 或
- 常用:
- 计算积分,代入化简
- 求和起点和终点搞反: 对应 个矩形,不是 个
- 的积分上限是 不是
- 增/减判断错 → 不等号方向全反
- 如果 是 (如 ),可以直接替换
Example 1 — 典型题: 已知 在 时为减函数。证明
📝 MS 展开查看
减函数,所以右端点矩形偏低 → 下界,左端点矩形偏高 → 上界。
M1: 识别 为减函数
右端点(下界):
计算: A1
所以
等等,这不对。换个写法。
M1: 正确的不等式是:
对减函数,,且
实际上标准写法:
且
A1: 且
且 (因为 )
所以 A1
[总分: 6]
Example 2 — s20/23 Q4 变体: 已知 为增函数。证明
📝 MS 展开查看
增函数。宽度为 的矩形:
左端点矩形和 = M1
右端点矩形和 = M1
计算积分: A1
下界:
A1
上界: A1
综上:
[总分: 5]
Example 3 — 增函数求和下限: 设 在 上为增函数。用积分求 的下界。
📝 MS 展开查看
增函数,左端点矩形偏低。
M1: 左端点矩形和 积分
A1
A1
所以
A1
下界:
所以 A1
[总分: 5]
Type 1: Upper Bound Using Rectangles (4 marks)
Example: s20/21 Q4(a) — Use rectangles to find an upper bound for .
📝 MS 展开查看
is increasing on . Divide into equal strips of width .
For an upper bound (increasing function), use right endpoints:
for
As , , which is the exact value of .
M1 — with correct endpoints M1 — Form sum with correct A1 — Correct expression A1 — Simplify and state upper bound
Example: w20/21 Q4 — Find an upper bound for using equal subintervals.
📝 MS 展开查看
is decreasing on . For decreasing , the upper bound uses left endpoints.
Left endpoints: for
M1 — Recognize decreasing so use left endpoints M1 — Correct sum with A1 — Correct sigma sum and formula A1 — Simplify to
Type 2: Lower Bound Using Rectangles (4 marks)
Example: s20/21 Q4(b) — Find a lower bound for using equal subintervals.
📝 MS 展开查看
is increasing. For lower bound, use left endpoints.
for
As , .
M1 — Use left endpoints for lower bound M1 — Correct sum A1 — A1 — Lower bound stated
Type 3: Stirling-Type Approximations () (8 marks)
Example: s20/23 Q4 — Use rectangles to estimate .
Consider on . Since is increasing:
Left endpoint sum (lower bound):
Right endpoint sum (upper bound):
Since , we have and .
📝 MS 展开查看
Lower bound:
Upper bound:
Therefore:
For large , (full Stirling).
M1 — Set , note increasing M1 — Write and evaluate to M1 — Lower bound: M1 — Upper bound: A1 — Correct inequality:
Example: w20/22 Q8 — Use upper and lower Riemann sums for to show that:
📝 MS 展开查看
From Riemann sums on :
So:
From RHS:
From LHS:
Therefore:
M1 — Riemann sum inequalities A1 — Correct integral evaluation M1 — Lower bound manipulation M1 — Upper bound manipulation A1 — Correct final inequality A1 — Exponential form