On a linear Diophantine equation. (Q2586129)

Verf. beweist: Es seien die \(a_i\) ganz rational, \((a_1, \dots, a_n) = 1\). Es sei \(d_r = (a_1, \dots, a_{r-1}, a_{r+1}, \dots, a_r)\) und zwar \(d_r > 0\), \(D = \prod\limits_{i=1}^n d_i\), \(m_r = a_r d_r/D\). Es ergibt sich \(m_r\) als natürliche Zahl und \((m_r, d_r) = 1\). Durch Umnumerierung sei erreicht, daß \(m_1 \leqq m_2 \leqq \cdots \leqq m_{n-2} \leqq m_{n-1} m_n\) ist. (Dies ist möglich. Es ist ja die schärfere Ungleichung \(m_1 \leqq m_2 \leqq \cdots \leqq m_{n-2} \leqq m_{n-1} \leqq m_n\) auf diesem Wege stets erreichbar). Dann hat die diophantische Gleichung \[ a_1X_1 + a_2X_2 + \cdots + a_nX_n = 1 \] ganzzahlige Lösungen \((X_1, \dots, X_n)\) mit \(|X_1| < d_1\), \(| X_2 | < d_2\), \dots, \(| X_{n-2}| < d_{n-2}\), \(|X_{n-1}| < m_nd_{n-1}\), \(|X_n| < m_{n-1} d_n\), also mit \[ \sum_{i=1}^n |X_i| \leqq d_1 + d_2 + \cdots + d_{n-2} + m_n d_{n-1} + m_{n-1} d_n - n + 1. \]