# 空間座標と空間ベクトル：平面・球面・四面体の体積と Cayley–Menger の公式 > 空間のベクトルと外積から平面・球面の方程式、点と平面の距離、三垂線の定理、正射影の面積を示し、四面体の体積を行列式と測度から証明して Cayley–Menger の公式、de Gua の定理、外接球・内接球、等面四面体へ進む。 > https://rikai.mugen-giken.com/mathematics/hs-geometry/space-vectors ## 0. この記事の要点 平面の図形は縦と横の 2 方向で表せましたが、空間にはもう 1 方向、高さが加わります。この記事では、そうした空間の中で「面の傾き」「点と面の距離」「ピラミッド型の立体（四面体）の体積」などを、座標と計算だけで確かめていきます。読み終えると、四面体の体積を 3 つのベクトルから計算でき、辺の長さだけからも体積が決まることまで説明できるようになります。 - 空間を $\mathbb{R}^3$ とし、[**内積**](/mathematics/hs-geometry/plane-vectors#def-dot-det)で長さと角を、**外積** $u\times v$（成分は 2 次の小行列式。2 行 2 列の表から作る行列式のこと）で面積と法線を測ります。$(u\times v)\cdot w=\det(u,v,w)$ と $|u\times v|^2=|u|^2|v|^2-(u\cdot v)^2$ が基本です。 - 平面は法線ベクトル $n$ による方程式 $n\cdot(X-A)=0$、球面は $|X-C|=r$。点 $P$ と平面 $n\cdot X=k$ の距離は $|n\cdot P-k|/|n|$。**三垂線の定理**は内積の線形性だけで証明できます。 - 平面図形を別の平面に**正射影**したときの面積は $\cos\theta$ 倍（$\theta$ は 2 平面の法線のなす角）です。 - 四面体の体積は $\dfrac16|\det(u,v,w)|=\dfrac13\times(\text{底面積})\times(\text{高さ})$。これを、[ルベーグ測度](/mathematics/real-analysis/lebesgue-measure#def-lebesgue-measure)（長さ・面積・体積を一般化した「大きさ」）の線形変換の公式（）と標準単体（座標がすべて 0 以上で和が 1 以下の四面体）の体積 $\frac16$ から**証明**します。 - 辺の長さだけから体積が決まります（**Cayley–Menger の公式**）：$36V^2$ は 3 辺ベクトルの Gram 行列式（内積を並べた表の行列式）。 - 直角四面体では $S_{ABC}^2=S_{OAB}^2+S_{OBC}^2+S_{OCA}^2$（**de Gua の定理**、三平方の定理の空間版）。四面体には外接球・内接球があり、向かい合う辺が等しい**等面四面体**は直方体に内接します。 ## 1. 動機 平面ベクトルから空間ベクトルへ進むとき、定義は成分が 1 つ増えるだけです。しかし幾何学として新しく出てくるものがあります。**直線がねじれの位置にある**こと、**平面が法線ベクトルで決まる**こと、**体積**という 3 次元の量が現れることです。そして高校の教科書で「面積の $\cos\theta$ 倍」「四面体の体積は $\frac13$」といった事実が出てくる所は、どこも **行列式（体積要素）** と**測度**の話です。 この記事は、それらを、前の記事（[平面ベクトルと座標](/mathematics/hs-geometry/plane-vectors)）と同じやり方で、線形代数と測度論の定理を指しながら証明します。 ## 2. 空間ベクトルと外積 空間の点を $\mathbb{R}^3$ の元 $X=(x_1,x_2,x_3)$ とし、点と位置ベクトルを同じ文字で書きます。内積 $u\cdot v=\sum u_iv_i$、長さ $|u|=\sqrt{u\cdot u}$、2 点間の距離 $|X-Y|$ です。内積は $\mathbb{R}^3$ 上の内積（）なので、Cauchy–Schwarz の不等式（）、三角不等式、Pythagoras の定理（）が成り立ちます。ゼロでない $u,v$ のなす角 $\theta\in[0,\pi]$ は $\cos\theta=\dfrac{u\cdot v}{|u||v|}$ で定めます（）。$u\cdot v=0$ のとき $u,v$ は**垂直**であるといいます。 $u,v,w\in\mathbb{R}^3$ について、次の 3 条件は同値である。 1. $u,v,w$ は 1 次独立である。 2. $\det(u,v,w)\ne0$（$u,v,w$ を列とする行列の行列式）。 3. $(u,v,w)$ は $\mathbb{R}^3$ の基底である。すなわち任意のベクトル $x$ が $x=su+tv+rw$ とただ 1 通りに書ける。 また、$\mathbb{R}^3$ の基底の個数はつねに $3$ である。 $A=(u\ v\ w)$ とする。 の 1.（$\det A\ne0$）、3.（列が 1 次独立）、5.（任意の $b$ に対し $Ax=b$ がただ 1 つの解をもつ）が同値である。$Ax=su+tv+rw$ なので、5. は 3. と同じ内容。基底の個数が $3$ であることは、標準基底 $e_1,e_2,e_3$ が基底で、基底の個数が一意（）だから。 $u=(u_1,u_2,u_3)$、$v=(v_1,v_2,v_3)$ に対し $$ u\times v=(u_2v_3-u_3v_2,\ u_3v_1-u_1v_3,\ u_1v_2-u_2v_1) $$ を $u$ と $v$ の**外積**という。成分は、$2\times3$ 行列 $(u\ v)^{\mathsf T}$ の 2 次の小行列式である。 定義から $u\times v=-v\times u$、$u\times u=0$、$u\times v$ は各変数について線形です。 $u,v,w\in\mathbb{R}^3$ について 1. $(u\times v)\cdot w=\det(u,v,w)$。 2. $(u\times v)\cdot u=(u\times v)\cdot v=0$。 3. $|u\times v|^2=|u|^2|v|^2-(u\cdot v)^2$。したがって $u,v\ne0$ で角が $\theta$ なら $|u\times v|=|u||v|\sin\theta$。 4. $u\times v=0$ であることと、$u,v$ が 1 次従属であることは同値。 1. $\det(u,v,w)$ を第 3 列で余因子展開する（）：$w_1(u_2v_3-u_3v_2)-w_2(u_1v_3-u_3v_1)+w_3(u_1v_2-u_2v_1)=(u\times v)\cdot w$。 2. 1. で $w=u$ または $w=v$ とおくと、同じ列が 2 つある行列式は $0$（）。 3. $3\times2$ 行列 $A=(u\ v)$ に を使うと、$\det(A^{\mathsf T}A)=\sum|\text{2 次小行列式}|^2=|u\times v|^2$。一方 $A^{\mathsf T}A=\begin{pmatrix}u\cdot u&u\cdot v\\u\cdot v&v\cdot v\end{pmatrix}$ の行列式は $|u|^2|v|^2-(u\cdot v)^2$。後半は $(u\cdot v)^2=|u|^2|v|^2\cos^2\theta$ から。 4. 3. から $|u\times v|=0\iff|u\cdot v|=|u||v|\iff u,v$ が 1 次従属（ の等号条件）。 次の段落のねらいは、空間の三角形の面積 $\tfrac12|(B-A)\times(C-A)|$ が、これまでの平面での面積と同じものであることを確かめることです。三角形の載っている平面に縦横の座標を入れ直せば平面の面積の公式が使え、それが外積の長さに一致する、という流れです。 **空間の三角形の面積.** 三角形 $ABC$（3 点は一直線上にない）に対し $S(ABC)=\tfrac12|(B-A)\times(C-A)|$ と定めます。これが平面上の三角形の面積と合う理由は次のとおりです。三角形を含む平面に正規直交基底 $e_1,e_2$（ による）をとり、$u=B-A$、$v=C-A$ を $u=u_1'e_1+u_2'e_2$、$v=v_1'e_1+v_2'e_2$ と書くと、内積は座標で計算できて（$u\cdot v=u'\cdot v'$）、座標平面での面積は $\tfrac12|\det(u',v')|$ です（）。$M=(u'\ v')$ とすると $\det(M^{\mathsf T}M)=\det(M)^2$（ と転置不変性）で、これは $|u|^2|v|^2-(u\cdot v)^2=|u\times v|^2$（ の 3.）に等しい。よって $\tfrac12|\det M|=\tfrac12|u\times v|$。以後、**平面図形の面積**は、その平面の正規直交座標での面積（）と定めます。正規直交基底のとり方を変えると座標は直交行列で変わり、面積は $|\det O|=1$ 倍（ の 2.）なので変わりません。 ## 3. 直線・平面・球面 1. 異なる 2 点 $A,B$ を通る直線は $\{A+t(B-A)\mid t\in\mathbb{R}\}$ である。 2. $u,v$ を 1 次独立なベクトル、$n=u\times v$ とすると $n\neq0$ で、$A$ を通り $u,v$ で張られる平面 $\{A+su+tv\mid s,t\in\mathbb{R}\}$ は $\{X\mid n\cdot(X-A)=0\}$ に等しい（$n$ を**法線ベクトル**という）。3 点 $A,B,C$ が一直線上になければ、これらを通る平面がただ 1 つあり、$u=B-A$、$v=C-A$ とすればよい。 3. 逆に、$n\ne0$ のとき $\{X\mid n\cdot(X-A)=0\}$ は 1 次独立な 2 つのベクトルで張られる平面である。 4. 中心 $C$、半径 $r>0$ の球面は $\{X\mid|X-C|=r\}$、すなわち $\sum(x_i-c_i)^2=r^2$ である。 1. 定義。2. $n\ne0$ は の 4.。$n\cdot u=n\cdot v=0$（同 2.）なので「$\subseteq$」。逆に $u,v,n$ は 1 次独立である：$su+tv+rn=0$ に $n$ を内積すると $r|n|^2=0$ から $r=0$、$u,v$ の独立性から $s=t=0$。 により $X-A=su+tv+rn$ と書け、$n\cdot(X-A)=r|n|^2$。これが $0$ なら $r=0$ で $X$ は平面上。3 点を通る平面の一意性: 3. により、$A,B,C$ を通る平面は $n'\ne0$ を用いて $\{X\mid n'\cdot(X-A')=0\}$ と書ける。$A,B,C$ がこの平面上にあるので $n'\cdot u=n'\cdot v=0$（$A$ を $A'$ の代わりにとれる）。$u,v,n$ は基底なので $n'=su+tv+rn$ と書け、$n'\cdot(su+tv)=|su+tv|^2+r\,n\cdot(su+tv)=|su+tv|^2$ が $0$ なので $su+tv=0$、$s=t=0$ で $n'=rn$（$r\ne0$）。よって平面は $\{X\mid n\cdot(X-A)=0\}$ に等しい。3. $n\ne0$ の成分のどれかが $0$ でないので、標準基底 $e_k$ で $n$ と平行でないものがある。$u=n\times e_k$ は $0$ でなく（ の 4.）$n$ に垂直（同 2.）。$v=n\times u$ も $n,u$ に垂直で、$|v|^2=|n|^2|u|^2-(n\cdot u)^2=|n|^2|u|^2>0$。$u,v$ は垂直でどちらも $0$ でないから 1 次独立（）。$u,v,n$ は互いに垂直で $0$ でないので基底で、$n\cdot(X-A)=0$ なら $X-A=su+tv$（$n$ の係数は $0$）。4. 定義。 球面 $\{|X-C|=r\}$ と平面 $\pi=\{n\cdot X=k\}$（$|n|=1$）について、$\delta=n\cdot C-k$、$F=C-\delta n$ とおく（$F\in\pi$）。$|\delta|>r$ なら交わりは空、$|\delta|=r$ なら $F$ 1 点、$|\delta| $n\cdot F=n\cdot C-\delta=k$ なので $F\in\pi$。$X\in\pi$ とすると $n\cdot(X-F)=k-k=0$、$F-C=-\delta n$ なので $(X-F)\cdot(F-C)=0$。 から $|X-C|^2=|X-F|^2+\delta^2$。$X$ が球面上であることは $|X-F|^2=r^2-\delta^2$ と同値。
CFX Xδr 平面 π
円の半径は $\sqrt{r^2-\delta^2}$ で、これは図の直角三角形 $CFX$ に三平方の定理を使った結果です。 ## 4. 点と平面の距離 平面 $\pi=\{X\mid n\cdot X=k\}$（$n\ne0$）と点 $P$ について、$\pi$ 上の点 $X$ に対する $|P-X|$ の最小値は $$ \frac{|n\cdot P-k|}{|n|} $$ である。この最小値は $F=P-\dfrac{n\cdot P-k}{|n|^2}n$（$P$ から $\pi$ に下ろした垂線の足）でだけとられ、$P-F$ は $\pi$ 上の任意の 2 点の差と垂直である。この最小値を $P$ と $\pi$ の**距離**という。 $\lambda=\dfrac{n\cdot P-k}{|n|^2}$ とすると $F=P-\lambda n$、$n\cdot F=n\cdot P-\lambda|n|^2=k$ なので $F\in\pi$。$X\in\pi$ について $n\cdot(F-X)=k-k=0$ で、$P-F=\lambda n$ は $F-X$ に垂直。 より $|P-X|^2=|P-F|^2+|F-X|^2\ge|P-F|^2=\lambda^2|n|^2=\dfrac{(n\cdot P-k)^2}{|n|^2}$。等号は $X=F$ のときに限る。垂直性は、$\pi$ 上の $X,Y$ について $n\cdot(X-Y)=0$ で $P-F\parallel n$ だから。 平面 $x+2y+2z=3$（$n=(1,2,2)$、$|n|=3$）と点 $P=(1,2,3)$ の距離は $\dfrac{|1+4+6-3|}{3}=\dfrac83$。垂線の足は $F=P-\dfrac{8}{9}n=\bigl(\tfrac19,\tfrac29,\tfrac{11}9\bigr)$（$\frac19+2\cdot\frac29+2\cdot\frac{11}9=3$ で平面上にあることが確かめられる）。 ## 5. 三垂線の定理 平面 $\pi$ と直線 $PQ$ が**垂直**であるとは、$P-Q$ が $\pi$ 上の任意の 2 点の差と垂直であること（ の垂線がこの性質をもつ）。 平面 $\pi$ の外の点 $P$ から $\pi$ に下ろした垂線の足を $Q$ とする。$\pi$ 上の直線 $\ell$ と、$\ell$ 上の点 $R$（$R\ne Q$）について、 $$ QR\perp\ell\iff PR\perp\ell $$ である。すなわち、直線 $QR$ が $\ell$ に垂直であることと、直線 $PR$ が $\ell$ に垂直であることは同値である。 $\ell$ の方向ベクトルを $d$ とする。$d$ は $\pi$ 上の 2 点の差なので、$PQ\perp\pi$ より $(P-Q)\cdot d=0$。$P-R=(P-Q)+(Q-R)$ なので $$ (P-R)\cdot d=(P-Q)\cdot d+(Q-R)\cdot d=(Q-R)\cdot d. $$ よって $(P-R)\cdot d=0\iff(Q-R)\cdot d=0$。
PQR ℓ平面 π
三垂線の定理は、空間図形の問題で「垂線の足から辺に垂線を引くと、その点と頂点を結ぶ線も辺に垂直」として使われます。上の証明は、$P-R=(P-Q)+(Q-R)$ の内積の線形性だけで、図の見え方（$R$ が $Q$ のどちら側か）に依りません。 ## 6. 正射影の面積 平面 $\pi'=\{m\cdot X=k'\}$（$|m|=1$）への**正射影**は $p(X)=X-(m\cdot X-k')m$ です（ の垂線の足）。 日なたの地面に落ちる影の面積は、板を傾けるほど小さくなります。次の定理はその縮み方がちょうど $\cos\theta$ 倍であることを述べます。証明では、板の平面から地面への写像を 2 行 2 列の行列 $M$ で表し、面積の倍率が $|\det M|$ になることを使います。 平面 $\pi$（単位法線ベクトル $n$）の上の、面積をもつ図形 $E$ を平面 $\pi'$（単位法線ベクトル $m$）へ正射影した図形 $p(E)\subseteq\pi'$ の面積は $$ |p(E)|=|m\cdot n|\,|E|=|\cos\theta|\,|E| $$ である。ここで $\theta$ は法線ベクトル $n,m$ のなす角（2 つの平面のなす角）。 $\pi$ の方向（$n$ に垂直なベクトル）の正規直交基底 $e_1,e_2$、$\pi'$ の方向（$m$ に垂直）の正規直交基底 $e_1',e_2'$ をとる（）。$L(z)=z-(m\cdot z)m$（線形）とすると $p(X)-p(Y)=L(X-Y)$。$L(e_j)$ は $m$ に垂直なので $L(e_j)=\sum_iM_{ij}e_i'$（$M_{ij}=e_i'\cdot e_j$）と書ける。したがって $\pi$ の座標 $(s,t)$ から $\pi'$ の座標への写像は $x\mapsto Mx+(\text{定数})$（$M$ は $2\times2$ 行列）で、 の 2.（$\det M=0$ なら像は 1 直線に含まれ面積 $0$）により $|p(E)|=|\det M|\,|E|$。 $|\det M|$ を求める。外積の双線形性から $L(e_1)\times L(e_2)=\det M\cdot(e_1'\times e_2')$。$e_1',e_2',m$ は正規直交基底で、$e_1'\times e_2'$ は $e_1',e_2'$ に垂直（ の 2.）で長さ $1$（同 3.）なので $e_1'\times e_2'=\pm m$。ゆえに $|\det M|=|m\cdot(L(e_1)\times L(e_2))|$。一方、$L(e_1)=e_1-(m\cdot e_1)m$ などを代入して外積を展開すると $$ L(e_1)\times L(e_2)=e_1\times e_2-(m\cdot e_2)\,e_1\times m-(m\cdot e_1)\,m\times e_2 $$ （$m\times m=0$）で、$m$ を内積すると $m\cdot(e_1\times m)=m\cdot(m\times e_2)=0$（ の 2.）なので $m\cdot(L(e_1)\times L(e_2))=m\cdot(e_1\times e_2)$。同様に $e_1\times e_2=\pm n$ なので、結局 $|\det M|=|m\cdot n|$。 水平面 $\pi'$（$m=(0,0,1)$）に対し、法線 $n=\bigl(\tfrac{\sqrt3}2,0,\tfrac12\bigr)$ の平面（$m\cdot n=\tfrac12$、傾き $60°$）上の面積 $4$ の図形の、水平面への影は面積 $4\cdot\tfrac12=2$ です。平面を $\theta\to90°$ に傾けると影の面積は $0$ に近づきます。 ## 7. 四面体の体積 空間の図形の**体積**は Lebesgue 測度 $m$（$m([0,1]^3)=1$）です。A, B, C, D が同一平面上になく、$u=B-A$、$v=C-A$、$w=D-A$ について $\det(u,v,w)\ne0$ のとき、集合 $\{A+su+tv+rw\mid s,t,r\ge0,\ s+t+r\le1\}$（$A,B,C,D$ の凸結合の全体）を、この 4 点を頂点とする**四面体**といいます。 次の補題の方針は、立方体 $[0,1]^3$ を座標の大小の順に 6 つの同じ大きさの部分に分け、そのうち 1 つが標準単体と同じ体積をもつことを使って、$\frac16$ を求めることです。 $\Delta=\{(x,y,z)\mid x,y,z\ge0,\ x+y+z\le1\}$ の体積は $\dfrac16$ である。 $O_{\mathrm{id}}=\{0\le x\le y\le z\le1\}$ とおく。線形写像 $T_0(a,b,c)=(a,a+b,a+b+c)$ は下三角行列で $\det T_0=1$、$T_0(\Delta)=O_{\mathrm{id}}$ なので、 の 1. から $m(\Delta)=m(O_{\mathrm{id}})$。座標の並べ替え（置換行列、$|\det|=1$）$P_\sigma$ に対し $O_\sigma=P_\sigma(O_{\mathrm{id}})=\{0\le x_{\sigma(1)}\le x_{\sigma(2)}\le x_{\sigma(3)}\le1\}$ で、同じ定理により $m(O_\sigma)=m(O_{\mathrm{id}})$。立方体 $[0,1]^3$ のどの点も、座標を小さい順に並べることでどれかの $O_\sigma$（$\sigma$ は 6 通り）に入る。2 つの異なる $O_\sigma,O_{\sigma'}$ の共通部分は、2 つの座標が等しい点の集合で、$\{x=y\}$ などの 3 つの平面の和に含まれる。これらの平面は特異行列の像で、 の 2. により測度 $0$。したがって $1=m([0,1]^3)=\sum_\sigma m(O_\sigma)=6\,m(\Delta)$。 四面体 $ABCD$ の体積 $V$ について $$ V=\frac16\bigl|\det(B-A,\,C-A,\,D-A)\bigr|=\frac13\,S(ABC)\,h $$ である。ここで $S(ABC)$ は面 $ABC$ の面積、$h$ は $D$ から平面 $ABC$ までの距離。 $T=(u\ v\ w)$（列が $u=B-A$、$v=C-A$、$w=D-A$）とすると、$T(\Delta)=\{su+tv+rw\mid s,t,r\ge0,\ s+t+r\le1\}$ で、四面体は $A+T(\Delta)$ である。Lebesgue 測度は平行移動で変わらず、 の 1. から $V=|\det T|\,m(\Delta)=\dfrac16|\det(u,v,w)|$（）。 第 2 の式: $n=u\times v\ne0$（$u,v$ は 1 次独立）。$|\det(u,v,w)|=|n\cdot w|$（ の 1.）。$n$ は平面 $ABC$ の法線ベクトル（ の 2.）で、この平面は $\{X\mid n\cdot X=n\cdot A\}$。$D$ からの距離は から $h=\dfrac{|n\cdot D-n\cdot A|}{|n|}=\dfrac{|n\cdot w|}{|n|}$。$|n|=2S(ABC)$ なので $|n\cdot w|=2S(ABC)\,h$、$V=\dfrac16\cdot2S(ABC)h=\dfrac13S(ABC)h$。 $O=(0,0,0)$、$A=(2,0,0)$、$B=(0,3,0)$、$C=(0,0,4)$ の四面体では $\det(A,B,C)=24$ なので $V=\dfrac{24}6=4$。底面を $OAB$ とすると $S=3$、$h=4$ で $\dfrac13\cdot3\cdot4=4$ と一致します。 ## 8. 辺の長さから体積を求める：Cayley–Menger の公式 四面体 $A_0A_1A_2A_3$ の辺の長さを $d_{ij}=|A_i-A_j|$ とし、$u_i=A_i-A_0$（$i=1,2,3$）とおきます。 次の定理の前半は、体積の 2 乗が 3 本の辺ベクトルの内積の表の行列式になる、という主張です。内積は辺の長さから計算できるので、辺の長さだけで体積が決まります。後半の 5 行 5 列の式は、行と列の引き算を繰り返して前半の式に直すだけの計算です。 四面体の体積 $V$ について、$u_i\cdot u_j=\dfrac{d_{0i}^2+d_{0j}^2-d_{ij}^2}2$（$d_{ii}=0$）とし、$G=(u_i\cdot u_j)_{i,j=1,2,3}$（Gram 行列）とおくと $$ 36V^2=\det G. $$ さらに、次の $5\times5$ 行列（**Cayley–Menger 行列**）について $$ 288V^2=\det\begin{pmatrix}0&1&1&1&1\\1&0&d_{01}^2&d_{02}^2&d_{03}^2\\1&d_{01}^2&0&d_{12}^2&d_{13}^2\\1&d_{02}^2&d_{12}^2&0&d_{23}^2\\1&d_{03}^2&d_{13}^2&d_{23}^2&0\end{pmatrix} $$ が成り立つ。したがって体積は 6 つの辺の長さだけで決まる。 $M=(u_1\ u_2\ u_3)$ とすると $G=M^{\mathsf T}M$ で、 と転置不変性（）から $\det G=(\det M)^2$。 から $36V^2=(\det M)^2$。内積の式は $|u_i-u_j|^2=|u_i|^2+|u_j|^2-2u_i\cdot u_j$（内積の双線形性と対称性、 による展開）で、$|u_i-u_j|=d_{ij}$、$|u_i|=d_{0i}$。 $5\times5$ 行列式: $a_i=d_{0i}^2$ とおくと、$i,j\ge1$ で $d_{ij}^2=a_i+a_j-2G_{ij}$。行列の添字を（境界, $0$, $1$, $2$, $3$）とし、行 $i=1,2,3$ から行 $0$ を引く：各行は境界列が $1-1=0$、第 $0$ 列が $a_i$、第 $j$ 列が $(a_i+a_j-2G_{ij})-a_j=a_i-2G_{ij}$ になる。次に列 $j=1,2,3$ から第 $0$ 列を引く：境界行は $1-1=0$、行 $0$ は $a_j$、行 $i$ は $(a_i-2G_{ij})-a_i=-2G_{ij}$。行列は $$ \begin{pmatrix}0&1&0&0&0\\1&0&a_1&a_2&a_3\\0&a_1&-2G_{11}&-2G_{12}&-2G_{13}\\0&a_2&-2G_{21}&-2G_{22}&-2G_{23}\\0&a_3&-2G_{31}&-2G_{32}&-2G_{33}\end{pmatrix} $$ になる（行・列の加減で行列式は変わらない）。第 1 行（境界行）で余因子展開（）すると、成分 $1$ は第 2 列にあり符号 $(-1)^{1+2}=-1$、余因子の行列は境界行と第 $0$ 列を除いたもので、その第 1 列は $(1,0,0,0)^{\mathsf T}$ なのでさらに展開して $\det(-2G)=-8\det G$。したがって全体は $(-1)(-8\det G)=8\det G=8\cdot36V^2=288V^2$。 1 辺 $a$ の正四面体では $u_i\cdot u_j=\dfrac{a^2+a^2-a^2}2=\dfrac{a^2}2$（$i\ne j$）、$|u_i|^2=a^2$。$G=a^2\begin{pmatrix}1&\frac12&\frac12\\\frac12&1&\frac12\\\frac12&\frac12&1\end{pmatrix}$ の行列式は $a^6\cdot\dfrac12$（$3\times3$ の行列式の展開で $1+2\cdot\frac18-3\cdot\frac14=\frac12$）なので $36V^2=\dfrac{a^6}{2}$、$V=\dfrac{a^3}{6\sqrt2}=\dfrac{\sqrt2}{12}a^3$。 ## 9. 直角四面体：de Gua の定理 頂点 $O$ に集まる 3 辺 $OA,OB,OC$ がどの 2 つも垂直な四面体を**直角四面体**といいます。三平方の定理（直角三角形で $c^2=a^2+b^2$）の空間版が次の定理です。 直角四面体 $OABC$（$OA,OB,OC$ が互いに垂直）について $$ S(ABC)^2=S(OAB)^2+S(OBC)^2+S(OCA)^2 $$ である。 $O$ を原点とし $u=A$、$v=B$、$w=C$（互いに垂直でゼロでない）。$(B-A)\times(C-A)=(v-u)\times(w-u)=v\times w+u\times v+w\times u$（$u\times u=0$ など）。$u,v,w$ は互いに垂直なので 1 次独立で基底（、）。$v\times w$ は $v,w$ に垂直（ の 2.）で、$v,w$ に垂直なベクトル $x=\alpha u+\beta v+\gamma w$ は $x\cdot v=\beta|v|^2=0$、$x\cdot w=\gamma|w|^2=0$ から $x=\alpha u$ なので、$v\times w\parallel u$。同様に $u\times v\parallel w$、$w\times u\parallel v$。3 つの外積は互いに垂直なので、Pythagoras の定理（）を 2 回使って（まず 2 つの和、次に 3 つ目との和） $$ |(B-A)\times(C-A)|^2=|v\times w|^2+|u\times v|^2+|w\times u|^2. $$ 各項を $\tfrac12$ 倍して平方した面積の式（$S(ABC)=\tfrac12|(B-A)\times(C-A)|$ など）にそろえると題意。 $O=(0,0,0)$、$A=(2,0,0)$、$B=(0,3,0)$、$C=(0,0,4)$ では $S(OAB)=3$、$S(OBC)=6$、$S(OCA)=4$。 から $S(ABC)^2=9+36+16=61$、$S(ABC)=\sqrt{61}$。$V=4$（）と から、$O$ から平面 $ABC$ までの距離は $h=\dfrac{3V}{S(ABC)}=\dfrac{12}{\sqrt{61}}$。平面 $ABC$ は $6x+4y+3z=12$ で、 の距離 $\dfrac{|12|}{\sqrt{36+16+9}}=\dfrac{12}{\sqrt{61}}$ と一致します。 ## 10. 外接球と内接球 三角形には外接円と内接円がありました（[三角形の五心](/mathematics/hs-geometry/triangle-centers)）。四面体にも、外接球と内接球がつねにあります。 四面体 $ABCD$ について次が成り立つ。 1. 4 つの頂点を通る球面がただ 1 つ存在する（**外接球**）。 2. 各頂点の向かいの面の面積を $S_A,S_B,S_C,S_D$（たとえば $S_A=S(BCD)$）とする。 $$ I=\frac{S_AA+S_BB+S_CC+S_DD}{S_A+S_B+S_C+S_D} $$ は四面体の内部にあり、4 つの面を含む平面までの距離がすべて等しい。その値は $r=\dfrac{3V}{S_A+S_B+S_C+S_D}$ で、$I$ を中心とする半径 $r$ の球は 4 つの面を含む平面に接する（**内接球**）。 1. $u=B-A$、$v=C-A$、$w=D-A$。$|X-A|=|X-B|$ は $2X\cdot u=|B|^2-|A|^2$ と同値で、$|X-A|=|X-C|$、$|X-A|=|X-D|$ も同様に $X\cdot v$、$X\cdot w$ の式。この 3 つの連立方程式の係数行列 $(u\ v\ w)^{\mathsf T}$ の行列式は $\det(u,v,w)\ne0$（転置不変性、）で、 よりただ 1 つの解 $X=O$ をもつ。$|O-A|=|O-B|=|O-C|=|O-D|=R$ で、4 点を通る球面は中心が 4 点から等距離でなければならないので、この球面が唯一。 2. 面 $BCD$ を含む平面の単位法線 $n_A$ を $n_A\cdot(A-B)>0$ となるようにとり、$f_A(X)=n_A\cdot(X-B)$ とおく。$f_A$ は $B,C,D$ で $0$ で、$f_A(A)=h_A>0$（$A$ から平面 $BCD$ への距離。）。$X=\alpha A+\beta B+\gamma C+\delta D$（$\alpha+\beta+\gamma+\delta=1$）について $f_A(X)=\alpha f_A(A)+\beta f_A(B)+\gamma f_A(C)+\delta f_A(D)=\alpha h_A$（係数の和が $1$ なので $n_A\cdot(X-B)$ の $B$ も係数に含められる）。したがって $X$ から平面 $BCD$ までの距離は $|\alpha|h_A$。 を底面 $BCD$、頂点 $A$ に使うと $V=\tfrac13S_Ah_A$ なので $h_A=\dfrac{3V}{S_A}$。$I$ では $\alpha=\dfrac{S_A}{S_A+S_B+S_C+S_D}$ なので、距離は $\dfrac{S_A}{\sum S}\cdot\dfrac{3V}{S_A}=\dfrac{3V}{\sum S}$。他の 3 面も同じ値で、重みはすべて正なので $I$ は内部にある。距離が $r$ に等しい平面は、$I$ を中心とする半径 $r$ の球に接する（ の $|\delta|=r$ の場合）。 $O=(0,0,0)$、$A=(1,0,0)$、$B=(0,1,0)$、$C=(0,0,1)$ の四面体では、$S(OAB)=S(OBC)=S(OCA)=\tfrac12$、$S(ABC)=\tfrac{\sqrt3}2$（ から $\sqrt{3\cdot\frac14}$）、$V=\tfrac16$。内接球の半径は $r=\dfrac{3\cdot\frac16}{\frac32+\frac{\sqrt3}2}=\dfrac1{3+\sqrt3}=\dfrac{3-\sqrt3}6$。外接球の中心は立方体の中心 $\bigl(\tfrac12,\tfrac12,\tfrac12\bigr)$、半径 $\tfrac{\sqrt3}2$。 ## 11. 等面四面体と直方体 向かい合う辺の長さが等しい四面体（$AB=CD$、$AC=BD$、$AD=BC$）を**等面四面体**といいます。次の定理は、直方体の向かい合わない 4 頂点を結ぶと、各面の対角線が四面体の辺になるので、このような四面体ができる、ということを式で確かめるものです。この条件のもとで 4 つの面はどれも辺の長さ $AB=a$、$AC=b$、$AD=c$ の三角形になり、3 辺が等しいので合同です（）。 等面四面体 $ABCD$（$AB=CD=a$、$AC=BD=b$、$AD=BC=c$）について、次が成り立つ。 1. $a^2 $u=B-A$、$v=C-A$、$w=D-A$ とすると $|u|=a$、$|v|=b$、$|w|=c$、$|u-v|=BC=c$、$|u-w|=BD=b$、$|v-w|=CD=a$。 の内積の式から $$ u\cdot v=\frac{a^2+b^2-c^2}2=:R,\quad u\cdot w=\frac{a^2+c^2-b^2}2=:Q,\quad v\cdot w=\frac{b^2+c^2-a^2}2=:P. $$ $a^2=Q+R$、$b^2=P+R$、$c^2=P+Q$ で、Gram 行列は $G=\begin{pmatrix}Q+R&R&Q\\R&P+R&P\\Q&P&P+Q\end{pmatrix}$。第 1 行で展開して整理すると $\det G=4PQR$（$(Q+R)(PQ+PR+QR)-R(RP+RQ-PQ)+Q(RP-QP-QR)$ の各項を展開すると $PQ^2,Q^2R,PR^2,QR^2$ の項は打ち消し合い、$4PQR$ が残る）。 より $36V^2=\det G=4PQR>0$。 1. $PQR>0$。もし $R\le0$ なら、$P+R=b^2>0$ から $P>0$、$Q+R=a^2>0$ から $Q>0$ で $PQR\le0$ となり矛盾。同様に $P\le0$、$Q\le0$ も不可能。よって $P,Q,R>0$（$P=p^2$ など）で、これが 1. の 3 つの不等式（$P>0\iff b^2+c^2>a^2$ など）。 2. $p=\sqrt P$ などとし、$A'=(0,0,0)$、$B'=(0,q,r)$、$C'=(p,0,r)$、$D'=(p,q,0)$ とする。$|A'B'|^2=q^2+r^2=Q+R=a^2$、$|A'C'|^2=P+R=b^2$、$|A'D'|^2=P+Q=c^2$、$|B'C'|^2=p^2+q^2=c^2$、$|B'D'|^2=p^2+r^2=b^2$、$|C'D'|^2=q^2+r^2=a^2$。6 辺の長さが $ABCD$ と等しいので、$u'=B'-A'$ などに対する行列 $M'=(u'\ v'\ w')$ と $M=(u\ v\ w)$ は Gram 行列が等しい：$M'^{\mathsf T}M'=M^{\mathsf T}M$（）。$M$ は正則なので $O=M'M^{-1}$ は $O^{\mathsf T}O=M^{-\mathsf T}M'^{\mathsf T}M'M^{-1}=M^{-\mathsf T}M^{\mathsf T}MM^{-1}=I$ を満たす直交行列。$X\mapsto A'+O(X-A)$ は距離を保ち、$A,B,C,D$ を $A',B',C',D'$ に移す。 3. $36V^2=4PQR=4p^2q^2r^2$ から $V=\dfrac{pqr}3$。 逆: 4 点 $(0,0,0),(0,q,r),(p,0,r),(p,q,0)$ の 6 つの辺の長さの 2 乗は上の計算のとおり $q^2+r^2$（2 辺）、$p^2+r^2$（2 辺）、$p^2+q^2$（2 辺）で、向かい合う辺の長さが等しい。 $a=5$、$b=6$、$c=7$ とする。$p^2=\dfrac{36+49-25}2=30$、$q^2=\dfrac{49+25-36}2=19$、$r^2=\dfrac{25+36-49}2=6$。体積は $V=\dfrac{\sqrt{30\cdot19\cdot6}}3=\dfrac{\sqrt{3420}}3=\dfrac{6\sqrt{95}}3=2\sqrt{95}$。外接球は、直方体の外接球と同じ中心 $\bigl(\tfrac p2,\tfrac q2,\tfrac r2\bigr)$ で半径 $\tfrac12\sqrt{p^2+q^2+r^2}=\tfrac12\sqrt{55}$（$p^2+q^2+r^2=\frac{a^2+b^2+c^2}2=55$）。正四面体（$a=b=c$）は $p=q=r=\tfrac a{\sqrt2}$ の立方体に内接し、$V=\dfrac{a^3}{6\sqrt2}$ は と一致します。 空間の 4 点 $A,B,C,D$（同一平面上になくてもよい）で、辺 $AB,BC,CD,DA$ の中点を $P,Q,R,S$ とすると、$Q-P=\tfrac{C-A}2=R-S$ なので、$PQRS$ は平行四辺形です（平面での Varignon の定理と同じ式で、同一平面上にあるかどうかを使いません）。 ## 12. 大学ではどこへ続くか - 空間ベクトル・内積・外積・行列式は、[ベクトル空間](/mathematics/linear-algebra/vector-spaces)、[内積空間](/mathematics/linear-algebra/inner-product-spaces)、[行列式](/mathematics/linear-algebra/determinants) の三位一体です。体積が行列式の絶対値になること（）は、一般次元の測度論（[変数変換](/mathematics/real-analysis/change-of-variables-rd)）で $|\det|$ に一般化されます。 - 外積は 3 次元だけの現象で、一般には外積代数（微分形式）の中の $\wedge$ になります。曲面の面積要素は $|r_u\times r_v|$ で、ベクトル解析（Stokes の定理）へ続きます。 - Cayley–Menger の公式は、距離だけから $n$ 次元の単体の体積を求める公式として一般化され、距離空間のユークリッド空間への埋め込み可能性の判定（Menger の定理）に使われます。 ## 13. 演習 原点中心、半径 $2$ の球面と平面 $x+2y+2z=1$ の交わりを求めよ。 単位法線 $n=\tfrac13(1,2,2)$、平面は $n\cdot X=\tfrac13$（$k=\tfrac13$）。$\delta=n\cdot C-k=-\tfrac13$、$|\delta|=\tfrac13<2$ なので から、中心 $F=C-\delta n=\tfrac19(1,2,2)$、半径 $\sqrt{4-\tfrac19}=\dfrac{\sqrt{35}}3$ の円。 $A=(1,0,0)$、$B=(0,2,0)$、$C=(0,0,3)$、$D=(1,1,1)$ の四面体の体積を求めよ。 $u=B-A=(-1,2,0)$、$v=C-A=(-1,0,3)$、$w=D-A=(0,1,1)$。$\det(u,v,w)=\begin{vmatrix}-1&-1&0\\2&0&1\\0&3&1\end{vmatrix}=-1(0-3)+1(2-0)=5$。 より $V=\dfrac56$。 $OA=3$、$OB=4$、$OC=12$ で $OA,OB,OC$ が互いに垂直な四面体の、面 $ABC$ の面積と、$O$ から面 $ABC$ までの距離を求めよ。 $S(OAB)=6$、$S(OBC)=24$、$S(OCA)=18$。 より $S(ABC)^2=36+576+324=936$、$S(ABC)=6\sqrt{26}$。体積は $V=\dfrac{3\cdot4\cdot12}{6}=24$（）で、距離は $h=\dfrac{3V}{S(ABC)}=\dfrac{72}{6\sqrt{26}}=\dfrac{12}{\sqrt{26}}$。 の内接球の半径 $r=\dfrac{3-\sqrt3}6$ が、中心 $I=(r,r,r)$ から面 $ABC$（$x+y+z=1$）までの距離と一致することを直接確かめよ。 $I=\dfrac{S_OO+S_AA+S_BB+S_CC}{\sum S}$ で、$O$ の向かいの面 $ABC$ の面積が $\tfrac{\sqrt3}2$、$A,B,C$ の向かいの面はそれぞれ $\tfrac12$ なので $I=\dfrac{\frac12(A+B+C)}{\frac32+\frac{\sqrt3}2}=\dfrac{(1,1,1)}{3+\sqrt3}=(r,r,r)$。$x+y+z=1$ までの距離は から $\dfrac{|3r-1|}{\sqrt3}=\dfrac{1-3r}{\sqrt3}$（$3r=\dfrac{3-\sqrt3}2<1$）。$3r=\dfrac{3-\sqrt3}2$ なので $1-3r=\dfrac{\sqrt3-1}2$、距離は $\dfrac{\sqrt3-1}{2\sqrt3}=\dfrac{3-\sqrt3}6=r$。 等面四面体で、面の三角形の辺が $a=4$、$b=5$、$c=6$ であるとき、体積と外接球の半径を求めよ。 より $p^2=\dfrac{25+36-16}2=\dfrac{45}2$、$q^2=\dfrac{36+16-25}2=\dfrac{27}2$、$r^2=\dfrac{16+25-36}2=\dfrac52$。$V=\dfrac13\sqrt{\dfrac{45\cdot27\cdot5}{8}}=\dfrac13\sqrt{\dfrac{6075}8}=\dfrac13\cdot\dfrac{45\sqrt3}{2\sqrt2}=\dfrac{15\sqrt3}{2\sqrt2}=\dfrac{15\sqrt6}4$（$6075=45^2\cdot3$）。外接球の半径は $\tfrac12\sqrt{p^2+q^2+r^2}=\tfrac12\sqrt{\tfrac{16+25+36}2}=\tfrac12\sqrt{\tfrac{77}2}=\dfrac{\sqrt{154}}4$。 ## 参考文献 1. 杉浦光夫『解析入門 II』東京大学出版会、1985 — 第 VII 章（Lebesgue 測度と体積）。 2. Peter D. Lax, *Linear Algebra and Its Applications*, 2nd ed., Wiley, 2007 — 行列式と体積、Gram 行列の章。 3. H. S. M. Coxeter, *Regular Polytopes*, 3rd ed., Dover, 1973 — 四面体と正多面体の章。 4. Leonard M. Blumenthal, *Theory and Applications of Distance Geometry*, Chelsea, 1970 — Cayley–Menger の行列式の章。