Решим уравнение относительно : для решения в целых числах необходимо, что бы подкоренное выражение было полным квадратом: используем условие, что второе условие системы выполняется всегда получили: ответ: (1+k; 1-k; k); (1+k; 1-k; -k); (1-k; 1+k; k); (1-k; 1+k; -k); где докажем, что пусть ; ; тогда наше неравенство равносильно неравенству (его нам тепер нужно доказывать): предлагаю разложить на множители уже самому по условию докажем, что для это рассмотрим верное неравенство: мы доказали, что тогда неравенство доказано
(x^2-xy+y^2)(x^2+xy+y^2) (x^2-xy+y^2)
=
(x-y)(x-y)(x^2+xy+y^2) (x-y)(x-y)