Логарифмические уравнения 🔍

Представь, что ты обучил классификатор, посмотрел на метрику log-loss и увидел число $0{,}3567$. Вопрос от коллеги: «А какая уверенность модели за этим стоит?» Ты пишешь $-\ln p = 0{,}3567$ и решаешь уравнение относительно $p$. Это логарифмическое уравнение — самое настоящее, из школьной программы, только вместо буквы $x$ стоит вероятность. Через минуту ты отвечаешь: «модель в среднем ставила $0{,}7$ правильному классу». Такие же уравнения ты решаешь, когда переводишь логит обратно в вероятность, когда подбираешь коэффициент экспоненциального затухания learning rate, когда считаешь, сколько бит информации несёт распределение, и когда прикидываешь глубину дерева по числу листьев.

Но у логарифмических уравнений есть одна особенность, из-за которой они заслуженно считаются самой коварной темой школьной алгебры. Дело не в сложности вычислений — вычисления там как раз простые. Дело в том, что логарифм существует не везде. Под знаком логарифма может стоять только положительное число, основание должно быть положительным и не равным единице — и как только ты начинаешь преобразовывать уравнение по формулам логарифмов, эти ограничения начинают жить своей жизнью. Формально верное преобразование внезапно превращает уравнение в другое, у которого корней больше. Ты честно решаешь, получаешь два корня, оба «сходятся» — а на самом деле один из них подставить в исходное уравнение нельзя, там под логарифмом окажется минус.

Это явление называется посторонним корнем, и логарифмические уравнения — главный его источник во всей школьной математике. Не иррациональные уравнения с корнями, не уравнения с модулем — именно логарифмические. Причина в том, что почти каждая формула логарифмов ($\log_a f + \log_a g = \log_a fg$, $\log_a f^2 = 2\log_a f$, $\log_a \frac{f}{g} = \log_a f - \log_a g$) при применении «в удобную сторону» расширяет область допустимых значений — то есть делает уравнение более разрешённым, чем исходное. И новые корни, которые при этом появляются, к исходной задаче отношения не имеют.

Поэтому этот урок построен вокруг одной центральной идеи: область допустимых значений — не формальная приписка в начале решения, а полноценная часть уравнения. Мы разберём два законных подхода к ОДЗ (найти заранее либо проверить подстановкой в конце), выясним, почему второй подход работает не всегда, и научимся отличать преобразования, которые ОДЗ расширяют (тогда лишние корни надо отсеять), от тех, которые ОДЗ сужают (тогда корни теряются, и никакая проверка их уже не вернёт). А потом пройдём по всем стандартным методам: простейшее уравнение, сведение к одному логарифму, замена переменной, переход к одному основанию, логарифмирование обеих частей, переменное основание и метод монотонности.

🎯 Ты узнаешь:

• Почему потенцирование расширяет ОДЗ и откуда берутся посторонние корни — с примерами, где формально верное преобразование даёт лишний корень
• Два законных способа работы с ОДЗ (найти заранее / проверить подстановкой) и когда какой удобнее
• Все семь базовых методов: простейшее уравнение, сведение к одному логарифму, замена $t = \log_a x$, переход к одному основанию, логарифмирование, переменное основание, монотонность
• В чём разница между $\log_a f + \log_a g = \log_a(fg)$ и $\log_a f^2 = 2\log_a f$ — одно даёт лишние корни, другое теряет настоящие
• Как логарифмические уравнения решаются каждый день в ML: обратный переход от логита к вероятности, разбор log-loss, подбор коэффициента затухания learning rate

История: откуда это взялось?

Логарифм родился не как теоретическая конструкция, а как инструмент экономии времени. В 1614 году шотландский барон Джон Непер (John Napier) опубликовал «Mirifici Logarithmorum Canonis Descriptio» — таблицы, которые превращали умножение в сложение. Астрономам и мореплавателям того времени приходилось перемножать шестизначные числа вручную, и одно такое умножение занимало десятки минут с высоким шансом ошибиться. Непер потратил на составление таблиц двадцать лет, и Пьер-Симон Лаплас позже сказал, что изобретение логарифмов «удвоило жизнь астронома».

Но вот что интересно: первые двести лет логарифм существовал только как таблица, а не как функция. Уравнение вида $\log x = a$ решалось не алгебраически, а поиском по строчкам. Идея, что логарифм — это функция, обратная показательной, со своей областью определения и своим графиком, оформилась только в XVIII веке благодаря Леонарду Эйлеру. Именно Эйлер в «Introductio in analysin infinitorum» (1748) записал связь $y = \log_a x \iff x = a^y$ в том виде, в каком мы её используем сегодня, ввёл число $e$ и натуральный логарифм. И именно с этого момента появилась возможность говорить о логарифмических уравнениях как о классе задач, а не о задачах на поиск в таблице.

Проблема посторонних корней возникла ровно тогда же — и по историческим меркам довольно болезненно. В XVIII веке шёл долгий спор (Эйлер против Иоганна Бернулли и Даламбера) о том, что такое логарифм отрицательного числа. Бернулли настаивал, что $\log(-x) = \log x$, ссылаясь на то, что $(-x)^2 = x^2$, а значит $2\log(-x) = 2\log x$. Эйлер показал, что это рассуждение содержит ровно ту ошибку, которую мы сегодня разбираем в школе: переход от $\log f^2$ к $2\log f$ незаконен, если про знак $f$ ничего не известно. Спор закончился только в 1749 году работой Эйлера о комплексных логарифмах, где выяснилось, что у отрицательного числа логарифм существует, но он комплексный и не единственный. В вещественной школьной математике вывод простой: под логарифмом строго положительное число, и все формулы работают только внутри этого ограничения.

Сегодня логарифмические уравнения решаются автоматически и постоянно — в местах, где о них даже не думают как об уравнениях. Функция потерь log-loss, сигмоида и обратная к ней логит-функция, softmax, перплексия языковых моделей, энтропия, шкала децибел, pH, звёздные величины, экспоненциальное затухание learning rate — везде, где величина растёт или падает в разы, а не на единицы, появляется логарифм, и почти всегда рано или поздно возникает вопрос «а при каком аргументе получится вот такое значение?». Это и есть логарифмическое уравнение.

Что такое логарифмическое уравнение и почему оно опасно

Интуиция

Начнём с честного определения того, с чем мы работаем. Логарифм $\log_a b$ — это ответ на вопрос «в какую степень надо возвести $a$, чтобы получить $b$?». Это определение уже содержит все ограничения, которые потом будут портить нам жизнь:

Представь, что логарифм — это специальный прибор с двумя ручками: одна отвечает за основание $a$, другая — за аргумент $b$. Прибор работает не при любых положениях ручек. Если поставить $b \le 0$, прибор молчит: никакая степень положительного числа не даст ноль или минус. Если поставить $a = 1$, прибор ломается: единица в любой степени — единица, и вопрос «в какую степень возвести 1, чтобы получить 8» не имеет ответа. Если поставить $a \le 0$, прибор тоже отказывает: у отрицательного основания степень определена не для всех показателей, и функция получается дырявой.

Определение: Логарифмическим уравнением называется уравнение, в котором неизвестная входит под знак логарифма или в основание логарифма (либо и туда, и туда).

Определение: Областью допустимых значений (ОДЗ) уравнения называется множество значений переменной, при которых определены все входящие в уравнение выражения. Для логарифма $\log_{g(x)} f(x)$ это система:

• $f(x) > 0$ — аргумент строго положителен
• $g(x) > 0$ — основание строго положительно
• $g(x) \ne 1$ — основание не равно единице

Если основание — конкретное число (как в $\log_2$, $\lg$, $\ln$), два последних условия проверять не нужно, остаётся только положительность аргументов. Если в основании стоит выражение с $x$ — все три условия обязательны, и это отдельная тема, к которой мы вернёмся.

Теперь главное. Уравнение — это не только запись со знаком равенства, это запись плюс её ОДЗ. Два уравнения с одинаковой записью, но разной ОДЗ — разные уравнения. И вся драма логарифмических уравнений в том, что стандартные формулы логарифмов ОДЗ меняют.

Ключевой механизм: потенцирование расширяет ОДЗ

Давай разберёмся на самом простом сюжете. Возьмём тождество, которое ты знаешь с прошлого урока:

Формула верна — но верна при условии, что обе части определены. Посмотри внимательно на области определения левой и правой частей:

• Слева нужно: $f(x) > 0$ и $g(x) > 0$ — оба сомножителя положительны
• Справа нужно: $f(x) \cdot g(x) > 0$ — произведение положительно

А произведение положительно в двух случаях: когда оба множителя положительны (это совпадает с левой частью) и когда оба множителя отрицательны — а вот этот случай левой части недоступен. Значит правая часть определена там, где левая не определена. Правая часть «шире».

И вот следствие, ради которого затевался весь разговор: когда ты в ходе решения заменяешь левую часть на правую, ты решаешь уже другое уравнение — более разрешённое. У него могут быть корни, которых у исходного не было. Эти корни называются посторонними, и они не ошибка вычислений: арифметика идеально правильная, ошибка в том, что задача незаметно подменилась.

Определение: Посторонний корень — это значение переменной, удовлетворяющее уравнению, полученному после преобразований, но не удовлетворяющее исходному уравнению (чаще всего потому, что не входит в его ОДЗ).

То же самое происходит с другими формулами:

• $\log_a f - \log_a g = \log_a \dfrac{f}{g}$ — слева нужно $f>0$ и $g>0$, справа достаточно $\dfrac{f}{g}>0$, то есть годится и пара «оба минус». Расширение.
• $2\log_a f = \log_a f^2$ — слева нужно $f>0$, справа достаточно $f \ne 0$. Расширение, причём вдвое: добавляется вся отрицательная половина.
• $\log_a f = \log_a g \Rightarrow f = g$ — справа вообще никаких ограничений нет, любые числа. Максимальное расширение.

А есть и обратная беда. Если ты применяешь ту же формулу в другую сторону — от $\log_a f^2$ к $2\log_a f$, от $\log_a(fg)$ к $\log_a f + \log_a g$ — ты ОДЗ сужаешь. И тогда корни не появляются лишние, а теряются настоящие. Это опаснее, потому что никакая проверка подстановкой потерянный корень не вернёт: его просто нет в твоём списке.

