Показательные уравнения 🧮

Ты настраиваешь обучение нейросети. В конфиге написано: lr = 0.1 * 0.5 ** (epoch / 5) — learning rate стартует с $0{,}1$ и уменьшается вдвое каждые пять эпох. Обучение идёт, и в какой-то момент ты замечаешь: как только шаг падает ниже $0{,}0125$, модель фактически перестаёт учиться — веса почти не двигаются. Возникает совершенно конкретный вопрос: на какой эпохе это произойдёт? Ответ прячется в уравнении $0{,}1 \cdot 0{,}5^{t/5} = 0{,}0125$, где неизвестное сидит в показателе степени. Это и есть показательное уравнение.

В предыдущем уроке мы разобрали показательную функцию $y = a^x$ как объект: её область определения, область значений, монотонность, график, асимптоту. Теперь мы поворачиваем эту функцию другой стороной. Раньше мы спрашивали «какое значение получится, если подставить такой-то $x$». Сейчас спрашиваем наоборот: «какой $x$ надо подставить, чтобы получилось заданное значение». Это переход от описания функции к работе с ней — и именно здесь начинается настоящая алгебра.

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

И одна важная оговорка на входе. Уравнение $2^x = 5$ мы в этом уроке решать не будем — не потому, что оно сложное, а потому, что для него нужен отдельный инструмент, логарифм, который появится в курсе через два урока. Пока наш арсенал — точная алгебра: всё, что мы разберём сегодня, решается без логарифма, за счёт того, что обе части уравнения удаётся привести к общему основанию или свернуть в удобную конструкцию. Это не «упрощённая версия» — это фундамент, на котором логарифм потом просто расширит зону покрытия.

🎯 Ты узнаешь:

• Почему из равенства $a^{f(x)} = a^{g(x)}$ можно смело «сокращать основания» и какие два условия при этом обязаны выполняться
• Как приводить разные основания ($4$, $8$, $0{,}5$, $\sqrt{2}$, $\frac{1}{16}$) к одному и превращать хаос в линейное уравнение
• Как замена $t = a^x$ превращает показательное уравнение в квадратное — и почему условие $t > 0$ здесь не формальность, а рабочий фильтр
• Как решать однородные уравнения вида $A \cdot a^{2x} + B \cdot (ab)^x + C \cdot b^{2x} = 0$ делением на $b^{2x}$
• Как метод монотонности и метод оценки доказывают, что найденный корень — единственный, и где эти методы применяются при подборе гиперпараметров моделей

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

Идея «числа в показателе» вызревала долго. Французский математик Николя Шюке в рукописи «Triparty en la science des nombres» (1484 год) первым записал степени с нулевым и отрицательным показателем — до него степень мыслилась исключительно как повторное умножение, и «минус второй раз умножить» звучало как бессмыслица. Через шестьдесят лет немец Михаэль Штифель в «Arithmetica integra» (1544 год) сделал шаг, который сегодня кажется почти пророческим: он выписал в две строки арифметическую прогрессию $0, 1, 2, 3, 4, 5, \dots$ и геометрическую $1, 2, 4, 8, 16, 32, \dots$ и заметил, что сложению в верхней строке отвечает умножение в нижней. По сути, он держал в руках таблицу решений уравнения $2^x = N$ — но ещё не знал, что делать с промежуточными значениями.

Современная запись $a^n$ с числом-показателем справа сверху принадлежит Рене Декарту («La Géométrie», 1637 год) — до него степени обозначали словами и специальными значками, и никакого «уравнения с неизвестным в показателе» просто нельзя было аккуратно написать. Окончательно показательную функцию как непрерывный объект — определённый для любого вещественного показателя, а не только для целых и дробных — оформил Леонард Эйлер в «Introductio in analysin infinitorum» (1748 год). Именно Эйлер ввёл обозначение $e$ и показал, что $a^x$ можно рассматривать как единое целое, а не как набор отдельных вычислений. Только после этого фраза «решить уравнение $3^x = 9$» приобрела строгий смысл: найти такое вещественное $x$, при котором значения функции совпадут.

Дальше подключилась практика, и очень быстро. Томас Мальтус в «Опыте о законе народонаселения» (1798 год) описал рост населения как геометрическую прогрессию, а рост производства еды — как арифметическую, и вопрос «через сколько лет население удвоится» стал уравнением с неизвестным в показателе. Эрнест Резерфорд и Фредерик Содди в 1902 году сформулировали закон радиоактивного распада и ввели понятие периода полураспада — времени, за которое остаётся половина вещества; отсюда и типовое уравнение $N_0 \cdot 2^{-t/T} = N$. А сегодня ровно эта же математика живёт в конфигах машинного обучения: экспоненциальное затухание learning rate, скользящее среднее градиентов в оптимизаторе Adam с коэффициентом $\beta^n$, температура в softmax, затухание вклада старых токенов в рекуррентных сетях. Уравнение, которое Штифель угадывал в двух строчках чисел, теперь решается миллионы раз в день внутри чужих обучающих скриптов.

Метод 1: одинаковые основания — приравниваем показатели

Интуиция

Представь очень строгий турникет: он пропускает по пропускам, и у каждого сотрудника пропуск свой, неповторимый. Если на входе два человека предъявили пропуска и система говорит «это один и тот же пропуск» — значит, это один и тот же человек. Никаких совпадений быть не может, потому что номера не дублируются.

Показательная функция $y = a^x$ при $a > 0$ и $a \neq 1$ работает ровно так же. Она строго монотонна: при $a > 1$ строго возрастает, при $0 < a < 1$ строго убывает. Строгая монотонность означает, что разным $x$ отвечают обязательно разные значения — функция никогда не «возвращается» к уже принятому значению. Поэтому равенство значений автоматически означает равенство аргументов.

Давай разберёмся, почему условие $a \neq 1$ здесь критично. Возьми $a = 1$: тогда $1^5 = 1^{100} = 1^{-3} = 1$. Значения совпали, а показатели — совершенно разные. Единица — это «пропуск», выданный сразу всем: по нему информацию о владельце не восстановить. То же и с $a = 0$: $0^5 = 0^{100} = 0$. Поэтому основание обязано быть положительным и отличным от единицы — иначе «сокращать основания» нельзя.

Определение: Показательным уравнением называется уравнение, в котором неизвестное входит только в показатель степени при постоянных основаниях. Простейшее показательное уравнение имеет вид $a^x = b$, где $a > 0$, $a \neq 1$.

Основная теорема (о равносильности): Если $a > 0$ и $a \neq 1$, то уравнение

$$a^{f(x)} = a^{g(x)}$$

равносильно уравнению

$$f(x) = g(x)$$

на общей области определения выражений $f$ и $g$.

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

Ещё два факта, которые пригодятся постоянно:

• $a^x = 1$ равносильно $x = 0$ (при $a > 0$, $a \neq 1$), потому что $1 = a^0$
• $a^x = b$ не имеет корней при $b \leq 0$, потому что $a^x > 0$ всегда — область значений показательной функции это $(0; +\infty)$

Второй факт экономит уйму времени: увидел $5^x = -7$ или $3^{x+1} = 0$ — сразу пиши «корней нет», ничего решать не нужно.

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

Пример 1 (простой): реши уравнение $2^{3x-1} = 2^{x+5}$

Решение:

Шаг 1. Основания слева и справа одинаковые: $a = 2$, причём $2 > 0$ и $2 \neq 1$. Значит, теорема о равносильности применима.

Шаг 2. Приравниваем показатели:

Шаг 3. Решаем линейное уравнение:

Проверим наш ответ: при $x = 3$ слева $2^{3 \cdot 3 - 1} = 2^{8} = 256$, справа $2^{3 + 5} = 2^{8} = 256$ ✅

Ответ: $x = 3$

Пример 2 (средний): реши уравнение $5^{x^2 - 4} = 5^{3x}$

Решение:

Шаг 1. Основания совпадают ($a = 5$), приравниваем показатели:

Шаг 2. Переносим всё в одну сторону и получаем квадратное уравнение:

Шаг 3. Считаем дискриминант: $D = (-3)^2 - 4 \cdot 1 \cdot (-4) = 9 + 16 = 25$, $\sqrt{D} = 5$.

