[论文解读] A note on the second cuboid conjecture. Part I

Руслан Шарипов|arXiv (Cornell University)|Jan 5, 2012

Coding theory and cryptography参考文献 16被引用 18

一句话总结

本文通過證明對於互素整數 $ p \ne q $，多項式 $ Q_{pq}(t) $ 在 $ \mathbb{Z}[t] $ 中不可約，從而驗證了第二個長方體猜想。結果顯示，相關的丟番圖方程 $ Q_{pq}(t) = 0 $ 無整數解。其主要貢獻在於提出一個結構定理，表明僅當六個輔助參數滿足特定的丟番圖條件時，整數解才可能存在；而這些條件在 $ p $ 為質數且 $ q = 1 $ 時，或反之，均被證明不可能成立。

ABSTRACT

The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The second cuboid conjecture is one of the three propositions suggested as intermediate stages in proving the non-existence of perfect Euler cuboids. It is associated with a certain polynomial Diophantine equation of the order 10. In this paper a structural theorem for the solutions of this Diophantine equation is proved and some examples of its application are considered.

研究动机与目标

• 透過證明對於互素 $ p \ne q $，多項式 $ Q_{pq}(t) $ 在 $ \mathbb{Z}[t] $ 中不可約，從而證明第二個長方體猜想。
• 確立在猜想條件下，丟番圖方程 $ Q_{pq}(t) = 0 $ 無整數解。
• 推導一個結構定理，將丟番圖方程的解與滿足特定代數約束的整數參數系統聯繫起來。
• 在特殊情況下驗證猜想，特別是當 $ p $ 為質數且 $ q = 1 $，或反之。

提出的方法

• 推導 $ Q_{pq}(t) $ 的反演與奇偶性對稱性，證明 $ Q_{pq}(-t) = Q_{pq}(t) $ 且 $ Q_{pq}(t) = -\frac{Q_{qp}(p^2q^2/t) t^{10}}{p^{10}q^{10}} $。
• 假設存在整數根 $ A_0 $，利用對稱性推導出 $ Q_{qp}(t) $ 必有根 $ B_0 = p^2q^2/A_0 $，進而導出因式分解 $ Q_{pq}(t) = (t^2 - A_0^2)C_8(t) $。
• 利用對稱性與根的關係，建立 $ C_8(t) $ 與補充多項式 $ D_8(t) $ 之間的係數關係系統。
• 引入六個輔助參數 $ a_p, b_p, c_p, a_q, b_q, c_q $ 以重新參數化 $ p $ 和 $ q $，從而導出一個新的丟番圖方程 (4.17)，該方程必須成立才能使解存在。
• 利用結構定理，將整數解的存在性問題簡化為在互素約束下求解一組丟番圖方程。
• 將結構定理應用於特定情況：$ q = 1 $，$ p $ 為質數，以及 $ p = 1 $，$ q $ 為質數，透過證明所得方程僅有無效根，從而證明無解。

实验结果

研究问题

• RQ1 在 $ p \ne q $ 且互素的條件下，丟番圖方程 $ Q_{pq}(t) = 0 $ 何時存在整數解？
• RQ2 能否透過證明 $ Q_{pq}(t) $ 在 $ \mathbb{Z}[t] $ 中不可約，從而證明第二個長方體猜想？
• RQ3 考慮其對稱性，$ Q_{pq}(t) $ 存在整數根時，必須滿足哪些結構約束？
• RQ4 當 $ p $ 為質數且 $ q = 1 $ 時，是否存在整數解？
• RQ5 結構定理能否用於排除特定參數範圍內的解？

主要发现

• 當 $ q = 1 $ 且 $ p $ 為正質數時，丟番圖方程 $ Q_{pq}(t) = 0 $ 無整數解，這是透過證明所得方程僅有無效根而得出的結論。
• 類似地，當 $ p = 1 $ 且 $ q $ 為正質數時，亦無整數解，這是因為導出方程中存在相同的結構矛盾。
• 結構定理（定理 4.1）表明，整數解存在的充要條件是存在六個正整數 $ a_p, b_p, c_p, a_q, b_q, c_q $，使其滿足方程 (4.17) 及互素條件 (4.15)，且 $ p = a_p b_p c_p $，$ q = a_q b_q c_q $。
• 當 $ q = 1 $ 時，唯一的參數選擇為 $ a_q = b_q = c_q = 1 $，這導致在 $ p $-參數化的所有三種情況下均產生矛盾。
• 導出的方程 (5.5)、(5.8) 和 (5.10) 全部可因式分解為包含 $ (p-1) $ 和 $ (p+1) $ 的形式，顯示其唯一整數根為 $ p = \pm 1 $，但由於 $ p \ne q $，這些根無效。
• 本文利用結構定理與導出的丟番圖方程的直接因式分解，證明了定理 1.1 — 即 $ Q_{pq}(t) $ 無整數根 — 對於 $ q = 1 $、$ p $ 為質數與 $ p = 1 $、$ q $ 為質數的情況成立。