MathLabs
定理証明済み

回転体の体積(円板法)

内容

ff が [a,b][a,b] 上で連続かつ非負であるとする。y=f(x)y=f(x) の下の領域を xx 軸のまわりに回転させると、体積 V=π∫ab[f(x)]2 dxV=\pi\int_a^b [f(x)]^2\,dx の立体ができる。

なぜ正しいのか?

位置 xx で xx 軸に垂直に立体を切ると、半径 f(x)f(x)、面積 π[f(x)]2\pi[f(x)]^2 の円板が得られる。これらの円板を積み重ね、断面積を [a,b][a,b] 上で積分すると総体積が得られる。これは面積のときと全く同じスライスの議論だが、帯の高さの代わりに円板の面積を使う。

証明の概略

[a,b][a,b] を幅 Δx=(b−a)/n\Delta x=(b-a)/n の nn 個の小区間に分割し、標本点 xi∗x_i^* を取る。[xi−1,xi][x_{i-1},x_i] に制限された立体は、半径 f(xi∗)f(x_i^*)、厚さ Δx\Delta x の円柱状の円板にほぼ等しいので、その体積はおよそ π[f(xi∗)]2 Δx\pi[f(x_i^*)]^2\,\Delta x である。

これらの円板の体積をすべての nn 個の小区間について足し合わせると、リーマン和 ∑i=1nπ[f(xi∗)]2 Δx\sum_{i=1}^n \pi[f(x_i^*)]^2\,\Delta x が得られ、これは真の体積 VV を近似する。

n→∞n\to\infty のとき、ff が [a,b][a,b] 上で連続であることから近似の誤差は消え、x↦π[f(x)]2x\mapsto \pi[f(x)]^2 自体も連続なので、リーマン和は定義により π∫ab[f(x)]2 dx\pi\int_a^b[f(x)]^2\,dx に収束する。よって V=π∫ab[f(x)]2 dxV=\pi\int_a^b[f(x)]^2\,dx である。

整合性の確認として、[0,h][0,h] 上で f(x)=rhxf(x)=\dfrac{r}{h}x を取ると、これを xx 軸のまわりに回転させたものはちょうど底面半径 rr、高さ hh の円錐になる:V=π∫0h(rhx)2dx=πr2h2⋅h33=13πr2hV=\pi\int_0^h \left(\dfrac{r}{h}x\right)^2 dx = \pi\dfrac{r^2}{h^2}\cdot\dfrac{h^3}{3} = \dfrac{1}{3}\pi r^2 h となり、まさに古典的な円錐の体積公式と一致する。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Michael Spivak (2008). Calculus
  2. James Stewart (2015). Calculus: Early Transcendentals