Во-первых, откровенно потерян модуль над
. Но это неважно на фоне дальнейшего. Главное: если
(или даже
, пусть это формально и неверно), то
, т.е.
, где
-- произвольное вещественное, но ненулевое (поскольку
-- произвольное положительное). То, что ненулевое -- конечно, выглядит подозрительно; и легко объясняется возможными потерями при разных там делениях; и легко (просто подстановкой) проверяется, что ноль тоже даёт допустимое решение.
Это --
стандартная логика при манипуляциях с логарифмами и должна проходить на автомате.