定理証明済み
回転体の体積(円板法)
内容
f が [a,b] 上で連続かつ非負であるとする。y=f(x) の下の領域を x 軸のまわりに回転させると、体積 V=π∫ab[f(x)]2dx の立体ができる。
なぜ正しいのか?
位置 x で x 軸に垂直に立体を切ると、半径 f(x)、面積 π[f(x)]2 の円板が得られる。これらの円板を積み重ね、断面積を [a,b] 上で積分すると総体積が得られる。これは面積のときと全く同じスライスの議論だが、帯の高さの代わりに円板の面積を使う。
証明の概略
[a,b] を幅 Δx=(b−a)/n の n 個の小区間に分割し、標本点 xi∗ を取る。[xi−1,xi] に制限された立体は、半径 f(xi∗)、厚さ Δx の円柱状の円板にほぼ等しいので、その体積はおよそ π[f(xi∗)]2Δx である。
これらの円板の体積をすべての n 個の小区間について足し合わせると、リーマン和 ∑i=1nπ[f(xi∗)]2Δx が得られ、これは真の体積 V を近似する。
n→∞ のとき、f が [a,b] 上で連続であることから近似の誤差は消え、x↦π[f(x)]2 自体も連続なので、リーマン和は定義により π∫ab[f(x)]2dx に収束する。よって V=π∫ab[f(x)]2dx である。
整合性の確認として、[0,h] 上で f(x)=hrx を取ると、これを x 軸のまわりに回転させたものはちょうど底面半径 r、高さ h の円錐になる:V=π∫0h(hrx)2dx=πh2r2⋅3h3=31πr2h となり、まさに古典的な円錐の体積公式と一致する。
ステップごとの証明
この定理のステップごとの証明はまだありません。