Шаг 4. Оба корня годятся: никаких ограничений на $x$ в исходном уравнении нет — показатель степени может быть любым вещественным числом.

Проверим наш ответ: при $x = 4$: слева $5^{16 - 4} = 5^{12}$, справа $5^{12}$ ✅. При $x = -1$: слева $5^{1 - 4} = 5^{-3}$, справа $5^{-3}$ ✅

Ответ: $x = 4$; $x = -1$

📌 Обрати внимание: показательное уравнение легко «прячет» внутри себя квадратное. Сама показательная часть решается в одну строку, а вся работа переезжает в обычную школьную алгебру.

Пример 3 (сложный): реши уравнение $0{,}2^{x^2 + x} = 1$

Решение:

Шаг 1. Справа стоит единица. Чтобы применить теорему, надо представить её как степень того же основания: $1 = 0{,}2^{0}$.

Шаг 2. Основание $0{,}2$ положительно и не равно единице, поэтому приравниваем показатели:

Шаг 3. Выносим общий множитель:

Проверим наш ответ: при $x = 0$ показатель равен $0$, и $0{,}2^{0} = 1$ ✅. При $x = -1$ показатель равен $1 - 1 = 0$, и снова $0{,}2^{0} = 1$ ✅

Ответ: $x = 0$; $x = -1$

Важный момент: тот факт, что основание меньше единицы (функция убывающая), на решение никак не повлиял. Убывание — это тоже строгая монотонность, а теорема требует именно строгости, а не направления. Разница между $a > 1$ и $0 < a < 1$ станет принципиальной только в следующем уроке, когда мы перейдём к неравенствам: там при $0 < a < 1$ знак неравенства придётся переворачивать.

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

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

В работе с данными этот приём встречается в самом прямом виде. Когда ты сравниваешь два экспоненциальных процесса — скажем, две схемы затухания learning rate или два прогноза роста трафика — и хочешь найти момент, когда они дадут одинаковый результат, ты получаешь ровно $a^{f(t)} = a^{g(t)}$ и сокращаешь основание. Момент пересечения двух экспонент с одинаковым основанием всегда находится точно, без всяких численных методов.

Метод 2: приведение к общему основанию

Интуиция

Представь, что тебе принесли счета в рублях, долларах и евро и попросили сложить. Первое, что ты сделаешь, — переведёшь всё в одну валюту. С основаниями степеней ровно то же самое: пока в уравнении встречаются $2$, $4$, $8$, $0{,}5$ и $\sqrt{2}$, ничего сравнивать нельзя. Но все эти числа — «разные купюры одной валюты»: каждое из них является степенью двойки.

Разберём по шагам общую процедуру. Ты находишь наименьшее «базовое» число, через которое выражаются все основания в уравнении (обычно это $2$, $3$, $5$ или $10$). Переписываешь каждую степень через это базовое основание, пользуясь правилом $(a^m)^n = a^{mn}$. Складываешь показатели там, где степени перемножаются: $a^m \cdot a^n = a^{m+n}$. И оказываешься в ситуации метода 1.

Ключевые свойства степеней (рабочий инструмент этого метода):

• $a^m \cdot a^n = a^{m+n}$ — при умножении показатели складываются
• $\dfrac{a^m}{a^n} = a^{m-n}$ — при делении вычитаются
• $(a^m)^n = a^{mn}$ — при возведении степени в степень перемножаются
• $a^{-n} = \dfrac{1}{a^n}$ — отрицательный показатель переворачивает дробь
• $\sqrt[n]{a^m} = a^{m/n}$ — корень это дробный показатель

Главная техническая ошибка здесь — путать $(a^m)^n = a^{mn}$ и $a^{m^n}$. Запись $2^{3^2}$ означает $2^9 = 512$ (сначала считается верхний этаж), а $(2^3)^2 = 2^6 = 64$. Это разные числа, и скобки тут решают всё.

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

Пример 1 (простой): реши уравнение $4^x = 32$

Решение:

Шаг 1. Основания $4$ и $32$ разные, но оба — степени двойки: $4 = 2^2$, $32 = 2^5$.

Шаг 2. Переписываем уравнение:

Шаг 3. Основания совпали — приравниваем показатели:

Проверим наш ответ: $4^{2{,}5} = (2^2)^{2{,}5} = 2^{5} = 32$ ✅

Ответ: $x = 2{,}5$

Пример 2 (средний): реши уравнение $9^{x-1} = 27^{2x-3}$

Решение:

Шаг 1. Оба основания — степени тройки: $9 = 3^2$, $27 = 3^3$.

Шаг 2. Переписываем обе части:

Шаг 3. Раскрываем скобки в показателях:

Шаг 4. Приравниваем показатели:

Проверим наш ответ: показатель слева $2 \cdot 1{,}75 - 2 = 1{,}5$, справа $6 \cdot 1{,}75 - 9 = 10{,}5 - 9 = 1{,}5$ — совпало ✅

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

📌 Типичная ловушка: при возведении степени в степень забыть скобки и написать $3^{2x-1}$ вместо $3^{2(x-1)}$. Показатель целиком умножается на внешний показатель — бери его в скобки сразу, до раскрытия.

Пример 3 (сложный): реши уравнение $\left(\sqrt{2}\right)^{x} \cdot 4^{x-1} = 8^{x/3}$

Решение:

Шаг 1. Приводим всё к основанию $2$:

Шаг 2. Переписываем каждый множитель:

Шаг 3. Слева стоит произведение степеней с одинаковым основанием — складываем показатели:

Уравнение принимает вид:

Шаг 4. Приравниваем показатели:

Шаг 5. Умножаем обе части на $2$, чтобы избавиться от дроби:

Проверим наш ответ: показатель слева $\frac{4/3}{2} + 2 \cdot \frac{4}{3} - 2 = \frac{2}{3} + \frac{8}{3} - 2 = \frac{10}{3} - \frac{6}{3} = \frac{4}{3}$; справа $x = \frac{4}{3}$ ✅

Ответ: $x = \dfrac{4}{3}$

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

Приведение к общему основанию — это навык «увидеть скрытую однородность». В задачах реального анализа данных он всплывает там, где одна и та же величина описана разными масштабами. Классика: размер модели в битах, байтах, килобайтах и гигабайтах — всё это степени двойки, и уравнение «сколько шагов квантования нужно, чтобы модель на 16 ГБ влезла в 2 ГБ видеопамяти» превращается в $16 \cdot 2^{-k} = 2$ ровно этим методом.

То же самое с временными шкалами. Если один процесс описан как «удваивается каждые 3 месяца», а другой как «растёт в 8 раз за год», сравнить их напрямую невозможно — пока не приведёшь оба к одному основанию: $8 = 2^3$, и всё встаёт на места. Умение переписать $a^{kx}$ через другое основание — это, по сути, умение сменить единицы измерения времени в экспоненциальной модели.

Метод 3: вынесение общего множителя за скобку

Интуиция

Посмотри на уравнение $2^{x+2} + 2^{x} = 20$. Кажется, что слева два разных объекта, но это иллюзия. Свойство $a^{m+n} = a^m \cdot a^n$ говорит, что $2^{x+2} = 2^x \cdot 2^2 = 4 \cdot 2^x$. То есть оба слагаемых — это одно и то же $2^x$, только помноженное на разные числовые коэффициенты. Как «4 яблока плюс 1 яблоко»: складывать можно сразу.

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

Признак метода: в уравнении есть несколько слагаемых со одинаковым основанием, показатели отличаются друг от друга на константу (например $x$, $x+1$, $x-2$, $x+3$). Тогда каждое слагаемое раскладывается как $a^{x + c} = a^{c} \cdot a^{x}$, и $a^x$ выносится за скобку.

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

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

Пример 1 (простой): реши уравнение $3^{x+1} + 3^{x} = 36$

Решение:

Шаг 1. Раскладываем первое слагаемое: $3^{x+1} = 3^x \cdot 3 = 3 \cdot 3^x$.

Шаг 2. Уравнение принимает вид:

Шаг 3. Выносим $3^x$ за скобку:

Шаг 4. Приводим к общему основанию: $9 = 3^2$, значит $3^x = 3^2$, откуда $x = 2$.

