Taban Üs Değişkenleri
Her üs ve üs değiştirilirse değeri değişmezse , güçlerin toplamına temel üslü değişmez denir . En basit örnek$2^4$, tabii ki eşittir $4^2$. Başka bir taban üssü değişmezi
$$2^{5} + 2^{7} + 2^{9} + 5^{3} + 5^{4}=5^{2} + 7^{2} + 9^{2} + 3^{5} + 4^{5}$$
İle birçok başka örnek var $5$zirveler biliniyor. (https://erich-friedman.github.io/mathmagic/0608.html.)
Tüm tabanların ve üslerin en azından tamsayı olduğu taban üslü değişmezlerle ilgileniyoruz $2$ve üsler ve üsler değiştirildikten sonra bile hiçbir gücün birden fazla görünmediği yerlerde. Toplam var mı$2$, $3$veya $4$ taban üssü değişmez olan üsler?
Bazlar ve üsler değiştirildiğinde hala geçerli olan ve belirli bir uzunlukta sonsuz sayıda örneğe yol açan bir değişkeni içeren genel bir güçler toplamı ifadesiyle ilgileniyorum. Dean Hickerson bu ifadeyi buldu$20$ çalışan yetkiler:
$$ 2^{2n} + 2^{2n+8}+ 2^{2n+16} + 2^{2n+32} + 2^{2n+34} + 4^{n+1} + 4^{n+2} + 4^{n+10} + 4^{n+14} + 4^{n+18} + n^{4} + (n+4)^{4} + (n+8)^{4} + (n+16)^{4} + (n+17)^{4} + (2n+2)^{2} + (2n+4)^{2} + (2n+20)^{2} + (2n+28)^{2} + (2n+36)^{2} $$
Şundan daha azını içeren böyle bir ifade var mı? $20$ güçler?
Yanıtlar
Bu kısmi bir cevap :
Kapsamlı hesaplamalara dayanan bir tanım ve varsayımlar öneriyorum.
Aşağıdaki tanımı önermek istiyorum:
$n\in\mathbb N$bir Taban Üslü Değişmez Toplam = Kuvvetle Değişmeyen Sayıdır (SPIN) , eğer benzersiz değişmez olmayan mükemmel güçlerin üssel değişmez toplamı ise:
$$ n=\sum_{i=1}^{k} a_{i}^{b_{i}}=\sum_{i=1}^{k} b_{i}^{a_{i}}, \quad a_{i}>1, b_{i}>1, \quad a_{i}^{b_{i}} \neq b_{i}^{a_{i}}, \quad\left(i \neq j \Longrightarrow\left\{a_{i}, b_{i}\right\} \neq\left\{a_{j}, b_{j}\right\}\right) $$
Örneğin, en küçük SPIN'e sahip $k=6$ toplamdaki terimler ve eşittir:
$$\begin{align} 432 &= 3^{2}+5^{2}+2^{6}+3^{4}+5^{3}+2^{7} \\&= 2^{3}+2^{5}+6^{2}+4^{3}+3^{5}+7^{2}. \end{align}$$
Bazı numaralar $n$birden fazla miktara karşılık gelir. Örneğin:
$$ \begin{align} 1554&=3^{2}+7^{2}+6^{3}+2^{8}+4^{5} \\ &=2^{3}+2^{7}+3^{6}+8^{2}+5^{4}, \\ 1554&=3^{2}+5^{2}+2^{6}+10^{2}+2^{7}+3^{5}+2^{8}+3^{6}\\ &=2^{3}+2^{5}+6^{2}+2^{10}+7^{2}+5^{3}+8^{2}+6^{3}. \end{align} $$
$1554$ bire eşittir $5$-term toplamı ve bir $8$-term toplamı.
Kadar $n\le 10^4$, var $887$ SPIN'ler (kopyaları sayarak), https://pastebin.com/5ArkFif4.
Ancak, burada örneklerle ilgileniyoruz $k$ - terim sayısı (zirveler) azdır.
$(k\le 5)$ SPIN'ler
Kadar $n\le 10^{20}$sadece var $14$ İle SPIN'ler $5$ veya daha az şart ve hepsinde $5$ terimler:
$$\begin{array}{} 1422 &= 5^{2} + 7^{2} + 9^{2} + 3^{5} + 4^{5} &= 2^{5} + 2^{7} + 2^{9} + 5^{3} + 5^{4} \\ 1464 &= 5^{2} + 6^{2} + 7^{2} + 5^{4} + 3^{6} &= 2^{5} + 2^{6} + 2^{7} + 4^{5} + 6^{3} \\ 1554 &= 2^{3} + 8^{2} + 2^{7} + 5^{4} + 3^{6} &= 3^{2} + 2^{8} + 7^{2} + 4^{5} + 6^{3} \\ 2612 &= 5^{2} + 6^{2} + 11^{2} + 3^{5} + 3^{7} &= 2^{5} + 2^{6} + 2^{11} + 5^{3} + 7^{3} \\ 3127 &= 2^{3} + 6^{3} + 7^{3} + 2^{9} + 2^{11} &= 3^{2} + 3^{6} + 3^{7} + 9^{2} + 11^{2} \\ 4481 &= 6^{2} + 10^{2} + 11^{2} + 2^{7} + 4^{6} &= 2^{6} + 2^{10} + 2^{11} + 7^{2} + 6^{4} \\ 5644 &= 9^{2} + 10^{2} + 7^{3} + 4^{5} + 4^{6} &= 2^{9} + 2^{10} + 3^{7} + 5^{4} + 6^{4} \\ 16122 &= 2^{3} + 4^{3} + 13^{2} + 2^{8} + 5^{6} &= 3^{2} + 3^{4} + 2^{13} + 8^{2} + 6^{5} \\ 68521 &= 8^{2} + 5^{4} + 10^{3} + 6^{4} + 4^{8} &= 2^{8} + 4^{5} + 3^{10} + 4^{6} + 8^{4} \\ 77129 &= 12^{2} + 16^{2} + 6^{4} + 4^{7} + 3^{10} &= 2^{12} + 2^{16} + 4^{6} + 7^{4} + 10^{3} \\ 82583 &= 5^{2} + 3^{4} + 16^{2} + 2^{12} + 5^{7} &= 2^{5} + 4^{3} + 2^{16} + 12^{2} + 7^{5} \\ 1065585 &= 9^{2} + 12^{2} + 20^{2} + 4^{7} + 4^{10} &= 2^{9} + 2^{12} + 2^{20} + 7^{4} + 10^{4} \\ 4227140 &= 13^{2} + 7^{4} + 11^{4} + 5^{6} + 2^{22} &= 2^{13} + 4^{7} + 4^{11} + 6^{5} + 22^{2} \\ 6164560 &= 18^{2} + 7^{5} + 5^{9} + 2^{21} + 8^{7} &= 2^{18} + 5^{7} + 9^{5} + 21^{2} + 7^{8} \end{array}$$
en büyüğünün daha küçük olduğu yer $10^7 \ll 10^{20}$.
Varsayım : Şunlardan daha azına sahip SPIN yok$5$ şartlar.
Varsayım: Tam olarak var$14$ Tam olarak SPIN'ler $5$ şartlar.
Bunu kanıtlaması muhtemelen zor.
Örneğin, benzer bir sorun $k=2$ ile bağlandı https://math.stackexchange.com/q/3795656/318073#comment7868924_3795656; hala açık olan:https://math.stackexchange.com/q/3286093/318073. Yani,$k=2$ bağlantılı probleme eşdeğerdir, ancak $a^b-b^a$ yerine:
$$ a^b+c^d=b^a+d^c \iff a^b-b^a = d^c - c^d. $$
$(k\ge 6)$ SPIN'ler
Varsayım: Herhangi bir sabit$k\ge 6$sonsuz sayıda vardır $k$-term SPIN'ler.
Yani bilinen $20$-term ailesi:
$$ n(t) = 2^{2t} + 2^{2t+8}+ 2^{2t+16} + 2^{2t+32} + 2^{2t+34} + 4^{t+1} + 4^{t+2} + 4^{t+10} + 4^{t+14} + 4^{t+18} + t^{4} + (t+4)^{4} + (t+8)^{4} + (t+16)^{4} + (t+17)^{4} + (2t+2)^{2} + (2t+4)^{2} + (2t+20)^{2} + (2t+28)^{2} + (2t+36)^{2} $$
verir $20$-her dönem SPIN $t\gt 4$, ama iddia ediyorum ki $6$-term aile $n(t_1,t_2,\dots)$ var.
Ancak bunu göstermek de muhtemelen zor.
Böyle bir aile bulma girişimlerimde "özel bir tür" buldum $k=6$ örnekler.
$(k = 6)$ özel türden SPIN'ler
Kadar $n\le 10^{10}$, var $101$ İle SPIN'ler $6$ şartlar; https://htmlpreview.github.io/?https://github.com/virv/SPIN/blob/master/SPINs.html.
Aslında çok büyük örnekler bulmak mümkün. $k=6$. Örneğin,
$$ n^* = 2^5 + 11^2 + 2^{28} + 52^2 + 8192^4 + 2^{16384} = 5^2 + 2^{11} + 28^2 + 2^{52} + 4^{8192} + 16384^2 $$
vardır $4933$ ondalık basamak (daha büyük $n^*\gt 10^{4932}$).
Bunu "özel bir tür" arayarak bulmak mümkündü. $6$-term DÖNÜŞLER:
$$ n^{*}=\sum_{i=1}^4a_i^{b_i} + x^4 + 2^{2x} =\sum_{i=1}^4b_i^{a_i} + 4^x + (2x)^2 $$
çok sayıda çünkü $|(4^x-x^4) - ((2x)^2-2^{2x})|$ise "oldukça küçük" . Yani,
bir şeyi ararken $k=2$ örneğin, "hatayı" en aza indirmeye çalışıyordum:
$$|(a_1^{b_1}-b_1^{a_1})-(a_2^{b_2}-b_2^{a_2})|$$
sabit bir ilk dönem için $i=1$ ve en yakın küçük ikinci terimi bulma $i=2$.
İlk önce "hataların" logaritmik grafiğinde $1000$ şartlar $(a_i^{b_i}-b_i^{a_i})$ bulduk:
o $\{a_1,b_1\}=\{4,x\}$ ve $\{a_2,b_2\}=\{2x,2\}$ en küçük "hatalara" sahip. Yani, x eksenine en yakın yayı ("hatalar") gözlemleyin, yeşile boyayın.
Bu hatalar bazen azaltılabilir $0$ toplayarak $4$ veren ek terimler $6$-bu "özel tür" için dönem örneği $n^{*}$.
Kadar $n^{*}\le 10^{20}$, var $41$ bu "özel türden" $6$-term DÖNÜŞLER:
$$\begin{align} 3^{2} + 5^{2} + 2^{7} + 5^{3} + 3^{4} + 2^{6} &=& 2^{3} + 2^{5} + 7^{2} + 3^{5} + 4^{3} + 6^{2} \\ 2^{5} + 3^{4} + 5^{3} + 9^{2} + 5^{4} + 2^{10} &=& 5^{2} + 4^{3} + 3^{5} + 2^{9} + 4^{5} + 10^{2} \\ 2^{3} + 3^{4} + 6^{2} + 6^{3} + 5^{4} + 2^{10} &=& 3^{2} + 4^{3} + 2^{6} + 3^{6} + 4^{5} + 10^{2} \\ 2^{3} + 7^{3} + 8^{3} + 5^{6} + 3^{4} + 2^{6} &=& 3^{2} + 3^{7} + 3^{8} + 6^{5} + 4^{3} + 6^{2} \\ 5^{2} + 7^{2} + 8^{2} + 11^{2} + 7^{4} + 2^{14} &=& 2^{5} + 2^{7} + 2^{8} + 2^{11} + 4^{7} + 14^{2} \\ 7^{2} + 4^{6} + 2^{14} + 9^{3} + 3^{4} + 2^{6} &=& 2^{7} + 6^{4} + 14^{2} + 3^{9} + 4^{3} + 6^{2} \\ 6^{2} + 2^{8} + 2^{9} + 6^{4} + 7^{4} + 2^{14} &=& 2^{6} + 8^{2} + 9^{2} + 4^{6} + 4^{7} + 14^{2} \\ 3^{7} + 6^{5} + 13^{2} + 4^{7} + 3^{4} + 2^{6} &=& 7^{3} + 5^{6} + 2^{13} + 7^{4} + 4^{3} + 6^{2} \\ 2^{3} + 7^{2} + 2^{8} + 12^{2} + 8^{4} + 2^{16} &=& 3^{2} + 2^{7} + 8^{2} + 2^{12} + 4^{8} + 16^{2} \\ 3^{2} + 5^{2} + 3^{5} + 12^{2} + 8^{4} + 2^{16} &=& 2^{3} + 2^{5} + 5^{3} + 2^{12} + 4^{8} + 16^{2} \\ 8^{2} + 5^{4} + 4^{6} + 8^{3} + 8^{4} + 2^{16} &=& 2^{8} + 4^{5} + 6^{4} + 3^{8} + 4^{8} + 16^{2} \\ 2^{6} + 9^{2} + 5^{7} + 8^{4} + 5^{4} + 2^{10} &=& 6^{2} + 2^{9} + 7^{5} + 4^{8} + 4^{5} + 10^{2} \\ 5^{3} + 8^{3} + 7^{5} + 2^{16} + 7^{4} + 2^{14} &=& 3^{5} + 3^{8} + 5^{7} + 16^{2} + 4^{7} + 14^{2} \\ 3^{2} + 2^{11} + 2^{13} + 14^{2} + 9^{4} + 2^{18} &=& 2^{3} + 11^{2} + 13^{2} + 2^{14} + 4^{9} + 18^{2} \\ 9^{2} + 7^{3} + 5^{7} + 16^{2} + 9^{4} + 2^{18} &=& 2^{9} + 3^{7} + 7^{5} + 2^{16} + 4^{9} + 18^{2} \\ 6^{3} + 3^{7} + 2^{13} + 9^{3} + 10^{4} + 2^{20} &=& 3^{6} + 7^{3} + 13^{2} + 3^{9} + 4^{10} + 20^{2} \\ 2^{9} + 6^{4} + 3^{10} + 16^{2} + 10^{4} + 2^{20} &=& 9^{2} + 4^{6} + 10^{3} + 2^{16} + 4^{10} + 20^{2} \\ 3^{2} + 3^{4} + 8^{2} + 7^{4} + 11^{4} + 2^{22} &=& 2^{3} + 4^{3} + 2^{8} + 4^{7} + 4^{11} + 22^{2} \\ 7^{2} + 2^{10} + 2^{12} + 9^{3} + 11^{4} + 2^{22} &=& 2^{7} + 10^{2} + 12^{2} + 3^{9} + 4^{11} + 22^{2} \\ 11^{2} + 12^{2} + 13^{2} + 7^{4} + 13^{4} + 2^{26} &=& 2^{11} + 2^{12} + 2^{13} + 4^{7} + 4^{13} + 26^{2} \\ 5^{2} + 4^{7} + 2^{14} + 10^{3} + 13^{4} + 2^{26} &=& 2^{5} + 7^{4} + 14^{2} + 3^{10} + 4^{13} + 26^{2} \\ 5^{3} + 4^{7} + 9^{3} + 15^{2} + 14^{4} + 2^{28} &=& 3^{5} + 7^{4} + 3^{9} + 2^{15} + 4^{14} + 28^{2} \\ 7^{2} + 8^{3} + 2^{17} + 7^{6} + 14^{4} + 2^{28} &=& 2^{7} + 3^{8} + 17^{2} + 6^{7} + 4^{14} + 28^{2} \\ 2^{9} + 3^{7} + 3^{8} + 10^{3} + 15^{4} + 2^{30} &=& 9^{2} + 7^{3} + 8^{3} + 3^{10} + 4^{15} + 30^{2} \\ 5^{4} + 6^{4} + 7^{4} + 15^{2} + 15^{4} + 2^{30} &=& 4^{5} + 4^{6} + 4^{7} + 2^{15} + 4^{15} + 30^{2} \\ 3^{4} + 9^{2} + 8^{3} + 10^{3} + 16^{4} + 2^{32} &=& 4^{3} + 2^{9} + 3^{8} + 3^{10} + 4^{16} + 32^{2} \\ 13^{2} + 3^{9} + 6^{7} + 9^{4} + 17^{4} + 2^{34} &=& 2^{13} + 9^{3} + 7^{6} + 4^{9} + 4^{17} + 34^{2} \\ 2^{8} + 8^{3} + 15^{2} + 16^{2} + 18^{4} + 2^{36} &=& 8^{2} + 3^{8} + 2^{15} + 2^{16} + 4^{18} + 36^{2} \\ 2^{5} + 6^{2} + 2^{11} + 17^{2} + 19^{4} + 2^{38} &=& 5^{2} + 2^{6} + 11^{2} + 2^{17} + 4^{19} + 38^{2} \\ 4^{3} + 2^{7} + 3^{7} + 17^{2} + 19^{4} + 2^{38} &=& 3^{4} + 7^{2} + 7^{3} + 2^{17} + 4^{19} + 38^{2} \\ 5^{6} + 5^{7} + 16^{2} + 7^{6} + 20^{4} + 2^{40} &=& 6^{5} + 7^{5} + 2^{16} + 6^{7} + 4^{20} + 40^{2} \\ 5^{3} + 6^{4} + 7^{4} + 11^{3} + 21^{4} + 2^{42} &=& 3^{5} + 4^{6} + 4^{7} + 3^{11} + 4^{21} + 42^{2} \\ 2^{9} + 3^{7} + 15^{2} + 8^{5} + 25^{4} + 2^{50} &=& 9^{2} + 7^{3} + 2^{15} + 5^{8} + 4^{25} + 50^{2} \\ 2^{8} + 2^{13} + 4^{8} + 19^{2} + 26^{4} + 2^{52} &=& 8^{2} + 13^{2} + 8^{4} + 2^{19} + 4^{26} + 52^{2} \\ 2^{17} + 9^{4} + 4^{24} + 48^{2} + 26^{4} + 2^{52} &=& 17^{2} + 4^{9} + 24^{4} + 2^{48} + 4^{26} + 52^{2} \\ 17^{2} + 4^{9} + 4^{26} + 52^{2} + 24^{4} + 2^{48} &=& 2^{17} + 9^{4} + 26^{4} + 2^{52} + 4^{24} + 48^{2} \\ 5^{2} + 2^{11} + 9^{4} + 8^{5} + 28^{4} + 2^{56} &=& 2^{5} + 11^{2} + 4^{9} + 5^{8} + 4^{28} + 56^{2} \\ 2^{7} + 10^{3} + 4^{10} + 13^{3} + 28^{4} + 2^{56} &=& 7^{2} + 3^{10} + 10^{4} + 3^{13} + 4^{28} + 56^{2} \\ 2^{8} + 2^{11} + 13^{2} + 10^{4} + 32^{4} + 2^{64} &=& 8^{2} + 11^{2} + 2^{13} + 4^{10} + 4^{32} + 64^{2} \\ 6^{2} + 2^{10} + 4^{6} + 20^{2} + 32^{4} + 2^{64} &=& 2^{6} + 10^{2} + 6^{4} + 2^{20} + 4^{32} + 64^{2} \\ 5^{3} + 2^{19} + 12^{3} + 10^{4} + 32^{4} + 2^{64} &=& 3^{5} + 19^{2} + 3^{12} + 4^{10} + 4^{32} + 64^{2} \\ \end{align}$$
Görünüşe göre bu "özel tür" örneklerden sonsuz sayıda var.
Görünüşe göre çok daha fazlası var $6$-term DÖNÜŞLER ("özel tür" olmayanlar).
Ama yine, bunu kanıtlamak muhtemelen zor.
Yeşil yay üzerindeki "ikinci en iyi yay" ı dikkate alarak muhtemelen birçok örnek üretebiliriz ve bu böyle devam eder. Ayrıca, daha büyük olanlar için en küçük hataları gözlemlemeye çalışabiliriz.$k\gt 2$ve bunları daha fazla örneğe ve $k\gt 6$.
Ama için $k\le 5$hatalar, büyük örneklerin var olamayacağı kadar büyük görünüyor.