On cubic diophantine equations. (Q2595808)

Es seien \(f\) und \(g\) homogene Polynome vom Grade 3 mit ganzen Koeffizienten in \(n\) bzw. \(m\) Unbestimmten. Es seien \(n\) nicht sämtlich verschwindende ganze Zahlen \(a_1\), \dots, \(a_n\) gegeben; sämtliche partiellen ersten Ableitungen \(f_1\), \dots, \(f_n\) von \(f\) mögen an der Stelle \((a_1, \ldots, a_n)\) verschwinden. Dann hat die diophantische Gleichung \[ f(x_1, \ldots,x_n)=g(y_1, \ldots,y_m) \] die Lösung \[ \begin{aligned} &x_i = a_i(g(\beta_1, \ldots,\beta_m)-f(\alpha_1, \ldots, \alpha_n))+ \alpha_i \sum_{j=1}^n a_jf_j(\alpha_1, \ldots, \alpha_n),\\ &y_k= \beta_k \sum_{j=1}^n a_jf_j(\alpha_1, \ldots,\alpha_n) \end{aligned} \] in den willkürlichen Parametern \(\alpha_1\), \dots, \(\alpha_n\), \(\beta_1\), \dots, \(\beta_m\). Diese Darstellung umfaßt bis auf konstante Faktoren alle Lösungen, für die nicht zugleich \[ \sum_{j=1}^n a_jf_j(x_1, \ldots, x_n)= 0 \tag{1} \] ist. Für das Beispiel \(n = m = 3\), \(f(x,y,z)=g(x,y,z)=x^3 + y^3 + z^3 - 3xyz\) wird gezeigt, daß (1) nur die Lösung \(x_1=x_2= x_3\) hat.