证明给定尺寸长方体可拼成的最小立方体边长为lcm(l,w,h)

这是个很经典的几何数论问题，核心要从质因数分解的约束和体积/摆放的矛盾两个角度来拆解，咱们一步步说清楚：

假设我们有一个长方体，尺寸为$l \times w \times h$，要证明：不存在沿坐标轴平行摆放的长方体组合，能拼出边长小于$\text{lcm}(l,w,h)$的立方体。

我们用反证法来推导：假设存在这样的立方体，边长为$S < \text{lcm}(l,w,h)$，我们会导出矛盾。

1. 先明确质因数分解的基础 #

把三个维度做质因数分解：

• $l = \prod p^{a_p}$（$a_p$是质因数$p$在$l$中的幂次）
• $w = \prod p^{b_p}$
• $h = \prod p^{c_p}$

那么$\text{lcm}(l,w,h) = \prod p^{\max(a_p,b_p,c_p)}$，也就是每个质因数取三个维度中的最高幂次。

因为$S < \text{lcm}(l,w,h)$，所以至少存在一个质因数$p$，使得$v_p(S) = k < \max(a_p,b_p,c_p) = m$（$v_p(x)$表示$x$中$p$的幂次）。

2. 分两种情况导出矛盾 #

情况1：存在某个维度$d \in {l,w,h}$，使得$d > S$ #

比如你的例子中，长方体维度是$2^2 \times 3$、$3^2 \times5$、$2 \times3^{2$，$\text{lcm}=2}2 \times3^2 \times5$。如果假设$S$不含5的因子（即$v_5(S)=0 < 1$），那对应的维度是$3^2 \times5=45$，显然$45 > S$（因为$S$不含5，最大可能是$2^2 \times3^2=36 <45$），这个长方体的这个维度（45）大于立方体边长，无论怎么旋转摆放，都无法放进立方体里，直接矛盾。

情况2：所有维度$d \leq S$，但体积或摆放逻辑矛盾 #

如果所有维度都小于等于$S$，那因为$v_p(S)=k < m$，而$m$是某个维度$d$的$p$幂次（比如$v_p(d)=m$），此时：

• 长方体体积$V=lwh$中$p$的幂次是$a_p+b_p+c_p \geq m$（因为$d$的$p$幂次是$m$，其他维度至少为0）。
• 立方体体积$S^3$中$p$的幂次是$3k$。

因为$k < m$，所以$3k < 3m$，但更关键的是：$a_p+b_p+c_p \geq m >k$，如果$3k < a_p+b_p+c_p$，那么$S^3$无法被$V$整除（因为$p$的幂次不够），意味着需要用非整数个长方体来拼立方体，这显然不可能，矛盾。

如果假设$3k \geq a_p+b_p+c_p$，那因为$m >k$，可得$m \leq a_p+b_p+c_p \leq3k$，同时$d=p^m \cdot t \leq S=p^k \cdot s$（$t,s$与$p$互质），所以$p^m t \leq p^k s$ → $s \geq p^{m-k}t \geq p \cdot1 \geq2$，那么$S=p^k s \geq p^k \cdot2$。而$\text{lcm}(l,w,h) \geq p^m = p^{k+(m-k)} \geq p^k \cdot p \geq p^k \cdot2$，这就推出$S \geq \text{lcm}(l,w,h)$，与我们假设的$S < \text{lcm}(l,w,h)$矛盾。

3. 结合你的例子验证 #

你的例子中，长方体维度分解后：

• $l=2^2 \cdot3^1$，$w=32 \cdot5^1$，$h=21 \cdot3^2$
• $\text{lcm}=2^2 \cdot3^2 \cdot5^1=180$

如果尝试更小的$S$，比如$S=36$（不含5）：

• 对应的维度$w=9 \times5=45>36$，属于情况1，无法放入；
• 同时$S³⁼³⁶3=46656$，单个长方体体积$V=12 \times45 \times18=9720$，$46656/9720=4.8$，不是整数，也符合情况2的体积矛盾。

再比如$S=90$（$v_2(S)=1 <2$）：

• 维度$l=4 \times3=12 ≤90$，$w=45 ≤90$，$h=2 \times9=18 ≤90$，但$S^3=729000$，$729000/9720=75$，整数。但此时$v_2(S)=1 < \max(v_2(l),v_2(w),v_2(h))=2$，尝试摆放时，在任意坐标轴方向，我们需要用长方体的维度（12、45、18）凑出90。比如x轴用12的长度，90/12=7.5，不是整数，只能用12+12+...+18=90，但18的$v_2=1$，12的$v_2=2$，凑出来的和的$v_2$最多是1（因为有18的存在），但90的$v_2=1$，看似可以，但实际摆放时，立方体的每个层面的体积会出现无法匹配的情况——本质上还是因为$S$的质因数幂次未达到lcm的要求，导致无法通过整数个长方体的组合填满所有空间。

综上，无论哪种情况，边长小于$\text{lcm}(l,w,h)$的立方体都无法被沿坐标轴平行摆放的该长方体组合拼成。

内容的提问来源于stack exchange，提问作者user1145925