Проверим наш ответ: $3^{3} + 3^{2} = 27 + 9 = 36$ ✅

Ответ: $x = 2$

Пример 2 (средний): реши уравнение $2^{x+2} - 2^{x} - 2^{x-1} = 5$

Решение:

Шаг 1. Наименьший показатель здесь $x - 1$. Выносим за скобку именно $2^{x-1}$. Для этого распишем каждое слагаемое через него:

Шаг 2. Подставляем:

Шаг 3. Выносим общий множитель:

Шаг 4. Единица — это $2^0$, поэтому $x - 1 = 0$, откуда $x = 1$.

Проверим наш ответ: $2^{3} - 2^{1} - 2^{0} = 8 - 2 - 1 = 5$ ✅

Ответ: $x = 1$

📌 Заметь, как удобно оказалось выносить наименьшую степень: в скобке получились целые числа $8 - 2 - 1$. Если бы вынесли $2^{x+2}$, в скобке появились бы дроби $1 - \frac{1}{4} - \frac{1}{8}$ — считать сложнее, а результат тот же.

Пример 3 (сложный): реши уравнение $3^{x+1} + 3^{x} = 2^{x+3} + 2^{x}$

Решение:

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

Шаг 1. Слева выносим $3^x$:

Шаг 2. Справа выносим $2^x$:

Шаг 3. Уравнение приняло компактный вид:

Шаг 4. Делим обе части на $2^x$. Это абсолютно законно: $2^x > 0$ при любом $x$, на ноль мы не делим и корней не теряем.

Шаг 5. Замечаем, что $\dfrac{9}{4} = \dfrac{3^2}{2^2} = \left(\dfrac{3}{2}\right)^2$. Значит:

Проверим наш ответ: слева $3^{3} + 3^{2} = 27 + 9 = 36$; справа $2^{5} + 2^{2} = 32 + 4 = 36$ ✅

Ответ: $x = 2$

📌 Ключевой момент этого примера — деление на $b^x$. Оно всегда безопасно, потому что показательная функция никогда не обращается в ноль. Это тот самый приём, на котором построен метод однородных уравнений (метод 5) — там мы применим его в более мощной форме.

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

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

В прикладных задачах эта структура появляется каждый раз, когда суммируются вклады одного и того же экспоненциального процесса в разные моменты времени. В скользящем среднем с коэффициентом затухания $\beta$ суммарный вес трёх подряд идущих наблюдений равен $\beta^{n} + \beta^{n+1} + \beta^{n+2} = \beta^{n}(1 + \beta + \beta^2)$ — та же самая скобка. Умение мгновенно свернуть такую сумму — половина всех выкладок при анализе экспоненциальных схем взвешивания в оптимизаторах вроде Adam и RMSProp.

Метод 4: замена переменной $t = a^x$

Интуиция

Посмотри на уравнение $4^x - 5 \cdot 2^x + 4 = 0$. На первый взгляд — каша: разные основания, разные степени. Но заметь: $4^x = (2^2)^x = 2^{2x} = (2^x)^2$. То есть первое слагаемое — это квадрат второго. Обозначь $t = 2^x$, и уравнение мгновенно превращается в

Обычное квадратное уравнение, которое ты решаешь с закрытыми глазами.

Представь, что перед тобой текст на незнакомом языке, но кто-то дал словарь из одного слова: «везде, где написано $2^x$, читай $t$». После такой подстановки текст становится родным. А когда ты нашёл $t$, ты возвращаешься обратно по тому же словарю — решаешь простейшее уравнение $2^x = t$.

Но есть одна деталь, которую пропускают чаще всего остального в этой теме. Переменная $t$ — это не абстрактная буква, она равна $a^x$, а значит строго положительна:

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

Определение: Показательное уравнение сводится к алгебраическому заменой $t = a^x$, если все входящие в него степени являются целыми степенями одного и того же выражения $a^x$. Обязательное условие замены: $t > 0$.

Как распознать этот тип? По «квадратной структуре»: в уравнении встречаются $a^{2x}$ (или $a^{2x}$ в маскировке — $4^x$ при $a=2$, $9^x$ при $a=3$, $25^x$ при $a=5$) и $a^{x}$, а также свободный член.

Полезная таблица маскировок:

• $4^x = (2^x)^2$, $8^x = (2^x)^3$, $16^x = (2^x)^4$
• $9^x = (3^x)^2$, $27^x = (3^x)^3$
• $25^x = (5^x)^2$
• $a^{2x+1} = a \cdot (a^x)^2$ — не забудь вытащить постоянный множитель
• $a^{-x} = \dfrac{1}{a^x} = \dfrac{1}{t}$

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

Пример 1 (простой): реши уравнение $4^x - 6 \cdot 2^x + 8 = 0$

Решение:

Шаг 1. Замечаем: $4^x = (2^x)^2$. Вводим замену $t = 2^x$, где $t > 0$.

Шаг 2. Уравнение превращается в квадратное:

Шаг 3. Дискриминант: $D = 36 - 32 = 4$, $\sqrt{D} = 2$.

Шаг 4. Проверяем условие $t > 0$: оба корня положительны, оба годятся.

Шаг 5. Возвращаемся к переменной $x$:

Проверим наш ответ: при $x = 2$: $16 - 6 \cdot 4 + 8 = 16 - 24 + 8 = 0$ ✅. При $x = 1$: $4 - 6 \cdot 2 + 8 = 4 - 12 + 8 = 0$ ✅

Ответ: $x = 1$; $x = 2$

Пример 2 (средний): реши уравнение $4^x - 3 \cdot 2^x - 4 = 0$

Решение:

Шаг 1. Замена $t = 2^x$, $t > 0$. Получаем:

Шаг 2. Дискриминант: $D = 9 + 16 = 25$, $\sqrt{D} = 5$.

Шаг 3. А вот теперь работает фильтр. Корень $t_2 = -1$ отбрасываем: не существует такого $x$, при котором $2^x = -1$, ведь показательная функция принимает только положительные значения. Если бы мы этого не заметили, мы бы попытались решить $2^x = -1$ и в лучшем случае застряли, в худшем — написали неверный ответ.

Шаг 4. Возвращаемся: $2^x = 4 = 2^2$, откуда $x = 2$.

Проверим наш ответ: $4^2 - 3 \cdot 2^2 - 4 = 16 - 12 - 4 = 0$ ✅

Ответ: $x = 2$

📌 Запомни этот момент: отрицательный или нулевой корень для $t$ отбрасывается всегда, без исключений. Это главный «фильтр качества» в методе замены.

Пример 3 (сложный): реши уравнение $3^{2x+1} - 10 \cdot 3^{x} + 3 = 0$

Решение:

Шаг 1. Разбираем первое слагаемое. Показатель $2x + 1$ раскладывается: $3^{2x+1} = 3^{2x} \cdot 3^{1} = 3 \cdot (3^x)^2$. Постоянный множитель обязательно вытаскиваем наружу — это самое частое место ошибки.

Шаг 2. Замена $t = 3^x$, $t > 0$:

Шаг 3. Дискриминант: $D = 100 - 4 \cdot 3 \cdot 3 = 100 - 36 = 64$, $\sqrt{D} = 8$.

Шаг 4. Оба корня положительны — оба проходят фильтр.

Шаг 5. Обратная подстановка:

Проверим наш ответ: при $x = 1$: $3^{3} - 10 \cdot 3 + 3 = 27 - 30 + 3 = 0$ ✅. При $x = -1$: $3^{-1} - 10 \cdot 3^{-1} + 3 = \frac{1}{3} - \frac{10}{3} + 3 = -3 + 3 = 0$ ✅

Ответ: $x = -1$; $x = 1$

Отдельный подтип: уравнения вида $a^x + a^{-x} = c$. Здесь замена $t = a^x$ даёт $t + \frac{1}{t} = c$, и после умножения на $t$ получается $t^2 - ct + 1 = 0$. Умножение на $t$ безопасно ровно потому, что $t > 0$ — мы не умножаем на ноль и не приобретаем посторонних корней. Такое уравнение мы разберём в задании 24.

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

