主題
Search

多重次數方程

DOWNLOAD Mathematica Notebook下載 Wolfram Notebook

一個 (k,l)-多重次數方程是形如以下的丟番圖方程 的形式

sum_(i=1)^ln_i^j=sum_(i=1)^lm_i^j
(1)

對於 j=1, ..., k, 其中 m 和 n 是 l-向量。如果一個常數被加到 m 和 n 的每個元素，多重次數恆等式仍然有效 (Madachy 1979)，因此多重次數方程總是可以被轉化為其中一個向量的最小分量為 1 的形式。

Moessner 和 Gloden (1944) 給出了大量多重次數方程。小階次的例子是 (2, 3)-多重次數方程，其中 m={1,6,8} 且 n={2,4,9}

sum_(i=1)^(3)m_i^1=sum_(i=1)^(3)n_i^1=15
(2)
sum_(i=1)^(3)m_i^2=sum_(i=1)^(3)n_i^2=101,
(3)

以及 (3, 4)-多重次數方程，其中 m={1,5,8,12} 且 n={2,3,10,11}

sum_(i=1)^(4)m_i^1=sum_(i=1)^(4)n_i^1=26
(4)
sum_(i=1)^(4)m_i^2=sum_(i=1)^(4)n_i^2=234
(5)
sum_(i=1)^(4)m_i^3=sum_(i=1)^(4)n_i^3=2366,
(6)

以及 (4, 6)-多重次數方程，其中 m={1,5,8,12,18,19} 且 n={2,3,9,13,16,20}

sum_(i=1)^(6)m_i^1=sum_(i=1)^(6)n_i^1=63
(7)
sum_(i=1)^(6)m_i^2=sum_(i=1)^(6)n_i^2=919
(8)
sum_(i=1)^(6)m_i^3=sum_(i=1)^(6)n_i^3=15057
(9)
sum_(i=1)^(6)m_i^4=sum_(i=1)^(6)n_i^4=260755
(10)

(Madachy 1979)。

一個壯觀的例子，k=9 且 l=10，由 n={+/-12,+/-11881,+/-20231,+/-20885,+/-23738} 和 m={+/-436,+/-11857,+/-20449,+/-20667,+/-23750} (Guy 1994) 給出，其和為

sum_(i=1)^(9)m_i^1=sum_(i=1)^(9)n_i^1=0
(11)
sum_(i=1)^(9)m_i^2=sum_(i=1)^(9)n_i^2=3100255070
(12)
sum_(i=1)^(9)m_i^3=sum_(i=1)^(9)n_i^3=0
(13)
sum_(i=1)^(9)m_i^4=sum_(i=1)^(9)n_i^4=1390452894778220678
(14)
sum_(i=1)^(9)m_i^5=sum_(i=1)^(9)n_i^5=0
(15)
sum_(i=1)^(9)m_i^6=sum_(i=1)^(9)n_i^6=666573454337853049941719510
(16)
sum_(i=1)^(9)m_i^7=sum_(i=1)^(9)n_i^7=0
(17)
sum_(i=1)^(9)m_i^8=sum_(i=1)^(9)n_i^8=330958142560259813821203262692838598
(18)
sum_(i=1)^(9)m_i^9=sum_(i=1)^(9)n_i^9=0.
(19)

Rivera 考慮了涉及素數、連續素數等的多重次數方程。

類似於拉馬努金的四次冪恆等式的多重次數恆等式形式

a_1^4+a_2^4+a_3^4=2a_4^m
(20)

也可以給出三次冪和五次冪的形式，前者是

(a^2+ab)^r+(a^2-ab)^r+(b^2+ab)^r+(b^2-ab)^r=2(p^2+q^2)^(kr)
(21)

對於任意正整數 k，r=1, 2, 3，其中

a=1/2[(p-qi)^k+(p+qi)^k]
(22)
b=1/2i[(p-qi)^k-(p+qi)^k]
(23)

以及五次冪的形式

[(a+c)^n+(b+c)^n+(a+b+c)^n+(-a-b+c)^n+(-b+c)^n+(-a+c)^n](2/3)^n=2(p^2+pq+q^2)^(hn)
(24)

對於任意正整數 h，n=1, 3, 5，其中

a=(omega(p-qomega)^(2h)-(p-qomega^2)^(2h))/(omega-1)
(25)
b=((p-qomega)^(2h)-(p-qomega^2)^(2h))/(omega(omega-1))
(26)
c=1/2(p^2+pq+q^2)^h
(27)

其中 omega 是複數單位立方根，且 a 和 b 在兩種情況下對於任意有理數 p 和 q 都是有理數。

作為二元二次型的多重次數和-積恆等式也存在於三次冪、四次冪、五次冪。這些是以下幾對中的第二個。

對於三次冪，k.4.4,