📌 Запомни это правило целиком, оно объясняет девять из десяти ошибок в теме:

• Преобразование расширяет ОДЗ → могут появиться лишние корни → спасает проверка
• Преобразование сужает ОДЗ → могут потеряться настоящие корни → проверка бесполезна, спасает только аккуратность (модули, разбор случаев)

Два законных подхода к ОДЗ

Есть ровно две рабочие стратегии, и обе правильные. Выбор между ними — вопрос удобства, а не вкуса.

Подход 1: сначала ОДЗ, потом решение. Выписываешь систему неравенств из всех логарифмов исходного уравнения, решаешь её, получаешь множество $D$. Дальше решаешь уравнение как угодно, а в конце оставляешь только те корни, что попали в $D$.

Плюсы: ОДЗ найдена один раз, все корни фильтруются механически, ничего проверять в громоздком исходном уравнении не надо. Минусы: если логарифмов много, система неравенств бывает тяжелее самого уравнения.

Подход 2: решаем, потом подставляем в исходное. ОДЗ заранее не ищем, решаем уравнение стандартными преобразованиями, а каждый полученный корень подставляем в исходное уравнение и смотрим, все ли логарифмы определены и выполняется ли равенство.

Плюсы: часто в разы быстрее, особенно когда корней два-три, а ОДЗ — система из четырёх неравенств. Минусы: работает только если все твои преобразования ОДЗ расширяли (или сохраняли). Если хоть одно сужало — часть корней уже потеряна, и проверять нечего.

🚨 Критическая деталь второго подхода: подставлять надо в исходное уравнение, а не в промежуточное. Подстановка в то уравнение, которое получилось после потенцирования, ничего не проверяет — там-то корень как раз подходит, он оттуда и взялся.

Примеры с разбором

Пример 1 (простой): реши уравнение $\log_2(x - 3) = 4$

Решение:

Шаг 1. ОДЗ: под логарифмом должно стоять положительное число, значит $x - 3 > 0$, то есть $x > 3$.

Шаг 2. По определению логарифма $\log_2(x-3) = 4$ означает: «двойку надо возвести в степень 4, чтобы получить $x-3$». То есть

Шаг 3. $x = 19$.

Шаг 4. Проверим ОДЗ: $19 > 3$ ✅

Проверка: $\log_2(19-3) = \log_2 16 = 4$ ✅

Ответ: $x = 19$

Обрати внимание на важную вещь: в простейшем уравнении $\log_a f(x) = b$ (где $b$ — число) посторонние корни в принципе невозможны. Правая часть после потенцирования равна $a^b$, а это всегда строго положительное число — значит условие $f(x) > 0$ выполняется автоматически. Здесь ОДЗ можно вообще не писать. Но как только справа окажется не число, а выражение с $x$ — гарантия исчезает.

Пример 2 (средний): реши уравнение $\log_2 x + \log_2 (x-3) = 2$

Вот здесь механизм расширения ОДЗ виден во всей красе.

Решение:

Шаг 1. ОДЗ. В уравнении два логарифма, оба должны быть определены:

• $x > 0$
• $x - 3 > 0 \Rightarrow x > 3$

Пересечение: $x > 3$.

Шаг 2. Сворачиваем сумму логарифмов в логарифм произведения:

Шаг 3. Потенцируем: $x(x-3) = 2^2 = 4$.

Шаг 4. Раскрываем и решаем квадратное уравнение:

Получаем $x_1 = 4$, $x_2 = -1$.

Шаг 5. Фильтруем по ОДЗ. Условие было $x > 3$. Корень $x_1 = 4$ подходит. Корень $x_2 = -1$ — нет.

Ответ: $x = 4$

А теперь самое интересное — почему корень $-1$ вообще появился. Подставим $x = -1$ в уравнение из шага 3: $(-1) \cdot (-1 - 3) = (-1)\cdot(-4) = 4$. Верно! И в шаге 2 всё сходится: $\log_2 4 = 2$. То есть в уравнении $\log_2\big(x(x-3)\big) = 2$ число $-1$ — честный корень. А в исходном уравнении $\log_2 x + \log_2(x-3) = 2$ оно корнем не является, потому что $\log_2(-1)$ не существует.

Смотри, что произошло: мы свернули два логарифма в один, оба множителя стали отрицательными ($-1$ и $-4$), их произведение — положительное, и «свёрнутое» уравнение спокойно это проглотило. Исходное — не может. Ровно тот механизм, о котором мы говорили: свёртка суммы логарифмов расширила ОДЗ с $x>3$ до $x(x-3)>0$, то есть до $x<0$ или $x>3$ — и в добавленном куске $x<0$ обнаружился лишний корень.

Пример 3 (средний): реши уравнение $\lg(x-3) + \lg(x-5) = \lg 3$

Решение: решим двумя подходами и сравним.

Подход 1 — через ОДЗ.

Шаг 1. ОДЗ:

• $x - 3 > 0 \Rightarrow x > 3$
• $x - 5 > 0 \Rightarrow x > 5$

Пересечение: $x > 5$.

Шаг 2. Сворачиваем левую часть: $\lg\big((x-3)(x-5)\big) = \lg 3$.

Шаг 3. Логарифмическая функция при фиксированном основании строго монотонна, поэтому из равенства логарифмов следует равенство аргументов:

Шаг 4. $x^2 - 8x + 15 = 3$, то есть $x^2 - 8x + 12 = 0$. По теореме Виета: $x_1 = 6$, $x_2 = 2$ (сумма $8$, произведение $12$ ✅).

Шаг 5. Фильтруем: $x>5$. Остаётся $x = 6$.

Подход 2 — без ОДЗ, с проверкой.

Решаем те же шаги 2–4, получаем кандидатов $6$ и $2$. Теперь подставляем в исходное:

• $x = 6$: $\lg(6-3) + \lg(6-5) = \lg 3 + \lg 1 = \lg 3 + 0 = \lg 3$ ✅
• $x = 2$: $\lg(2-3) = \lg(-1)$ — не существует ❌

Ответ: $x = 6$

Оба подхода дали одно и то же, и в этой задаче второй быстрее: одна подстановка вместо системы неравенств. Но заметь, что второй подход законен именно потому, что все наши преобразования шли в сторону расширения. Если бы мы где-то сужали ОДЗ, проверка не помогла бы.

Пример 4 (сложный): реши уравнение $\lg x^2 = \lg(x + 6)$ и сравни с уравнением $2\lg x = \lg(x+6)$

Эта пара уравнений — лучшая иллюстрация того, что запись определяет ОДЗ, а ОДЗ определяет ответ.

Решение уравнения (а): $\lg x^2 = \lg(x+6)$

Шаг 1. ОДЗ:

• $x^2 > 0 \Rightarrow x \ne 0$
• $x + 6 > 0 \Rightarrow x > -6$

Итого: $x \in (-6; 0) \cup (0; +\infty)$.

Шаг 2. Равенство логарифмов с одинаковым основанием даёт равенство аргументов: $x^2 = x + 6$.

Шаг 3. $x^2 - x - 6 = 0$, $D = 1 + 24 = 25$, $x_{1,2} = \dfrac{1 \pm 5}{2}$: корни $3$ и $-2$.

Шаг 4. Оба входят в ОДЗ ($-2 \ne 0$ и $-2 > -6$) ✅

Проверка $x=-2$: слева $\lg(-2)^2 = \lg 4$, справа $\lg(-2+6) = \lg 4$. Равенство верное ✅

Ответ (а): $x = 3$ и $x = -2$

Решение уравнения (б): $2\lg x = \lg(x+6)$

Шаг 1. ОДЗ:

• $x > 0$ (логарифм от самого $x$!)
• $x + 6 > 0$

Итого: $x > 0$.

Шаг 2. Слева $2\lg x = \lg x^2$ — здесь это законно, потому что в ОДЗ уже сказано $x>0$. Получаем $x^2 = x+6$, те же корни $3$ и $-2$.

Шаг 3. Фильтруем по $x>0$: остаётся только $3$.

Ответ (б): $x = 3$

Разница в одном символе, а корней — разное количество. И вот вывод, который надо унести: запись $\lg x^2$ и запись $2\lg x$ — это не одно и то же выражение. Они совпадают только при $x>0$. Правильная универсальная формула:

Модуль здесь не украшение, а единственный способ сохранить равносильность на всей области. Если ты в уравнении (а) на автомате напишешь $\lg x^2 = 2\lg x$, ты сузишь ОДЗ и потеряешь корень $-2$ — и никакая проверка его уже не вернёт, потому что в твоём списке кандидатов его не будет.

Почему это важно

Этот раздел — не про «аккуратность в оформлении». Он про то, что преобразование выражения и преобразование уравнения — разные операции. Тождество $\log_a f + \log_a g = \log_a fg$ абсолютно верно как тождество: там, где обе части определены, они равны. Но уравнение — это вопрос «при каких $x$», и множество допустимых $x$ у левой и правой части разное. Подменив одно другим, ты подменил задачу.

Та же логика работает далеко за пределами школы. В машинном обучении переход $\ln(a \cdot b) = \ln a + \ln b$ используется постоянно — так превращают произведение вероятностей в сумму логарифмов (log-likelihood), чтобы не получить машинный ноль при перемножении тысячи чисел вида $0{,}001$. И там ровно так же: формула работает, пока все сомножители строго положительны. Стоит одной вероятности стать нулём — и вместо суммы получается $-\infty$, а код падает или выдаёт nan. Поэтому в реальных библиотеках вероятность перед логарифмированием обрезают: np.log(np.clip(p, 1e-15, 1)). Это буквально та же самая ОДЗ, только записанная на Python.

Метод 1: простейшее логарифмическое уравнение

Интуиция

Простейшее уравнение — это $\log_a x = b$, где $a$ — известное число, $b$ — известное число. Смысл предельно прямой: логарифм спрашивает «в какую степень возвести $a$, чтобы получить $x$», а уравнение сообщает готовый ответ — «в степень $b$». Остаётся эту степень посчитать.

