将三个比值排序后,只需将最大者与 555 的立方根比较。手工检验较小的整数 a=2,3,4a=2,3,4a=2,3,4(更大的值已由收缩上界的论证排除),就能迅速确定其精确值。
不妨设 a/x≥b/y≥c/za/x\ge b/y\ge c/za/x≥b/y≥c/z,于是 a/x≥53a/x\ge\sqrt[3]5a/x≥35。若 a≥4a\ge4a≥4,则 x≥3x\ge3x≥3,且 a/x<23(1+1/3)=23⋅43<53a/x<\sqrt[3]2(1+1/3)=\sqrt[3]2\cdot\frac43<\sqrt[3]5a/x<32(1+1/3)=32⋅34<35(因为 2⋅43<5⋅332\cdot4^3<5\cdot3^32⋅43<5⋅33),矛盾;故 a∈{2,3}a\in\{2,3\}a∈{2,3}。当 a=3a=3a=3 时,x=2x=2x=2 且 a/x=3/2<53a/x=3/2<\sqrt[3]5a/x=3/2<35,同样矛盾。因此 a=2a=2a=2,x=1x=1x=1,且 a/x=2a/x=2a/x=2。