Задача
ALG-B1-M10-P023 Спуск
#23
★★★★★ Уровень 5 из 5
Докажите, что уравнение \(x^2+y^2=6xy\) не имеет положительных целых решений.
Выберите решение с минимальной суммой и рассмотрите уравнение как квадратное относительно большей переменной.
Пусть положительное решение существует, и выберем решение с минимальным \(x+y\). Пусть \(x>y\). Как квадратное относительно \(x\), уравнение имеет вид \(X^2-6yX+y^2=0\). Второй корень \(x'=6y-x=\frac{y^2}{x}\) положителен, целый и меньше \(y\). Тогда \((x',y)\) — меньшее положительное решение, противоречие.
Сильная задача на распознавание Виета-спуска.