Замена переменной — самый универсальный из «алгебраических» методов и одновременно самый показательный с точки зрения математического мышления. Идея «увидеть в сложном объекте простую структуру и на время дать ей одно имя» работает далеко за пределами показательных уравнений: так же устроены биквадратные уравнения, тригонометрические подстановки, и — в машинном обучении — вся идея признакового пространства. Когда ты добавляешь в линейную модель признак $x^2$ и она начинает ловить нелинейность, ты делаешь ровно то же самое: заменяешь переменную так, чтобы задача стала линейной в новых координатах. Ядровой трюк (kernel trick) в SVM — это та же мысль, доведённая до предела.

Условие $t > 0$ тоже имеет прямой прикладной смысл. Экспоненциальные величины в моделях — вероятности до нормализации, веса скользящего среднего, множители затухания — по построению положительны. Когда решение уравнения выдаёт отрицательный «вес» или отрицательную «вероятность», это не экзотика, а сигнал: одна из ветвей решения физически невозможна, и её надо отбросить. Тот же самый фильтр, только в проде.

Метод 5: однородные показательные уравнения

Интуиция

Есть особый тип уравнений, где встречаются три основания, связанные между собой: $a^{2x}$, $(ab)^x$ и $b^{2x}$. Например:

Заметь связь: $4 = 2^2$, $9 = 3^2$, а $6 = 2 \cdot 3$ — среднее основание есть произведение двух крайних. Такое уравнение называется однородным: каждое слагаемое имеет «одинаковую суммарную степень» по двойке и тройке (в сумме показатели дают $2x$).

Представь рецепт коктейля, где важны не абсолютные объёмы, а пропорция ингредиентов. Удвой оба ингредиента — вкус не изменится. В однородном уравнении происходит то же самое: ответ зависит не от $2^x$ и $3^x$ по отдельности, а только от их отношения $\left(\frac{2}{3}\right)^x$. Поэтому мы делим всё уравнение на одну из крайних степеней — и в уравнении остаётся одна переменная вместо двух.

Разберём по шагам. Делим на $b^{2x}$ (скажем, на $9^x$). Это безопасно: $9^x > 0$ всегда, деления на ноль нет, корни не теряются. Получаем:

Замечаем: $\left(\frac{4}{9}\right)^x = \left(\left(\frac{2}{3}\right)^2\right)^x = \left(\left(\frac{2}{3}\right)^x\right)^2$ и $\left(\frac{6}{9}\right)^x = \left(\frac{2}{3}\right)^x$. Замена $u = \left(\frac{2}{3}\right)^x > 0$ даёт квадратное уравнение $3u^2 - 5u + 2 = 0$.

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

$$A \cdot a^{2x} + B \cdot (ab)^x + C \cdot b^{2x} = 0,$$

где $a > 0$, $b > 0$, а $A$, $B$, $C$ — числа. Оно решается делением обеих частей на $b^{2x}$ (или на $a^{2x}$) с последующей заменой $u = \left(\frac{a}{b}\right)^x > 0$.

Как узнать однородное уравнение в лицо: три слагаемых, три основания, и среднее основание — среднее геометрическое крайних: $\sqrt{a^2 \cdot b^2} = ab$. Проверь: $4 \cdot 9 = 36 = 6^2$ ✅; $9 \cdot 4 = 36$, $6^2 = 36$ ✅; $25 \cdot 4 = 100 = 10^2$ ✅ (тройка $25^x$, $10^x$, $4^x$).

Делить можно на любое из крайних оснований — выбирай то, после которого коэффициенты получаются приятнее.

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

Пример 1 (простой): реши уравнение $2 \cdot 9^x - 5 \cdot 6^x + 3 \cdot 4^x = 0$

Решение:

Шаг 1. Проверяем однородность: $9 = 3^2$, $4 = 2^2$, $6 = 2 \cdot 3$ ✅. Уравнение однородное.

Шаг 2. Делим обе части на $4^x$ (это законно, $4^x > 0$):

Шаг 3. Приводим к одной базе: $\dfrac{9}{4} = \left(\dfrac{3}{2}\right)^2$ и $\dfrac{6}{4} = \dfrac{3}{2}$. Обозначим $u = \left(\dfrac{3}{2}\right)^x$, где $u > 0$:

Шаг 4. Дискриминант: $D = 25 - 24 = 1$, $\sqrt{D} = 1$.

Шаг 5. Оба корня положительны. Возвращаемся:

Проверим наш ответ: при $x = 0$: $2 - 5 + 3 = 0$ ✅. При $x = 1$: $2 \cdot 9 - 5 \cdot 6 + 3 \cdot 4 = 18 - 30 + 12 = 0$ ✅

Ответ: $x = 0$; $x = 1$

Пример 2 (средний): реши уравнение $3^{2x} + 2 \cdot 3^{x} \cdot 2^{x} - 3 \cdot 4^{x} = 0$

Решение:

Шаг 1. Перепишем среднее слагаемое: $3^x \cdot 2^x = (3 \cdot 2)^x = 6^x$. Уравнение однородное с основаниями $9$, $6$, $4$.

Шаг 2. Делим на $4^x > 0$ и обозначаем $u = \left(\dfrac{3}{2}\right)^x > 0$:

Шаг 3. Дискриминант: $D = 4 + 12 = 16$, $\sqrt{D} = 4$.

Шаг 4. Корень $u_2 = -3$ отбрасываем: $u = \left(\frac{3}{2}\right)^x$ строго положителен.

Шаг 5. Остаётся $\left(\dfrac{3}{2}\right)^x = 1 = \left(\dfrac{3}{2}\right)^0$, откуда $x = 0$.

Проверим наш ответ: при $x = 0$: $1 + 2 \cdot 1 - 3 = 0$ ✅

Ответ: $x = 0$

Пример 3 (сложный): реши уравнение $12 \cdot 9^{x} - 35 \cdot 6^{x} + 18 \cdot 4^{x} = 0$

Решение:

Шаг 1. Однородность проверена: $9 \cdot 4 = 36 = 6^2$ ✅.

Шаг 2. Делим на $4^x > 0$, замена $u = \left(\dfrac{3}{2}\right)^x > 0$:

Шаг 3. Дискриминант: $D = 35^2 - 4 \cdot 12 \cdot 18 = 1225 - 864 = 361$, $\sqrt{D} = 19$.

Шаг 4. Оба положительны. Обратная подстановка:

Проверим наш ответ: при $x = 2$: $12 \cdot 81 - 35 \cdot 36 + 18 \cdot 16 = 972 - 1260 + 288 = 0$ ✅. При $x = -1$: $12 \cdot \frac{1}{9} - 35 \cdot \frac{1}{6} + 18 \cdot \frac{1}{4} = \frac{4}{3} - \frac{35}{6} + \frac{9}{2}$. Приведём к шестым долям: $\frac{8}{6} - \frac{35}{6} + \frac{27}{6} = \frac{0}{6} = 0$ ✅

Ответ: $x = -1$; $x = 2$

📌 Обрати внимание на второй корень: $\dfrac{2}{3}$ — это «перевёрнутая» база, то есть $\left(\frac{3}{2}\right)^{-1}$. Умение мгновенно узнавать обратную дробь как степень с показателем $-1$ экономит много времени.

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

Однородные уравнения — это математическая формализация идеи «важна пропорция, а не абсолютные величины». Ровно на этом принципе устроены многие вещи в анализе данных. Softmax зависит только от разностей логитов: если прибавить ко всем логитам одну и ту же константу, вероятности не изменятся — потому что общий множитель $e^{c}$ сокращается в числителе и знаменателе. Это в точности то же самое сокращение, что и деление однородного уравнения на $b^{2x}$.

Та же логика лежит в основе отношения правдоподобий (likelihood ratio) и байесовского фактора: два конкурирующих экспоненциальных закона сравниваются через их отношение, и абсолютные нормировки сокращаются. Когда ты в следующий раз увидишь в статье формулу с отношением двух экспонент — знай, что за ней стоит однородность.

Метод 6: оценка и монотонность — когда корень единственный

Интуиция

Иногда уравнение вообще не поддаётся алгебре. Например:

Здесь нечего вынести, нечего заменить, основания не сводятся. Но корень при этом виден невооружённым глазом: $x = 2$ даёт $9 + 16 = 25$ ✅. Вопрос в другом: а других корней точно нет? Подобрать корень легко; доказать, что он единственный, — вот настоящая работа.

