到第三条边为止,同样的三步模式——对较大值收缩上界,再手工检验剩下的少数小候选——已对每条边各应用一次,系统地穷尽了所有情形而没有遗漏。
现在 c/z=5/2÷(5/3)=3/2c/z=5/2\div(5/3)=3/2c/z=5/2÷(5/3)=3/2。若 c≥8c\ge8c≥8,则 z≥6z\ge6z≥6,且 c/z<23(1+1/6)<3/2c/z<\sqrt[3]2(1+1/6)<3/2c/z<32(1+1/6)<3/2(因为 2⋅73<33⋅632\cdot7^3<3^3\cdot6^32⋅73<33⋅63),矛盾。检验 c=1,…,7c=1,\ldots,7c=1,…,7 后,满足 c/z=3/2c/z=3/2c/z=3/2 的只有 c=3c=3c=3(此时 z=2z=2z=2)和 c=6c=6c=6(此时 z=4z=4z=4)。结合第 4—5 步得到的 a=2,b=5a=2,b=5a=2,b=5,唯一可能的盒子(不计边的排列)为 {a,b,c}={2,3,5}\{a,b,c\}=\{2,3,5\}{a,b,c}={2,3,5} 和 {2,5,6}\{2,5,6\}{2,5,6}。