Ein Satz über die Erniedrigung der Ordnung mehrgradiger Gleichungen. (Q2590585)

Verf. sagt, die ganzen Zahlen \(a_j\), \(b_j\) bilden eine mehrgradige Gleichung \(n\)-ter Ordnung: \[ a_1,a_2,\ldots,a_t\overset {p}=b_1,b_2,\ldots,b_t\qquad(p=1,2,\ldots,n) \] wenn die Beziehungen \[ a_1^p+a_2^p+\cdots+a_t^p=b_1^p+b_2^p+\cdots+b_t^p \] für \(p=1,2,\ldots,n\) gelten. Teilt man die Paare \(a_j\), \(b_j\) in zwei Gruppen mit \(a_j<b_j\) für \(j=1,2,\cdots,i\) und \(a_j>b_j\) für \(j=i+1, \ldots,t\), und ist \(x\) der größte gemeinsame Teiler der Differenzen \(a_j-b_j\) (\(j=1,\ldots,t\)), so werden zwischen die Paare \((a_j,b_j)\) und \((a_{j+1},b_{j+1})\) Paare in arithmetischer Progression mit der Differenz \(x\) eingeschaltet: \[ \left\{\begin{matrix}\l\;&\l\;&\l\;\\ a_j&a_j+x&a_j+2x\cdots b_j-x\\ a_j+x&a_j+2x&a_j+3x\cdots b_j\end{matrix}\right. \;(j\leqq i) \text{ oder } \left\{\begin{matrix}\l\;&\l\;\\ a_j&a_j-x\cdots b_j+x\\ a_j-x&a_j-2x\cdots b_j\end{matrix}\right. \;(j>i). \] Fügt man die beiden Glieder jeder so erhaltenen Kolonne hinzu, so erhält man eine neue mehrgradige Gleichung der Ordnung \(n-1\): \[ \begin{gathered} a_1+a_1+x,\;a_1+x+a_1+2x,\ldots,2b_1-x,\;a_2+a_2+x,\ldots,2b_2-x,\\ \ldots,a_i+a_i+x,\;a_i+x+a_i+2x,\ldots,2b_i-x\overset {p}=\\ a_{i+1}+a_{i+1}-x,\ldots,2b_{i+1}+x,\ldots,a_t+a_t-x,\\ a_t-x+a_t-2x,\ldots,2b_t-x. \end{gathered} \] Anwendungen: Für \(n=8\) auf 1, 5, 11, 24, 28, 30, 42, 47, 58, \(59\overset {p}=2\), 3, 14, 19, 31, 33, 37, 50, 56, 60. Für \(n=9\) auf 1, 5, 11, 21, 22, 28, 38, 42, 52, 58, 59, 69, 75, \(79\overset {p}=2\), 3, 14, 19, 20, 31, 37, 43, 49, 60, 61, 66, 77, 78.