Но мы же когда, например, логарифм произведения раскладываем по свойству в виде суммы, мы уменьшаем одз - в начальном виде переменные как положительные, так и отрицательные, а в виде суммы только положительные. Так и здесь разве мы не засчет преобразования ограничили одз? Подставляя тройку в начальное уравнение, ничего не нарушается.