MathLabs
定理已证明

共顶点三棱锥的体积比定理

命题陈述

给定三棱锥 S.ABCS.ABC 及其三条侧棱上的点 A′∈SAA' \in SA, B′∈SBB' \in SB, C′∈SCC' \in SC,则三棱锥 S.A′B′C′S.A'B'C' 满足 VS.A′B′C′VS.ABC=SA′SA⋅SB′SB⋅SC′SC\dfrac{V_{S.A'B'C'}}{V_{S.ABC}} = \dfrac{SA'}{SA}\cdot\dfrac{SB'}{SB}\cdot\dfrac{SC'}{SC}。

为什么成立?

从顶点出发,让三点各自沿自己所在的棱独立滑动,相当于在三个不同方向上独立地拉伸这个棱锥,因此体积应当按这三个独立拉伸系数的乘积变化,就像独立缩放长方体的三条棱会使其体积乘以三个缩放系数的乘积一样。

证明思路

以顶点 SS 为原点,设 u⃗=SA→\vec{u} = \overrightarrow{SA},v⃗=SB→\vec{v} = \overrightarrow{SB},w⃗=SC→\vec{w} = \overrightarrow{SC}。由公共顶点出发的三条棱向量所张成的四面体体积由标量三重积给出:VS.ABC=16∣u⃗⋅(v⃗×w⃗)∣V_{S.ABC} = \frac{1}{6}\left|\vec{u}\cdot(\vec{v}\times\vec{w})\right|。

由于 A′∈SAA' \in SA, B′∈SBB' \in SB, C′∈SCC' \in SC,可以写出 SA′→=k1u⃗\overrightarrow{SA'} = k_1\vec{u},SB′→=k2v⃗\overrightarrow{SB'} = k_2\vec{v},SC′→=k3w⃗\overrightarrow{SC'} = k_3\vec{w},其中 k1=SA′SAk_1 = \frac{SA'}{SA},k2=SB′SBk_2 = \frac{SB'}{SB},k3=SC′SCk_3 = \frac{SC'}{SC}。于是 VS.A′B′C′=16∣(k1u⃗)⋅((k2v⃗)×(k3w⃗))∣V_{S.A'B'C'} = \frac{1}{6}\left|(k_1\vec{u})\cdot\big((k_2\vec{v})\times(k_3\vec{w})\big)\right|。

标量三重积是三线性的(对三个向量变元中的每一个都是线性的),因此 (k1u⃗)⋅((k2v⃗)×(k3w⃗))=k1k2k3(u⃗⋅(v⃗×w⃗))(k_1\vec{u})\cdot\big((k_2\vec{v})\times(k_3\vec{w})\big) = k_1 k_2 k_3 \left(\vec{u}\cdot(\vec{v}\times\vec{w})\right)。两边取绝对值并除以6,得 VS.A′B′C′=k1k2k3⋅VS.ABCV_{S.A'B'C'} = k_1k_2k_3 \cdot V_{S.ABC},整理后正是 VS.A′B′C′VS.ABC=SA′SA⋅SB′SB⋅SC′SC\dfrac{V_{S.A'B'C'}}{V_{S.ABC}} = \dfrac{SA'}{SA}\cdot\dfrac{SB'}{SB}\cdot\dfrac{SC'}{SC}。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Euclid; trans. T. L. Heath (1908). Euclid's Elements, Book XII (method of exhaustion; pyramid and prism volumes)
  2. Weisstein, Eric W. (2024). Platonic solid