Представь себе логарифм и возведение в степень как две кнопки одного пульта: одна кодирует, другая раскодирует. $\log_a$ переводит число в показатель, $a^{(\cdot)}$ возвращает обратно. Уравнение $\log_a x = b$ решается нажатием второй кнопки на обе части.

Определение: Простейшим логарифмическим уравнением называется уравнение вида $\log_a x = b$, где $a > 0$, $a \ne 1$, $b \in \mathbb{R}$. Оно имеет ровно один корень $x = a^b$ при любом $b$.

Обоснование единственности простое и не требует производных: логарифмическая функция строго монотонна. При $a>1$ она строго возрастает, при $0

Более общий случай — $\log_a f(x) = b$. Тут схема та же:

и это равносильный переход, без всяких оговорок. Причина: $a^b > 0$ автоматически при любом вещественном $b$, поэтому условие $f(x) > 0$ выполняется само собой, как только выполнено равенство. Проверять ОДЗ формально не нужно (хотя на экзамене её обычно всё равно пишут — за это не наказывают).

Примеры с разбором

Пример 5 (простой): реши $\log_3(2x + 1) = 2$

Решение:

Шаг 1. Потенцируем: $2x + 1 = 3^2 = 9$.

Шаг 2. $2x = 8$, $x = 4$.

Проверка: $\log_3(2\cdot 4 + 1) = \log_3 9 = 2$ ✅

Ответ: $x = 4$

Пример 6 (средний): реши $\log_{1/2}(3x - 1) = -3$

Здесь основание меньше единицы и показатель отрицательный — типичное место, где путаются со знаками.

Решение:

Шаг 1. Потенцируем аккуратно:

Шаг 2. $3x = 9$, $x = 3$.

Проверка: $3\cdot 3 - 1 = 8$; надо убедиться, что $\log_{1/2} 8 = -3$. Действительно, $(1/2)^{-3} = 8$ ✅

Ответ: $x = 3$

💡 Приём против путаницы: отрицательная степень «переворачивает» дробь. $\left(\frac{1}{2}\right)^{-3}$ — это $\left(\frac{2}{1}\right)^{3} = 8$. Не $-8$ и не $\frac{1}{8}$.

Пример 7 (сложный): реши $\log_5(x^2 - 4x) = 1$

Решение:

Шаг 1. Потенцируем: $x^2 - 4x = 5^1 = 5$.

Шаг 2. $x^2 - 4x - 5 = 0$, $D = 16 + 20 = 36$, $x_{1,2} = \dfrac{4 \pm 6}{2}$: корни $5$ и $-1$.

Шаг 3. Проверяем ОДЗ ($x^2 - 4x > 0$) — хотя, как мы выяснили, она выполнена автоматически. Убедимся:

• при $x = 5$: $25 - 20 = 5 > 0$ ✅
• при $x = -1$: $1 + 4 = 5 > 0$ ✅

Ответ: $x = 5$ и $x = -1$

🚨 Обрати внимание: отрицательный корень здесь не посторонний. Очень частая ошибка — на автомате вычёркивать все отрицательные корни, «потому что логарифм от отрицательного не бывает». Логарифм не бывает от отрицательного выражения, а сам $x$ может быть каким угодно, лишь бы выражение под логарифмом оказалось положительным. При $x=-1$ выражение $x^2-4x$ равно $5$ — всё в порядке.

Почему это важно

Простейшее уравнение — это не просто первый шаг обучения, это форма, к которой сводится вообще всё в теме. Любой метод из следующих разделов — замена, переход к одному основанию, монотонность — заканчивается тем, что ты получаешь $\log_a f(x) = b$ и потенцируешь. Плюс это самый частый вид логарифмического уравнения в прикладных задачах: «через сколько шагов learning rate упадёт до нужного уровня», «какая вероятность даёт такой log-loss», «сколько бит нужно на словарь из 50 000 токенов» — все эти вопросы записываются как $\log_a f = b$ и решаются одним потенцированием.

Метод 2: сведение к одному логарифму

Интуиция

Если в уравнении несколько логарифмов с одним и тем же основанием, стратегия очевидна: собрать их в один при помощи свойств логарифма, а дальше применить метод 1. Инструментарий у тебя уже есть с прошлого урока:

• $\log_a f + \log_a g = \log_a(fg)$ — сумма превращается в логарифм произведения
• $\log_a f - \log_a g = \log_a \dfrac{f}{g}$ — разность в логарифм частного
• $k\log_a f = \log_a f^k$ — коэффициент уезжает в показатель
• $b = \log_a a^b$ — любое число можно превратить в логарифм по нужному основанию

Последний приём особенно полезен: он позволяет привести уравнение к красивому виду $\log_a f(x) = \log_a g(x)$, из которого следует $f(x) = g(x)$.

Определение: Переход $\log_a f(x) = \log_a g(x) \Rightarrow f(x) = g(x)$ называется потенцированием. Он равносилен исходному уравнению при добавлении любого одного из условий $f(x) > 0$ или $g(x) > 0$ (второе тогда следует автоматически из равенства).

Вот это «любого одного» — практичная деталь. Если $f$ — страшный многочлен, а $g$ — простой линейный кусок, проверяй положительность у $g$: раз $f = g$, положительность одного означает положительность другого.

Примеры с разбором

Пример 8 (простой): реши $\log_5(x + 1) = \log_5(3x - 7)$

Решение:

Шаг 1. Основания одинаковые — потенцируем: $x + 1 = 3x - 7$.

Шаг 2. $8 = 2x$, значит $x = 4$.

Шаг 3. Проверяем положительность (достаточно одного аргумента): $x + 1 = 5 > 0$ ✅ Значит и второй аргумент положителен: $3\cdot4 - 7 = 5$ ✅

Ответ: $x = 4$

Пример 9 (средний): реши $\log_3(x + 1) - \log_3(x - 1) = 1$

Решение:

Шаг 1. ОДЗ:

• $x + 1 > 0 \Rightarrow x > -1$
• $x - 1 > 0 \Rightarrow x > 1$

Пересечение: $x > 1$.

Шаг 2. Сворачиваем разность в логарифм частного:

Шаг 3. Потенцируем: $\dfrac{x+1}{x-1} = 3$.

Шаг 4. В ОДЗ знаменатель положителен, умножаем обе части на $(x-1)$:

Шаг 5. Проверка ОДЗ: $2 > 1$ ✅

Проверка: $\log_3 3 - \log_3 1 = 1 - 0 = 1$ ✅

Ответ: $x = 2$

Пример 10 (сложный): реши $\log_2(x + 2) + \log_2(x - 2) = 5$

Решение:

Шаг 1. ОДЗ:

• $x + 2 > 0 \Rightarrow x > -2$
• $x - 2 > 0 \Rightarrow x > 2$

Пересечение: $x > 2$.

Шаг 2. Сворачиваем: $\log_2\big((x+2)(x-2)\big) = 5$, то есть $\log_2(x^2 - 4) = 5$.

Шаг 3. Потенцируем: $x^2 - 4 = 32$, значит $x^2 = 36$, откуда $x = 6$ или $x = -6$.

Шаг 4. Фильтруем по ОДЗ ($x>2$): остаётся $x = 6$.

Разбор постороннего корня. Почему $-6$ вылез? Потому что на шаге 2 мы расширили ОДЗ с $\{x>2\}$ до $\{x^2-4>0\}$, то есть до $x<-2$ или $x>2$. При $x=-6$ множители равны $-4$ и $-8$, их произведение $32$ — положительное, свёрнутое уравнение довольно. А исходное — нет: $\log_2(-6+2) = \log_2(-4)$ не существует.

Ответ: $x = 6$

Почему это важно

Сведение к одному логарифму — рабочая лошадка всей темы, и именно она порождает подавляющее большинство посторонних корней. Каждый раз, когда ты пишешь «$\log + \log = \log$ произведения», ты берёшь на себя обязательство в конце профильтровать корни. Это не перестраховка и не ритуал — это компенсация за то, что ты сознательно решаешь более широкую задачу ради простоты вычислений.

В обработке данных этот же приём выглядит как переход от произведения к сумме логарифмов и обратно. Наивный байесовский классификатор перемножает десятки условных вероятностей; в коде это всегда делают в логарифмах, иначе произведение уходит в машинный ноль. И там, как и здесь, весь фокус в том, что все сомножители обязаны быть строго положительными — «расширенная» версия с отрицательными множителями в вероятностях невозможна физически, а не только математически.

Метод 3: замена переменной $t = \log_a x$

Интуиция

Представь, что ты смотришь на уравнение

и первое, что чувствуешь — это же обычный квадратный трёхчлен, просто вместо $x$ там стоит целая конструкция $\log_3 x$. Так и есть. Если ввести обозначение $t = \log_3 x$, уравнение мгновенно превращается в $t^2 - 5t + 6 = 0$ — то, что ты решаешь с восьмого класса.

Запись $\log_3^2 x$ означает $(\log_3 x)^2$ — квадрат логарифма, а не логарифм квадрата. Это два совершенно разных объекта: $(\log_3 x)^2$ и $\log_3 x^2 = 2\log_3|x|$. Путаница между ними — классика жанра.

Определение: Метод замены переменной применяется, когда уравнение можно записать как $F(\log_a x) = 0$, где $F$ — многочлен (чаще всего квадратный). Замена $t = \log_a x$ сводит его к алгебраическому уравнению относительно $t$, после чего каждый найденный $t_i$ возвращается обратно: $\log_a x = t_i \Rightarrow x = a^{t_i}$.

Замечательная особенность метода: обратный переход $x = a^{t}$ никогда не даёт посторонних корней. Что бы ни получилось для $t$ — хоть $-17$, хоть $\sqrt{5}$ — число $a^{t}$ всегда строго положительно, а значит автоматически попадает в ОДЗ $x>0$. Поэтому уравнения на замену — самый «безопасный» тип в теме. Единственная ОДЗ, которую нужно держать в голове, — это $x > 0$ (и она выполняется сама), плюс ограничения от других частей уравнения, если они есть.

Примеры с разбором

Пример 11 (простой): реши $\log_2^2 x - 5\log_2 x + 6 = 0$

Решение:

Шаг 1. ОДЗ: $x > 0$.

