Чтобы решить уравнение \( x^7 + y - 2x + 6y = 0 \) в целых числах, сначала преобразуем его:
\[ x^7 + (1 + 6)y - 2x = 0 \implies x^7 + 7y - 2x = 0 \]
Теперь выразим \( y \) через \( x \):
\[ 7y = 2x - x^7 \implies y = \frac{2x - x^7}{7} \]
Для того чтобы \( y \) было целым числом, числитель \( 2x - x^7 \) должен быть кратен 7. Теперь рассмотрим различные значения \( x \).
При \( x = 0 \): \[ y = \frac{2 \cdot 0 - 0^7}{7} = 0 \quad \text{(целое число)} \]
При \( x = 1 \): \[ y = \frac{2 \cdot 1 - 1^7}{7} = \frac{1}{7} \quad \text{(не целое)} \]
При \( x = 2 \): \[ y = \frac{2 \cdot 2 - 2^7}{7} = \frac{4 - 128}{7} = \frac{-124}{7} \quad \text{(не целое)} \]
При \( x = 3 \): \[ y = \frac{2 \cdot 3 - 3^7}{7} = \frac{6 - 2187}{7} = \frac{-2181}{7} \quad \text{(не целое)} \]
При \( x = -1 \): \[ y = \frac{2 \cdot (-1) - (-1)^7}{7} = \frac{-2 + 1}{7} = \frac{-1}{7} \quad \text{(не целое)} \]
При \( x = -2 \): \[ y = \frac{2 \cdot (-2) - (-2)^7}{7} = \frac{-4 + 128}{7} = \frac{124}{7} \quad \text{(не целое)} \]
Очевидно, что для целых значений \( x \) значения \( y \) остаются нецелыми до этой точки. Продолжаем поиск подходящих \( x \).
Далее, для анализа критических точек, можно обратить внимание на большее значение \( x \).
При \( x = -3 \): \[ y = \frac{2 \cdot (-3) - (-3)^7}{7} = \frac{-6 + 2187}{7} = \frac{2181}{7} \quad \text{(не целое)} \]
Продолжая проверку, заметим, что из-за роста \( x^7 \), даже при \( x = 4 \) и выше, \( y \) также становится нецелым.
Таким образом, из всех проверенных значений получается, что единственное решение, которое является целым числом, это \( (0, 0) \).
Теперь найдем наибольшее значение выражения \( x - 3y \): \[ x - 3y = 0 - 3 \cdot 0 = 0 \]
Это показывает, что наибольшее значение выражения \( x - 3y \) при целых \( x, y \) составляет 0.
Поэтому окончательный ответ: \[ \text{Наибольшее значение } x - 3y = 0. \]
