立体几何射影定理证明-立体几何射影定理证

想象一下，你手里握着一把带尺的铅笔画刀。在古老的埃及人要么目前的测量员眼里，这就是把影子投在墙上。但在数学里，我们不是把影子当成一个物理现象，而是把它当成一种“投影”——一种把高维空间里的点，强行压缩到低维平面上的动作。
这过程并不一直顺滑的，有时候影子会扭曲，有时候还会消亡，这背后的逻辑如何走得通？ 咱们别急着上复杂的公式，从最直观的“皮影”说起。假设有一条光线，它像一把无情的剪刀，穿过一个三棱锥的顶点。
这把光线把原本立体的角，给剪成了一个平面三角形。
这个三角形，就是原三棱锥在某个平面上的“投影”。
关键在于，这个三角形里的每一条边，是不是都对应着原立体里的一条棱，要么是一条棱的平行线？ 这就得看光线到底是如何划下来的。
要是光线垂直照向一个面，那投影就是一个正梯形要么矩形，规矩得挺。但要是光线斜着照，要么对着一个角射，情况就复杂了。
这时候，投影里的图形，往往不是原立体里直接“长”出来的，而是经过了几何变换“变”出来的。
比方说，一个高为 $h$、底面边长为 $a$ 的四面体，对着一个面垂直投影，投影的形状可能就是个钝角三角形，就连是个五边形，彻底不像那个四面体。
这时候，投影里的边长 $a'$ 跟原来的边长 $a$ 之间，肯定没直接的相等关系。 这如何解释？数学上有个定理叫“射影定理”。它的核心思想实际上挺朴素，就是“相似比等于相似比”。咱们拿两个三棱锥在同一个平面上的投影来比。设大一点的三棱锥是 $P-ABC$，小一点的是 $P-DEF$，它们都从顶点 $P$ 出发，底面分别在同一个平面 $alpha$ 上。 这时候，我们能够把难题简化成二维的。设 $P$ 到平面 $alpha$ 的距离是 $h$。在三角形 $triangle PAB$（大）和 $triangle P'AB$（小，其中 $A', B'$ 是 $A, B$ 在平面上的投影）里，出于光线比垂直更“平”，故此 $triangle P'AB$ 是 $triangle PAB$ 的“缩小版”。根据射影定理，相似三角形的对应边之比，等于相似比。
这个相似比，实际上就是两个三棱锥对应顶点到底面距离之比，也就是高的比：$frac{h'}{h}$。 便我们推导出公式：$frac{a'}{a} = frac{h'}{h}$。
这看起来忒顺了，是不是？只要搞定这个公式，其他的就顺水推舟了。
要是我们要算一个三棱锥的体积，公式里需求用到底面积和高。
要是我们知道投影后的三角形面积 $S'$，还有它们各自的高 $h'$，那直接套公式 $V = frac{1}{3} S' h'$ 就能算出体积。但这有个前提：投影务必是“正”的，要么说，投影三角形里的角，务必能准地还原出原立体棱角的余弦值。 这就引出了射影定理在解题中的“软肋”。大量时候，投影三角形里的角度，跟原立体里的角度是“心照不宣”的。
比方说，原三棱锥 $P-ABC$ 中，$angle APC$ 的余弦值，往往投影后变成了 $angle A'PC'$ 的余弦值。
这是出于三个侧面两两垂直的那个四面体，它的投影里，三个角正好拼成了一个直角。
这个性质贼稳固，故此在处理这类“墙角”结构时，投影里的角就是原图的“快照”。 那么，要是这个“快照”不准如何办？要是原立体里的棱长 $PA$ 在投影里变成了 $PA'$，这时候 $cos angle A'PC' neq cos angle APC$。
这就费事了。
这时候就需求用到更深层的“射影定理”了。
这个定理说的是：若 $PA perp BC$，那么 $PA$ 在平面上的投影 $PA'$ 也垂直于 $BC$ 在平面上的投影 $B'C'$。 这个结论看似有点绕，但实际上逻辑链条挺清楚。出于 $PA perp BC$，根据向量垂直的定义，$vec{PA} cdot vec{BC} = 0$。而 $vec{PA}$ 在平面 $alpha$ 上的投影向量是 $vec{PA'}$，$vec{BC}$ 在平面 $alpha$ 上的投影向量是 $vec{B'C'}$。它们的数量积依然等于 0，也就是说 $vec{PA'} cdot vec{B'C'} = 0$。
这意味着 $PA'$ 和 $B'C'$ 也垂直。 举个具体的例子吧。想象一个正方体 $ABCD-A_1B_1C_1D_1$。我们要算体对角线 $AC_1$ 在底面 $ABCD$ 上的投影。投影点就是 $A$ 和 $C$。连接 $AC$。根据上面的逻辑，体对角线 $AC_1$ 垂直于 $BD$（正方体底面的对角线）。
反过来，底面对角线 $AC$ 在垂直于 $BD$ 的平面上的投影，应当和 $AC$ 垂直。
这在直观上仿佛有点矛盾，出于 $AC_1$ 本来就不垂直于 $BD$ 啊？不对，我的直觉在骗我。 再仔细想一遍。$AC_1$ 垂直于底面 $ABCD$ 里的任何直线吗？显然不垂直。
那为啥我会认定 $AC_1$ 投影下来还是 $AC$ 会垂直 $BD$ 呢？ 啊，错了。
这里有一个常见的误区。射影定理中“垂直”这个结论，严格来说是指：原立体中两条棱互相垂直，它们的投影依然互相垂直。但反过来，要是原立体中两条线不垂直，投影也不一定垂直。 让我们换个角度，用数值验证。设正方体边长为 1。$AC_1$ 的长度是 $sqrt{3}$。它在底面的投影是 $AC$，长度是 $sqrt{2}$。两者不垂直。
那刚刚那个“投影垂直”的推导哪儿出了难题？ 哦，是出于前提错了。前提务必是：原立体中有两条棱 $l_1, l_2$，它们分别垂直于另一个平面 $beta$ 和 $gamma$。 回到正方体例子。寻思体对角线 $AC_1$ 和底面对角线 $BD$。它们不垂直。
那我们要找的是哪位垂直哪位的投影？ 寻思正方体的一个性质：$AC_1$ 垂直于 $BD$ 吗？在正方体里，$AC_1$ 是对角线，$BD$ 是对角线。它们在体对角线所在的平面上互相垂直。 我们能够构造一个四面体，比如 $P-ABC$，其中 $P$ 是原点 $(0,0,0)$，$A(1,0,0)$，$B(0,1,0)$，$C(0,0,1)$。
这是个标准的直角四面体。 求它在 $xOy$ 平面上的投影。投影点分别是 $A(1,0)$，$B(0,1)$，$P(0,0)$。投影三角形是直角三角形，直角在 $P$。 原体 $P-ABC$ 的三棱锥，边长分别是 $PA=1, PB=1, PC=1$。投影三角形边长是 $PA'=1, PB'=1, AB'=sqrt{2}$。 这里 $P$ 是公共顶点，$PA perp PB$，$PB perp PC$，$PC perp PA$。 根据定理：$PA$ 的投影 $PA'$ 垂直于 $PB$ 的投影 $PB'$。
确实，$(1,0)$ 和 $(0,1)$ 垂直。$PB$ 的投影 $PB'$ 垂直于 $PC$ 的投影 $PC'$（注意 $P$ 是原点，$C'$ 是 $C$ 在 $xOy$ 的投影，即 $(0,0)$？不对，$C$ 是 $(0,0,1)$，投影是 $(0,0)$）。 什么的，投影定义：$P(0,0,0)$ 投影是 $P'(0,0,0)$。$A(1,0,0)$ 投影 $A'(1,0,0)$。$B(0,1,0)$ 投影 $B'(0,1,0)$。 投影三角形是 $triangle A'B'C'$ 吗？不是。投影是将整个立体压缩。点 $P, A, B$ 都在 $xOy$ 平面上，故此投影就是 $triangle P A B$。 原三棱锥是 $P-ABC$。顶点 $P(0,0,0)$，底面 $triangle ABC$ 在 $xOz$ 平面上？不对，刚刚定义的是 $xOy, yOz, zOx$ 面。 让我们重新定坐标，确保逻辑自洽。 设 $P$ 为原点 $(0,0,0)$。 $A$ 在 $xOy$ 面上，设 $A(a, 0, 0)$。 $B$ 在 $xOz$ 面上，设 $B(0, b, 0)$。 $C$ 在 $yOz$ 面上，设 $C(0, 0, c)$。 这是一个标准的墙角四面体。 求它在 $xOz$ 平面上的投影。 点 $P(0,0,0)$ 投影还是 $(0,0,0)$。 点 $A(a,0,0)$ 投影是 $(a,0,0)$，记作 $A'$。$A$ 在 $xOz$ 面上的坐标是 $(a,0)$。 点 $B(0,b,0)$ 在 $xOz$ 面上的坐标是 $(0,b)$，记作 $B'$。 点 $C(0,0,c)$ 在 $xOz$ 面上的投影是 $(0,0)$，记作 $C'$（实际上 $C$ 就在 $z$ 轴上，投影就是原点）。 故此投影图形是 $triangle A'B'C'$，即 $triangle A' B' (0,0)$。
这是一条线段？不对。 投影是点集 ${ P', A', B', C' }$ 的凸包。 $P(0,0,0) to P'(0,0,0)$。 $A(a,0,0) to A'(a,0,0)$。 $B(0,b,0) to B'(0,b,0)$。 $C(0,0,c) to C'(0,0,0)$。 故此投影就是线段 $A'B'$？不对，$P$ 和 $C$ 重合了，投影就是线段 $AB$ 在 $xOz$ 的投影？ $A(a,0,0)$ 投影到 $xOz$ 是 $(a,0)$。 $B(0,b,0)$ 投影到 $xOz$ 是 $(0,b)$。 $P(0,0,0)$ 投影到 $xOz$ 是 $(0,0)$。 $C(0,0,c)$ 投影到 $xOz$ 是 $(0,0)$。 故此投影是线段 $a-(b,0)-(0,b)$？不是线段，是三角形，顶点是 $(0,0), (a,0), (0,b)$。 原三棱锥是 $P-ABC$，边长 $a,b,c$。 投影三角形边长 $a, b, sqrt{a^2+b^2}$。 原立体中，$PA$ 在 $x$ 轴，$PB$ 在 $y$ 轴，$PC$ 在 $z$ 轴。 $PA perp PB$，$PB perp PC$，$PC perp PA$。 投影中，$PA'$ (即 $A'$) $perp$ $PB'$ (即 $B'$)。 这是出于 $PA$ 沿 $x$ 轴，$PB$ 沿 $y$ 轴，它们自然垂直。 投影中，$A'(a,0)$ 和 $B'(0,b)$ 的向量是 $(-a, b)$，点积为 $-ab neq 0$。 哪儿错了？ 啊，投影的定义。$A'$ 是 $A$ 在平面上的投影。 在 $xOz$ 平面（投影面）上，$A$ 的坐标是 $(a,0,0)$，故此投影是 $(a,0)$。 $B$ 的坐标是 $(0,b,0)$，故此投影是 $(0,b)$。 $P$ 的坐标 $(0,0,0)$，投影 $(0,0)$。 $C$ 的坐标 $(0,0,c)$，投影 $(0,0)$。 故此投影三角形顶点是 $(0,0), (a,0), (0,b)$。 边长：$OA = a, OB = b, AB = sqrt{a^2+b^2}$。 原三棱锥 $P-ABC$ 的三棱锥，$PA=a, PB=b, PC=c$。 关系：$PA perp PB$，$cos angle APB = 1$。 投影中，$PA'$ 与 $PB'$ 的夹角是多少？ 向量 $vec{PA'} = (a,0)$。向量 $vec{PB'} = (0,b)$。 点积为 0。
故此 $cos theta = 0$，$theta = 90^circ$。 原来如此！$PA perp PB$ 这个垂直关系，在投影里依然保持 $90^circ$。 那刚刚为啥算点积不为零？ 出于 $B$ 点的坐标是 $(0,b,0)$。在 $xOz$ 平面上，它的 $y$ 坐标被投影了。 啊，我搞混了“投影面”和“坐标轴”。 标准的笛卡尔坐标系里，$xOy$ 平面是投影面。 $A(a,0,0)$ 在 $xOy$ 面上的投影是 $(a,0,0)$。 $B(0,b,0)$ 在 $xOy$ 面上的投影是 $(0,0,b)$？不对，$B$ 的 $y$ 坐标是 $b$，故此投影后的 $y$ 坐标是 $0$？ 投影规则：$(x,y,z)$ 投影到 $z=0$ 面，变成 $(x,y,0)$。 故此 $A(a,0,0) to A'(a,0,0)$。 $B(0,b,0) to B'(0,b,0)$。 $C(0,0,c) to C'(0,0,0)$。 $P(0,0,0) to P'(0,0,0)$。 故此投影点是 $A'(a,0,0), B'(0,b,0), P'(0,0,0), C'(0,0,0)$。 投影图形是线段 $A'B'$ 吗？不是。$P'$ 和 $C'$ 重合。 图形是三角形，顶点是 $A', B', text{and } P'(text{which } C')$。 故此投影是 $triangle A' B' P'$。 边长 $A'P' = a, B'P' = b, A'B' = sqrt{a^2+b^2}$。 原三棱锥 $P-ABC$，边长 $PA=a, PB=b, PC=c$。 什么的，这里的 $C$ 是 $(0,0,c)$。$A$ 是 $(a,0,0)$。$B$ 是 $(0,b,0)$。 $PA perp PB$？$vec{PA}=(a,0,0), vec{PB}=(0,b,0)$。点积 0。垂直。 $PB perp PC$？$vec{PB}=(0,b,0), vec{PC}=(0,0,c)$。点积 0。垂直。 $PC perp PA$？$vec{PC}=(0,0,c), vec{PA}=(a,0,0)$。点积 0。垂直。 这是一个标准的正三棱锥（要是 $a=b=c$）。 目前看投影。投影是 $triangle A' B' P'$。 边长 $a, b, sqrt{a^2+b^2}$。 原立体中，$PA perp PB$，故此 $angle APB = 90^circ$。 投影中，$P'A'$ 对应 $PA$，$P'B'$ 对应 $PB$。 $angle A'P'B' = 90^circ$。 故此，原立体中互相垂直的两条棱，它们的投影依然互相垂直。 这个结论贼完美。 那要是原立体中 $PA$ 不垂直于 $PB$ 呢？ 比如 $PA$ 沿着 $x$ 轴，$PB$ 沿着 $yOz$ 平面斜着，与 $x$ 轴成 $alpha$ 角。 $PA = (a, 0, 0)$。 $PB = (b cosalpha, 0, b sinalpha)$？不对，$PB$ 在 $yOz$ 面上，故此 $x$ 坐标是 0。 $PB = (0, b cosalpha, b sinalpha)$。 $PC = (c, 0, 0)$。 求 $PC$ 在 $xOy$ 面上的投影。 $P(0,0,0) to P'(0,0,0)$。 $C(c, 0, 0) to C'(c, 0, 0)$。 $PA(a, 0, 0) to A'(a, 0, 0)$。 $B(0, b cosalpha, b sinalpha) to B'(0, b cosalpha, 0)$。 投影三角形 $A'(a,0,0), B'(0, b cosalpha, 0), P'(0,0,0)$。 边长 $AP' = a, BP' = b cosalpha, AB' = sqrt{a^2 + b^2 cos^2alpha}$。 原立体中，$PA perp PB$ 吗？ $vec{PA} = (a,0,0)$。$vec{PB} = (0, b cosalpha, b sinalpha)$。 点积 $0$。垂直！ 那为啥投影里 $AB'$ 不是垂直的？ 出于 $PA perp PB$，故此 $PA$ 的投影应当垂直于 $PB$ 的投影。 $PA$ 的投影是 $A'(a,0,0)$。 $PB$ 的投影是 $B'(0, b cosalpha, 0)$。 向量 $vec{A'B'} = (-a, b cosalpha, 0)$。 $vec{PA'} = (a, 0, 0)$。 $vec{PB'} = (0, b cosalpha, 0)$。 $vec{A'B'} cdot vec{PB'} = -a cdot 0 + b cosalpha cdot b cosalpha = b^2 cos^2alpha neq 0$。 哪儿错了？ 错在“$PA perp PB implies PA'$ 投影垂直 $PB'$"这个前提本身就有难题。 射影定理说：若 $l_1 perp l_2$，则 $l_1$ 在平面 $alpha$ 的投影 $l_1'$ 垂直于 $l_2$ 在平面 $alpha$ 的投影 $l_2'$。 这个定理适用于啥情况？ 适用于 $l_1, l_2$ 都垂直于平面 $beta$ 吗？ 不，适用于 $l_1$ 和 $l_2$ 分别垂直于两个互相垂直的平面吗？ 要么是 $l_1 perp l_2$ 且 $l_1, l_2$ 的公垂线在平面 $alpha$ 内？ 让我们回顾教科书定义。 要是 $PA perp PB$，且 $PA perp$ 平面 $beta$，$PB perp$ 平面 $gamma$，且 $alpha perp beta$。 要是我们把 $PA$ 投影到 $alpha$，把 $PB$ 投影到 $alpha$。 $PA perp PB$ 意味着啥？意味着 $vec{PA} cdot vec{PB} = 0$。 投影向量 $vec{PA'} = P A - (P A)_beta$。 要是 $PA perp PB$，且 $PA, PB$ 不平行于 $alpha$。 实际上射影定理有一个贼严格的条件：射影定理一般指“正方体对角线”相关的定理，要么特指“垂直于平面”的情况。 在一般的立体几何中，对于任意两条相交直线，它们的投影不一定垂直。 只有当这两条直线垂直于第三平面，要么说，这个垂直关系在投影中保留时，才知足好办关系。 回到刚刚的例子。$PA perp PB$ 是成立的。$PA(a,0,0), PB(0,b,c)$。 $PA$ 投影到 $xOy$ 是 $(a,0,0)$。 $PB$ 投影到 $xOy$ 是 $(0, bcosalpha, 0)$。 点积 $0$。
为啥我之前算错了？ $vec{PB} = (0, b cosalpha, b sinalpha)$。 投影是去掉 $z$ 坐标？ 要是投影面是 $xOy$ ($z=0$)，那么向量 $(x,y,z)$ 投影是 $(x,y)$。 故此 $PB$ 投影向量是 $(0, b cosalpha)$。 $vec{PA} = (a,0,0)$。投影 $(a,0)$。 $vec{PA'} = (a,0,0)$。 $vec{PB'} = (0, b cosalpha, 0)$。 点积 $0$。 故此 $PA' perp PB'$。 那为啥刚刚认定 $AB'$ 不对？ $A'(a,0), B'(0, b cosalpha), P'(0,0)$。 $vec{A'B'} = (-a, b cosalpha, 0)$。 $vec{PB'} = (0, b cosalpha, 0)$。 $vec{A'B'} cdot vec{PB'} = -a cdot 0 + b cosalpha cdot b cosalpha neq 0$。 这说明 $A'P' perp B'P'$ 是成立的，但 $A'B'$ 不垂直 $B'P'$。 那射影定理到底说的是哪位垂直哪位？ 可能是说：$PA perp PB implies PA' perp PB'$。 在这个例子中，$PA=(a,0,0), PB=(0,b cosalpha, b sinalpha)$。 点积 $0$。垂直成立。 投影 $PA'=(a,0,0)$。$PB'=(0, b cosalpha, 0)$。 点积 $0$。垂直成立。 那 $AB$ 呢？$AB = sqrt{a^2+b^2 cos^2alpha - 2ab cosalpha sinalpha}$。 这是两线段投影后的夹角。 射影定理的一个关键推论是：要是一条线垂直于平面，那么它的射影垂直于平面内的直线。 $PA perp PB$ 且 $PA perp PB_{proj}$。 这个定理在一般情况（$PA, PB$ 都不垂直于投影面）下不一定成立。 只有当 $PA perp$ 平面 $beta$，且 $PB perp beta$ 时，它们的投影才垂直。 要是 $PA$ 不垂直于 $beta$，那 $PA'$ 和 $PB'$ 的垂直关系就不一定了。 刚刚的例子中，$PA perp PB$ 但不垂直于 $xOy$ 面（出于 $PB$ 有 $y,z$ 分量）。 故此结论是：只有当 $PA, PB$ 都垂直于投影面，要么知足特定的角度关系（如都垂直于另一个平面），射影定理的结论才成立。 在一般的考研考题要么竞赛题中，要是题目没有说“垂直于平面”，一般默认射影定理用于推导“三棱锥体积”要么“求角、求边”。 比如在求三棱锥体积时，要是已知一个面的面积 $S'$ 和对应的高 $h'$，直接用 $V = frac{1}{3} S' h'$ 是最快最稳的。 要么，要是已知 $S'$ 和 $h'$，而原棱长不在投影里，就通过余弦定理在投影里算。 比如在底面 $ABC$ 上，$angle APB = theta$。投影 $angle A'P'B' = theta$（当三棱锥是“正接”的，即顶点投影在底面中心，要么是对称的）。 要是是这种情况，$cos theta = frac{PA^2 + PB^2 - AB^2}{2 PA cdot PB}$。 投影中 $cos theta' = frac{PA'^2 + PB'^2 - A'B'^2}{2 PA' cdot PB'}$。 此时 $frac{a'^2 + b'^2 - c'^2}{2a'b'} = frac{a^2 + b^2 - c^2}{2ab}$。 这实际上就是射影定理在边长上的表述。 要是 $theta neq theta'$，那就得用 $cos theta$ 和 $cos theta'$ 的关系。 总结来说，射影定理并不是一个好办的“边长相等”公式。 它是一组关系的集合：
1. 面积比：若两锥体底面平行且公垂线垂直底面，则 $S'/S = h'/h$。
2. 垂直传递：若 $PA perp PB$ 且 $PA perp PC$，则 $PA' perp PB'$ 且 $PA' perp PC'$。
3. 余弦定理等式：$frac{a'^2 + b'^2 - c'^2}{2a'b'} = frac{a^2 + b^2 - c^2}{2ab}$ （仅当夹角相等）。 在解题时，我们往往不需求把所有定理都背下来。 遇到求体积，先找投影面积 $S'$，再用 $V = frac{1}{3} S' h'$。 遇到求角，直接算投影里的角，要是投影角不等于原角，则保留投影角，但注意它的余弦值关系。 遇到求棱长，要是已知 $S'$ 和 $h'$，且 $h'$ 是小锥体的高，而 $S'$ 是底面积，那 $h'$ 就是原锥体的高。 出于 $S' = frac{1}{3} S h'$? 不对，$S'$ 是投影面积，$S$ 是底面积，$h'$ 是小锥体的高，$H$ 是大锥体的高。 $S'/S = h'/h$。 故此 $S' = S cdot frac{h'}{h}$。 体积 $V' = frac{1}{3} S' h' = frac{1}{3} S frac{h'}{h} h' = frac{1}{3} S h^2 / h$? 不对。 $V' = V cdot frac{h'}{h}$。 故此，要是知道 $h', H, S$，能够直接拿到 $V' = V frac{h'}{h}$。 这实际上就是利用射影定理简化计算。 至于“降 AI 痕迹”，就是在叙述时，少用“”、“显而易见”、“定理指出”。 多用“这就意味着”、“咱们得看看”、“要是咱们换个角度想”。 把“起初、其次”改成“咱们别整那些虚的，直接看这个”。 把“证明如下”改成“实际上就是……" 段落之间不要空一行，用“比如”、“再比如”、“这就对了”来连接。 数据要具体，比如正方体边长 1，体对角线 $sqrt{3}$，底面对角线 $sqrt{2}$。 口语化一些，比如“实际上不难想”、“这就把难题搞定了”、“这就像……"。 准一点啰嗦，出于几何思维是慢热的，别绕得忒快，绕慢点反而逻辑更清楚。 最终再检查一遍公式。 射影定理的核心：$S' = S frac{h'}{h}$。 体积比：$V' = V frac{h'}{h}$。 啊，不对。 $S'$ 是投影面积。$S$ 是底面积。$h'$ 是小锥体高。$H$ 是大锥体高。 投影面积 $S'$ 和底面积 $S$ 的关系是 $S' = S frac{1}{cos theta}$? 不对，这是角度难题。 要是是垂直投影，$h' = 0$（点），$S' = 0$（面积）。 要是是个锥体投影，$S'$ 是底面投影面积，$S$ 是原底面面积。 $S' = S cdot cos theta$。 $h'$ 是投影高，$H$ 是原高。 $H = h / cos theta$。 故此 $S' = S$。 $V' = frac{1}{3} S' H' = frac{1}{3} S (h / cos theta)$。 而原体积 $V = frac{1}{3} S H = frac{1}{3} S (h / cos theta)$。 故此 $V' = V$？ 不对，投影面积不是底面积投影，是顶点到底面的距离。 要是是求顶点 $P$ 在底面 $ABC$ 上的投影 $P'$。 $V = frac{1}{3} S_{ABC} cdot H$。 $V' = frac{1}{3} S_{ABC'} cdot h'$。 $S_{ABC'}$ 是 $A,B,C$ 的投影面积。 $S_{ABC'} = S_{ABC} cdot cos alpha$，$alpha$ 是法向量夹角。 $h' = H cdot cos alpha$。 $V' = frac{1}{3} S_{ABC} cos alpha cdot H cos alpha = V cos^2 alpha$。 这才是体积缩放关系。 那射影定理里的 $S'$ 到底指啥？ 指三棱锥的投影，即顶点投影到底面形成的三角形面积。 要是是求一个三棱锥的体积，已知一个面的面积 $S'$ 和对应的高 $h'$（这是投影高），那 $V' = frac{1}{3} S' h'$。 而原体积 $V = frac{1}{3} S h$。 此时 $S'$ 是 $S$ 在平面上的投影。 $h'$ 是 $h$ 在平面上的投影。 故此 $S' = S cdot frac{h'}{h}$。 $V' = frac{1}{3} S frac{h'}{h} h = frac{1}{3} S h = V$。 这仿佛不对。 啊，射影定理一般用于：已知 $S'$ 和 $h'$，求 $S$ 和 $h$。 要么：已知 $S'$ 和 $H$（投影高），求 $S$ 和 $H$。 要是 $S'$ 是顶点的投影面积，$h'$ 是顶点到地面的距离。 $V' = frac{1}{3} S' h'$。 而 $V = frac{1}{3} S H$。 此时 $S'$ 和 $S$ 的关系是 $S' = S cdot frac{1}{cos theta}$。 $h' = H cdot cos theta$。 故此 $V' = frac{1}{3} (S / cos theta) (H cos theta) = V$。 这说明不同坐标系下的体积是一样的？ 不对，$V'$ 是投影三棱锥的体积。$P'$ 是顶点在底面的投影。 $V'$ 是 $P'$ 为顶点，$ABC$ 为底面的锥体体积。 $V = P-ABC$ 的体积。 $V'$ 的顶点是 $P'$（在底面 $ABC$ 上），底面还是 $ABC$。 故此 $V'$ 就是 $0$？ 不对，$P'$ 在 $ABC$ 上，故此 $P-ABC$ 退化为平面图形，体积为 0。 故此这里的 $S'$ 不是顶点投影面积。 射影定理中的 $S'$ 是指三棱锥的侧面投影要么整体投影。 要是是整体投影，$S'_0$ 是投影面积。 $S'_0 = S cos theta$。 $h'_0 = H cos theta$。 $V'_0 = frac{1}{3} S'_0 H'_{proj} = frac{1}{3} S cos theta cdot (H cos theta) = V cos^2 theta$。 这就是体积缩小的比例。 而射影定理的一个经典形式是：三棱锥的侧面积 $S_{side}' = S_{side} frac{h'}{h}$？ 不，射影定理最经典的表述是：要是三棱锥 $P-ABC$ 投影到 $ABC'$ 面，那么投影面积 $S' = S cos theta$。 这实际上就是定义。 那 $V = frac{1}{3} S H$。 $V' = frac{1}{3} S' h' = frac{1}{3} S cos theta cdot H cos theta = V cos^2 theta$。 故此射影定理实际上隐含了体积缩小的 $cos^2$ 关系。 在证明射影定理时，我们主要关切的是几何关系，即面积和高的比例。 好，思路理清了。 启动写作，确保自然流畅，数据具体，回绝教科书腔。