二つの立体の組み合わせ

二つの立体を同じ水平面で切断したとき、その共通部分の断面は、それぞれの断面の共通部分そのものになります。和や差をとった立体でも同様です。したがって、どんな組み合わせの体積であっても、各高さでの断面積を一度積分するだけで求まります。このページでは、いずれも有名な結果をもつ四組の立体について、その計算を体験できます。

和集合
直交する二円柱の共通立体
高さ h の環
インタラクティブシミュレーションを読み込んでいます...

レッスン

理論 — 二つの立体の組み合わせ

二つの立体を組み合わせた結合立体の体積(共通部分 A ∩ B、和集合 A ∪ B、差 A ∖ B)は、その断面積の積分によって求まります。どの高さにおいても、組み合わせ立体の断面は、もとの二つの立体の断面を同じように組み合わせたものになります。

各記号の意味

A(z), B(z)
高さ z における二つの立体の断面積
S(z)
高さ z における組み合わせ立体の断面積

公式の導き方

  1. 双方の立体を同じ高さでスライスします。高さ z の点について考えると、その点が A ∩ B に含まれるのは双方の断面に同時に含まれるとき、かつそのときに限られます。したがって、共通部分の断面は断面どうしの共通部分になります。和集合の断面では、重なり合う部分を一度だけ数えます。
  2. 積分します。全体の体積は S(z) の積分です。和集合の断面積を項ごとに積分すると、体積についても全く同じ加減の規則が成り立つことが分かります。
前提
どの高さでも断面積が数式で表せることが前提です。くり抜かれた球の z = ±h/2 のように断面積の表式が切り替わる境界では、積分区間をそこで分割します。

全プロセスの詳細解説

  1. 直交する二円柱 2 ステップ

    中心軸が1点で直交する、半径 r の二つの円柱がある。双方の内部にある共通立体の体積を求めよ。

    この問題をツールで開く

    1. 高さ z において各円柱の断面は半幅 √(r² − z²) の帯状になり、この二つの帯が直交して正方形をつくります:

    2. z = −r から z = r まで積分します:

    解答

    16r³/3(r = 1 のとき 5.3333)

  2. 穴の開いた球 3 ステップ

    半径 5 の球の中心を貫く穴を開け、高さ 6 の環を残した。この環の体積を求めよ。

    この問題をツールで開く

    解答を表示
    1. 環の半分の高さは 3 ですから、穴の半径は

    2. −3 ≤ z ≤ 3 において、断面は内径 4 から外径 √(25 − z²) までの円環になります:

    3. 積分します:

    解答

    36π ≈ 113.0973

  3. 球の大きさが消える理由 3 ステップ

    直径が h 以上である任意の球からくり抜いた高さ h の環の体積は πh³/6 であることを示し、直径 6 の球の体積と一致することを確かめよ。

    この問題をツールで開く

    解答を表示
    1. a² = R² − (h/2)² より、高さ z における円環の面積は

    2. z = −h/2 から z = h/2 まで積分します:

    3. h = 6 のときこの値は 36π となり、半径 3 の球の体積に一致します。これは R = 3 となって穴が塞がったときの環そのものです:

    解答

    R ≥ h/2 である限り、R の値にかかわらず V = πh³/6

  4. 球と外接円柱のすき間 3 ステップ

    半径 r、高さ 2r の円柱の内部に半径 r の球が収まっている。両者のすき間の体積を求め、そこから球の体積を求めよ。

    この問題をツールで開く

    解答を表示
    1. 高さ z において、すき間の断面は円柱の半径と球の半径の間にできる円環になります:

    2. z = −r から z = r まで積分します:

    3. これを円柱の体積から引きます:

    解答

    すき間の体積は 2πr³/3(r = 1 のとき 2.0944)。したがって球の体積は外接円柱の3分の2にあたる 4πr³/3 となる。

  5. 二円柱の和集合 3 ステップ

    問題1の二つの円柱を、それぞれ長さ 2r で切り落とした。少なくとも一方の内部に含まれる部分の体積を求めよ。

    この問題をツールで開く

    解答を表示
    1. 各円柱の断面は長さ 2r、幅 2√(r² − z²) の帯状であり、和集合の断面では重なり合う正方形を一度だけ数えます:

    2. 第1項を積分すると、半円の面積の 8r 倍になります:

    3. したがって

    解答

    4πr³ − 16r³/3(r = 1 のとき 7.233)

  6. くり抜かれた部分の体積 3 ステップ

    問題2において球からくり抜かれた部分の体積を求めよ。

    この問題をツールで開く

    解答を表示
    1. くり抜かれたのは、ドリルが通る領域に含まれる球の部分です。|z| ≤ 3 では断面全体が穴(半径 4 の円盤)になり、3 ≤ |z| ≤ 5 では球自身の円盤のほうが小さくなります:

    2. 断面を表す式が切り替わる境目で積分を分割します:

    3. 検算:球全体から問題2の環を引いた値と一致します。

    解答

    392π/3 ≈ 410.5014

  7. 円筒殻法による環の体積 2 ステップ

    問題2の環の体積を、穴の中心軸のまわりの円筒殻法(バウムクーヘン積分)によって求めよ。

    解答を表示
    1. 中心軸からの距離 x(4 ≤ x ≤ 5)にある円筒殻は、球の底面から上面まで伸び、その高さは 2√(25 − x²) です:

    2. u = 25 − x² と置換します:

    解答

    36π(スライス法による結果と一致)

