物理基礎のメモで書いていた内容の詳細です.でも,内容は数学(積分)です.
miwotukusi.hatenablog.jp
上のネタでは立方体のところだけクローズアップしていましたが,4つとも(シンプルな円柱は軽く流すとして)体積の変化を計算していきます.
立体の全体積
糸の下端と点Pとの距離()を合わせると,立体全体の体積自体が決まってしまうものがあります.まずは,その比較をしておきます.
- 球の場合は,半径が の球となるので,です.
- 円柱の場合は,底面の半径にも依存するので,その半径を とします.
- 円すいの場合も,底面の半径に依存します.その半径を同様に としておくと,
- 立方体の場合は,この後もずっとややこしいです.一辺の長さが の立方体の対角線の長さは となるので,逆に対角線の長さが の立方体の一辺の長さは となります.よって,体積は となります.
水面下に沈んだ体積
点Pから高さ:だけ沈んだときの体積をそれぞれの立体について調べていきます.要は,断面積を求めて→積分するという計算の繰り返しです.以下では,積分変数(立体の高さに沿った変数)を としておきます.つまりは,を の範囲で積分して答えを出すということです.
1. 球
一度,球の半径を としておきます.点Pからの高さ:のところで切った断面(円)の半径は となります.よって,体積は,
2. 円柱
これは至極単純です.
3. 円すい
点Pからの高さ:で切った断面(円)の半径は,となります.よって,体積は,
ここでは,の変数変換(置換積分)をしています.
積分を使わなくとも,全体から上部の小さい円すいを差し引くとして,円すいの体積の公式からも計算できます.
円すいの体積の公式の導出は,3月4日はバウムクーヘンの日なので,積分します(?) - みをつくしのひとりよがりでも記しています.今回の計算も円すいの体積の公式の導出になっています.
ここまでの結果を見ていると,
- 体積なので,当然のことながら長さの 3乗に比例した式になっています.
- さらに,円柱以外では断面積が沈んだ高さに応じて変化するので,高さ:の 3次関数として与えられます.立方体についても同様の結果になることが予測できます.
4. 立方体
今回のネタのメインディッシュです.上に挙げている物理基礎のメモの中でも考え方のポイントを記していますが,改めて順を追って体積の導出をしていきます.
(STEP1) 立方体を空間座標において,断面の方程式を与える.
ここで一度,一辺の長さが 1の立方体を考えることにします.
空間座標内で,立方体の頂点を原点, とします.すると,立方体の対角線=(原点と点の長さ)は となります.
立方体の対角線の長さが となるように拡大すると,対角線の頂点(原点と異なる方)の座標は と与えられます.(一辺の長さが となっている.上の全体積の計算でも同様なことをしています.)
さらに,この立方体において,原点から対角線に沿って だけ離れた点で切った断面の方程式は,次のように与えられます.
これは,対角線となる直線の方向ベクトル:がそのまま断面の法線ベクトルとなるからです.
(STEP2) 断面の図形で場合分けをする.
物理基礎のメモでも挙げていた次のイメージができるかどうかがポイントです.
www.desmos.com
「立方体の辺の中点を結んでできる正六角形」の問題を見たことがある人もいると思います.それの拡張版がでてきます.切り分けられた立体のうち,原点を含む方の立体がどうなるかを考えてみると,物理基礎のメモでも書いているように,次のように場合分けされます.
それぞれについて,体積を計算していきます.簡単なところから片付けていきます.
(STEP3) 体積を計算!
1. 原点を頂点に含む三角錐
これは簡単なのですが,注意というか,以降の計算をする上でのコツがあります.断面の方程式:がそれぞれの軸と交わる点の座標は となります.単に,軸以外の座標に 0を代入するだけです.
ですので,三角錐は,底面が等しい2つの辺がの長さが である直角二等辺三角形,高さも となります.体積は,
3. 立方体全体から三角錐を差し引いた立体
上で求めた式をじっとみていると,差し引く三角錐の体積は の部分を と置き換えることで与えられることがわかると思います.よって,
2. 三角錐に断面が六角形の図形がくっついた立体
これは図がないと,しんどいですね.
断面の六角形の頂点を A〜Fとして与えています.それぞれの座標を改めて記しておくと,となります.ただし,原点からの高さが であるとして,とおいています.は立方体の一辺の長さを表しています.
それぞれの頂点の座標は,以下のようにすれば機械的に求められます.断面の方程式:に対して,いずれかの座標が 0,残りのうち 1つの座標は となるので,和が となるように最後に残った座標は として求めていくことができます.しばらくは,この のまま計算をしていきます.
点Aを含む立方体の辺は,点Aにより に内分されています.ほかの辺についても,同じ比に内分されています.すると,直角二等辺三角形があちこちに現れて,六角形の辺の長さが以下のように求まります.
断面の面積は,線分BEによって分けられる 2つの等脚台形ABEFとBCDEの和として求めます.そのためには,「高さ」を求める必要があります.ここでは,等脚台形ABEFの高さを求める過程を記しておきます.
- 等脚台形ですので,点Aから線分BEに下ろした垂線の足を Hとすると,
- 三角形ABHについて,となるので,この三角形は の直角三角形であることがわかります.
- よって,高さは と求められます.
同様にして,等脚台形BCDEの高さは となります.
よって,断面の面積は,
あとは,これを積分するだけです.とはいえ,1.の三角錐を加えることと積分範囲には注意しないといけません.
結果をまとめると,
各式の前についている は,上でも求めている立方体全体の体積を表しています.もっと効率のいい求め方があるかもしれません.
六角形を扱うところは,変数の置き換え(別の文字で置き換える)をしたり.等脚台形の対称性を用いるといった工夫をすることで,じっくり取り組めば求められると思います.あっているかどうかは範囲の境界の値や を代入したりすることで確かめることができます.ここでは書きませんが,が場合分けの境界で「連続」になっているかを確認しておくのも,いい練習になると思います.