https://spherical-harmonics.hateblo.jp/entry/Todai/1985/Rika

2023.08.26記

[3] $t$ を正の数とする． $xyz$ 空間において，点 $(t,t,0)$ を $\mbox{P}$ とし， $x$ 軸を含み点 $(t,t,1)$ を通る平面に関して $\mbox{P}$ と対称な点を $\mbox{Q}$ ， $y$ 軸を含み点 $(t,t,1)$ を通る平面に関して $\mbox{P}$ と対称な点を $\mbox{R}$ とする．また，原点を $\mbox{O}$ とする．4点 $\mbox{O}$ ， $\mbox{P}$ ， $\mbox{Q}$ ， $\mbox{R}$ を頂点とする $4$ 面体の体積を求めよ．

2020.12.14記

[解答]
${\rm P}(t,t,0)$ ， ${\rm Q}\Bigl(t,t-\dfrac{2t}{t^2+1},\dfrac{2t^2}{t^2+1}\Bigr)$
だから、 $\rm QR$ の中点を ${\rm S}\Bigl(t-\dfrac{t}{t^2+1},t-\dfrac{t}{t^2+1},\dfrac{2t^2}{t^2+1}\Bigr)$ ， $\rm Q$ の $xy$ 平面への正射影を ${\rm Q}'\Bigl(t,t-\dfrac{2t}{t^2+1},0\Bigr)$ とすると求める体積は
$V=2\times V({\rm O-PQS})=2\times V({\rm O-PQ}'{\rm S})$ $=2\times \dfrac{1}{6}\times {\rm PQ}'\times ({\rm O}から {\rm PQ}'への距離)\times ({\rm S}の高さ)$ $=2\times \dfrac{1}{6}\times \dfrac{2t}{t^2+1}\times t\times \dfrac{2t^2}{t^2+1}$ $=\dfrac{4t^4}{3(t^2+1)^2}$
となる．

まぁ、このやり方で体積を求めることができることがわかれば、1988年理科[2] をカバリエリの原理で解くことを思いつくハードルは少し下がるかな、と思う。実はこのカバリエリの原理による等積変形は、高校入試で三角形の面積を求めるときに、

「幅×頂点からの縦の長さ÷2」

で求める方法が良く登場するが、これの3次元版になっている。そう考えると、30年前なら斬新だった解法も色褪せてしまう。もちろん、そのように人口に膾炙することが進歩ということなのだが。

大人の解法は普通に行列式を使う。
${\rm R}\Bigl(t-\dfrac{2t}{t^2+1},t,\dfrac{2t^2}{t^2+1}\Bigr)$
を用いる。

[大人の解答]
$\rm O-PQR$ の符号付き体積を $V$ とすると，
$6V=\mbox{det}(\vec{\rm OP},\vec{\rm OQ},\vec{\rm OR})$
$=\mbox{det} \begin{pmatrix} t & t & t-\dfrac{2t}{t^2+1} \\ t & t-\dfrac{2t}{t^2+1} & t \\ 0 & \dfrac{2t^2}{t^2+1} & \dfrac{2t^2}{t^2+1} \end{pmatrix}$
$=\dfrac{2t^2}{t^2+1} \mbox{det} \begin{pmatrix} t & t & t-\dfrac{2t}{t^2+1} \\ t & t-\dfrac{2t}{t^2+1} & t \\ 0 & 1 & 1 \end{pmatrix}$
$=\dfrac{2t^2}{t^2+1} \mbox{det} \begin{pmatrix} t & \dfrac{2t}{t^2+1} & t-\dfrac{2t}{t^2+1} \\ t & -\dfrac{2t}{t^2+1} & t \\ 0 & 0 & 1 \end{pmatrix}$
$=\dfrac{2t^2}{t^2+1}\times t\times \dfrac{2t}{t^2+1} \mbox{det} \begin{pmatrix} 1 & 1 & t-\dfrac{2t}{t^2+1} \\ 1 & -1 & t \\ 0 & 0 & 1 \end{pmatrix}$
$=\dfrac{4t^4}{(t^2+1)^2} \mbox{det} \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}$ $=-\dfrac{8t^4}{(t^2+1)^2}$
だから，求める体積は
$|V|=\dfrac{4t^4}{3(t^2+1)^2}$
となる．

この行列式を用いた解法からわかるように，行列式を簡略化するための行列の基本変形はカバリエリの原理を自然と行なっていることに対応していることがわかる．