证明。说明 A = integrate from a to b of [f(x) - g(x)] dx 是黎曼和的极限,其中矩形的高为 f(x_i^*) - g(x_i^*) 。