Представь лифт, который едет только вверх и никогда не останавливается. Он проходит каждый этаж ровно один раз. Если ты знаешь, что он был на седьмом этаже в 14:00, то никакого другого момента, когда он был на седьмом, не существует. Строго монотонная функция — это такой лифт.

Есть два рабочих сценария.

Сценарий A — монотонность. Уравнение имеет вид $f(x) = g(x)$, где $f$ строго возрастает, а $g$ строго убывает (или постоянна). Тогда графики пересекаются не более чем в одной точке, значит корень не более одного. Нашёл один подбором — это и есть ответ.

Сценарий B — оценка (метод «зажима»). Ты доказываешь, что левая часть всегда $\geq M$, а правая всегда $\leq M$. Тогда равенство возможно только там, где обе части равны ровно $M$ одновременно. Решаешь получившуюся систему — и всё.

Утверждение (о единственности корня): Если на промежутке функция $f$ строго возрастает, а функция $g$ строго убывает или постоянна, то уравнение $f(x) = g(x)$ имеет на этом промежутке не более одного корня.

Почему это верно без всякой производной? Возьми два числа $x_1 < x_2$. Тогда $f(x_1) < f(x_2)$ (возрастание) и $g(x_1) \geq g(x_2)$ (убывание или постоянство). Значит, разность $h(x) = f(x) - g(x)$ удовлетворяет $h(x_1) < h(x_2)$ — то есть $h$ строго возрастает и обращается в ноль максимум один раз. Чистая логика знаков разности, никакого анализа.

Полезные факты о монотонности, которые мы используем:

• $a^x$ строго возрастает при $a > 1$ и строго убывает при $0 < a < 1$
• Сумма строго возрастающих функций строго возрастает; сумма строго убывающих строго убывает
• Если $f$ строго возрастает, то $-f$ и $C - f$ строго убывают
• Линейная функция $kx + b$ строго возрастает при $k > 0$ и строго убывает при $k < 0$
• Для любого $y > 0$ верно $y + \dfrac{1}{y} \geq 2$, причём равенство достигается только при $y = 1$

Последний факт — «неравенство о среднем» — доказывается в одну строку: $y + \frac{1}{y} - 2 = \frac{y^2 - 2y + 1}{y} = \frac{(y-1)^2}{y} \geq 0$ при $y > 0$.

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

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

Решение:

Шаг 1. Подбираем корень. При $x = 1$: слева $3^1 = 3$, справа $4 - 1 = 3$. Совпало — корень найден.

Шаг 2. Доказываем единственность. Функция $f(x) = 3^x$ строго возрастает (основание $3 > 1$). Функция $g(x) = 4 - x$ строго убывает (коэффициент при $x$ отрицательный).

Шаг 3. По утверждению о единственности, возрастающая и убывающая функции пересекаются не более чем в одной точке. Одну точку мы нашли — значит, она единственная.

Проверим наш ответ: $3^1 = 3$ и $4 - 1 = 3$ ✅

Ответ: $x = 1$

Пример 2 (средний): реши уравнение $2^x + 5^x = 7^x$

Решение:

Шаг 1. Разделим обе части на $7^x$. Это законно: $7^x > 0$ при любом $x$.

Шаг 2. Подбираем корень: при $x = 1$ получаем $\dfrac{2}{7} + \dfrac{5}{7} = 1$ ✅.

Шаг 3. Доказываем единственность. Основания $\dfrac{2}{7}$ и $\dfrac{5}{7}$ оба лежат в интервале $(0; 1)$, значит каждая из функций $\left(\frac{2}{7}\right)^x$ и $\left(\frac{5}{7}\right)^x$ строго убывает. Сумма двух строго убывающих функций строго убывает.

Шаг 4. Строго убывающая функция принимает значение $1$ не более одного раза. Значит, $x = 1$ — единственный корень.

Ответ: $x = 1$

📌 Приём «поделить на самое большое основание» — стандартный для уравнений вида $a^x + b^x = c^x$. После деления слева получается сумма убывающих функций, справа константа — и дальше всё решает монотонность.

Пример 3 (сложный): реши уравнение $2^x + 2^{-x} = 2 - x^2$

Решение:

Здесь монотонности нет ни слева, ни справа — работает метод оценки.

Шаг 1. Оцениваем левую часть снизу. Обозначим $y = 2^x > 0$; тогда $2^{-x} = \dfrac{1}{y}$, и левая часть равна $y + \dfrac{1}{y}$. По неравенству о среднем:

Значит, левая часть $\geq 2$, и равенство достигается только когда $2^x = 1$, то есть при $x = 0$.

Шаг 2. Оцениваем правую часть сверху:

Шаг 3. Итак, левая часть не меньше $2$, а правая не больше $2$. Равенство возможно только в случае, когда обе части одновременно равны ровно $2$:

Первое условие даёт $x = 0$, второе — тоже $x = 0$. Условия согласованы.

Шаг 4. Проверим наш ответ подстановкой: при $x = 0$ слева $1 + 1 = 2$, справа $2 - 0 = 2$ ✅

Ответ: $x = 0$

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

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

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

В машинном обучении это встречается напрямую при подборе гиперпараметров. Например, температура $T$ в softmax: чем меньше $T$, тем «острее» распределение вероятностей. Величина «уверенности» модели монотонно зависит от $T$, поэтому уравнение «подбери $T$ так, чтобы максимальная вероятность равнялась $0{,}9$» имеет ровно один корень — и его можно безопасно искать бинарным поиском. То же с подбором порога классификации по заданному уровню полноты (recall): монотонность гарантирует, что бинарный поиск сойдётся к единственному правильному ответу, а не к случайному из нескольких.

Показательные уравнения в машинном обучении

Разберём три сюжета, где показательные уравнения возникают не как учебное упражнение, а как рабочая задача.

Сюжет 1: параметр экспоненциального затухания learning rate

Самая популярная схема расписания шага обучения — экспоненциальное затухание:

где $\eta_0$ — стартовый шаг, $t$ — номер эпохи, $\gamma$ — коэффициент затухания. Практический вопрос звучит так: «Я хочу, чтобы за $20$ эпох шаг упал ровно в $32$ раза. Какой $\gamma$ поставить?»

Решение:

Шаг 1. Записываем условие: $\eta(20) = \dfrac{\eta_0}{32}$, то есть

Шаг 2. Делим на $\eta_0 > 0$:

Шаг 3. Здесь неизвестное стоит в основании, а не в показателе, поэтому это степенное, а не показательное уравнение — извлекаем корень:

Проверим наш ответ: $\left(2^{-1/4}\right)^{20} = 2^{-5} = \dfrac{1}{32}$ ✅

Ответ: $\gamma = 2^{-1/4} \approx 0{,}84$

А вот обратная задача — уже показательное уравнение. «Задан $\gamma = 0{,}5$ на каждые $5$ эпох: $\eta(t) = 0{,}1 \cdot 0{,}5^{t/5}$. На какой эпохе шаг станет равен $0{,}0125$?»

Именно это уравнение стояло в начале урока. Ответ: на пятнадцатой эпохе.

Сюжет 2: подбор температуры в softmax

Функция softmax превращает набор логитов $z_1, z_2, \dots, z_n$ в вероятности. С температурой $T$ она выглядит так:

Обычно в качестве основания берут $e$, но математически подойдёт любое $a > 1$ — для ручного счёта удобно взять $a = 2$. Ключевое свойство: отношение двух вероятностей не зависит от знаменателя:

Это и есть однородность из метода 5 — общий нормировочный множитель сокращается.

Задача. У двух классов логиты отличаются на $3$: $z_1 - z_2 = 3$. Инженер хочет, чтобы при основании $a = 2$ первый класс был вероятнее второго ровно в $64$ раза. Какую температуру поставить?

Решение:

Шаг 1. Записываем условие:

Шаг 2. Приводим к общему основанию: $64 = 2^6$.

Проверим наш ответ: при $T = 0{,}5$ отношение равно $2^{3/0{,}5} = 2^{6} = 64$ ✅

Ответ: $T = 0{,}5$