Шаг 2. Замена $t = \log_2 x$. Уравнение: $t^2 - 5t + 6 = 0$.

Шаг 3. По теореме Виета $t_1 = 2$, $t_2 = 3$ (сумма $5$, произведение $6$ ✅).

Шаг 4. Обратная замена:

• $\log_2 x = 2 \Rightarrow x = 2^2 = 4$
• $\log_2 x = 3 \Rightarrow x = 2^3 = 8$

Проверка $x=4$: $2^2 - 5\cdot 2 + 6 = 4 - 10 + 6 = 0$ ✅ Проверка $x=8$: $3^2 - 5\cdot 3 + 6 = 9 - 15 + 6 = 0$ ✅

Ответ: $x = 4$, $x = 8$

Пример 12 (средний): реши $\lg^2 x - \lg x - 6 = 0$

Решение:

Шаг 1. ОДЗ: $x>0$. Замена $t = \lg x$ (десятичный логарифм, основание 10).

Шаг 2. $t^2 - t - 6 = 0$, $D = 1 + 24 = 25$, $t_{1,2} = \dfrac{1 \pm 5}{2}$: $t_1 = 3$, $t_2 = -2$.

Шаг 3. Обратная замена:

• $\lg x = 3 \Rightarrow x = 10^3 = 1000$
• $\lg x = -2 \Rightarrow x = 10^{-2} = 0{,}01$

Отрицательное значение $t$ — совершенно нормально: логарифм принимает любые вещественные значения. И полученный $x = 0{,}01$ положителен, как и обещано.

Ответ: $x = 1000$, $x = 0{,}01$

Пример 13 (сложный): реши $\log_2 x + \log_x 2 = \dfrac{5}{2}$

Здесь замена работает не сразу — сначала надо заметить связь между двумя логарифмами.

Решение:

Шаг 1. ОДЗ. Логарифм $\log_x 2$ требует, чтобы $x$ был законным основанием:

• $x > 0$
• $x \ne 1$

Шаг 2. Ключевое наблюдение: $\log_x 2$ и $\log_2 x$ — взаимно обратные величины. По формуле перехода к новому основанию

Шаг 3. Замена $t = \log_2 x$, причём $t \ne 0$ (иначе делить не на что; и это ровно условие $x \ne 1$):

Шаг 4. Умножаем на $2t$:

$D = 25 - 16 = 9$, $t_{1,2} = \dfrac{5 \pm 3}{4}$: $t_1 = 2$, $t_2 = \dfrac{1}{2}$.

Шаг 5. Обратная замена:

• $\log_2 x = 2 \Rightarrow x = 4$
• $\log_2 x = \dfrac{1}{2} \Rightarrow x = 2^{1/2} = \sqrt{2}$

Проверка $x=4$: $\log_2 4 + \log_4 2 = 2 + \dfrac{1}{2} = 2{,}5$ ✅ Проверка $x=\sqrt2$: $\log_2 \sqrt2 + \log_{\sqrt2} 2 = \dfrac{1}{2} + 2 = 2{,}5$ ✅

Ответ: $x = 4$, $x = \sqrt{2}$

Почему это важно

Замена переменной — это универсальный приём мышления, а не трюк для конкретной темы. Ты будешь встречать его всюду: в тригонометрических уравнениях ($t = \sin x$), в показательных ($t = 2^x$), в биквадратных ($t = x^2$). Идея всегда одна: заметить, что сложное выражение входит в уравнение целиком, и на время дать ему короткое имя.

В машинном обучении это буквально стандартный ход: логарифмическое преобразование признака. Если распределение цены, дохода или числа просмотров имеет длинный правый хвост, модели тяжело — линейная регрессия будет тянуться за выбросами. Заменяешь признак на $t = \ln(1 + x)$, распределение становится почти симметричным, модель работает лучше. И потом, чтобы вернуться к исходной шкале, ты решаешь ровно уравнение обратной замены: $x = e^{t} - 1$. Тот же самый шаг «обратная замена», что и в примере выше.

Метод 4: переход к одному основанию

Интуиция

Часто в уравнении встречаются логарифмы с разными, но родственными основаниями: $\log_2$, $\log_4$, $\log_8$ или $\log_3$, $\log_9$, $\log_{81}$. Складывать их напрямую нельзя — свойства логарифма работают только при одинаковом основании. Но переход между основаниями существует, и он делается одной формулой.

Представь, что логарифмы по разным основаниям — это одна и та же величина, измеренная в разных единицах: метры, футы, дюймы. Расстояние одно, числа разные, и чтобы сложить «3 метра и 40 дюймов», надо сначала перевести всё в общую единицу. Формула перехода — это и есть коэффициент пересчёта.

Определение: Формула перехода к новому основанию: для любых допустимых $a$, $b$, $c$

$$\log_a b = \frac{\log_c b}{\log_c a}$$

Полезные следствия: $\log_{a^k} b = \dfrac{1}{k}\log_a b$ и $\log_a b = \dfrac{1}{\log_b a}$.

Следствие $\log_{a^k} b = \frac{1}{k}\log_a b$ — самое ходовое. Оно означает, что $\log_4 x = \frac12 \log_2 x$, $\log_8 x = \frac13 \log_2 x$, $\log_{16} x = \frac14 \log_2 x$. Все логарифмы «семейства двойки» отличаются от $\log_2 x$ только числовым множителем — и потому легко собираются в одну скобку.

Стратегия выбора общего основания: бери самое маленькое из встречающихся (обычно оно и есть «корень» всех остальных). Если основания вообще не родственные ($\log_2$ и $\log_3$), переходи к натуральному логарифму или к любому одному из них — но тогда, скорее всего, задача решается другим методом.

Примеры с разбором

Пример 14 (простой): реши $\log_5 x + \log_{25} x = 3$

Решение:

Шаг 1. ОДЗ: $x > 0$.

Шаг 2. Заметим, что $25 = 5^2$, значит $\log_{25} x = \dfrac{1}{2}\log_5 x$.

Шаг 3. Обозначим $t = \log_5 x$:

Шаг 4. Обратная замена: $\log_5 x = 2 \Rightarrow x = 25$.

Проверка: $\log_5 25 + \log_{25} 25 = 2 + 1 = 3$ ✅

Ответ: $x = 25$

Пример 15 (средний): реши $\log_2 x + \log_4 x + \log_8 x = 11$

Решение:

Шаг 1. ОДЗ: $x > 0$.

Шаг 2. Все основания — степени двойки: $4 = 2^2$, $8 = 2^3$. Переводим:

Шаг 3. Пусть $t = \log_2 x$:

Шаг 4. Общий знаменатель 6: $\dfrac{6t + 3t + 2t}{6} = 11$, то есть $\dfrac{11t}{6} = 11$, откуда $t = 6$.

Шаг 5. $\log_2 x = 6 \Rightarrow x = 2^6 = 64$.

Проверка: $\log_2 64 = 6$, $\log_4 64 = 3$, $\log_8 64 = 2$. Сумма: $6+3+2 = 11$ ✅

Ответ: $x = 64$

Пример 16 (сложный): реши $\log_3 x \cdot \log_9 x = 2$

Решение:

Шаг 1. ОДЗ: $x > 0$.

Шаг 2. $9 = 3^2$, поэтому $\log_9 x = \dfrac{1}{2}\log_3 x$. Пусть $t = \log_3 x$:

Шаг 3. Обратная замена:

• $\log_3 x = 2 \Rightarrow x = 9$
• $\log_3 x = -2 \Rightarrow x = 3^{-2} = \dfrac{1}{9}$

Проверка $x = 9$: $\log_3 9 \cdot \log_9 9 = 2 \cdot 1 = 2$ ✅ Проверка $x = \frac19$: $\log_3 \frac19 \cdot \log_9 \frac19 = (-2)\cdot(-1) = 2$ ✅

Ответ: $x = 9$, $x = \dfrac{1}{9}$

Почему это важно

Формула перехода к новому основанию — то, благодаря чему компьютеры вообще умеют считать логарифмы. В стандартных библиотеках реализован ровно один логарифм — натуральный, log(). Всё остальное получается делением: log2(x) — это log(x)/log(2), log10(x) — это log(x)/log(10). Когда ты в статье видишь энтропию в битах, а в коде — np.log (натуральный), разница между ними — множитель $\log_2 e \approx 1{,}4427$, и это ровно та же формула перехода.

В теории информации выбор основания — это выбор единицы измерения: основание 2 даёт биты, основание $e$ — наты, основание 10 — дит. Величина одна и та же, просто линейка разная. Именно поэтому в формулах кросс-энтропии основание логарифма часто не указывают: от него зависит только масштабный коэффициент, а не суть.

Метод 5: логарифмирование обеих частей

Интуиция

Есть класс уравнений, где неизвестная сидит и в основании степени, и в показателе одновременно:

Ни потенцировать, ни свернуть тут нечего — логарифмов в привычном виде вообще не видно. Приём: прологарифмировать обе части. Логарифм превратит показатель степени в множитель, и неизвестная станет «доступной».

Законность операции: если обе части уравнения строго положительны, то равенство $A = B$ равносильно равенству $\log_a A = \log_a B$. Это следствие строгой монотонности логарифма — разным положительным числам соответствуют разные логарифмы, значит информация не теряется и не добавляется. Здесь ОДЗ не расширяется и не сужается: переход равносильный на множестве положительных значений.

Определение: Логарифмирование уравнения — переход от $A(x) = B(x)$ к $\log_a A(x) = \log_a B(x)$. Переход равносилен на множестве, где $A(x) > 0$ и $B(x) > 0$.

Основание для логарифмирования выбирают так, чтобы оно совпало с основанием логарифма в показателе: если в показателе $\lg x$ — логарифмируем по основанию 10, если $\log_3 x$ — по основанию 3.

Примеры с разбором

Пример 17 (средний): реши $x^{\log_3 x} = 9x$

Решение:

Шаг 1. ОДЗ. Основание степени должно быть положительным, и под логарифмом стоит $x$: значит $x > 0$. Обе части при $x>0$ положительны — логарифмировать законно.

Шаг 2. Логарифмируем по основанию 3:

