MathLabs
公式証明済み

球の体積と表面積の公式(アルキメデス)

内容

半径 rr の球の体積は V=43πr3V = \dfrac{4}{3}\pi r^3、表面積は A=4πr2A = 4\pi r^2 であり、いずれも底面の半径 rr、高さ 2r2r の外接直円柱の体積 2πr32\pi r^3 および全表面積 6πr26\pi r^2 の 23\dfrac{2}{3} に等しい。

なぜ正しいのか?

半径 rr の半球と、底面の半径 rr・高さ rr の直円柱から底面の半径 rr・高さ rr の逆向きの円錐をくり抜いた立体とを、底面からの高さ zz の水平面で切る。ピタゴラスの定理により、半球の切り口である円板は半径 r2−z2\sqrt{r^2 - z^2}、面積 π(r2−z2)\pi(r^2 - z^2) をもち、くり抜かれた円柱の円環状の切り口の面積 πr2−πz2\pi r^2 - \pi z^2 と完全に一致する。すべての水平断面の面積が等しいので、半球の体積は πr3−13πr3=23πr3\pi r^3 - \dfrac{1}{3}\pi r^3 = \dfrac{2}{3}\pi r^3 となり、球全体の体積は V=43πr3V = \dfrac{4}{3}\pi r^3 となる。

証明の概略

高さ z∈[−r,r]z \in [-r, r] において軸に垂直な平面で半径 rr の球を切ると、切り口は半径 r2−z2\sqrt{r^2 - z^2}、面積 S(z)=π(r2−z2)S(z) = \pi(r^2 - z^2) の円板になる。カヴァリエリの原理によってこの断面を、半径 rr・高さ 2r2r の円柱から底面の半径 rr・高さ rr の二つの円錐を除いた立体と比較する(あるいは ∫−rrπ(r2−z2) dz\int_{-r}^{r} \pi(r^2 - z^2)\,dz を積分する)と、V=2πr3−2⋅13πr3=43πr3V = 2\pi r^3 - 2\cdot\dfrac{1}{3}\pi r^3 = \dfrac{4}{3}\pi r^3 が得られる。さらに球を高さ rr の細い角錐に分割してその底面で面積 AA の球面を敷き詰めれば V=13ArV = \dfrac{1}{3}Ar となり、これより A=3Vr=4πr2A = \dfrac{3V}{r} = 4\pi r^2 が従う。

提示者

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

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

参考文献

  1. Archimedes (translated by Thomas L. Heath) (1897). The Works of Archimedes (On the Sphere and Cylinder, Book I, Propositions 33–34)
  2. Reviel Netz, William Noel (2007). The Archimedes Codex