主題
Search

Steffi 問題


2003 年 1 月,Steffi 的數學課上提出了一個家庭作業問題,要求學生證明,透過排列數字 1, 2, ..., 7 的所有數字而獲得的任意兩個不相等數字的比率都不會得到整數。如果存在這樣的比率 r,那麼 1234567 的某種排列必須能被 r 整除。r 可以立即被限制在 2<=r<=6,因為前七個數字的兩個排列的比率必須小於 7654321/1234567=6.2...,並且宣告排列是不相等的,所以 r!=1。r=3 的情況可以透過 整除性檢驗 來排除,該檢驗表明一個數字能被 3 整除當且僅當其各位數字之和能被 3 整除。由於數字 1 到 7 的總和是 28,不能被 3 整除,因此這些數字的任何排列都不能被 3 整除。這也排除了 r=6 的可能性,因為一個數字必須能被 3 整除才能被 6 整除。

這僅剩下 r=2、4 和 5 的情況需要考慮。r=5 的情況可以排除,因為為了能被 5 整除,分子和分母的最後一位數字必須分別為 5 和 1

 (......5)/(......1).
(1)

那麼,可以獲得的最大可能比率將使用分子中最大的可能數字和分母中最小的可能數字,即

 (7643215)/(2345671)
(2)

但是 764321/2345671=3.25843<5,所以不可能構造一個能被 5 整除的分數。因此,現在只需要考慮 r=2 和 4。

一般來說,考慮所有數字 12...k_b 在基數 b (k<b) 的不相等排列對的數量,其比率為整數。那麼存在一個唯一的 (b=4,k=3)

 (312_4)/(123_4)=2,
(3)

一個唯一的 (5,4)

 (4312_5)/(1234_5)=3,
(4)

三個 (6,4)

(3124_6)/(1342_6)=2
(5)
(4213_6)/(1243_6)=3
(6)
(4312_6)/(2134_6)=2,
(7)

等等。

下表總結了前幾個基數和數字位數 k 的解的數量 (OEIS A080202)。

b數字 12_b, 123_b, ..., 12...(b-1)_b 的解
30
40, 1
50, 0, 1
60, 0, 3, 25
70, 0, 0, 2, 7
80, 0, 0, 0, 68, 623
90, 0, 0, 0, 0, 124, 1183
100, 0, 0, 0, 0, 0, 2338, 24603
110, 0, 0, 0, 0, 0, 3, 598, 5895
120, 0, 0, 0, 0, 0, 0, 0, 161947, 2017603

從表中可以看出,在基數 10 中,唯一的解是對於數字 12345678 和 123456789。在 12345678_(10) 的解中,有兩個解對於相同的分子產生三個不同的整數

(85427136)/(42713568)=2,(85427136)/(21356784)=4,(85427136)/(14237856)=6
(8)
(86314572)/(43157286)=2,(86314572)/(21578643)=4,(86314572)/(14385762)=6.
(9)

從列表中取對角線項 (b,b-1),對於 b=3, 4, ...,得到序列 0, 1, 1, 25, 7, 623, 1183, 24603, ... (OEIS A080203)。


另請參閱

整除性檢驗, 全數字分數

使用 探索

參考文獻

Sloane, N. J. A. 序列 A080202A080203,收錄於《整數序列線上百科全書》。

在 中被引用

Steffi 問題

請引用為

Weisstein, Eric W. "Steffi 問題。" 出自 Web 資源。 https://mathworld.tw/SteffiProblem.html

主題分類