Шаг 3. Слева выносим показатель: $\log_3 x \cdot \log_3 x = (\log_3 x)^2$. Справа раскладываем логарифм произведения: $\log_3 9 + \log_3 x = 2 + \log_3 x$.

Шаг 4. Замена $t = \log_3 x$: $t^2 - t - 2 = 0$, $D = 1 + 8 = 9$, $t_{1,2} = \dfrac{1 \pm 3}{2}$: $t_1 = 2$, $t_2 = -1$.

Шаг 5. Обратная замена:

• $\log_3 x = 2 \Rightarrow x = 9$
• $\log_3 x = -1 \Rightarrow x = \dfrac{1}{3}$

Проверка $x = 9$: слева $9^{\log_3 9} = 9^2 = 81$; справа $9 \cdot 9 = 81$ ✅ Проверка $x = \frac13$: $\log_3 \frac13 = -1$, слева $\left(\frac13\right)^{-1} = 3$; справа $9\cdot\frac13 = 3$ ✅

Ответ: $x = 9$, $x = \dfrac{1}{3}$

Пример 18 (сложный): реши $x^{\lg x - 1} = 100$

Решение:

Шаг 1. ОДЗ: $x > 0$.

Шаг 2. Логарифмируем по основанию 10:

Шаг 3. Замена $t = \lg x$: $t^2 - t - 2 = 0$, корни $t = 2$ и $t = -1$.

Шаг 4. Обратная замена:

• $\lg x = 2 \Rightarrow x = 100$
• $\lg x = -1 \Rightarrow x = 0{,}1$

Проверка $x = 100$: показатель $\lg 100 - 1 = 2 - 1 = 1$, слева $100^1 = 100$ ✅ Проверка $x = 0{,}1$: показатель $\lg 0{,}1 - 1 = -1 - 1 = -2$, слева $0{,}1^{-2} = \dfrac{1}{0{,}01} = 100$ ✅

Ответ: $x = 100$, $x = 0{,}1$

Почему это важно

Логарифмирование обеих частей — не экзотика, а базовый инструмент везде, где величины перемножаются. Метод максимального правдоподобия в статистике устроен именно так: вероятность выборки — это произведение вероятностей отдельных наблюдений, максимизировать произведение неудобно, поэтому от него берут логарифм и работают с суммой. Переход $\prod \to \sum$ — это логарифмирование обеих частей в чистом виде, и он законен по той же причине: вероятности строго положительны, а логарифм строго монотонен, значит точка максимума не сдвигается.

Метод 6: уравнения с переменным основанием

Интуиция

Если неизвестная стоит в основании логарифма, к обычным условиям добавляются два новых — и оба режут корни жёстко.

Представь себе тот самый прибор с двумя ручками. Ручка основания имеет физические ограничители: её нельзя поставить в ноль или в минус, и нельзя поставить ровно в единицу — в этой точке прибор заклинивает. Когда положение ручки зависит от $x$, каждый корень надо проверять не только «а определён ли аргумент», но и «а законно ли положение основания».

Определение: Для уравнения, содержащего $\log_{g(x)} f(x)$, полная ОДЗ состоит из трёх условий:

• $f(x) > 0$ — аргумент положителен
• $g(x) > 0$ — основание положительно
• $g(x) \ne 1$ — основание не равно единице

Условие $g(x) \ne 1$ выглядит мелочью, но именно оно чаще всего убивает единственный найденный корень. Это любимая ловушка составителей задач: уравнение решается в одну строчку, получается красивый ответ — а основание при нём равно единице, и ответ «корней нет».

Примеры с разбором

Пример 19 (простой): реши $\log_x(2x + 3) = 2$

Решение:

Шаг 1. ОДЗ:

• $x > 0$ (основание положительно)
• $x \ne 1$ (основание не единица)
• $2x + 3 > 0$ — при $x>0$ выполняется само

Шаг 2. По определению логарифма: $2x + 3 = x^2$.

Шаг 3. $x^2 - 2x - 3 = 0$, $D = 4 + 12 = 16$, $x_{1,2} = \dfrac{2 \pm 4}{2}$: $x_1 = 3$, $x_2 = -1$.

Шаг 4. Фильтруем: $x_2 = -1$ не годится, основание не может быть отрицательным. $x_1 = 3$ проходит все три условия.

Проверка: $\log_3(2\cdot3 + 3) = \log_3 9 = 2$ ✅

Ответ: $x = 3$

Пример 20 (средний, ловушка с единицей): реши $\log_{x-1}(3x - 5) = 1$

Решение:

Шаг 1. ОДЗ:

• $x - 1 > 0 \Rightarrow x > 1$
• $x - 1 \ne 1 \Rightarrow x \ne 2$
• $3x - 5 > 0 \Rightarrow x > \dfrac{5}{3}$

Итого: $x > \dfrac{5}{3}$ и $x \ne 2$.

Шаг 2. Логарифм равен единице тогда, когда аргумент равен основанию:

Шаг 3. $2x = 4$, значит $x = 2$.

Шаг 4. А теперь смотрим в ОДЗ: $x \ne 2$. Единственный кандидат исключён.

Проверим напрямую, чтобы прочувствовать: при $x = 2$ основание равно $2 - 1 = 1$, а запись $\log_1 3$ бессмысленна — никакая степень единицы не даёт тройку.

Ответ: корней нет

Пример 21 (сложный): реши $\log_{x-1}(2x - 1) = 2$

Решение:

Шаг 1. ОДЗ:

• $x - 1 > 0 \Rightarrow x > 1$
• $x - 1 \ne 1 \Rightarrow x \ne 2$
• $2x - 1 > 0 \Rightarrow x > 0{,}5$ — при $x>1$ выполняется само

Итого: $x > 1$, $x \ne 2$.

Шаг 2. По определению логарифма: $2x - 1 = (x - 1)^2$.

Шаг 3. Раскрываем: $2x - 1 = x^2 - 2x + 1$, то есть $x^2 - 4x + 2 = 0$.

$D = 16 - 8 = 8$, $\sqrt{D} = 2\sqrt2$, $x_{1,2} = \dfrac{4 \pm 2\sqrt2}{2} = 2 \pm \sqrt2$.

Шаг 4. Фильтруем. $\sqrt2 \approx 1{,}414$:

• $x_1 = 2 + \sqrt2 \approx 3{,}41$ — больше 1, не равен 2 ✅
• $x_2 = 2 - \sqrt2 \approx 0{,}59$ — меньше 1, основание $x-1 \approx -0{,}41$ отрицательно ❌

Проверка $x = 2+\sqrt2$: основание $x - 1 = 1 + \sqrt2$, его квадрат равен $1 + 2\sqrt2 + 2 = 3 + 2\sqrt2$. Аргумент: $2(2+\sqrt2) - 1 = 4 + 2\sqrt2 - 1 = 3 + 2\sqrt2$. Совпало ✅

Ответ: $x = 2 + \sqrt{2}$

Почему это важно

Уравнения с переменным основанием — концентрат всей темы: здесь ОДЗ не «формальность в начале», а инструмент, который реально решает задачу. В примере 20 всё решение уравнения заняло одну строку, а правильный ответ дала исключительно ОДЗ. Если бы ты её не выписал, ты бы бодро написал «$x = 2$» и получил ноль баллов за верную арифметику.

И это отличная тренировка более общего навыка: перед тем как что-то вычислять, проверь, что вычисляемый объект вообще существует. В коде это выглядит как проверка на пустой массив перед взятием среднего, на нулевую дисперсию перед стандартизацией признака, на нулевую вероятность перед логарифмированием. Математическая ОДЗ и программистская валидация входных данных — одна и та же дисциплина мышления.

Метод 7: монотонность и оценка

Интуиция

Есть уравнения, где логарифм соседствует с чем-то принципиально другим — с линейной функцией, с корнем, с показательной. Например:

Алгебраически это не решается никак: логарифм и многочлен «не сводятся» друг к другу. Но решение видно почти сразу — надо подобрать корень и доказать, что он единственный.

Инструмент доказательства — монотонность, и для него нам не нужны производные (они появятся только в уроке 133). Достаточно двух фактов, которые ты уже знаешь:

• Логарифмическая функция $y = \log_a x$ при $a>1$ строго возрастает: если $x_2 > x_1 > 0$, то $\log_a x_2 > \log_a x_1$
• Сумма двух возрастающих функций возрастает; возрастающая функция и убывающая пересекаются не более чем в одной точке

Определение: Метод монотонности: если в уравнении $f(x) = g(x)$ функция $f$ строго возрастает, а $g$ строго убывает (или постоянна) на общей области определения, то уравнение имеет не более одного корня. Найденный подбором корень является единственным.

Логика тут железная и не требует анализа: пусть корень $x_0$ найден. Возьмём любое $x_1 > x_0$. Тогда $f(x_1) > f(x_0)$ (возрастает), а $g(x_1) \le g(x_0)$ (убывает или постоянна). Значит $f(x_1) > g(x_1)$ — равенства нет. Симметрично при $x_1 < x_0$ получаем $f(x_1) < g(x_1)$. Больше корней быть не может.

Примеры с разбором

Пример 22 (средний): реши $\log_2 x = 3 - x$

Решение:

Шаг 1. ОДЗ: $x > 0$.

Шаг 2. Подбираем корень. Пробуем «круглые» значения, при которых логарифм считается устно:

• $x = 1$: слева $0$, справа $2$ — не равны
• $x = 2$: слева $\log_2 2 = 1$, справа $3 - 2 = 1$ — совпало ✅
• $x = 4$: слева $2$, справа $-1$ — не равны

Шаг 3. Доказываем единственность. Слева $f(x) = \log_2 x$ — строго возрастающая функция (основание $2 > 1$). Справа $g(x) = 3 - x$ — строго убывающая линейная функция. Возрастающая и убывающая функции могут совпасть не более чем в одной точке.

Шаг 4. Одна точка найдена, значит она единственная.

Ответ: $x = 2$

Пример 23 (сложный): реши $\log_3 x + \sqrt{x} = 5$

Решение:

Шаг 1. ОДЗ: $x > 0$ (и логарифм, и корень требуют этого; корень допускает и $x=0$, но логарифм — нет).

Шаг 2. Подбираем. Логарифм по основанию 3 «красив» при степенях тройки, корень — при квадратах. Число $9$ является и тем, и другим:

