Ведь пробел-то у Вас в чём?
В том, что условие не обращения неравенств в строгие неравенства не является достаточным условием для того, чтобы решение было единственным.
Вот, скажем, Вы говорите, что из
по неравенству Коши следует
(что, кстати, в полноценной записи решения тоже следовало бы развернуть; но это непринципиально, т.к. утверждение в конце концов всё-таки верно). Однако фактически из уравнения следует строгое неравенство, кроме одного случая. Какого?...
Ничего не понимаю. Я показал, что, например, случай
невозможен. Остался случай
Но это тот самый случай, когда неравенство Коши становится равенством, значит вместо того, чтобы рассматривать уравнение
можно рассматривать
. Аналогично с остальными уравнениями системы. Значит вместо исходной системы можно решить систему
и все ее решения совпадут со всеми решениями исходной системы.
Где я не прав?