Для решения уравнения \(x^2 + y^2 - 2x + 6y = 0\), сначала преобразуем его, чтобы выразить его в виде уравнения окружности или другой удобной форме.
Мы можем сгруппировать термины с \(x\) и \(y\):
\[ x^2 - 2x + y^2 + 6y = 0 \]
Теперь завершим квадрат для \(x\) и \(y\).
Для \(x^2 - 2x\):
\[ x^2 - 2x = (x - 1)^2 - 1 \]
Для \(y^2 + 6y\):
\[ y^2 + 6y = (y + 3)^2 - 9 \]
Теперь подставим эти выражения в уравнение:
\[ (x - 1)^2 - 1 + (y + 3)^2 - 9 = 0 \]
Приведем подобные:
\[ (x - 1)^2 + (y + 3)^2 - 10 = 0 \]
Это можно записать как:
\[ (x - 1)^2 + (y + 3)^2 = 10 \]
Теперь это уравнение представляет собой окружность с центром в точке \((1, -3)\) и радиусом \(\sqrt{10}\). Чтобы найти целые точки на этой окружности, используем уравнение:
\[ a^2 + b^2 = 10 \]
где \(a = x - 1\) и \(b = y + 3\). Теперь найдём все возможные целые решения для \(a^2 + b^2 = 10\):
Мы имеем следующие пары \((a, b)\):
- \( (1, 3) \)
- \( (3, 1) \)
- \( (0, \pm 3) \)
- \( (\pm 3, 0) \)
- \( (\pm 1, \pm 3) \)
- \( (\pm 3, \pm 1) \)
- \( (0, \pm 3) \)
- \( (\pm 3, 0) \)
Теперь найдем целые значения \(x\) и \(y\):
- \( (1, 3) \) → \( (x, y) = (1 + 1, -3 + 3) = (2, 0) \)
- \( (3, 1) \) → \( (x, y) = (3 + 1, -3 + 1) = (4, -2) \)
- \( (0, 3) \) → \( (x, y) = (0 + 1, -3 + 3) = (1, 0) \)
- \( (0, -3) \) → \( (x, y) = (0 + 1, -3 - 3) = (1, -6) \)
- \( (-3, 0) \) → \( (x, y) = (-3 + 1, -3 + 0) = (-2, -3) \)
- \( (0, 0) \) → \( (x, y) = (0 + 1, 0 - 3) = (1, -3) \)
Теперь найдем искомое значение \(x - 3y\) для всех целых точек:
- Для \((2, 0)\): \(2 - 3 \cdot 0 = 2\)
- Для \((4, -2)\): \(4 - 3 \cdot (-2) = 4 + 6 = 10\)
- Для \((1, 0)\): \(1 - 3 \cdot 0 = 1\)
- Для \((1, -6)\): \(1 - 3 \cdot (-6) = 1 + 18 = 19\)
- Для \((-2, -3)\): \(-2 - 3 \cdot (-3) = -2 + 9 = 7\)
- Для \((1, -3)\): \(1 - 3 \cdot (-3) = 1 + 9 = 10\)
Таким образом, наибольшее значение \(x - 3y\) среди найденных целых решений равно 19.
Ответ: \(\boxed{19}\)