Шаг 3. Единственность. Обе функции — и $\log_3 x$, и $\sqrt{x}$ — строго возрастают на $(0; +\infty)$. Сумма двух строго возрастающих функций строго возрастает. Значит левая часть строго возрастает, а правая часть — постоянна ($5$). Строго возрастающая функция принимает каждое значение не более одного раза.

Шаг 4. Корень единственный.

Ответ: $x = 9$

💡 Обрати внимание, как выбирался кандидат: искали число, «удобное» сразу для обеих функций. Это общая эвристика — в уравнениях на монотонность корень почти всегда оказывается «круглым» относительно всех участвующих функций.

Почему это важно

Метод монотонности — это переход от «решить» к «доказать, что решений больше нет». Такое рассуждение в чистом виде переносится в прикладные задачи: если функция потерь строго убывает по параметру, а ограничение строго возрастает, точка их пересечения единственна — значит задача имеет ровно одно оптимальное решение, и любой метод поиска придёт именно туда. Именно на такой логике строятся доказательства сходимости для выпуклых задач: там тоже сначала показывают монотонность, а потом делают вывод о единственности.

Логарифмические уравнения в машинном обучении

Всё, что мы разобрали, работает не в вакууме. Ниже три сюжета, в которых логарифмические уравнения решаются буквально каждый день — и в каждом ОДЗ играет содержательную роль, а не формальную.

Сюжет 1: log-loss и обратный путь к вероятности

Функция потерь бинарной классификации для одного объекта:

где $y \in \{0, 1\}$ — истинная метка, $p \in (0;1)$ — предсказанная моделью вероятность класса 1.

Посмотри на ОДЗ этого выражения: нужно $p > 0$ и $1 - p > 0$, то есть $0 < p < 1$. Строго, без концов. Это не математическая придирка — это причина, по которой любая честная реализация log-loss обрезает вероятности: p = np.clip(p, 1e-15, 1 - 1e-15). Если модель когда-нибудь выдаст ровно $0$ или ровно $1$ и ошибётся, потери станут бесконечными, а градиент — неопределённым.

Обратная задача формулируется как уравнение. Пусть объект принадлежит классу 1 ($y=1$), тогда $L = -\ln p$, и вопрос «какую вероятность ставила модель» — это уравнение

Это простейшее логарифмическое уравнение, и постороннего корня здесь быть не может: $e^{-L} > 0$ всегда. Более того, поскольку $L>0$, автоматически $p<1$ — обе границы ОДЗ выполнены сами.

Пример 24 (средний): средний log-loss модели на классе 1 равен $0{,}3567$. Какой средней уверенности это соответствует?

Решение:

Шаг 1. Уравнение: $-\ln p = 0{,}3567$.

Шаг 2. $\ln p = -0{,}3567$, значит $p = e^{-0{,}3567}$.

Шаг 3. Замечаем, что $0{,}3567 \approx \ln\frac{10}{7} = \ln 10 - \ln 7 \approx 2{,}3026 - 1{,}9459 = 0{,}3567$. Значит $p = \dfrac{7}{10} = 0{,}7$.

Ответ: $p = 0{,}7$ — модель в среднем ставила правильному классу вероятность $0{,}7$.

📌 Полезные ориентиры, которые стоит помнить наизусть: log-loss $= \ln 2 \approx 0{,}693$ соответствует $p = 0{,}5$ (модель угадывает наугад), log-loss $\approx 0{,}357$ соответствует $p = 0{,}7$, log-loss $\approx 0{,}105$ — это $p = 0{,}9$.

Сюжет 2: логит и обратный переход к вероятности

Логистическая регрессия и последний слой нейросети с сигмоидой выдают не вероятность, а логит — логарифм отношения шансов:

Здесь ОДЗ — отдельная красивая история. Выражение $\frac{p}{1-p}$ положительно, когда $p$ и $1-p$ одного знака. «Оба плюс» даёт $0 < p < 1$. «Оба минус» требует одновременно $p<0$ и $p>1$ — невозможно. Значит ОДЗ записи $\ln\frac{p}{1-p}$ — это в точности $0не расширила. Не потому что расширение отменили, а потому что «отрицательная ветка» здесь оказалась пустой.

Обратный переход — решение уравнения относительно $p$:

Пример 25 (средний): модель выдала логит $z = 1{,}0986$. Какова вероятность?

Решение:

Шаг 1. Уравнение: $\ln\dfrac{p}{1-p} = 1{,}0986$.

Шаг 2. Потенцируем: $\dfrac{p}{1-p} = e^{1{,}0986} \approx 3$ (действительно, $\ln 3 \approx 1{,}0986$).

Шаг 3. В ОДЗ знаменатель положителен, умножаем: $p = 3(1 - p) = 3 - 3p$.

Шаг 4. $4p = 3$, значит $p = 0{,}75$.

Шаг 5. Проверяем ОДЗ: $0 < 0{,}75 < 1$ ✅

Ответ: $p = 0{,}75$

Если проделать то же самое в общем виде, получится знаменитая формула сигмоиды:

Сигмоида — это просто решение логарифмического уравнения, записанное как функция. И она автоматически даёт $p \in (0;1)$ при любом вещественном $z$: числитель положителен, а знаменатель больше числителя. То есть ОДЗ исходного уравнения встроена в саму формулу.

Сюжет 3: подбор коэффициента экспоненциального затухания

При обучении нейросети learning rate обычно уменьшают по закону экспоненциального затухания:

где $\eta_0$ — начальный learning rate, $t$ — номер эпохи, $\lambda > 0$ — коэффициент затухания. Практический вопрос ставится наоборот: «хочу, чтобы к эпохе $T$ learning rate упал до $\eta_T$ — какой взять $\lambda$?» Это логарифмическое уравнение относительно $\lambda$.

Пример 26 (средний): $\eta_0 = 0{,}1$, надо получить $\eta = 0{,}0125$ к 30-й эпохе. Найди $\lambda$.

Решение:

Шаг 1. Записываем условие: $0{,}1 \cdot e^{-30\lambda} = 0{,}0125$.

Шаг 2. Делим на $0{,}1$: $e^{-30\lambda} = 0{,}125 = \dfrac{1}{8}$.

Шаг 3. Логарифмируем обе части по основанию $e$ (обе части положительны — законно):

Шаг 4. $\lambda = \dfrac{3\ln 2}{30} = \dfrac{\ln 2}{10} \approx \dfrac{0{,}6931}{10} \approx 0{,}0693$.

Проверка: $e^{-30 \cdot 0{,}0693} = e^{-2{,}079} \approx 0{,}125$, умножаем на $0{,}1$: получаем $0{,}0125$ ✅

Ответ: $\lambda = \dfrac{\ln 2}{10} \approx 0{,}0693$

💡 Полезная интуиция: $\lambda = \frac{\ln 2}{k}$ означает «learning rate уменьшается вдвое каждые $k$ эпох». Это тот же язык, что и период полураспада в физике, и он гораздо понятнее, чем абстрактное «лямбда равна 0,0693». Когда настраиваешь планировщик, думай в периодах полураспада — а потом переводи в $\lambda$ логарифмом.

Практика: 30 заданий

Базовые (задания 1-10)

Задание 1: Реши уравнение $\log_3(x - 5) = 2$.

Задание 2: Реши уравнение $\log_5(3x - 2) = 2$.

Задание 3: Реши уравнение $\log_4 x = -\dfrac{1}{2}$.

Задание 4: Реши уравнение $\lg(x^2 - 3) = 0$.

Задание 5: Реши уравнение $\log_2(x + 4) = \log_2(3x - 2)$.

Задание 6: Реши уравнение $\log_2 x + \log_2(x - 1) = 1$.

Задание 7: Реши уравнение $\log_7(x^2 - 6x) = 1$.

Задание 8: Реши уравнение $\log_2^2 x - 3\log_2 x + 2 = 0$.

Задание 9: 🤖 Класс кодируют двоичным вектором: чтобы различить $N$ классов, нужно $k = \log_2 N$ бит. Модель использует $6$ бит. Сколько классов она различает?

Задание 10: 🤖 Для объекта класса 1 значение log-loss равно $-\ln p$, где $p$ — предсказанная вероятность. Модель получила log-loss $0{,}2231$. Какую вероятность она предсказала?

Средние (задания 11-20)

Задание 11: Реши уравнение $\lg(x - 2) + \lg(x - 3) = \lg 2$.

Задание 12: Реши уравнение $\log_5(x + 3) - \log_5(x - 1) = 1$.

Задание 13: Реши уравнение $\log_3 x + \log_9 x + \log_{81} x = 7$.

Задание 14: Реши уравнение $\log_{x-1} 9 = 2$.

Задание 15: Реши уравнение $\lg^2 x - 5\lg x + 4 = 0$.

Задание 16: Реши уравнение $\log_2(x - 1) + \log_2(x + 1) = 3$.

Задание 17: Реши уравнение $\log_3 x = 4 - x$.

Задание 18: 🤖 Нейросеть выдала логит $z = -0{,}8473$. Найди соответствующую вероятность из уравнения $\ln\dfrac{p}{1-p} = z$.

Задание 19: 🤖 Learning rate затухает по закону $\eta(t) = \eta_0 e^{-\lambda t}$. Начальное значение $\eta_0 = 0{,}2$, требуется получить $\eta = 0{,}025$ к 30-й эпохе. Найди $\lambda$.

Задание 20: 🤖 Softmax по двум классам даёт $p_1 = \dfrac{e^{z_1}}{e^{z_1} + e^{z_2}} = 0{,}8$. Найди разность логитов $d = z_1 - z_2$.

Продвинутые (задания 21-30)

Задание 21: Реши уравнение $\log_3^2 x - \log_3 x^4 + 3 = 0$.

Задание 22: Реши уравнение $\log_3 x + 2\log_x 3 = 3$.

Задание 23: Реши уравнение $x^{\lg x} = 100x$.

Задание 24: Реши уравнение $\log_{x-2}(2x^2 - 11x + 16) = 2$.

Задание 25: 🤖 При разборе слоя нейросети получилось уравнение $\log_2(4^x + 4) = x + \log_2(2^{x+1} - 3)$. Реши его.