直交する二円柱が生み出す、体積に π をもたない立体 🖖

直交する二円柱を押してみてください。双方の内部にある共通立体の水平な断面は、どの高さでも1辺 2√(r² − z²) の正方形になります。その断面積 4(r² − z²) は z の多項式ですから、積分結果は 16r³/3 となり、どこにも π が現れません。この立体の内部には半径 r の球がすっぽり収まり、同じ高さでの球の断面は正方形に内接する円になります。正方形に対する内接円の面積比はどの高さでも常に π/4 ですから、球全体の体積もこの立体の π/4 となり、16r³/3 · π/4 = 4πr³/3 が導かれます。アルキメデスはエラトステネスへの手紙で、この風変わりな事実に気づいていました。それまでの研究で放物面体や回転楕円体を円錐や円柱と比べてきた彼にとって、平面で囲まれた多面体と等しい体積をもつ曲面立体はこれが初めてだったのです。実際、体積は外接立方体のきっかり3分の2になります。1912年のヒース編纂書には、彼の証明は散逸したと記されています。

くり抜かれた環の体積は、高さだけで決まる 🖖

くり抜かれた球 を押してみてください。半径 5 の球に半径 4 の穴をあけると、高さ 6 の環が残り、体積は 36π ≈ 113.0973 になります。R を動かす前に、球を大きくすれば残る環も増えるのかどうか、少し考えてみてください。球を大きくしても、高さを 6 に保つには穴を広げる必要があり、体積はまったく変わりません。高さ z における断面は、半径 a から √(R² − z²) までの円環で、面積は π(R² − z² − a²) です。ここで穴の半径 a は、もともと R² − a² = (h/2)² を満たすように選ばれていました。整理して残る π((h/2)² − z²) には、どこにも R が含まれていません。これは直径 h の球の断面そのものです。同じ環(R = 3) が示すように、穴が閉じれば環そのものが球体になります。地球ほどの大きさの球からくり抜いた高さ 6 cm の環も、体積は直径 6 cm の球とまったく同じなのです。

箱から曲面立体を取り出すと、残りは円錐の体積になる 🖖

円柱から球を除くを押してみましょう。どの高さでも、円柱の断面は面積 πr² の円盤、球の断面は π(r² − z²) です。その差をとると πz² となり、中心で頂点を突き合わせた二つの円錐の断面積と一致します。すべての高さで断面積が等しければ体積も等しくなるため、円柱から球を除いた体積は二つの円錐の体積 2πr³/3 に等しくなります。ここから球の体積は 2πr³ − 2πr³/3 = 4πr³/3 と求まり、円柱の3分の2であることが分かります。立方体から共通立体を除くも同じ仕組みです。断面は面積 4r² − 4(r² − z²) = 4z² の正方形の枠となり、二つの四角錐の断面に等しくなります。その体積は 8r³/3 ですから、z² より難しい積分をすることなく、共通立体の体積 16r³/3 が導かれるのです。アルキメデスは墓碑に球と円柱を刻むよう遺言し、紀元前75年にキケロはシチリアの草むらで、小柱に刻まれたその図を手がかりに墓を見つけ出しました。また中国では、祖暅(450〜520年頃)が立方体と円柱の切り口を断面ごとに比較して、球の体積を見事に導いています。

学習の道すじ

積分の応用

参考文献 (4)