Risoluzione in numeri interi dell'equazione \[ a_1x_1 + a_2x_2 + a_3x_3 + a_4x_4 = b. \] (Q5971728)

Ist eine Lösung \((y_1, y_2, y_3, y_4)\) der diophantischen Gleichung \[ a_1x_1 + a_2x_2 + a_3x_3 + a_4x_4 = b \] bekannt, so erhält man alle Lösungen durch den Ansatz \[ \begin{aligned} & x_1 = y_1 + \beta_1d_{34}k + \dfrac{a_2}{d_{12}}\varphi, \\ & x_2 = y_2 + \beta_2d_{34}k - \dfrac{a_1}{d_{12}}\varphi, \\ & x_3 = y_3 - \beta_3d_{12}k + \dfrac{a_4}{d_{34}}\psi, \\ & x_4 = y_4 - \beta_4d_{12}k - \dfrac{a_3}{d_{34}}\psi. \end{aligned} \] Hierin ist \(d_{12}\) der g. g. T. von \((a_1, a_2)\), \(d_{34}\) der g. g. T. von \((a_3, a_4)\), während \((\beta_1, \beta_2)\) bzw. \((\beta_3, \beta_4)\) eine Lösung der diophantischen Gleichung \[ \dfrac{a_1}{d_{12}}u + \dfrac{a_2}{d_{12}}v = 1 \text{ bzw. } \dfrac{a_3}{d_{34}}u + \dfrac{a_4}{d_{34}}v = 1 \] bedeuten. \(k\), \(\varphi\) und \(\psi\) sind ganzzahlige Parameter.