Рассмотрим уравнение \( x^2 + ax + 1 = b \). Перепишем его в стандартной форме, выделив \( b \):
\[ x^2 + ax + (1 - b) = 0. \]
Для того чтобы корни уравнения были целыми и отличными от нуля, необходимо, чтобы дискриминант \( D \) уравнения был квадратом целого числа. Дискриминант определяется по формуле:
\[ D = a^2 - 4(1 - b) = a^2 - 4 + 4b. \]
Поскольку корни \( x_1 \) и \( x_2 \) должны быть целыми, мы можем воспользоваться неравенствами Вьета, которые дают нам следующую информацию о корнях:
- Сумма корней: \( x_1 + x_2 = -a \).
- Произведение корней: \( x_1 x_2 = 1 - b \).
Таким образом, корни \( x_1 \) и \( x_2 \) оба не равны нулю, значит, их произведение \( x_1 x_2 = 1 - b \) также не может равняться нулю, а следовательно, \( b \neq 1 \).
Допустим, что \( x_1 \) и \( x_2 \) — целые числа, и по нашему предположению, \( a^2 + b^2 \) должно быть составным числом. Рассмотрим два случая:
Оба корня положительные: тогда \( x_1 + x_2 = -a < 0 \), что приводит к противоречию, поскольку сумма двух положительных чисел не может быть отрицательной.
Оба корня отрицательные: пусть \( x_1 = -m \) и \( x_2 = -n \) для целых положительных \( m \) и \( n \). Тогда:
- \( -a = -m - n \Rightarrow a = m + n \).
- \( 1 - b = mn \Rightarrow b = 1 - mn \).
Теперь мы можем выразить \( a^2 + b^2 \):
\[ a^2 = (m + n)^2 = m^2 + 2mn + n^2, \]
\[ b^2 = (1 - mn)^2 = 1 - 2mn + m^2n^2. \]
Теперь объединяем оба выражения:
\[ a^2 + b^2 = m^2 + 2mn + n^2 + 1 - 2mn + m^2n^2 = m^2 + n^2 + 1 + m^2n^2. \]
Теперь мы проанализируем выражение \( a^2 + b^2 \):
- \( m^2 + n^2 \) всегда больше или равно 2 (если \( m \) и \( n \) — минимум 1), добавляя единицу, мы получаем минимум 3.
- \( m^2 n^2 \) — это произведение целых положительных чисел, поэтому оно также больше или равно 1, что приводит к тому, что сумма \( m^2 + n^2 + 1 + m^2n^2 \) всегда будет составным числом, поскольку она будет больше 4.
Таким образом, мы доказали, что \( a^2 + b^2 \) является составным числом.