有关四面体内心的行列式

lihpb

kuing

不需要内心，`I` 可换成四面体内任意一点 `P`，行列式都是 `0`。

证明：令
\begin{align*}
PB_i&=\lambda_i\cdot A_iB_i,\quad(i=1,2,3,4)\\[1ex]
\riff A_iP&=(1-\lambda_i)\cdot A_iB_i,
\end{align*}
注意到 `\lambda_i` 等于 `A_i` 所对底面与 `P` 连成的三棱锥体积与原四面体体积之比（即 `\lambda_1=V(P\text-A_2A_3A_4):V(A_1A_2A_3A_4)` 等），可见 `\lambda_1+\lambda_2+\lambda_3+\lambda_4=1`，而行列式化为
\[\begin{vmatrix}
-A_1P & PB_1 & PB_1 & PB_1 \\
PB_2 & -A_2P & PB_2 & PB_2 \\
PB_3 & PB_3 & -A_3P & PB_3 \\
PB_4 & PB_4 & PB_4 & -A_4P
\end{vmatrix}
=\begin{vmatrix}
\lambda_1-1 & \lambda_1 & \lambda_1 & \lambda_1 \\
\lambda_2 & \lambda_2-1 & \lambda_2 & \lambda_2 \\
\lambda_3 & \lambda_3 & \lambda_3-1 & \lambda_3 \\
\lambda_4 & \lambda_4 & \lambda_4 & \lambda_4-1
\end{vmatrix}\cdot\prod_{i=1}^4A_iB_i,\]
用加边法，有
\begin{align*}
\begin{vmatrix}
\lambda_1-1 & \lambda_1 & \lambda_1 & \lambda_1 \\
\lambda_2 & \lambda_2-1 & \lambda_2 & \lambda_2 \\
\lambda_3 & \lambda_3 & \lambda_3-1 & \lambda_3 \\
\lambda_4 & \lambda_4 & \lambda_4 & \lambda_4-1
\end{vmatrix}
&=\begin{vmatrix}
1 & 1 & 1 & 1 & 1 \\
0 & \lambda_1-1 & \lambda_1 & \lambda_1 & \lambda_1 \\
0 & \lambda_2 & \lambda_2-1 & \lambda_2 & \lambda_2 \\
0 & \lambda_3 & \lambda_3 & \lambda_3-1 & \lambda_3 \\
0 & \lambda_4 & \lambda_4 & \lambda_4 & \lambda_4-1
\end{vmatrix}\\[1ex]
&\quad\text{第一行分别乘 $-\lambda_i$ 加到第 $i+1$ 行得}\\[1ex]
&=\begin{vmatrix}
1 & 1 & 1 & 1 & 1 \\
-\lambda_1 & -1 & 0 & 0 & 0 \\
-\lambda_2 & 0 & -1 & 0 & 0 \\
-\lambda_3 & 0 & 0 & -1 & 0 \\
-\lambda_4 & 0 & 0 & 0 & -1
\end{vmatrix}\\[1ex]
&\quad\text{将第二至五行全加到第一行得}\\[1ex]
&=\begin{vmatrix}
1-\lambda_1-\lambda_2-\lambda_3-\lambda_4 & 0 & 0 & 0 & 0 \\
-\lambda_1 & -1 & 0 & 0 & 0 \\
-\lambda_2 & 0 & -1 & 0 & 0 \\
-\lambda_3 & 0 & 0 & -1 & 0 \\
-\lambda_4 & 0 & 0 & 0 & -1
\end{vmatrix}\\
&=1-\lambda_1-\lambda_2-\lambda_3-\lambda_4\\
&=0,
\end{align*}
即得证。