Задание 26: 🤖 В фича-инжиниринге признак задали двумя способами: $u_1 = \lg(x^2 - 4)$ и $u_2 = \lg(x-2) + \lg(x+2)$. При каких $x$ они равны?

Задание 27: Реши уравнение $\log_2 x + x = 6$.

Задание 28: 🤖 Логистическая регрессия для одного объекта с признаком $x = 2$ и меткой $y = 1$ предсказывает $p = \dfrac{1}{1 + e^{-2w}}$. Log-loss на этом объекте равен $0{,}3567$. Найди вес $w$.

Задание 29: 🤖 Перплексия языковой модели связана с кросс-энтропией в битах формулой $\text{PPL} = 2^{H}$. До обучения $\text{PPL} = 32$, после — $\text{PPL} = 20$. Найди $H$ в обоих случаях и величину улучшения.

Задание 30: Реши два уравнения и объясни, почему ответы разные: (а) $\lg x^2 = \lg(x + 6)$; (б) $2\lg x = \lg(x + 6)$.

Частые ошибки

❌ Ошибка 1: не проверять ОДЗ после потенцирования — главный источник посторонних корней

Неправильно: решить $\log_2 x + \log_2(x-3) = 2$, получить $x^2 - 3x - 4 = 0$, корни $4$ и $-1$, и записать в ответ оба.

Правильно: ОДЗ исходного уравнения — система $x>0$ и $x-3>0$, то есть $x>3$. Корень $-1$ в неё не входит, и это не случайность: свёртка $\log_2 x + \log_2(x-3) \to \log_2\big(x(x-3)\big)$ расширила область допустимых значений с $x>3$ до $x<0$ или $x>3$. В добавленном куске и завёлся лишний корень. Ответ: $x = 4$.

💡 Почему важно: это самая частая ошибка в теме и главная причина потери баллов на экзамене. Правило простое: если ты хоть раз свернул сумму (или разность) логарифмов в один — обязан либо выписать ОДЗ и профильтровать корни, либо подставить каждого кандидата в исходное уравнение. Подстановка в промежуточное уравнение ничего не проверяет: там корень заведомо подходит, он оттуда и взялся.

❌ Ошибка 2: писать $\log_a f^2 = 2\log_a f$ без модуля — потеря настоящих корней

Неправильно: решать $\lg x^2 = \lg(x+6)$ так: «$2\lg x = \lg(x+6)$, значит $x^2 = x+6$, корни $3$ и $-2$, отрицательный отбрасываем, ответ $x=3$».

Правильно: запись $\lg x^2$ определена при $x \ne 0$, а $2\lg x$ — только при $x > 0$. Это разные выражения, тождество между ними такое: $\log_a f^2 = 2\log_a|f|$. В исходном уравнении ОДЗ — это $x \in (-6;0)\cup(0;+\infty)$, и корень $x = -2$ ей удовлетворяет: $\lg(-2)^2 = \lg 4$ и $\lg(-2+6) = \lg 4$. Ответ: $x = 3$ и $x = -2$.

💡 Почему важно: эта ошибка противоположна первой и намного коварнее. Первая даёт лишние корни — их отсеет проверка. Вторая сужает ОДЗ и корни теряет, а потерянный корень никакая проверка не вернёт: его нет в списке кандидатов. Запомни направления: свёртка суммы в произведение расширяет (лишние корни), вынос показателя за логарифм сужает (потерянные корни).

❌ Ошибка 3: механически вычёркивать любой отрицательный корень

Неправильно: в уравнении $\log_7(x^2 - 6x) = 1$ получить корни $7$ и $-1$ и отбросить $-1$ «потому что логарифм от отрицательного не бывает».

Правильно: ограничение накладывается на выражение под логарифмом, а не на саму переменную. При $x = -1$ выражение $x^2 - 6x$ равно $1 + 6 = 7 > 0$ — всё законно. Оба корня верны: ответ $x = 7$ и $x = -1$.

💡 Почему важно: «отрицательный — значит посторонний» — это ложное правило, которое стоит ровно столько же баллов, сколько и отсутствие проверки ОДЗ, просто с другой стороны. Единственный способ решить — подставить и посчитать знак аргумента. Кстати, в уравнении вида $\log_a f(x) = b$ с числовым $b$ ОДЗ выполняется автоматически: справа стоит $a^b > 0$, значит и $f(x) > 0$ гарантировано.

❌ Ошибка 4: забыть про условия на переменное основание ($a>0$, $a \ne 1$)

Неправильно: решить $\log_{x-1}(3x-5) = 1$ как «аргумент равен основанию»: $3x - 5 = x - 1$, значит $x = 2$, ответ $x = 2$.

Правильно: при $x = 2$ основание равно $x - 1 = 1$, а логарифм по основанию 1 не существует — никакая степень единицы не даст $3\cdot2-5 = 1$... точнее, даст только единицу, и уравнение $\log_1 1$ не определено. Единственный кандидат исключён по ОДЗ. Ответ: корней нет.

💡 Почему важно: переменное основание требует трёх условий, а не одного: $g(x)>0$, $g(x)\ne 1$, $f(x)>0$. Условие «не единица» проверяют реже всего — и именно на нём построены самые обидные ловушки в задачах. Возьми за правило: увидел $x$ в основании — сразу выписал все три неравенства, ещё до того как начал решать.

❌ Ошибка 5: путать $\log_a^2 x$, $\log_a x^2$ и $(\log_a x)\cdot 2$

Неправильно: в уравнении $\log_2^2 x - 3\log_2 x + 2 = 0$ прочитать первое слагаемое как $\log_2 x^2$ и написать $2\log_2 x - 3\log_2 x + 2 = 0$.

Правильно: договорённость такая: $\log_a^2 x$ означает $(\log_a x)^2$ — квадрат логарифма. А $\log_a x^2$ — это логарифм квадрата, он равен $2\log_a|x|$. В нашем уравнении стоит именно квадрат логарифма, поэтому замена $t = \log_2 x$ даёт квадратное уравнение $t^2 - 3t + 2 = 0$ с корнями $t=1$ и $t=2$, откуда $x = 2$ и $x = 4$.

💡 Почему важно: перепутав эти записи, ты решаешь совершенно другое уравнение — линейное вместо квадратного, и теряешь половину корней. Приём против путаницы: мысленно ставь скобки. Увидел $\log_a^2 x$ — читай «$(\log_a x)$ в квадрате», увидел $\log_a x^2$ — читай «логарифм от $(x^2)$».

❌ Ошибка 6: проверять корни подстановкой в промежуточное уравнение

Неправильно: решить $\lg(x-2) + \lg(x-3) = \lg 2$, получить $(x-2)(x-3) = 2$ и корни $4$, $1$, а потом «проверить»: подставить $x=1$ в $(x-2)(x-3)=2$, увидеть $(-1)(-2)=2$ ✅ и записать оба корня в ответ.

Правильно: проверка имеет смысл только относительно исходного уравнения. Подставляем $x=1$ туда: $\lg(1-2) = \lg(-1)$ — не существует, корень посторонний. Ответ: $x = 4$.

💡 Почему важно: промежуточное уравнение — это уже другая задача, с расширенной ОДЗ. Проверка в нём всегда проходит успешно для всех найденных корней (иначе они бы и не нашлись) и потому абсолютно бесполезна. Проверка — это возврат к самому первому, ещё не тронутому преобразованиями уравнению.

❌ Ошибка 7: терять корни при делении на выражение с переменной

Неправильно: в уравнении $\log_2 x \cdot \log_3 x = \log_2 x$ сократить обе части на $\log_2 x$ и получить $\log_3 x = 1$, то есть $x = 3$.

Правильно: делить на выражение можно только тогда, когда оно заведомо не равно нулю. Здесь $\log_2 x$ обращается в ноль при $x = 1$ — и $x=1$ действительно является корнем ($0 \cdot 0 = 0$ ✅). Правильный ход: перенести всё влево и разложить на множители:

Ответ: $x = 1$ и $x = 3$.

💡 Почему важно: это ошибка не логарифмическая, а общеалгебраическая, но в логарифмических уравнениях она встречается особенно часто, потому что $\log_a x = 0$ при $x=1$ выглядит «незаметно». Правило универсальное: вместо деления — разложение на множители.

Главное запомнить

✅ ОДЗ — часть уравнения, а не оформление. Для $\log_{g(x)} f(x)$ нужны три условия: $f(x)>0$, $g(x)>0$, $g(x)\ne1$. Если основание — число, остаётся только первое.

✅ Потенцирование расширяет ОДЗ. Переход $\log_a f = \log_a g \Rightarrow f = g$ снимает все ограничения, поэтому корни надо либо фильтровать по ОДЗ, либо проверять подстановкой в исходное уравнение.

✅ Свёртка суммы логарифмов — главный источник посторонних корней. Слева $\log_a f + \log_a g$ требует $f>0$ и $g>0$; справа $\log_a(fg)$ достаточно $fg>0$ — а это допускает и «оба минус». Отсюда лишние корни.

✅ Два законных подхода к ОДЗ: найти заранее и профильтровать, либо решить и проверить подстановкой. Второй быстрее, но работает только если все преобразования ОДЗ расширяли, а не сужали.

✅ Расширение даёт лишние корни (лечится проверкой), сужение теряет настоящие (проверкой не лечится). Формула $\log_a f^2 = 2\log_a f$ сужает — пиши $2\log_a|f|$, если знак $f$ неизвестен.

✅ В уравнении $\log_a f(x) = b$ с числовым $b$ посторонних корней не бывает: $a^b>0$ автоматически, ОДЗ выполнена сама.

✅ Отрицательный корень ≠ посторонний корень. Проверяется знак выражения под логарифмом, а не знак $x$.

✅ Замена $t = \log_a x$ безопасна: обратный переход $x = a^t$ всегда даёт положительное число, то есть всегда попадает в ОДЗ.

✅ Переменное основание — три условия и любимая ловушка «основание = 1». Часто именно она отсеивает единственный найденный корень.

✅ Логарифмировать обе части можно, если обе строго положительны — это равносильное преобразование, ничего не теряется и не добавляется.