Смысл ответа содержательный: температура меньше единицы делает распределение «острее» (разрыв между классами усиливается), температура больше единицы — «мягче». При очень больших $T$ показатель $\frac{3}{T}$ становится близким к нулю, отношение приближается к $2^0 = 1$, и все классы становятся почти равновероятными. Ровно поэтому в генерации текста высокая температура даёт «творческую» модель, а низкая — предсказуемую.

Сюжет 3: период полураспада и время удвоения

Два зеркальных понятия, которые описываются одним и тем же уравнением.

Определение: Период полураспада $T_{1/2}$ — время, за которое убывающая экспоненциальная величина уменьшается вдвое: $N(t) = N_0 \cdot 2^{-t/T_{1/2}}$. Время удвоения $T_2$ — время, за которое растущая величина увеличивается вдвое: $N(t) = N_0 \cdot 2^{t/T_2}$.

Задача. Активность пользователей после установки приложения падает вдвое каждые $12$ дней. Через сколько дней в приложении останется $6{,}25\%$ от исходной когорты?

Решение:

Шаг 1. Модель: $q(t) = 2^{-t/12}$, где $q$ — доля оставшихся.

Шаг 2. Условие: $6{,}25\% = 0{,}0625 = \dfrac{1}{16} = 2^{-4}$.

Шаг 3. Приравниваем показатели:

Проверим наш ответ: за $48$ дней проходит $48 : 12 = 4$ периода полураспада, доля равна $\left(\frac{1}{2}\right)^4 = \frac{1}{16} = 6{,}25\%$ ✅

Ответ: $48$ дней

Тот же приём работает и в обратную сторону — для роста. Если объём обучающих датасетов удваивается каждые $18$ месяцев, то вопрос «через сколько лет данных станет в $256$ раз больше» — это уравнение $2^{t/18} = 2^{8}$, откуда $t = 144$ месяца, то есть $12$ лет.

📌 Общее правило: если отношение конечного значения к начальному является целой степенью двойки (или основания модели), ответ получается точно, без логарифма. Если нет — нужен логарифм, и об этом ниже.

Где заканчивается алгебра: анонс логарифма

Все шесть методов объединяет одна общая черта: они работают, когда обе части уравнения удаётся привести к одному основанию — точно, без остатка. Но что делать с уравнением

Здесь $5$ не является целой (и даже рациональной) степенью двойки. Корень существует — это видно из свойств показательной функции: $2^x$ непрерывно растёт от значений, сколь угодно близких к нулю, до бесконечности, и по дороге обязательно проходит через $5$ ровно один раз. Мы даже можем его зажать: $2^2 = 4 < 5 < 8 = 2^3$, значит $2 < x < 3$. Можем уточнить: $2^{2{,}3} \approx 4{,}92$, $2^{2{,}4} \approx 5{,}28$, значит $2{,}3 < x < 2{,}4$. Но записать этот корень точно нашими нынешними средствами невозможно.

Ровно для этого в математике и придумали логарифм — специальное обозначение для «того самого показателя»: $x = \log_2 5$. Мы введём его в уроке 116, разберём свойства в уроке 117, и после этого показательные уравнения станут решаться вообще всегда: логарифмирование обеих частей превращает любое $a^{f(x)} = b^{g(x)}$ в алгебраическое уравнение.

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

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

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

Задание 1: Реши уравнение $2^x = 64$.

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

Задание 3: Реши уравнение $\left(\dfrac{1}{5}\right)^{x} = 25$.

Задание 4: Реши уравнение $7^{x^2 - 3x} = 1$.

Задание 5: Реши уравнение $4^x = 8$.

Задание 6: Реши уравнение $2^{x+3} = 2^{2x-1}$.

Задание 7: В расписании обучения нейросети learning rate задан формулой $\eta(t) = 0{,}1 \cdot 2^{-t/5}$, где $t$ — номер эпохи. На какой эпохе шаг станет равен $0{,}0125$?

Задание 8: Реши уравнение $9^{x} = \dfrac{1}{27}$.

Задание 9: Объём обучающего датасета компании удваивается каждый год и сейчас составляет $10^6$ примеров. Через сколько лет он достигнет $6{,}4 \cdot 10^7$ примеров?

Задание 10: Модель весит $16$ ГБ в формате fp32. Каждый шаг квантования уменьшает размер ровно вдвое. Сколько шагов квантования нужно, чтобы модель заняла $2$ ГБ?

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

Задание 11: Реши уравнение $2^{x+2} + 2^{x} = 20$.

Задание 12: Реши уравнение $3^{x+1} - 3^{x-1} = 24$.

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

Задание 14: Реши уравнение $9^x - 4 \cdot 3^x + 3 = 0$.

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

Задание 16: Реши уравнение $2^{2x+1} - 5 \cdot 2^{x} + 2 = 0$.

Задание 17: Доля актуальных записей в кэше рекомендательной системы падает вдвое каждые $6$ часов: $q(t) = 0{,}5^{t/6}$. Через сколько часов актуальными останутся $12{,}5\%$ записей?

Задание 18: В softmax с основанием $2$ и температурой $T$ отношение вероятностей двух классов равно $2^{(z_1 - z_2)/T}$. Логиты отличаются на $3$: $z_1 - z_2 = 3$. При какой температуре первый класс окажется вероятнее второго ровно в $64$ раза?

Задание 19: Число параметров модели A растёт как $N_A(t) = 10^6 \cdot 4^{t}$, модели B — как $N_B(t) = 1{,}6 \cdot 10^{7} \cdot 2^{t}$ ($t$ в годах). Через сколько лет модели сравняются по числу параметров?

Задание 20: Реши уравнение $25^x - 6 \cdot 5^x + 5 = 0$.

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

Задание 21: Реши уравнение $4^x + 6^x = 2 \cdot 9^x$.

Задание 22: Реши уравнение $3 \cdot 4^x - 5 \cdot 6^x + 2 \cdot 9^x = 0$.

Задание 23: Реши уравнение $2^{2x} - 3 \cdot 2^{x+2} + 32 = 0$.

Задание 24: Реши уравнение $2^{x} + 2^{-x} = 2{,}5$.

Задание 25: Стоимость инференса модели складывается из двух частей, зависящих от параметра шардирования $x$: затраты на память равны $5^{x+1}$ условных единиц, затраты на межузловой обмен — $5^{2-x}$ единиц. При каких $x$ суммарная стоимость равна $126$ единицам?

Задание 26: Реши уравнение $3^x + 4^x = 5^x$ и докажи, что других корней нет.

Задание 27: Реши уравнение $2^x = 3 - x$.

Задание 28: Реши уравнение $4^x + 2^{2x-1} = 3^{x+0{,}5} + 3^{x-0{,}5}$.

Задание 29: Кривая обучения модели описывается формулой $L(t) = 0{,}8 \cdot 2^{-t/\tau} + 0{,}05$, где $t$ — номер эпохи, $\tau$ — характерное время затухания ошибки, $0{,}05$ — неустранимый уровень шума. Известно, что на $12$-й эпохе $L = 0{,}25$. Найди $\tau$ и определи, на какой эпохе ошибка достигнет $0{,}15$.

Задание 30: При каком значении параметра $a$ уравнение $4^x - a \cdot 2^x + 4 = 0$ имеет ровно один корень? Найди этот корень.

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

❌ Ошибка 1: забывают условие $t > 0$ при замене переменной

Неправильно: решить $4^x + 2^x - 2 = 0$, получить $t_1 = 1$, $t_2 = -2$ и записать ответ «$x = 0$ и $2^x = -2$, то есть корней два».

Правильно: $t = 2^x$ строго положительно при любом $x$, потому что область значений показательной функции — это $(0; +\infty)$. Корень $t_2 = -2$ отбрасывается сразу, ответ единственный: $x = 0$.

💡 Почему важно: это ошибка не «в оформлении», а по существу — она добавляет к ответу несуществующие корни. Возьми за правило: сразу после замены пиши «$t > 0$» рядом с новым уравнением, ещё до того как посчитаешь дискриминант.

❌ Ошибка 2: приравнивают показатели, когда основания разные

Неправильно: из уравнения $2^{x+1} = 3^{x}$ сделать вывод $x + 1 = x$ и написать «корней нет».

