log (a) b по определению логарифма ОДЗ a>0 a<>1 b>0 с основанием все выполняется. А вот с телом логарифма не доказано, что b>0 . Надо это доказать, но задача очень трудная и достаточно трудоемкая. Действительно есть решения когда b<0, но при решении они не влияют на решение