✅ Метод монотонности: возрастающая функция против убывающей (или против константы) — не более одного корня. Подобрал — доказал единственность — закончил.

✅ $\log_a^2 x = (\log_a x)^2$, а $\log_a x^2 = 2\log_a|x|$ — разные объекты, различай их с первого взгляда.

Связь с другими темами курса

Что было раньше: урок 119 «Логарифмическая функция» дал фундамент — определение логарифма, свойства ($\log_a(fg)$, $\log_a\frac{f}{g}$, $\log_a f^k$, формула перехода к новому основанию), монотонность и график. Всё, что мы делали сегодня, — это применение тех свойств к уравнениям плюс дисциплина ОДЗ. Ещё раньше, в теме показательной функции, встретилась связка $y = a^x \leftrightarrow y = \log_a x$: именно взаимная обратность этих функций делает потенцирование законным. И, конечно, квадратные уравнения — почти каждый метод из урока заканчивается решением квадратного уравнения относительно $t$ или относительно $x$.

Что дальше: следующий урок 121 — логарифмические неравенства, и там всё сказанное про ОДЗ становится ещё важнее, плюс добавляется новый поворот: при основании $0 < a < 1$ знак неравенства переворачивается, потому что логарифм убывает. В уравнениях направление монотонности роли не играло (равенство есть равенство), а в неравенствах оно решает всё. Дальше по курсу логарифмы всплывут в показательно-логарифмических системах, а после урока 133 — в дифференцировании: производная $(\ln x)' = \frac1x$ окажется одной из самых полезных формул анализа, и метод логарифмического дифференцирования будет опираться ровно на приём «прологарифмируем обе части» из метода 5 этого урока.

Где это применяется в жизни и в ML/данных:

🤖 В машинном обучении: log-loss и кросс-энтропия (обратный переход от потерь к вероятности — это уравнение $-\ln p = L$), сигмоида как решение уравнения $\ln\frac{p}{1-p} = z$, softmax и разности логитов, перплексия языковых моделей $\text{PPL} = 2^H$, подбор коэффициента экспоненциального затухания learning rate, log-likelihood в методе максимального правдоподобия.

📊 В data science: логарифмическое преобразование скошенных признаков ($\ln(1+x)$) и обратный переход к исходной шкале, логарифмические шкалы на графиках, метрика RMSLE, оценка нужного числа бит на кодирование категорий.

🔬 В естественных науках: pH раствора ($\text{pH} = -\lg[\text{H}^+]$ — задача «какая концентрация даёт pH 5» это логарифмическое уравнение), период полураспада, уровень звука в децибелах, звёздные величины, шкала Рихтера.

💰 В финансах: расчёт срока вклада под сложный процент («через сколько лет сумма удвоится») — уравнение $(1+r)^t = 2$, решаемое логарифмированием обеих частей, ровно как в методе 5.

Интересные факты

💡 Спор о логарифме отрицательного числа длился полвека. В 1712–1713 годах Иоганн Бернулли и Готфрид Лейбниц спорили в переписке, чему равен $\log(-1)$. Бернулли утверждал, что $\log(-1) = \log 1 = 0$, опираясь на рассуждение $2\log(-1) = \log((-1)^2) = \log 1 = 0$. Лейбниц возражал, что логарифм отрицательного числа вообще не существует. Спор разрешил Эйлер в 1749 году: обе стороны ошибались, потому что у отрицательного числа логарифм существует, но он комплексный и определён неоднозначно ($\ln(-1) = i\pi + 2\pi i k$). А ошибка Бернулли была ровно та, которую мы разбираем в «Ошибке 2»: переход от $\log f^2$ к $2\log f$ незаконен без контроля знака.

💡 Слово «логарифм» придумал сам Непер — из греческих λόγος (отношение) и ἀριθμός (число), то есть «число отношения». Он мыслил логарифм кинематически: две точки движутся по прямым, одна равномерно, другая со скоростью, пропорциональной оставшемуся расстоянию, и логарифм — это соответствие между их положениями. Основания $e$ в его определении не было — оно возникло у Эйлера почти через полтора века.

💡 Логарифмическая линейка держалась 350 лет. Изобретённая Уильямом Отредом около 1622 года на основе таблиц Непера, она была главным вычислительным прибором инженеров вплоть до 1970-х. На логарифмических линейках рассчитывали конструкцию «Боинга-747» и траектории миссий «Аполлон» — программу высадки на Луну выполнили без единого карманного калькулятора. Работала линейка ровно на свойстве $\log(ab) = \log a + \log b$: умножение превращалось в складывание отрезков.

💡 Perplexity — переодетый логарифм. Метрика качества языковых моделей $\text{PPL} = 2^{H}$, где $H$ — кросс-энтропия в битах, это буквально «сколько равновероятных вариантов модель рассматривает на каждом токене». Когда в отчётах пишут «PPL упал с 32 до 20» — это то же самое, что «энтропия упала с 5 до 4,32 бита». Оба числа несут одну информацию, просто одно живёт в линейной шкале, а другое в логарифмической, и переход между ними — решение уравнения $2^H = \text{PPL}$.

💡 Обрезка вероятностей в коде — это ОДЗ, записанная на Python. Строчка p = np.clip(p, 1e-15, 1 - 1e-15) перед вычислением np.log(p) стоит в любой реализации кросс-энтропии. Смысл ровно тот же, что у школьного «$f(x) > 0$»: логарифм нуля не существует, и если этого не предусмотреть, обучение упадёт с nan в градиентах на первом же уверенно ошибшемся примере.

Лайфхаки и полезные трюки

1. Сначала посмотри, что справа

Если справа от знака равенства стоит число (как в $\log_a f(x) = b$), ОДЗ выполнится автоматически и проверять её не нужно: $a^b > 0$ при любом $b$. Если справа выражение с $x$ или ты сворачивал несколько логарифмов в один — проверка обязательна. Эта секундная оценка сразу говорит, будет ли в задаче охота на посторонние корни.

2. Проверяй самый простой аргумент, а не все подряд

В уравнении $\log_a f = \log_a g$ достаточно убедиться в положительности одного из аргументов — второй равен ему по самому уравнению, значит положителен автоматически. Выбирай тот, который проще: линейный вместо квадратного, короткий вместо длинного. Экономит половину работы над ОДЗ.

3. Выбирай подход к ОДЗ по числу корней

Если корней получилось один-два, а ОДЗ — система из трёх-четырёх неравенств, быстрее подставить корни в исходное уравнение, чем решать систему. Если наоборот — ОДЗ простая ($x>3$), а корней много — быстрее выписать ОДЗ. Оба подхода законны, выбирай по объёму работы. Одно исключение: если где-то применялась формула $\log f^2 \to 2\log f$ или свёртка вида $\log(fg) \to \log f + \log g$, полагаться на проверку нельзя — там корни уже потеряны.

4. Приводи логарифмы к самому маленькому основанию из встречающихся

В уравнении с $\log_2$, $\log_4$, $\log_8$ переходи к $\log_2$: получатся простые множители $1$, $\frac12$, $\frac13$. Если пойти в обратную сторону, к $\log_8$, коэффициенты станут $3$, $\frac32$, $1$ — считать неудобнее. Общее правило: целевое основание — то, степенями которого являются все остальные.

5. Ищи «взаимно обратные» логарифмы

Если в уравнении есть и $\log_a x$, и $\log_x a$ — это одна замена: $\log_x a = \frac{1}{\log_a x}$. Обозначь $t = \log_a x$, и получишь дробно-рациональное уравнение вида $t + \frac{k}{t} = c$, которое умножением на $t$ превращается в квадратное. Не забудь про $t \ne 0$ — это ровно условие $x \ne 1$.

6. Подбирая корень для метода монотонности, ищи «удобное сразу для всех» число

В уравнении $\log_3 x + \sqrt{x} = 5$ логарифму нравятся степени тройки ($3$, $9$, $27$), корню — квадраты ($4$, $9$, $16$). Пересечение — девятка, она и оказывается корнем. Такой «поиск по пересечению удобных значений» решает подавляющее большинство школьных задач на монотонность за десять секунд.

7. Держи в голове несколько логарифмических констант

$\ln 2 \approx 0{,}693$, $\ln 3 \approx 1{,}099$, $\ln 10 \approx 2{,}303$, $\log_2 10 \approx 3{,}32$, $\log_2 e \approx 1{,}443$. С ними ты будешь узнавать числа в прикладных задачах без калькулятора: увидел log-loss $0{,}693$ — сразу понял, что модель предсказывает $0{,}5$, то есть не научилась ничему. Увидел $\ln 3 \approx 1{,}099$ в логите — понял, что шансы три к одному, то есть $p = 0{,}75$.

8. Формулируй затухание в «периодах полураспада»

Вместо того чтобы подбирать $\lambda$ вслепую, реши, за сколько шагов $k$ величина должна уменьшиться вдвое, и возьми $\lambda = \frac{\ln 2}{k}$. Это тот же самый ответ, только полученный из осмысленного условия, а не из перебора. Логарифм здесь работает переводчиком между человеческим языком («вдвое за 10 эпох») и машинным («лямбда 0,0693»).

Логарифмические уравнения — это тема, где математика перестаёт быть про вычисления и становится про внимательность к тому, что вообще существует. Формально верное преобразование, применённое без оглядки на область определения, тихо подменяет задачу — и ты получаешь безупречно посчитанный неправильный ответ. Это ровно та ошибка, которая в реальной работе стоит дороже всего: код не падает, метрика считается, а результат неверный.

Зато навык, который ты здесь получаешь, переносится далеко за пределы школы. Проверить, что аргумент логарифма положителен, — то же самое, что проверить, что делитель не ноль, что массив не пуст, что вероятность не выродилась в единицу перед подстановкой в кросс-энтропию. Это одна и та же дисциплина: сначала убедись, что объект существует, потом считай.

Ты уже умеешь решать все семь типов логарифмических уравнений и — что важнее — понимаешь, откуда берутся посторонние корни и почему они не ошибка арифметики, а следствие подмены задачи. Дальше — логарифмические неравенства, где к этому добавится ещё один поворот: при основании меньше единицы знак неравенства переворачивается. Механика та же, но цена невнимательности выше. Разберём и это. 🚀