Правильно: теорема о равносильности $a^{f} = a^{g} \Leftrightarrow f = g$ требует одинаковых оснований. При разных основаниях так делать нельзя: надо либо привести к общему основанию, либо разделить на одну из степеней, либо (в уроке 116) логарифмировать. Кстати, у $2^{x+1} = 3^x$ корень существует — просто он записывается через логарифм.

💡 Почему важно: формальное применение правила там, где не выполнено его условие, — самый распространённый способ получить абсурдный ответ и не заметить этого.

❌ Ошибка 3: путают $(a^m)^n$ и $a^{m \cdot n}$ при возведении в степень с переменной

Неправильно: из $9^{x-1}$ получить $3^{2x - 1}$.

Правильно: $9^{x-1} = \left(3^2\right)^{x-1} = 3^{2(x-1)} = 3^{2x - 2}$. Внешний показатель умножается на весь показатель целиком, поэтому скобки обязательны.

💡 Почему важно: ошибка на единицу в показателе даёт совершенно другой ответ, а при проверке подстановкой её легко пропустить, если проверять «в уме». Всегда сначала записывай $3^{2(x-1)}$ со скобками и только потом раскрывай.

❌ Ошибка 4: пытаются решить уравнение $a^{f(x)} = b$ при $b \leq 0$

Неправильно: решать $5^{x^2} = -25$ через приравнивание $x^2 = 2$ (потому что «$25 = 5^2$, а минус как-нибудь потом»).

Правильно: $5^{\text{любое число}} > 0$ всегда. Уравнение $5^{x^2} = -25$ корней не имеет — это видно за секунду, ещё до всяких преобразований. То же с $3^{x} = 0$: показательная функция никогда не обращается в ноль, она только асимптотически к нему приближается.

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

❌ Ошибка 5: неверно выносят общий множитель, теряя коэффициент

Неправильно: из $2^{x+3} - 2^{x}$ получить $2^{x}(3 - 1) = 2 \cdot 2^x$.

Правильно: $2^{x+3} = 2^x \cdot 2^3 = 8 \cdot 2^x$, поэтому $2^{x+3} - 2^{x} = 2^x(8 - 1) = 7 \cdot 2^x$. В скобке оказывается степень $2^3 = 8$, а не сам показатель $3$.

💡 Почему важно: здесь мозг подставляет привычную операцию «сложение показателей» вместо «умножения на степень». Проговаривай вслух: «$2$ в степени $x$ плюс три — это $2$ в степени $x$, умноженное на восемь».

❌ Ошибка 6: находят корень подбором и не доказывают единственность

Неправильно: написать «$3^x + 4^x = 5^x$, подходит $x = 2$, ответ: $x = 2$» — и на этом остановиться.

Правильно: подбор даёт корень, но не даёт ответа: пока не доказано, что других корней нет, решение неполное. Доказательство: делим на $5^x$, получаем сумму двух строго убывающих функций, а строго убывающая функция принимает значение $1$ не более одного раза.

💡 Почему важно: в задачах на монотонность именно доказательство единственности — основная часть работы и основной критерий оценки. И в прикладном смысле это то же самое: численный решатель найдёт какой-то корень, но полагаться на него можно только зная, что корень один.

❌ Ошибка 7: забывают вычесть константу перед приведением к одному основанию

Неправильно: из $2^{x} + 3 = 11$ сразу писать $2^x = 11$ или пытаться представить $11$ как степень двойки вместе с тройкой.

Правильно: сначала изолируй показательную часть: $2^x = 11 - 3 = 8 = 2^3$, откуда $x = 3$. То же самое в задании 29, где перед работой с экспонентой надо было вычесть уровень шума $0{,}05$.

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

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

✅ Основная теорема: при $a > 0$ и $a \neq 1$ уравнение $a^{f(x)} = a^{g(x)}$ равносильно $f(x) = g(x)$. Условия $a > 0$ и $a \neq 1$ обязательны: при $a = 1$ показатели восстановить невозможно.

✅ Область значений $a^x$ — это $(0; +\infty)$. Уравнение $a^{f(x)} = b$ при $b \leq 0$ корней не имеет; проверяй знак правой части первым делом.

✅ $a^x = 1$ равносильно $x = 0$ — этот факт закрывает целый класс уравнений вида $a^{f(x)} = 1$, где достаточно решить $f(x) = 0$.

✅ Приведение к общему основанию: ищи наименьшее число, через которое выражаются все основания ($2$ для $4, 8, 16, 0{,}5, \sqrt{2}$; $3$ для $9, 27, \frac{1}{3}$). Помни: $\left(a^m\right)^n = a^{mn}$, показатель умножается целиком, скобки обязательны.

✅ Вынесение множителя: если показатели отличаются на константу ($x$, $x\pm1$, $x\pm2$), выноси за скобку степень с наименьшим показателем — в скобке останутся целые числа.

✅ Замена $t = a^x$ превращает уравнение в квадратное, когда в нём есть $a^{2x}$ и $a^x$. Обязательно пиши условие $t > 0$ и отбрасывай неположительные корни — это содержательный фильтр, а не формальность.

✅ Однородное уравнение $A \cdot a^{2x} + B \cdot (ab)^x + C \cdot b^{2x} = 0$ узнаётся по тому, что среднее основание есть произведение крайних. Решается делением на $b^{2x}$ (деление законно, так как $b^{2x} > 0$) с заменой $u = \left(\frac{a}{b}\right)^x > 0$.

✅ Делить на $a^x$ можно всегда — показательная функция никогда не равна нулю. Это единственная операция в теме, которая гарантированно не теряет корней.

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

✅ Метод оценки: если левая часть $\geq M$, а правая $\leq M$, равенство возможно только при одновременном достижении $M$ обеими частями. Рабочий инструмент — неравенство $y + \frac{1}{y} \geq 2$ при $y > 0$ с равенством только при $y = 1$.

✅ Граница метода: если основания не сводятся друг к другу (например, $2^x = 5$), точного алгебраического ответа нет — нужен логарифм из урока 116. Умение распознать этот случай экономит время.

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

Что было раньше: урок 112 познакомил тебя с числом $e$, а урок 113 — со свойствами показательной функции: областью определения $\mathbb{R}$, областью значений $(0; +\infty)$, строгой монотонностью и горизонтальной асимптотой $y = 0$. Именно эти свойства — фундамент всего сегодняшнего урока: монотонность даёт теорему о равносильности, положительность области значений даёт условие $t > 0$ и право делить на $a^x$. Ещё раньше, в уроках про степени и корни, мы получили правила $a^m a^n = a^{m+n}$, $(a^m)^n = a^{mn}$, $\sqrt[n]{a^m} = a^{m/n}$ — рабочий инструментарий метода приведения к общему основанию. Квадратные уравнения и теорема Виета работают в методах 4 и 5 буквально в каждом примере.

Что дальше: следующий урок — показательные неравенства (115). Там всё построено на той же монотонности, но с принципиальным дополнением: при основании $0 < a < 1$ функция убывает, и при переходе от $a^{f} > a^{g}$ к сравнению показателей знак неравенства переворачивается. В уравнениях направление монотонности не имело значения, в неравенствах — определяет ответ. Затем уроки 116 и 117 введут логарифм и его свойства, и мы вернёмся к показательным уравнениям уже во всеоружии: любое уравнение $a^x = b$ при $b > 0$ получит точный ответ $x = \log_a b$. Дальше — логарифмические уравнения и неравенства, где все шесть сегодняшних методов повторятся почти дословно, только с логарифмом вместо степени. А в уроке 133 появится производная, и показательная функция раскроется с новой стороны: окажется, что $e^x$ — единственная функция, совпадающая со своей производной.

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

📊 В машинном обучении: расписания learning rate (ExponentialLR, StepLR, косинусное затухание с экспоненциальной огибающей), подбор коэффициента $\beta$ в скользящих средних Adam и RMSProp, температура в softmax при генерации текста, вес затухания (weight decay) при регуляризации.

📈 В data science: экспоненциальное сглаживание временных рядов (модели Хольта-Уинтерса), период полураспада пользовательской когорты в retention-анализе, время удвоения метрик роста, оценка «возраста» данных в кэше и TTL-политики.