(ax+v_1y)^k+(bx-v_1y)^k+(cx-v_2y)^k+(dx+v_2y)^k =(ax-v_1y)^k+(bx+v_1y)^k+(cx+v_2y)^k+(dx-v_2y)^k (ax^2-v_1xy+bwy^2)^k+(bx^2+v_1xy+awy^2)^k+(cx^2+v_2xy+dwy^2)^k+(dx^2-v_2xy+cwy^2)^k =(a^k+b^k+c^k+d^k)(x^2+wy^2)^k
(28)

對於 k=1, 3, (v_1,v_2)=(c^2-d^2,a^2-b^2), 且 w=(a+b) 或 (c+d)，對於任意 a, b, c, d, x 和 y。

對於四次冪，k.3.3,

(ax+v_1y)^k+(bx-v_2y)^k+(cx-v_3y)^k =(ax-v_1y)^k+(bx+v_2y)^k+(cx+v_3y)^k +(ax^2+2v_1xy-3ay^2)^k+(bx^2-2v_2xy-3by^2)^k+(cx^2-2v_3xy-3cy^2)^k=(a^k+b^k+c^k)(x^2+3y^2)^k
(29)

對於 k=2, 4, (v_1,v_2,v_3,c)=(a+2b,2a+b,a-b,a+b), 對於任意 a, b, x, y。

對於五次冪，k.6.6,

(a_1x+v_1y)^k+(a_2x-v_2y)^k+(a_3x+v_3y)^k+(a_4x-v_3y)^k+(a_5x+v_2y)^k+(a_6x-v_1y)^k =(a_1x-v_1y)^k+(a_2x+v_2y)^k+(a_3x-v_3y)^k+(a_4x+v_3y)^k+(a_5x-v_2y)^k+(a_6x+v_1y)^k =(a_1x^2+2v_1xy+3a_6y^2)^k+(a_2x^2-2v_2xy+3a_5y^2)^k+(a_3x^2+2v_3xy+3a_4y^2)^k+(a_4x^2-2v_3xy+3a_3y^2)^k+(a_5x^2+2v_2xy+3a_2y^2)^k+(a_6x^2-2v_1xy+3a_1y^2)^k =(a_1^k+a_2^k+a_3^k+a_4^k+a_5^k+a_6^k)(x^2+3y^2)^k
(30)

對於 k=1, 2, 3, 4, 5, (a_1,a_2,a_3,a_4,a_5,a_6)=(a+c,b+c,-a-b+c,a+b+c,-b+c,-a+c), (v_1,v_2,v_3)=(a+2b,2a+b,a-b) (與四次冪的 v_i 相同)，對於任意 a, b, c, x, y 以及一個使用 sqrt(2) 的七次冪形式。

對於七次冪，k.8.8,

(a_1x+v_1y)^k+(a_2x+v_2y)^k+(a_3x+v_3y)^k+(a_4x+v_4y)^k +(a_5x-v_4y)^k+(a_6x-v_3y)^k+(a_7x-v_2y)^k+(a_8x-v_1y)^k =(a_1x-v_1y)^k+(a_2x-v_2y)^k +(a_3x-v_3y)^k+(a_4x-v_4y)^k +(a_5x+v_4y)^k+(a_6x+v_3y)^k+(a_7x+v_2y)^k+(a_8x+v_1y)^k +(a_1x^2+v_1xy+a_8y^2)^k+(a_2x^2+v_2xy+a_7y^2)^k +(a_3x^2+v_3xy+a_6y^2)^k+(a_4x^2+v_4xy+a_5y^2)^k +(a_5x^2-v_4xy+a_4y^2)^k+(a_6x^2-v_3xy+a_3y^2)^k +(a_7x^2-v_2xy+a_2y^2)^k+(a_8x^2-v_1xy+a_1y^2)^k =(a_1^k+a_2^k+a_3^k+a_4^k+a_5^k+a_6^k+a_7^k+a_8^k)(x^2+y^2)^k
(31)

對於 k=1 到 7, (a_1,a_2,a_3,a_4,a_5,a_6,a_7,a_8)=(sqrt(2)a+c,sqrt(2)b+c,-a+b+c,-a-b+c,a+b+c,a-b+c,-sqrt(2)b+c,-sqrt(2)+c), (v_1,v_2,v_3,v_4)=(2sqrt(2)b,-2sqrt(2)a,-2(a+b),2(a-b)), 對於任意 a, b, c, x, y (Piezas 2006)。

對於 k.4.4，k=1, 2, 3, 5，存在一個多重次數 5 引數二元二次型恆等式。給定任意變數 a, b, c, x, y，並定義 u=a^2-b^2 和 v=b^2-c^2，則

