定義.
連続関数\(f(x)\)は,
閉区間\([a,b]\)上で,\(f(x)\geq0\)であるとする.
このとき,
- 曲線\(y=f(x)\),
- \(x\)軸(直線\(y=0\)),
- 直線\(x=a\),
- 直線\(x=b\)
- 図形を分割したとき,分割してできた図形の面積の和は,もとの図形の面積と等しい.
- 合同な図形の面積は等しい.
命題.
連続関数\(f(x),\ g(x)\)は,
閉区間\([a,b]\)上で,\(f(x)\geq g(x)\)であるとする.
このとき,
- 曲線\(y=f(x)\),
- 曲線\(y=g(x)\),
- 直線\(x=a\),
- 直線\(x=b\)