🔬 В физике и химии: радиоактивный распад и датирование по углероду-14, разряд конденсатора, закон Бугера-Ламберта-Бера для поглощения света, скорость химических реакций.

💰 В финансах: сложные проценты и уравнение «за сколько лет вклад удвоится», амортизация, дисконтирование денежных потоков, оценка времени выхода на окупаемость.

🦠 В эпидемиологии и биологии: рост популяции бактерий, начальная фаза распространения инфекции, период полувыведения лекарства из организма.

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

💡 Штифель почти изобрёл логарифм за 70 лет до Непера. В 1544 году Михаэль Штифель выписал в «Arithmetica integra» две параллельные строки — арифметическую и геометрическую прогрессии — и явно заметил, что умножение в нижней строке соответствует сложению в верхней. Это ровно определение логарифма. Но Штифель работал только с целыми показателями и не додумался заполнить промежутки между ними, поэтому лавры достались Джону Неперу (1614) и Йосту Бюрги. Иногда до великого открытия не хватает буквально одного шага — «а что, если между $2^3$ и $2^4$ тоже что-то есть?»

💡 Уравнение $3^x + 4^x = 5^x$ — это теорема Пифагора, у которой отобрали двойку. Его единственный корень $x = 2$ — тот самый прямоугольный треугольник со сторонами $3$, $4$, $5$. А если задать вопрос шире — при каких целых $n > 2$ уравнение $a^n + b^n = c^n$ имеет целые решения — получится Великая теорема Ферма, над которой математики бились $358$ лет, пока Эндрю Уайлс не доказал её в $1995$ году. Наше маленькое уравнение на монотонность — двоюродный брат одной из самых знаменитых задач в истории.

💡 Правило 70 — показательное уравнение в кармане. Финансисты веками пользуются приёмом: чтобы узнать время удвоения при годовом росте $p$ процентов, раздели $70$ на $p$. При $7\%$ годовых вклад удваивается за $10$ лет. Это приближённое решение уравнения $\left(1 + \frac{p}{100}\right)^{t} = 2$, и точность у него удивительно высокая в диапазоне $2$–$15\%$. В аналитике продукта тем же правилом оценивают время удвоения аудитории по недельным темпам роста.

💡 Очень маленькая температура в softmax превращает его в функцию максимума. Формально $p_i = \frac{a^{z_i/T}}{\sum_j a^{z_j/T}}$; при уменьшении $T$ показатели «разъезжаются», и вся вероятностная масса стягивается к классу с наибольшим логитом. Это прямое следствие того, что $a^{k/T}$ при $k > 0$ растёт неограниченно быстрее, чем при меньшем $k$. Поэтому в генерации текста $T = 0$ называют «жадным декодированием» — модель всегда берёт самый вероятный токен.

💡 Показательные уравнения решали до нашей эры — но не знали об этом. Вавилонские таблички из Ларсы (около $1700$ года до н. э.) содержат задачу: «За какое время вклад под сложные проценты удвоится?» Писец решал её интерполяцией между табличными значениями степеней — то есть численно приближал корень уравнения $\left(1 + \frac{1}{60}\right)^{t} = 2$. Численные методы решения показательных уравнений на три с половиной тысячи лет старше самой записи $a^x$.

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

1. Диагностика за пять секунд: посмотри на структуру, а не на числа

Прежде чем что-то считать, задай три вопроса подряд.

• Основания сводятся к одному? → метод приведения к общему основанию
• Показатели отличаются на константу? → вынесение общего множителя
• Есть $a^{2x}$ и $a^{x}$? → замена $t = a^x$

Если ни один не сработал — смотри, не однородное ли уравнение (среднее основание = произведение крайних), и только потом переходи к монотонности и оценке. Такой чек-лист экономит больше времени, чем любые вычислительные приёмы.

2. Всегда выписывай «$t > 0$» одновременно с заменой

Не после решения квадратного уравнения, а в тот же момент, когда пишешь «пусть $t = 2^x$». Тогда отрицательный корень не проскочит в ответ автоматически. Мнемоника: замена без условия — как деление без проверки знаменателя.

3. Мини-словарь степеней, который стоит держать в голове

Эти значения встречаются в 90% задач, и распознавание их «на глаз» ускоряет решение вдвое.

• Степени двойки: $2, 4, 8, 16, 32, 64, 128, 256, 512, 1024$
• Степени тройки: $3, 9, 27, 81, 243, 729$
• Степени пятёрки: $5, 25, 125, 625$
• Дроби: $0{,}5 = 2^{-1}$, $0{,}25 = 2^{-2}$, $0{,}125 = 2^{-3}$, $0{,}0625 = 2^{-4}$, $0{,}2 = 5^{-1}$, $0{,}04 = 5^{-2}$

Отдельно запомни: $0{,}125$, $0{,}0625$ и $0{,}03125$ — это $\frac{1}{8}$, $\frac{1}{16}$ и $\frac{1}{32}$; в прикладных задачах про затухание они встречаются постоянно.

4. Проценты сразу переводи в дробь, а дробь — в степень

В задачах про полураспад и retention данные почти всегда в процентах. Схема перевода: $50\% \to \frac{1}{2} \to 2^{-1}$, $25\% \to \frac{1}{4} \to 2^{-2}$, $12{,}5\% \to \frac{1}{8} \to 2^{-3}$, $6{,}25\% \to 2^{-4}$, $3{,}125\% \to 2^{-5}$. Как только увидел одно из этих чисел — уравнение решается в одну строку, без калькулятора.

5. Изолируй экспоненту до всех преобразований

Если в уравнении есть свободная константа ($2^x + 3 = 11$, $0{,}8 \cdot 2^{-t/6} + 0{,}05 = 0{,}15$), первым действием перенеси её и раздели на коэффициент. Общая схема: $A \cdot a^{kx} + C = B \ \Rightarrow \ a^{kx} = \frac{B - C}{A}$. Только после этого имеет смысл искать общее основание. В прикладных задачах константа — это уровень шума или базовая нагрузка, и она есть почти всегда.

6. Графический метод — для быстрой прикидки числа корней

Когда уравнение не поддаётся алгебре, набросай от руки два графика: слева $y = a^x$, справа $y = g(x)$. Число точек пересечения — число корней. Для $2^x = 3 - x$ картина очевидна: растущая экспонента и падающая прямая пересекаются один раз. Этот набросок не заменяет доказательство через монотонность, но мгновенно подсказывает, сколько корней ты должен получить, — и не даёт остановиться на одном, если их два.

7. Проверка подстановкой — не роскошь, а часть решения

Показательные уравнения удобны тем, что проверка почти всегда сводится к устному счёту: подставил $x$, посчитал степени по мини-словарю из лайфхака 3, сравнил. Тридцать секунд проверки ловят 100% арифметических ошибок в дискриминанте и знаках. Особенно это касается корней вида $x = -1$ и $x = 1{,}5$, где легко ошибиться со знаком показателя.

8. Однородное уравнение: дели на то основание, где коэффициент меньше

Формально делить можно и на $a^{2x}$, и на $b^{2x}$ — результат одинаковый. Но если разделить на степень с бо́льшим коэффициентом, старший коэффициент квадратного уравнения станет единицей, и теорема Виета сработает устно. Например, в $12 \cdot 9^x - 35 \cdot 6^x + 18 \cdot 4^x = 0$ попробуй оба варианта и выбери тот, где числа приятнее.

Что дальше

Ты только что разобрал полный боевой набор для показательных уравнений: шесть методов, каждый со своим опознавательным признаком, тридцать разобранных задач и семь типовых ловушек. Это не набор разрозненных фокусов — все шесть приёмов растут из двух свойств показательной функции, которые ты знаешь с прошлого урока: она строго монотонна и всегда положительна. Монотонность даёт право приравнивать показатели и доказывать единственность корня. Положительность даёт право делить на $a^x$ и обязанность отбрасывать неположительные $t$. Всё остальное — техника.

Отдельно отметь то, что ты сегодня научился делать между делом: распознавать границу применимости метода. Понимать, что $2^x = 5$ точного ответа в нашем текущем арсенале не имеет, — это не признание слабости, а очень зрелый математический навык. Так же работает и в инженерии: половина времени экономится не на решении задачи, а на своевременном определении, каким инструментом её вообще стоит брать.

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