[(-a+b+c)x^2+2(cu-bv)xy-(a+b+c)uvy^2]^k+[(a-b+c)x^2+2(cu+bv)xy+(a+b-c)uvy^2]^k+[(a+b-c)x^2+2(-cu-bv)xy+(a-b+c)uvy^2]^k+[-(a+b+c)x^2+2(-cu+bv)xy+(-a+b+c)uvy^2]^k-[-(a+b+c)x^2+2(-bu+av)xy+(a+b-c)uvy^2]^k-[(a+b-c)x^2+2(bu-av)xy-(a+b+c)uvy^2]^k-[(a-b+c)x^2+2(-bu-av)xy+(-a+b+c)uvy^2]^k-[(-a+b+c)x^2+2(bu+av)xy+(a-b+c)uvy^2]^k=0
(32)

對於 k=1, 2, 3, 5 (T. Piezas, 私人通訊，2006年4月27日)。

Chernick (1937) 給出了一個多重次數二元二次型引數化，用於 k.4.4，k=2, 4, 6，由以下公式給出

(5m^2+9mn+10n^2)^k+(m^2-13mn-6n^2)^k+(7m^2-5mn-8n^2)^k+(9m^2+7mn-4n^2)^k =(9m^2+5mn+4n^2)^k+(m^2+15mn+8n^2)^k+(5m^2-7mn-10n^2)^k+(7m^2+5mn-6n^2)^k,
(33)

一個依賴於尋找 4a^2+ab+b^2=7c^2 解的方程。

Sinha (1966ab) 給出了一個多重次數二元二次型引數化，用於 k.5.5，k=1, 3, 5, 7，由以下公式給出

(-7m^2+62mn-30n^2)^k+(7m^2+38mn-50n^2)^k+(5m^2-8mn-22n^2)^k+(19m^2-32mn-42n^2)^k+(-19m^2+36mn-62n^2)^k =(-9m^2+66mn-42n^2)^k+(5m^2+42mn-62n^2)^k+(-21m^2+38mn-22n^2)^k+(9m^2-14mn-50n^2)^k+(21m^2-36mn-30n^2)^k
(34)

它依賴於解方程組 a_1^j+a_2^j+a_3^j=b_1^j+b_2^j+b_3^j，其中 j=2 和 4，且 a_i 和 b_i 滿足某些其他條件。

Sinha (1966ab) 使用 Letac 的一個結果，也給出了一個多重次數引數化，用於 k.5.5，k=1, 2, 4, 6, 8，由以下公式給出

(a-r)^k+(a+r)^k+(3b-t)^k+(3b+t)^k+(4a)^k =(b-t)^k+(b+t)^k+(3a-r)^k+(3a+r)^k+(4b)^k,
(35)

其中 a^2+12b^2=r^2 且 12a^2+b^2=t^2。一個非平凡解可以由 a=109, b=11869/2 給出，Sinha 和 Smyth 在 1990 年證明存在無限多個不同的非平凡解。

另請參閱

丟番圖方程, Prouhet-Tarry-Escott 問題

此條目的部分內容由 Tito Piezas III 貢獻

使用 探索

參考文獻

Chernick, J. "Ideal Solutions of the Tarry-Escott Problem." Amer. Math. Monthly 44, 62600633, 1937.Gloden, A. Mehrgeradige Gleichungen. Groningen, Netherlands: Noordhoff, 1944.Gloden, A. "Sur la multigrade A_1, A_2, A_3, A_4, A_5=^kB_1, B_2, B_3, B_4, B_5 (k=1, 3, 5, 7)." Revista Euclides 8, 383-384, 1948.Guy, R. K. Unsolved Problems in Number Theory, 2nd ed. New York: Springer-Verlag, p. 143, 1994.Kraitchik, M. "Multigrade." §3.10 in Mathematical Recreations. New York: W. W. Norton, p. 79, 1942.Madachy, J. S. Madachy's Mathematical Recreations. New York: Dover, pp. 171-173, 1979.Moessner, A. and Gloden, A. "Einige Zahlentheoretische Untersuchungen und Resultate." Bull. Sci. École Polytech. de Timisoara 11, 196-219, 1944.Piezas, T. "Ramanujan and Fifth Power Identities." http://www.geocities.com/titus_piezas/Ramfifth.html.Piezas, T. "Binary Quadratic Forms as Equal Sums of Like Powers." http://www.geocities.com/titus_piezas/Binary_quad.html.Rivera, C. "Problems & Puzzles: Puzzle 065-Multigrade Relations." http://www.primepuzzles.net/puzzles/puzz_065.htm.Sinha, T. "On the Tarry-Escott Problem." Amer. Math. Monthly 73, 280-285, 1966a.Sinha, T. "Some System of Diophantine Equations of the Tarry-Escott Type." J. Indian Math. Soc. 30, 15-25, 1966b.

引用

多重次數方程

請引用為

Piezas, Tito III 和 Weisstein, Eric W. “多重次數方程。” 來自 Web 資源。 https://mathworld.tw/MultigradeEquation.html

主題分類