东城居士,读万卷书,行万里路。 阅读原文 这是一个十分有趣而又非常深刻的数学问题! 我们把棱、面对角线和体对角线都是整数的长方体称为 完全有理长方体.。所以问题变成了:是否存在完全有理长方体?此问题其实等价于下述丢番图方程组 是否有非零整数解。 完全有理长方体是否存在这一问题是一个古老的数学问题,在 Euler 的时代就已知晓,但至今尚未解决,所以这目前这仍然是一个公开问题.。1984 年,Korec 证明了:不存在最短棱小于等于 的完全有理长方体.。2004 年,Butler 将 Korec 的结果改进为:不存在最短棱小于等于 的完全有理长方体。 若长方体的棱、面对角线和体对角线中有一个为无理数,则称这样的长方体为 半完全有理长方体. 那是否存在半完全有理长方体?此时答案是肯定的。我们分下述两种情形: 1、面对角线为无理数 此时问题等价于下述丢番图方程组 是否有非零整数解. 不难验证 为上述方程的一组解。 2、体对角线为无理数 此时问题等价于下述丢番图方程组 是否有非零整数解. 不难验证: 为上述方程组的一组解。 事实上,上述方程组有无穷多组解。 比如,1772 年,数学大师 Euler 得到了上述方程组的一族解: 其中 为整数. 比如取 ,可得: 显然此解与: 得到的是同一个长方体。 2001 年,Narumiya 和 Shiga 又得到了上述方程组的另一族解 其中 为整数。 若取 ,则可得: 事实上,半完全有理长方体问题的求解与 椭圆曲线,Kummer 曲面 和 K3 曲面 等非常现代的数学理论有关! 阅读原文