Комбинированные уравнения 🧩

До этого момента курс был устроен честно и по-школьному: сначала тебе показывали новый класс функций, потом — набор приёмов ровно под него. Тригонометрические уравнения — уроки 103–107: свести к простейшему, к однородному, к квадратному относительно синуса. Показательные — урок 114: одинаковые основания, замена $t = a^x$, вынесение общего множителя. Логарифмические — урок 120: ОДЗ, потенцирование, замена $t = \log_a x$. Каждый раз ты знал заранее, из какого ящика доставать инструмент, потому что ящик был ровно один — тот, что назван в заголовке параграфа.

А теперь представь, что кто-то написал на доске вот это:

Слева показательная функция, справа логарифмическая. Одинаковых оснований не сделать. Замена $t = 2^x$ не помогает — логарифм в неё не влезает. Прологарифмировать обе части? Слева станет $(x-1)\log_2 2 = x-1$, а справа — $\log_2(\log_2 x + 1)$, то есть логарифм от логарифма, стало только хуже. Возвести в степень? То же самое, только зеркально. Все привычные ходы упираются в стену, и стена эта принципиальная: не существует алгоритма, который решает произвольное уравнение со смешанными функциями. Не «его пока не придумали», а именно не существует — и мы разберём в этом уроке, почему.

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

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

🎯 Ты узнаешь:

• Почему смешанные уравнения нельзя решить «в лоб» и какие семь приёмов работают вместо алгоритма
• Как область допустимых значений иногда схлопывается в одну точку и решает уравнение целиком
• Как оценить левую и правую части сверху и снизу и поймать корень «в тиски»
• Почему возрастающая функция пересекается с убывающей не более одного раза и как это превращается в строгое доказательство
• Как уравнение $f(x) = f^{-1}(x)$ для возрастающей $f$ сводится к простому $f(x) = x$ — и когда этот приём врёт
• Где всё это встречается в машинном обучении: точки равновесия процессов, подбор гиперпараметров, пересечение кривых обучения

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

Идея, что уравнение обязано решаться формулой, держалась в математике почти три тысячи лет и рухнула в первой половине XIX века. Вавилоняне умели решать квадратные уравнения ещё около 1800 года до н. э. В XVI веке итальянцы — Сципион дель Ферро, Никколо Тарталья, Джероламо Кардано и Лодовико Феррари — с боем, интригами и публичными математическими дуэлями добыли формулы для кубического уравнения и уравнения четвёртой степени. Казалось, ещё усилие — и покорится пятая степень. Не покорилась: в 1824 году норвежец Нильс Хенрик Абель доказал, что общее уравнение пятой степени неразрешимо в радикалах, а в 1832 году, за ночь перед дуэлью, на которой он погиб в двадцать лет, Эварист Галуа объяснил, почему именно: дело в структуре группы перестановок корней.

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

Показательный сюжет — уравнение Кеплера, $M = E - e\sin E$, связывающее время и положение планеты на эллиптической орбите. Иоганн Кеплер выписал его в 1609 году в «Новой астрономии» и честно признал, что решить его точно не умеет. Это классическое комбинированное уравнение: слева и справа сталкиваются линейная и тригонометрическая функции. За четыреста лет его атаковали Ньютон, Лагранж, Лаплас и Бессель — и именно из попыток разложить его решение в ряд Фридрих Бессель в 1817 году вывел функции, которые теперь носят его имя и используются везде, от акустики до обработки сигналов. Точной формулы для $E$ через элементарные функции не нашли до сих пор, зато нашли десятки способов посчитать $E$ с любой точностью, доказать, что корень существует и единственен при $0 \le e < 1$, и запустить по этой схеме спутники.

Мостик в сегодня прямой. Любая библиотека численной оптимизации — scipy.optimize.brentq, солверы внутри фреймворков глубокого обучения, подбор порогов классификации — делает ровно то, что делали Ньютон и Бессель: ищет корень уравнения, которое невозможно решить символьно. Но каждому такому солверу нужно скормить отрезок, на котором корень заведомо есть и заведомо один. Определить этот отрезок — задача не численная, а аналитическая, и решается она приёмами, которые мы сейчас разберём.

Что такое комбинированное уравнение и почему стандартные методы отказывают

Интуиция

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

Комбинированное уравнение устроено так же. В нём одновременно живут функции разных типов: показательная $a^x$, логарифмическая $\log_a x$, степенная $x^n$, иррациональная $\sqrt[n]{x}$, модуль $|x|$, тригонометрические $\sin x$, $\cos x$. Проблема не в том, что их много, а в том, что они не переводятся друг в друга. Показательную можно превратить в другую показательную (сменив основание), логарифм — в другой логарифм. Но не существует тождества, которое превратило бы $\sin x$ в $2^x$ или $\log_2 x$ в многочлен. Функции разных классов алгебраически несовместимы, и любая попытка «привести к общему виду» либо невозможна, либо портит уравнение.

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

Разберёмся, что именно ломается. Возьмём уравнение $2^x = 3 - x$ и попробуем «стандартные» ходы:

• Привести к одному основанию. Слева $2^x$, справа $3-x$. Записать $3-x$ как степень двойки можно только так: $3 - x = 2^{\log_2(3-x)}$ — и мы получим $x = \log_2(3-x)$, то есть просто переехали от показательной к логарифмической, а смесь никуда не делась.
• Прологарифмировать обе части. Получим $x\log_2 2 = \log_2(3-x)$, то есть $x = \log_2(3-x)$ — тот же результат. Круг замкнулся.
• Замена $t = 2^x$. Тогда $x = \log_2 t$, и уравнение станет $t = 3 - \log_2 t$. Снова смесь, только буква другая.
• Возвести в квадрат, умножить, раскрыть скобки. Ничего из этого не сближает $2^x$ и $3-x$.

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

Три вопроса, с которых начинается любое комбинированное уравнение

Прежде чем что-то делать, задай себе три вопроса. Они экономят чудовищное количество времени.

Вопрос 1: какая у уравнения область допустимых значений? Корни логарифмов, знаменатели, аргументы логарифмов, основания логарифмов — всё это сужает множество кандидатов. Иногда сужает до пустого множества (ответ: корней нет), иногда — до одной точки (ответ готов почти без вычислений). Это самый дешёвый ход в игре, и он должен быть первым всегда.

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

Вопрос 3: как ведут себя левая и правая части по отдельности? Растёт или убывает; ограничена ли сверху, снизу; где достигает минимума и максимума. Ответы на эти вопросы дают методы оценки и монотонности — тяжёлую артиллерию, которая работает, когда алгебра бессильна.

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

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

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

Приём 1: ОДЗ, которая решает уравнение целиком

Интуиция

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

С уравнениями так же. Область допустимых значений — это фейсконтроль: множество $x$, при которых все записанные выражения вообще имеют смысл. Обычно ОДЗ — это луч или интервал, и она лишь отсекает лишнее. Но когда в уравнении встречаются два ограничения, тянущие в противоположные стороны, ОДЗ может схлопнуться в одну точку или вовсе оказаться пустой. И тогда уравнение решено ещё до того, как ты к нему прикоснулся.

Комбинированные уравнения — идеальная среда для такого фокуса, потому что разные типы функций накладывают разные по природе ограничения:

• корень чётной степени $\sqrt{f(x)}$ требует $f(x) \ge 0$;
• логарифм $\log_a f(x)$ требует $f(x) > 0$, а при переменном основании ещё $a > 0$ и $a \ne 1$;
• дробь требует ненулевого знаменателя;
• арксинус и арккосинус требуют аргумент из $[-1; 1]$;
• показательная функция $a^x$ и синус с косинусом не требуют ничего — они определены везде, и это тоже полезно знать.

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

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

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

Решение:

Шаг 1. Выписываем ОДЗ. Здесь три требования:

Шаг 2. Первые два неравенства вместе дают $x = 3$. Третье при $x = 3$ выполнено ($3 > 2$ ✅). Значит, ОДЗ состоит ровно из одной точки: $x = 3$.

Шаг 3. Проверяем, является ли эта точка корнем. Подставляем $x = 3$ в исходное уравнение:

Ответ: $x = 3$

Обрати внимание: мы не сделали ни одного алгебраического преобразования. Всё уравнение решилось разбором условий существования.

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

Решение:

Шаг 1. ОДЗ:

Шаг 2. Первое условие требует строгого неравенства $x > 2$, второе — $x \le 2$. Одновременно они не выполняются ни при каком $x$: система несовместна, ОДЗ пуста.

Шаг 3. Раз ни одно значение $x$ не делает обе части определёнными, корней нет. И заметь, что правая часть, равная 5, вообще не участвовала в рассуждении — там могло стоять что угодно.

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

⚠️ Здесь очень легко ошибиться на разнице между $>$ и $\ge$. Если бы слева стоял не логарифм, а корень $\sqrt{x-2}$, то ОДЗ была бы $x \ge 2$ и $x \le 2$, то есть $x = 2$, и уравнение имело бы шанс на корень. Строгость неравенства решает всё.

Пример 3 (сложный): реши уравнение $\sqrt{2\cos x - 2}\,\bigl(3^x - 1\bigr) = \lg(x+1)$

Решение:

Шаг 1. ОДЗ. Под корнем должно быть неотрицательное число, под десятичным логарифмом — положительное:

Шаг 2. Разбираем первое условие: $2\cos x \ge 2$, то есть $\cos x \ge 1$. Но косинус никогда не превосходит единицы, значит остаётся единственная возможность $\cos x = 1$, откуда

Шаг 3. Второе условие $x > -1$ отсекает все отрицательные $k$: при $k \le -1$ получаем $x \le -2\pi < -1$. Остаются $k = 0, 1, 2, \dots$, то есть

Шаг 4. Теперь важное наблюдение: на всей ОДЗ выполнено $\cos x = 1$, значит $2\cos x - 2 = 0$ и корень слева равен нулю. Стало быть, вся левая часть равна нулю независимо от множителя $3^x - 1$. Уравнение превращается в

Шаг 5. Отсюда $x + 1 = 1$, то есть $x = 0$. Проверяем принадлежность ОДЗ: $x = 0$ — это $2\pi k$ при $k = 0$ ✅, и $0 > -1$ ✅.

Проверка: $\sqrt{2\cos 0 - 2}\,(3^0 - 1) = \sqrt{0}\cdot 0 = 0$, а $\lg(0+1) = \lg 1 = 0$ ✅

Ответ: $x = 0$

Здесь ОДЗ не решила задачу целиком, но сделала главную работу: превратила зубодробительную смесь тригонометрии, показательной функции и логарифма в тривиальное $0 = \lg(x+1)$.

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

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

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

Приём 2: разложение на множители и правило «произведение равно нулю»

Интуиция

Представь цепь из нескольких звеньев. Чтобы цепь порвалась, достаточно, чтобы порвалось хотя бы одно звено — не важно какое. Произведение работает точно так же: чтобы оно обратилось в ноль, достаточно, чтобы обнулился хотя бы один множитель.

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

Определение: Уравнение $f(x)\cdot g(x) = 0$ на своей ОДЗ равносильно совокупности: $f(x) = 0$ или $g(x) = 0$, при условии, что найденные корни принадлежат ОДЗ всего уравнения (то есть и та часть, что обратилась в ноль, и та, что не обратилась, должны быть определены).

Последняя оговорка — не занудство, а главная ловушка приёма. Корень $x_0$ множителя $f$ обязан лежать не только в области определения $f$, но и в области определения $g$. Если $g(x_0)$ не существует, то произведения $f(x_0)\cdot g(x_0)$ тоже не существует, и $x_0$ не корень, каким бы законным он ни казался.

Как получить множители

Три типовых способа, ровно те же, что в обычной алгебре:

1. Вынесение общего множителя. Если в разных слагаемых сидит одинаковый кусок, вынеси его за скобку. Работает даже когда кусок — целая функция: $2^x\sin x - 2^x = 2^x(\sin x - 1)$.

2. Группировка. Четыре слагаемых разбиваются на две пары, в каждой выносится своё, и остаётся общая скобка. Это спасает уравнения вида $x\cdot a^x + bx + c\cdot a^x + d = 0$.

3. Перенос всего в одну сторону. Если справа не ноль, а что-то похожее на левую часть, перенеси и посмотри, не появился ли общий множитель. Уравнение $2^x\sin x = \sin x$ выглядит безнадёжно, пока ты не перенесёшь: $\sin x\,(2^x - 1) = 0$.

🚫 И сразу запрет: никогда не сокращай на выражение с переменной. В примере выше соблазн разделить обе части на $\sin x$ огромен — и он стоит тебе всей серии корней $x = \pi k$. Деление законно только на то, что заведомо не равно нулю (например, на $2^x$, который положителен всегда). Во всех остальных случаях — выносим множитель, а не сокращаем.

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

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

Решение:

Шаг 1. ОДЗ: логарифм требует $x > 0$. Показательная функция определена везде, дополнительных условий не даёт. Итого ОДЗ: $x > 0$.

Шаг 2. Произведение равно нулю, значит хотя бы один множитель нулевой:

Шаг 3. Первое: $3^x = 27 = 3^3$, откуда $x = 3$. Проверяем ОДЗ: $3 > 0$ ✅

Шаг 4. Второе: $\log_5 x = 0$ означает $x = 5^0 = 1$. Проверяем ОДЗ: $1 > 0$ ✅

Проверка: при $x = 3$: $(27-27)\log_5 3 = 0\cdot\log_5 3 = 0$ ✅. При $x = 1$: $(3-27)\cdot 0 = 0$ ✅

Ответ: $x = 1$, $x = 3$

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

Решение:

Шаг 1. ОДЗ: всё определено при любом $x$, ограничений нет.

Шаг 2. Группируем слагаемые попарно. В первой паре общий множитель $3^x$, во второй — число 5:

Шаг 3. Теперь общая скобка $(x-2)$ выносится:

Шаг 4. Разбираем множители. Второй: $3^x + 5 = 0$ означало бы $3^x = -5$, а показательная функция принимает только положительные значения — корней нет. Первый: $x - 2 = 0$, то есть $x = 2$.

Проверка: $2\cdot 9 - 2\cdot 9 + 10 - 10 = 18 - 18 + 0 = 0$ ✅

Ответ: $x = 2$

📌 Ключ к успеху здесь — увидеть в наборе из четырёх слагаемых две пары с одинаковой скобкой. Подсказка: коэффициенты $1, -2$ и $5, -10$ пропорциональны, отношение одно и то же. Это почти всегда признак того, что группировка сработает.

Пример 3 (сложный): реши уравнение $x\log_2 x - x - 3\log_2 x + 3 = 0$

Решение:

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

Шаг 2. Перегруппируем так, чтобы логарифмы оказались вместе:

Шаг 3. Из первой скобки выносим $\log_2 x$:

Шаг 4. Теперь общий множитель $(x-3)$:

Шаг 5. Первый множитель: $x = 3$, входит в ОДЗ ✅. Второй: $\log_2 x = 1$, то есть $x = 2$, тоже входит ✅.

Проверка при $x = 2$: $2\cdot 1 - 2 - 3\cdot 1 + 3 = 2 - 2 - 3 + 3 = 0$ ✅ Проверка при $x = 3$: $3\log_2 3 - 3 - 3\log_2 3 + 3 = 0$ ✅

Ответ: $x = 2$, $x = 3$

Пример 4 (ловушка): реши уравнение $\sqrt{x - 5}\,\bigl(2^x - 4\bigr) = 0$

Решение:

Шаг 1. ОДЗ: $x - 5 \ge 0$, то есть $x \ge 5$.

Шаг 2. Приравниваем множители к нулю:

Шаг 3. Первое даёт $x = 5$, и это значение входит в ОДЗ ✅.

Шаг 4. Второе даёт $2^x = 4$, то есть $x = 2$. Но $2 < 5$ — значение не входит в ОДЗ! При $x = 2$ выражение $\sqrt{2-5} = \sqrt{-3}$ не существует, значит и всё произведение не существует. Корень посторонний, отбрасываем.

Ответ: $x = 5$

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

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

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

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

Приём 3: замена переменной, склеивающая разнотипные куски

Интуиция

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

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

Ключевой признак: в уравнении есть выражение $u(x)$, через которое выражаются все остальные нелинейные куски. Тогда подстановка $t = u(x)$ превращает уравнение в алгебраическое относительно $t$ — обычно квадратное.

Определение: Заменой переменной называют переход от уравнения относительно $x$ к уравнению относительно $t = u(x)$, где $u$ — общий «строительный блок» всех членов уравнения. Обязательная часть замены — указание множества значений новой переменной $t$: только те $t$, которые реально достижимы, могут дать корни, а остальные надо отбросить.

Про множество значений забывают чаще всего, а оно спасает от лишней работы и от неверных ответов. Примеры:

• $t = \sqrt{f(x)}$ — тогда $t \ge 0$ обязательно;
• $t = a^{x}$ при $a > 0$ — тогда $t > 0$;
• $t = 2^{\sin x}$ — тогда $t \in \left[\tfrac12;\, 2\right]$, потому что $\sin x \in [-1; 1]$;
• $t = \log_a x$ — тогда $t$ может быть любым числом, ограничений нет.

Типовые склейки в комбинированных уравнениях

• Иррациональное + степенное: $x$ и $\sqrt{x}$ связаны как $t^2$ и $t$. Уравнение $x + b\sqrt{x} + c = 0$ — это замаскированное квадратное.
• Показательное + тригонометрическое: $a^{\sin x}$ и $a^{-\sin x}$ — это $t$ и $\tfrac1t$; $a^{\cos 2x}$ и $a^{\cos^2 x}$ связаны формулой двойного угла из урока 100.
• Показательное + показательное с разными основаниями: $4^x = (2^x)^2$, $9^x = (3^x)^2$ — степень одной и той же скобки.
• Логарифмическое + иррациональное: $\log_a x$ и $\sqrt{\log_a x}$ — снова $t^2$ и $t$ при $t \ge 0$.
• Квадратный трёхчлен под разными функциями: если под корнем и в остальной части сидит один и тот же трёхчлен, обозначь трёхчлен целиком.

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

Пример 1 (простой): реши уравнение $x + \sqrt{x} - 6 = 0$

Решение:

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

Шаг 2. Замена $t = \sqrt{x}$, причём $t \ge 0$. Тогда $x = t^2$, и уравнение принимает вид

Шаг 3. Решаем квадратное: $D = 1 + 24 = 25$, $t = \dfrac{-1 \pm 5}{2}$, то есть $t = 2$ или $t = -3$.

Шаг 4. Отбрасываем $t = -3$: корень не бывает отрицательным, а мы договорились, что $t \ge 0$.

Шаг 5. Обратная замена: $\sqrt{x} = 2$, значит $x = 4$.

Проверка: $4 + \sqrt{4} - 6 = 4 + 2 - 6 = 0$ ✅

Ответ: $x = 4$

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

Решение:

Шаг 1. Замечаем, что трёхчлен $x^2 + 3x$ встречается дважды: сам по себе и под корнем. Это и есть общий блок.

Шаг 2. Замена $t = \sqrt{x^2 + 3x}$, где $t \ge 0$. Тогда $x^2 + 3x = t^2$, и уравнение становится

Шаг 3. Корни: $t = 2$ и $t = -3$. Второй отбрасываем по условию $t \ge 0$.

Шаг 4. Обратная замена: $\sqrt{x^2+3x} = 2$. Возводим в квадрат (обе части неотрицательны, преобразование равносильно):

Шаг 5. $D = 9 + 16 = 25$, корни $x = \dfrac{-3\pm 5}{2}$: получаем $x = 1$ и $x = -4$.

Шаг 6. Проверяем ОДЗ ($x^2 + 3x \ge 0$). При $x = 1$: $1 + 3 = 4 \ge 0$ ✅. При $x = -4$: $16 - 12 = 4 \ge 0$ ✅. Оба подходят.

Проверка при $x = -4$: $4 + \sqrt{4} = 4 + 2 = 6$ ✅

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

⚠️ Обрати внимание на шаг 6: отрицательный $x$ здесь абсолютно законен. Под корнем стоит не $x$, а $x^2+3x$, и знак этого выражения при $x = -4$ положительный. Механическое «отрицательное — значит долой» стоило бы половины ответа.

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

Решение:

Шаг 1. ОДЗ: всё определено при любом $x$.

Шаг 2. Замечаем связь: $9^{\sin x} = \left(3^{\sin x}\right)^2$. Значит общий блок — это $3^{\sin x}$.

Шаг 3. Замена $t = 3^{\sin x}$. Определим множество значений: $\sin x \in [-1; 1]$, а функция $3^u$ возрастает, поэтому

Шаг 4. Уравнение принимает вид $t^2 - 4t + 3 = 0$. По теореме Виета корни $t = 1$ и $t = 3$. Оба лежат в $\left[\tfrac13; 3\right]$ ✅

Шаг 5. Обратная замена для $t = 1$: $3^{\sin x} = 1 = 3^0$, значит $\sin x = 0$, откуда

Шаг 6. Обратная замена для $t = 3$: $3^{\sin x} = 3^1$, значит $\sin x = 1$, откуда

Проверка при $x = \frac{\pi}{2}$: $9^1 - 4\cdot 3^1 + 3 = 9 - 12 + 3 = 0$ ✅

Ответ: $x = \pi k$, $x = \dfrac{\pi}{2} + 2\pi n$, где $k, n \in \mathbb{Z}$

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

Решение:

Шаг 1. Показатели разные — $\cos 2x$ и $\cos^2 x$ — но их связывает формула двойного угла: $\cos 2x = 2\cos^2 x - 1$.

Шаг 2. Перепишем первое слагаемое:

Шаг 3. Замена $t = 4^{\cos^2 x}$. Множество значений: $\cos^2 x \in [0; 1]$, функция $4^u$ возрастает, значит $t \in [1; 4]$.

Шаг 4. Уравнение становится

Шаг 5. $D = 16 + 48 = 64$, корни $t = \dfrac{-4 \pm 8}{2}$: то есть $t = 2$ и $t = -6$. Второй отбрасываем — он вне отрезка $[1;4]$ (и вообще отрицателен, а показательная функция положительна).

Шаг 6. Обратная замена: $4^{\cos^2 x} = 2$, то есть $2^{2\cos^2 x} = 2^1$, откуда $2\cos^2 x = 1$ и $\cos^2 x = \dfrac12$.

Шаг 7. Удобнее перейти к двойному углу: $\cos 2x = 2\cos^2 x - 1 = 2\cdot\tfrac12 - 1 = 0$. Значит

Проверка при $x = \frac{\pi}{4}$: $\cos\frac{\pi}{2} = 0$ и $\cos^2\frac{\pi}{4} = \tfrac12$, значит $4^0 + 4^{1/2} = 1 + 2 = 3$ ✅

Ответ: $x = \dfrac{\pi}{4} + \dfrac{\pi k}{2}$, $k \in \mathbb{Z}$

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

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

Тот же ход постоянно применяют в анализе данных: логарифмическая замена признака превращает мультипликативную зависимость в аддитивную, замена $t = \frac{x-\mu}{\sigma}$ (стандартизация) приводит распределение к сравнимому виду, замена $z = \ln\frac{p}{1-p}$ переводит вероятность в логит — и все три делают ровно то же, что мы сейчас: переносят задачу туда, где она проще. И там же живёт та же дисциплина — помнить область значений новой переменной. Логит определён только для $p \in (0;1)$, ровно как наше $t \ge 0$ для корня.

Приём 4: метод оценки — ловим корень в тиски

Интуиция

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

Метод оценки (его ещё называют методом мажорант, от французского majorer — «ограничивать сверху») устроен в точности так. Ты доказываешь, что левая часть не больше некоторого числа $M$, а правая — не меньше того же $M$. Раз части равны, обе они обязаны равняться $M$, и уравнение распадается на систему двух уравнений, каждое из которых обычно решается мгновенно.

Определение (метод оценки): Пусть для всех $x$ из ОДЗ выполнено $f(x) \le M$ и $g(x) \ge M$. Тогда уравнение $f(x) = g(x)$ равносильно системе

$$\begin{cases} f(x) = M \\ g(x) = M \end{cases}$$

Если у этой системы нет общих решений — исходное уравнение корней не имеет.

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

Какие оценки надо знать наизусть

Метод работает, только если ты умеешь быстро видеть границы. Вот рабочий набор, всё уже встречалось в предыдущих уроках:

• $-1 \le \sin x \le 1$ и $-1 \le \cos x \le 1$ — самый частый источник верхних оценок;
• $\sin^2 x \le 1$, $|\sin x| \le 1$, $a\sin x + b\cos x$ по модулю не превосходит $\sqrt{a^2+b^2}$;
• $x^2 \ge 0$, а значит $x^2 + c \ge c$; вообще любой квадратный трёхчлен с положительным старшим коэффициентом ограничен снизу значением в вершине;
• $a^{f(x)} > 0$ всегда, а при $a>1$ ещё и $a^{f(x)} \ge a^{\min f}$;
• $\sqrt{f(x)} \ge 0$, поэтому сумма нескольких корней равна нулю только когда все они нулевые;
• $t + \dfrac1t \ge 2$ при $t > 0$ (это неравенство о среднем: $(\sqrt t - \tfrac1{\sqrt t})^2 \ge 0$), равенство только при $t = 1$;
• $\log_a f(x) \ge 0$ при $a > 1$ и $f(x) \ge 1$; в частности $\log_a\bigl((x-b)^2 + 1\bigr) \ge 0$ с равенством только при $x = b$.

📌 Отдельно запомни конструкцию «сумма неотрицательных равна нулю». Если $A \ge 0$, $B \ge 0$ и $A + B = 0$, то $A = 0$ и $B = 0$ одновременно. Это вырожденный, но самый частый случай метода оценки.

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

Пример 1 (простой): реши уравнение $\sin x = x^2 + 1$

Решение:

Шаг 1. Оцениваем левую часть: $\sin x \le 1$ при любом $x$.

Шаг 2. Оцениваем правую: $x^2 \ge 0$, значит $x^2 + 1 \ge 1$.

Шаг 3. Получается $\text{ЛЧ} \le 1 \le \text{ПЧ}$. Равенство возможно только если обе части равны единице:

Шаг 4. Второе уравнение даёт $x = 0$. Подставляем в первое: $\sin 0 = 0 \ne 1$ ❌ Система несовместна.

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

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

Решение:

Шаг 1. Левая часть — это $t + \dfrac1t$, где $t = 3^x > 0$. По неравенству о среднем $t + \dfrac1t \ge 2$, причём равенство достигается только при $t = 1$, то есть при $3^x = 1$, то есть при $x = 0$.

Шаг 2. Правая часть: $x^2 \ge 0$, значит $2 - x^2 \le 2$, и равенство тоже только при $x = 0$.

Шаг 3. Итак, $\text{ЛЧ} \ge 2 \ge \text{ПЧ}$. Равенство возможно, только когда обе части равны 2:

Шаг 4. Обе строки дают одно и то же значение — система совместна.

Проверка: $3^0 + 3^0 = 1 + 1 = 2$, а $2 - 0 = 2$ ✅

Ответ: $x = 0$

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

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

Решение:

Шаг 1. ОДЗ: $x - 1 \ge 0$ и $3 - x \ge 0$, то есть $x \in [1; 3]$.

Шаг 2. Оцениваем правую часть. Выделим полный квадрат:

Минимум равен 2 и достигается ровно при $x = 2$.

Шаг 3. Оцениваем левую часть. Обозначим $S = \sqrt{x-1} + \sqrt{3-x}$ и возведём в квадрат:

Шаг 4. Оценим произведение под корнем. Сумма множителей постоянна: $(x-1) + (3-x) = 2$. Для неотрицательных чисел с фиксированной суммой произведение максимально, когда они равны (это то же неравенство о среднем):

Шаг 5. Значит $S^2 \le 2 + 2\cdot 1 = 4$, и так как $S \ge 0$, получаем $S \le 2$. Равенство достигается при $x - 1 = 3 - x$, то есть при $x = 2$.

Шаг 6. Собираем тиски: $\text{ЛЧ} \le 2 \le \text{ПЧ}$. Система:

Проверка: $\sqrt{1} + \sqrt{1} = 2$, а $4 - 8 + 6 = 2$ ✅

Ответ: $x = 2$

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

Решение:

Шаг 1. ОДЗ: под логарифмом стоит $x^2 - 2x + 2 = (x-1)^2 + 1 \ge 1 > 0$ — положительно при всех $x$. Ограничений нет.

Шаг 2. Оценим первое слагаемое. Так как $(x-1)^2 + 1 \ge 1$, а десятичный логарифм возрастает, то

Равенство только при $x = 1$.

Шаг 3. Оценим второе слагаемое. Так как $|x - 1| \ge 0$, а функция $3^u$ возрастает, то

Равенство тоже только при $x = 1$.

Шаг 4. Складываем оценки: левая часть $\ge 0 + 1 = 1$. Правая часть равна ровно 1. Значит равенство возможно, только когда оба слагаемых достигают своих минимумов одновременно:

Проверка: $\lg(1 - 2 + 2) + 3^0 = \lg 1 + 1 = 0 + 1 = 1$ ✅

Ответ: $x = 1$

Это чуть другая разновидность приёма: тут не «левая $\le M \le$ правая», а «сумма минимумов равна правой части». Логика та же — каждое слагаемое обязано сидеть в своём минимуме, потому что любое отклонение уже нарушит равенство в большую сторону.

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

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

В машинном обучении рассуждения «в тиски» встречаются постоянно, просто их не называют этим словом. Кросс-энтропия неотрицательна и равна нулю только при идеальном предсказании; косинусная близость лежит в $[-1;1]$ и равна единице только у сонаправленных векторов; расстояние между распределениями равно нулю только когда распределения совпадают. Каждый раз, когда ты говоришь «loss достиг теоретического минимума, значит модель обязана предсказывать вот это конкретное», ты применяешь метод оценки: из равенства величины её нижней границе вытекает жёсткое условие на всё остальное.

Приём 5: метод монотонности — угадать корень и доказать, что он один

Интуиция

Представь два поезда на одном пути. Один едет вперёд, второй — назад. Сколько раз они могут встретиться? Ровно один раз или ни разу. Дважды — никак: если они уже разошлись, второй раз им не сойтись, потому что расстояние между ними меняется только в одну сторону.

Ровно это и есть метод монотонности. Если левая часть уравнения всё время растёт, а правая всё время убывает, то их графики могут пересечься максимум в одной точке. Стало быть, задача сводится к двум шагам: подобрать корень (обычно он красивый — целое число или простая дробь) и сослаться на монотонность, чтобы объявить его единственным.

Второй шаг — не формальность. «Я нашёл корень $x = 2$» без обоснования единственности — это неполное решение: где гарантия, что где-то далеко нет ещё одного? Монотонность и есть такая гарантия.

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

Почему это верно? Рассмотрим разность $h(x) = f(x) - g(x)$. Если $x_2 > x_1$, то $f(x_2) > f(x_1)$ и $g(x_2) < g(x_1)$, значит

То есть $h$ строго возрастает. А строго возрастающая функция принимает каждое своё значение (в том числе ноль) не более одного раза. ∎

Обрати внимание: доказательство обошлось знаком разности, без всякой производной. Производная появится только в уроке 133 и даст удобный автоматический способ проверять монотонность, но само рассуждение в ней не нуждается.

Как доказывать монотонность без производной

Тебе понадобятся всего три факта, все уже известные:

• Базовые монотонности. Возрастают: $x$, $x^3$, $\sqrt{x}$ (на $x\ge0$), $a^x$ при $a>1$, $\log_a x$ при $a>1$. Убывают: $-x$, $\frac1x$ (на каждом из промежутков), $a^x$ при $0
• Сумма возрастающих возрастает. Если $f$ и $g$ обе возрастают, то $f+g$ возрастает. Аналогично для убывающих. А вот сумма возрастающей и убывающей может вести себя как угодно — так делать нельзя.
• Композиция монотонных. «Возрастающая от возрастающей» возрастает; «возрастающая от убывающей» убывает; «убывающая от убывающей» возрастает. Это то же правило знаков, что при умножении.

⚠️ И запомни главное ограничение: метод даёт не более одного корня, а не «ровно один». Существование корня всё равно надо предъявить — подобрать его или сослаться на то, что функция принимает значения по обе стороны от нуля.

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

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

Решение:

Шаг 1. ОДЗ: любое $x$.

Шаг 2. Подбираем корень. Логично пробовать значения, при которых степень тройки красивая: $x = 0$ даёт $1$ и $4$ — не равны; $x = 1$ даёт $3$ и $3$ — равны ✅

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

Шаг 4. Значит, найденный корень — единственный.

Ответ: $x = 1$

Пример 2 (средний): реши уравнение $\sqrt{x} + \sqrt[3]{x} + x = 3$

Решение:

Шаг 1. ОДЗ: из-за $\sqrt{x}$ нужно $x \ge 0$.

Шаг 2. Подбираем: при $x = 1$ получаем $1 + 1 + 1 = 3$ ✅

Шаг 3. Единственность. На промежутке $x \ge 0$ каждая из трёх функций $\sqrt{x}$, $\sqrt[3]{x}$, $x$ возрастает. Сумма возрастающих функций возрастает, значит левая часть строго возрастает. Правая часть — константа 3, то есть «убывает нестрого», и утверждение работает: возрастающая функция принимает значение 3 не более одного раза.

Ответ: $x = 1$

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

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

Решение:

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

Шаг 2. Подбираем корень. Логарифму «нравятся» степени двойки: $2, 4, 8, 16$. Корню нравятся полные квадраты: $1, 4, 9, 16$. Пересечение подсказок — числа $4$ и $16$. Проверим $x = 4$:

Шаг 3. Единственность: на $x>0$ функция $2\sqrt{x}$ возрастает, функция $\log_2 x$ возрастает (основание $2>1$), их сумма возрастает. Константа справа — значит не более одного корня.

Ответ: $x = 4$

💡 Приём из шага 2 стоит запомнить: составь списки «удобных» значений для каждой функции в уравнении и посмотри на их пересечение. Корень почти всегда там.

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

Решение:

Шаг 1. Прямых преобразований нет: три разных основания, ни одно не выражается через другие.

Шаг 2. Хитрость — разделить обе части на $5^x$. Это законно: $5^x > 0$ при любом $x$, деление на положительное число равносильно.

Шаг 3. Теперь слева стоит сумма двух показательных функций с основаниями $\frac35 < 1$ и $\frac45 < 1$. Каждая из них убывает, значит и сумма убывает.

Шаг 4. Справа константа. Убывающая функция принимает значение 1 не более одного раза.

Шаг 5. Подбираем: при $x = 2$ получаем $\left(\tfrac35\right)^2 + \left(\tfrac45\right)^2 = \tfrac{9}{25} + \tfrac{16}{25} = \tfrac{25}{25} = 1$ ✅

Ответ: $x = 2$

Красивая деталь: подобранный корень $x=2$ — это в точности египетский треугольник $3^2 + 4^2 = 5^2$. Уравнение $3^x+4^x=5^x$ спрашивает «при каком показателе теорема Пифагора для троек $(3,4,5)$ превращается в равенство» — и отвечает, что только при показателе 2.

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

Решение:

Шаг 1. Присмотримся к структуре. Слева стоит $2^{u} + u$ при $u = x$. Справа — то же самое выражение $2^{v} + v$ при $v = 3 - x$.

Шаг 2. Введём функцию $\varphi(u) = 2^u + u$. Уравнение переписывается как

Шаг 3. Функция $\varphi$ строго возрастает: $2^u$ возрастает, $u$ возрастает, сумма возрастающих возрастает. А строго возрастающая функция инъективна: разным аргументам отвечают разные значения. Значит из $\varphi(a) = \varphi(b)$ следует $a = b$.

Шаг 4. Отсюда $x = 3 - x$, то есть $2x = 3$ и $x = 1{,}5$.

Проверка: при $x = 1{,}5$ имеем $3 - x = 1{,}5$ — обе части буквально совпадают ✅

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

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

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

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

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

Приём 6: графическая интерпретация — сколько вообще корней?

Интуиция

Уравнение $f(x) = g(x)$ — это вопрос «в каких точках пересекаются два графика». Если ты умеешь представить обе кривые, то ответ на вопрос «сколько корней» получается взглядом, ещё до всяких вычислений. А иногда «сколько корней» — это и есть весь вопрос задачи.

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

Определение: Графический метод состоит в том, чтобы построить в одной системе координат графики $y = f(x)$ и $y = g(x)$ и определить число и приблизительное расположение точек их пересечения. Полученный результат считается гипотезой, требующей аналитического подтверждения.

Что полезно помнить о взаимном расположении

• Прямая и график показательной функции $y = a^x$ ($a>1$): график выпуклый, поэтому прямая пересекает его не более чем в двух точках. Отсюда, кстати, следует, что уравнение вида $a^x = kx + b$ имеет не более двух корней.
• $y = a^x$ и $y = \log_a x$ при $a > 1$ симметричны относительно прямой $y = x$ (это урок 82 про обратную функцию). Если $a$ достаточно велико (например, $a = 2$), кривые вообще не пересекаются, потому что обе лежат по разные стороны от биссектрисы.
• Ограниченная функция (синус, косинус) и неограниченная (степенная, показательная) могут пересекаться только там, где неограниченная ещё не вышла за коридор $[-1;1]$. Это резко сужает область поиска.
• Периодическая функция и монотонная дают серию пересечений — по одному-два на период, пока монотонная не «убежит» из коридора периодической.

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

Пример 1 (средний): сколько корней имеет уравнение $2^x = x^2$?

Решение:

Шаг 1. Нарисуем мысленно: $y = 2^x$ — возрастающая кривая, проходящая через $(0;1)$, прижимающаяся к оси $Ox$ слева и круто уходящая вверх справа. $y = x^2$ — парабола с вершиной в начале координат.

Шаг 2. Слева от нуля. При $x < 0$ функция $2^x$ возрастает (от 0 к 1), а $x^2$ убывает (от $+\infty$ к 0). Возрастающая против убывающей — не более одного пересечения. И оно есть: при $x=-1$ имеем $2^{-1} = 0{,}5 < 1 = (-1)^2$, а при $x = 0$ имеем $1 > 0$. Знак разности поменялся, значит на промежутке $(-1;0)$ ровно один корень.

Шаг 3. Справа от нуля разберёмся точно. При $x > 0$ обе части положительны, и можно извлечь квадратный корень из обеих:

Шаг 4. Обозначим $u = \dfrac{x}{2} > 0$, тогда $x = 2u$ и уравнение принимает вид $2^u = 2u$. Слева выпуклая показательная кривая, справа прямая — не более двух пересечений.

Шаг 5. Оба находим подбором: $u = 1$ даёт $2 = 2$ ✅, $u = 2$ даёт $4 = 4$ ✅. Возвращаемся: $x = 2$ и $x = 4$.

Шаг 6. Итого: один отрицательный корень плюс два положительных.

Проверка: $2^2 = 4 = 2^2$ ✅, $2^4 = 16 = 4^2$ ✅

Ответ: три корня; два из них — $x = 2$ и $x = 4$, третий лежит в промежутке $(-1; 0)$ (приближённо $x \approx -0{,}77$) и через элементарные функции не выражается.

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

Пример 2 (сложный): сколько корней имеет уравнение $\lg x = \sin x$?

Решение:

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

Шаг 2. Ограничим область поиска. Справа стоит синус, значит $\sin x \le 1$. Слева $\lg x > 1$ при $x > 10$. Значит при $x > 10$ равенство невозможно, и все корни лежат в промежутке $(0; 10]$.

Шаг 3. Разберём этот промежуток по кускам, ориентируясь на знаки.

Шаг 4. На $(0; 1)$: здесь $\lg x < 0$, а $\sin x > 0$ (потому что $0 < x < 1 < \pi$). Отрицательное не равно положительному — корней нет.

Шаг 5. На $[1; \pi]$: $\lg x$ возрастает от 0 до $\lg\pi \approx 0{,}497$; $\sin x$ убывает от $\sin 1 \approx 0{,}841$ до $\sin\pi = 0$. В начале промежутка $\sin x > \lg x$, в конце $\sin x < \lg x$; возрастающая против убывающей — ровно один корень.

Шаг 6. На $(\pi; 2\pi)$: синус отрицателен, а $\lg x \ge \lg\pi > 0$. Корней нет.

Шаг 7. На $[2\pi; 3\pi]$ (это примерно $[6{,}28; 9{,}42]$): $\lg x$ меняется всего от $0{,}798$ до $0{,}974$ — почти горизонтальная линия. Синус за это время поднимается от 0 до 1 (при $x = \frac{5\pi}{2} \approx 7{,}85$) и опускается обратно до 0. Значит синус пересекает почти горизонтальный логарифм дважды: один раз на подъёме, один раз на спуске. Это два корня.

Шаг 8. На $(3\pi; 10]$: синус снова отрицателен, логарифм положителен — корней нет. За $x = 10$, как выяснено в шаге 2, тоже пусто.

Ответ: три корня (один в $(1;\pi)$ и два в $(2\pi;3\pi)$); точных выражений для них нет.

Пример 3 (простой): сколько корней имеет уравнение $\left(\dfrac{1}{2}\right)^x = x$?

Решение:

Шаг 1. Слева убывающая показательная функция (основание $\frac12 < 1$), справа возрастающая прямая. Убывающая против возрастающей — не более одного корня.

Шаг 2. Корень есть: при $x = 0$ левая часть равна 1, а правая 0 (левая больше); при $x = 1$ левая равна $0{,}5$, а правая 1 (левая меньше). Разность сменила знак — на отрезке $(0;1)$ корень есть.

Ответ: ровно один корень, он лежит в интервале $(0;1)$ и приближённо равен $0{,}641$.

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

Графический метод — это то, чем ты будешь пользоваться в работе чаще всего, просто в виде кода: нарисовал две кривые, посмотрел, где пересекаются, задал численному решателю отрезок. Ценность школьного варианта в том, что он учит делать это до запуска кода, на основе свойств функций. И заодно спасает от классической ошибки: скормить солверу уравнение с тремя корнями, получить один и решить, что задача закрыта.

Ситуация «мы точно знаем, сколько решений, но не знаем их формулой» — норма современной прикладной математики, а не признак поражения. Когда в статье пишут «показано, что стационарная точка единственна», за этим стоит рассуждение того же типа, что в примерах выше.

Приём 7: уравнения вида $f(x) = f^{-1}(x)$

Интуиция

В уроке 82 ты видел ключевое свойство: графики $y = f(x)$ и $y = f^{-1}(x)$ симметричны относительно прямой $y = x$. Отсюда напрашивается догадка: если два симметричных объекта пересекаются, то, наверное, они пересекаются на самой оси симметрии.

Догадка почти верная. «Почти» — потому что симметричные фигуры вообще-то могут пересекаться и вне оси симметрии (две окружности, симметричные относительно прямой, легко пересекаются в паре точек по обе стороны от неё). Но если $f$ возрастает, лишних пересечений быть не может, и тогда сложное уравнение $f(x) = f^{-1}(x)$ сводится к простому $f(x) = x$.

Это чудовищно полезно, потому что уравнения вида «показательная = логарифмическая» или «квадрат = корень» — самые типичные комбинированные уравнения на свете.

Утверждение: Пусть функция $f$ строго возрастает и имеет обратную $f^{-1}$. Тогда уравнение $f(x) = f^{-1}(x)$ равносильно уравнению $f(x) = x$.

Доказательство. Пусть $a$ — корень уравнения $f(a) = f^{-1}(a)$. Обозначим $b = f(a)$. Равенство $f^{-1}(a) = b$ по определению обратной функции означает $a = f(b)$.

Разберём три случая:

• если $a < b$, то из возрастания $f$ следует $f(a) < f(b)$, то есть $b < a$ — противоречие с $a
• если $a > b$, то из возрастания $f$ следует $f(a) > f(b)$, то есть $b > a$ — снова противоречие;
• значит остаётся $a = b$, то есть $f(a) = a$.

Обратно, любой корень уравнения $f(x)=x$ очевидным образом подходит: если $f(a)=a$, то $f^{-1}(a)=a$, и равенство $f(a)=f^{-1}(a)$ выполнено. ∎

⚠️ Условие возрастания снять нельзя. Простейший контрпример: $f(x) = 1 - x$. Эта функция сама себе обратна, поэтому уравнение $f(x) = f^{-1}(x)$ превращается в тождество $1-x = 1-x$ и выполняется при всех $x$. А уравнение $f(x) = x$ даёт единственный корень $x = \frac12$. Для убывающей функции утверждение неверно, и разница тут не в мелочах, а в бесконечности лишних решений.

⚠️ И ещё одна тонкость: возрастать $f$ должна на всей рассматриваемой области, а не на её части. Если ты «сузил» функцию до участка, где она возрастает, то и решения ищешь только на этом участке, а за его пределами уравнение надо разбирать отдельно. В практике (задание 23) будет ровно такой случай.

Как распознать, что перед тобой $f(x) = f^{-1}(x)$

Смотри на пары, которые обратны друг другу:

• $a^x$ и $\log_a x$; шире — $a^{x-c}$ и $\log_a x + c$, $a^x + c$ и $\log_a(x - c)$;
• $x^2$ на $x \ge 0$ и $\sqrt{x}$; шире — $(x-c)^2 + c$ и $c + \sqrt{x-c}$;
• $x^3$ и $\sqrt[3]{x}$; $kx+b$ и $\frac{x-b}{k}$.

Практический рецепт: возьми ту часть, что выглядит проще, назови её $f$, честно найди $f^{-1}$ и сравни со второй частью. Совпало — приём работает.

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

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

Решение:

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

Шаг 2. Функция $f(x) = 2^x$ возрастает, а $f^{-1}(x) = \log_2 x$ — её обратная. Значит уравнение равносильно $2^x = x$.

Шаг 3. Докажем, что $2^x > x$ при всех $x$, то есть корней нет.

Шаг 4. Если $x \le 0$, то $2^x > 0 \ge x$ ✅

Шаг 5. Если $0 < x < 1$, то $2^x > 2^0 = 1 > x$ ✅

Шаг 6. Если $x \ge 1$, обозначим $n$ — целую часть $x$, так что $n \ge 1$ и $n \le x < n+1$. Тогда $2^x \ge 2^n$. А для целых $n\ge1$ выполнено $2^n \ge n+1$ (при $n=1$: $2 = 2$; при переходе к $n+1$ левая часть удваивается, правая растёт на единицу, так что неравенство только усиливается). Значит $2^x \ge 2^n \ge n + 1 > x$ ✅

Шаг 7. Во всех случаях $2^x > x$, равенство невозможно.

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

Графически: кривая $y = 2^x$ целиком лежит выше биссектрисы $y=x$, а симметричная ей $y = \log_2 x$ — целиком ниже. Пересечься им негде.

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

Решение:

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

Шаг 2. Положим $f(x) = 2^{x-1}$. Найдём обратную: из $y = 2^{x-1}$ следует $\log_2 y = x - 1$, то есть $x = \log_2 y + 1$. Значит

— это в точности правая часть уравнения.

Шаг 3. Функция $f(x) = 2^{x-1}$ возрастает, поэтому уравнение равносильно $f(x) = x$:

Шаг 4. Слева выпуклая показательная кривая, справа прямая — не более двух пересечений. Ищем их подбором: $x = 1$ даёт $2 = 2$ ✅, $x = 2$ даёт $4 = 4$ ✅. Оба найдены, больше быть не может.

Проверка при $x = 1$: $2^{0} = 1$ и $\log_2 1 + 1 = 0 + 1 = 1$ ✅ Проверка при $x = 2$: $2^{1} = 2$ и $\log_2 2 + 1 = 1 + 1 = 2$ ✅

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

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

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

Решение:

Шаг 1. ОДЗ: $x - 2 \ge 0$, то есть $x \ge 2$.

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

Шаг 3. Положим $f(x) = (x-2)^2 + 2$ и рассмотрим её на луче $x \ge 2$ — там она строго возрастает (аргумент $x-2$ неотрицателен и растёт, квадрат неотрицательного растёт).

Шаг 4. Найдём обратную. Из $y = (x-2)^2 + 2$ при $x \ge 2$ получаем $(x-2)^2 = y - 2$, откуда $x - 2 = \sqrt{y-2}$ (берём именно неотрицательный корень, ведь $x \ge 2$), значит

— ровно правая часть.

Шаг 5. Раз $f$ возрастает на $[2; +\infty)$, уравнение равносильно $f(x) = x$:

Шаг 6. По теореме Виета: $x = 2$ и $x = 3$. Оба удовлетворяют условию $x \ge 2$ ✅

Проверка при $x = 2$: слева $4 - 8 + 6 = 2$, справа $2 + \sqrt{0} = 2$ ✅ Проверка при $x = 3$: слева $9 - 12 + 6 = 3$, справа $2 + \sqrt{1} = 3$ ✅

Ответ: $x = 2$, $x = 3$

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

Приём выглядит экзотикой, но за ним стоит совершенно общая идея: симметрия задачи подсказывает, где искать решение. Уравнение $f(x)=f^{-1}(x)$ симметрично относительно замены «функция ↔ обратная», и решения оказываются на оси этой симметрии.

В прикладных сюжетах пары «функция и обратная» встречаются постоянно: кодировщик и декодировщик автоэнкодера, прямое и обратное преобразование признака, логит и сигмоида, температура и калибровочная кривая. Вопрос «в какой точке прямое преобразование совпадает с обратным» — это вопрос о неподвижной точке, $f(x) = x$. Неподвижные точки — вообще одна из центральных идей вычислительной математики: итерационные методы (включая градиентный спуск, записанный как $w_{k+1} = F(w_k)$) сходятся именно к ним.

Комбинированные уравнения в машинном обучении

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

Сюжет 1: точка равновесия двух расписаний learning rate

Скорость обучения (learning rate) обычно уменьшают по ходу тренировки. Два самых популярных расписания устроены принципиально по-разному:

• экспоненциальное затухание: $\eta_1(t) = \eta_0\cdot 2^{-t/4}$ — шаг уменьшается вдвое каждые 4 эпохи;
• степенное (обратно-пропорциональное) затухание: $\eta_2(t) = \dfrac{\eta_0}{1 + t/4}$ — классический $1/t$-график.

Оба стартуют с одного и того же $\eta_0$. Вопрос инженера: на какой эпохе они сравняются и какое расписание агрессивнее?

Шаг 1. Приравниваем и сокращаем на $\eta_0 > 0$:

Шаг 2. Обозначим $u = \dfrac{t}{4} \ge 0$ (число «периодов полураспада»). Уравнение превращается в

Обрати внимание, что мы честно перемножили крест-накрест: обе части положительны, так что преобразование равносильно.

Шаг 3. Слева выпуклая показательная кривая, справа прямая — корней не более двух. Подбираем: $u = 0$ даёт $1 = 1$ ✅, $u = 1$ даёт $2 = 2$ ✅. Оба найдены.

Шаг 4. Возвращаемся: $t = 4u$, значит $t = 0$ и $t = 4$.

Шаг 5. Кто выше между ними? Возьмём $u = 0{,}5$: $2^{0{,}5} \approx 1{,}414$, а $1 + u = 1{,}5$. Значит $2^u < 1+u$, откуда $2^{-u} > \frac{1}{1+u}$, то есть $\eta_1 > \eta_2$.

Вывод: расписания совпадают на старте и на 4-й эпохе. До 4-й эпохи экспоненциальное расписание держит шаг выше степенного, а после 4-й — падает быстрее и уходит вниз (при $u > 1$ снова $2^u > 1+u$, значит $\eta_1 < \eta_2$). Практический смысл: экспоненциальное затухание — это «дольше учимся большими шагами, потом резко тормозим», степенное — «плавно, но никогда не тормозим до конца». Выбор между ними и есть выбор между этими двумя стратегиями, а точка $t=4$ — граница, где они меняются местами.

Сюжет 2: гиперпараметр, где сталкиваются степенной рост и экспоненциальное затухание

Классическая картина компромисса смещения и разброса. Пусть при силе регуляризации $\lambda > 0$:

• вклад смещения (модель слишком зажата, недообучение) растёт по степенному закону: $B(\lambda) = \lambda^2$;
• вклад разброса (переобучение на шуме) падает экспоненциально: $V(\lambda) = 4^{\,1-\lambda}$.

Вопрос: при каком $\lambda$ два вклада равны — то есть где проходит граница между «недорегуляризовали» и «перерегуляризовали»?

Шаг 1. Уравнение:

Слева степенная функция, справа показательная — классическая комбинация, к одному типу не приводится.

Шаг 2. Подбираем корень. Показательной части нравятся целые $\lambda$: при $\lambda = 1$ слева $1$, справа $4^0 = 1$ ✅

Шаг 3. Доказываем единственность. На промежутке $\lambda > 0$ функция $\lambda^2$ строго возрастает. Функция $4^{1-\lambda}$ строго убывает (показатель $1-\lambda$ убывает, а $4^u$ возрастает — «возрастающая от убывающей» убывает). Возрастающая против убывающей — не более одного корня.

Шаг 4. Значит $\lambda = 1$ — единственная точка равновесия.

Вывод: при $\lambda < 1$ доминирует разброс (переобучение), при $\lambda > 1$ — смещение (недообучение). И заметь, чем именно ценно доказательство единственности: оно гарантирует, что бинарный поиск по $\lambda$ (а именно так и подбирают гиперпараметр в реальности) сойдётся к правильной точке из любого стартового отрезка, а не застрянет во втором, «ложном» равновесии.

Сюжет 3: пересечение кривых обучения

Две модели учат одну и ту же задачу. Ошибка на валидации падает у них по-разному:

• Модель A (побольше, учится ровно): $L_A(t) = 0{,}8 + \dfrac{4}{t}$ — степенное затухание;
• Модель B (поменьше, но с более агрессивным расписанием): $L_B(t) = 0{,}8 + 4\cdot 2^{\,-t/2}$ — экспоненциальное затухание.

Здесь $t$ — номер эпохи, $t > 0$. Вопрос: на каких эпохах модели равны по качеству и какую выбирать?

Шаг 1. Приравниваем и вычитаем общий «неустранимый» уровень ошибки $0{,}8$:

Шаг 2. Замена $u = \dfrac{t}{2} > 0$, то есть $t = 2u$:

Шаг 3. Это то самое уравнение из примера про $f(x)=f^{-1}(x)$: не более двух корней (прямая против выпуклой кривой), и оба найдены подбором — $u = 1$ и $u = 2$.

Шаг 4. Возвращаемся: $t = 2$ и $t = 4$.

Шаг 5. Что происходит между пересечениями? Возьмём $t = 3$ ($u = 1{,}5$): $2^{1{,}5} \approx 2{,}83$, а $2u = 3$. Значит $2^{t/2} < t$, откуда $2^{-t/2} > \frac1t$, то есть $L_B > L_A$ — на третьей эпохе модель A лучше.

Шаг 6. А вне отрезка $[2;4]$? При $t = 1$: $2^{0{,}5}\approx 1{,}41 > 1 = t$, значит $L_B < L_A$ — B лучше. При $t = 6$: $2^3 = 8 > 6$, снова $L_B < L_A$ — B лучше.

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

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

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

Задание 1: Реши уравнение $\bigl(2^x - 8\bigr)\sqrt{x-1} = 0$.

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

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

Задание 4: Реши уравнение $\sqrt{x-4} + \sqrt{4-x} = \log_3(x-3)$.

Задание 5: Реши уравнение $\sin x\,\bigl(3^x - 1\bigr) = 0$.

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

Задание 7: Реши уравнение $\log_2 x = 3 - x$.

Задание 8: Реши уравнение $\cos x = x^2 + 1$.

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

Задание 10: 🤖 При обучении модели штраф за регуляризацию задан выражением $P(\lambda) = \lambda\ln\lambda$, где $\lambda > 0$ — сила регуляризации. При каком $\lambda$ штраф обращается в ноль?

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

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

Задание 12: Реши уравнение $\sqrt{x^2 - 5x + 4} + x^2 - 5x + 4 = 6$.

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

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

Задание 15: Реши уравнение $2^x\cos x = 2^x$.

Задание 16: Реши уравнение $4^x + 4^{-x} = 2\cos 3x$.

Задание 17: Реши уравнение $2^x + x^3 = 12$.

Задание 18: Реши уравнение $\lg\bigl(x^2+1\bigr) + 5^{x^2} = 1$.

Задание 19: Реши уравнение $\bigl(4^x - 2^{x+1}\bigr)\log_3(x+1) = 0$.

Задание 20: 🤖 Две модели учат одну задачу. Ошибка на валидации у первой убывает степенно: $L_1(t) = 0{,}5 + \dfrac{1}{t}$, у второй экспоненциально: $L_2(t) = 0{,}5 + 4\cdot 2^{-t}$, где $t$ — номер эпохи (натуральное число). На какой эпохе качество моделей совпадёт?

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

Задание 21: Реши уравнение $\sqrt{x+2} = x^2 - 2$.

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

Задание 23: Реши уравнение $\sqrt{4 - x^2}\cdot\log_2\bigl(x^2 - 3x + 3\bigr) = 0$.

Задание 24: Реши уравнение $2^x + \log_2 x = 5$.

Задание 25: Реши уравнение $\log_2|x| = 3 - |x|$.

Задание 26: Реши уравнение $\sqrt{\log_2 x - 1} + \sqrt{1 - \log_2 x} = \sin\dfrac{\pi x}{2}$.

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

Задание 28: Реши уравнение $\sqrt{x-3} + \sqrt{5-x} = 2 + \log_2\bigl(x^2 - 8x + 17\bigr)$.

Задание 29: 🤖 При силе регуляризации $\lambda > 0$ вклад переобучения в суммарную ошибку убывает как $\dfrac{8}{\lambda}$, а вклад недообучения растёт как $2^{\lambda}$. При каком $\lambda$ обе составляющие равны? Докажи, что такое значение единственно.

Задание 30: 🤖 Число параметров модели растёт по степенному закону $P(t) = t^3$, а требуемый объём обучающих данных — по показательному $D(t) = 3^{t}$ (здесь $t$ — номер поколения модели, натуральное число). На каком поколении обе величины совпадут? Докажи, что такое поколение единственно.

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

❌ Ошибка 1: любой ценой «приводить к одному типу»

Неправильно: решать $2^x = 3 - x$ так: «возведём обе части в квадрат» или «прологарифмируем и получим $x = \log_2(3-x)$, теперь потенцируем...» — и крутить это по кругу, пока не кончится тетрадь.

Правильно: сначала убедиться, что типы функций действительно сводятся друг к другу. Показательная сводится к показательной, логарифм — к логарифму, но показательная к линейной не сводится никогда. Если после двух-трёх преобразований смесь осталась смесью, значит алгебраический путь закрыт: переходи к ОДЗ, оценкам, монотонности. В нашем примере ответ $x=1$ получается монотонностью за две строки.

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

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

Неправильно: в уравнении $2^x\sin x = \sin x$ сократить обе части на $\sin x$ и получить $2^x = 1$, то есть единственный ответ $x = 0$.

Правильно: сокращать можно только на то, что заведомо не равно нулю. Синус обращается в ноль при $x = \pi k$ — и все эти значения являются корнями. Правильный ход:

Ответ: $x = \pi k$, $k\in\mathbb{Z}$ (значение $x=0$ входит в эту серию).

💡 Почему важно: в комбинированных уравнениях сокращение особенно соблазнительно, потому что «мешающий» множитель обычно чужого типа и хочется от него избавиться. Но именно он чаще всего и даёт бесконечную серию корней. Универсальное правило: вместо деления — вынесение множителя. Единственное исключение — деление на то, что положительно всегда: $a^{f(x)}$, $x^2+1$, $\sqrt{\dots}+1$.

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

Неправильно: в уравнении $\sqrt{x-5}\bigl(2^x-4\bigr) = 0$ получить из второго множителя $x = 2$ и записать его в ответ: «показательная функция определена везде, всё в порядке».

Правильно: ОДЗ — свойство всего уравнения, а не отдельного множителя. При $x=2$ выражение $\sqrt{2-5}$ не существует, значит не существует и произведения. Корень $x=2$ посторонний, ответ только $x = 5$.

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

❌ Ошибка 4: в методе оценки решать «или» вместо «и»

Неправильно: в уравнении $\sin x = x^2 + 1$ заметить, что $\sin x \le 1 \le x^2+1$, найти точку $x = 0$, где правая часть равна 1, и записать её в ответ.

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

Второе уравнение даёт $x=0$, но $\sin 0 = 0 \ne 1$ — система несовместна, корней нет.

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

❌ Ошибка 5: считать, что сумма возрастающей и убывающей функций монотонна

Неправильно: в уравнении $2^x - x^2 = 1$ сказать: «$2^x$ возрастает, $-x^2$ на $x>0$ убывает, значит их сумма монотонна, корень не более одного» — и остановиться на найденном $x = 0$.

Правильно: про сумму возрастающей и убывающей ничего сказать нельзя — она может расти, падать и колебаться. Здесь у уравнения $2^x = x^2+1$ есть и другие корни ($x=0$ — не единственный; например, есть корень между $4$ и $5$, поскольку $2^4 = 16 < 17$, а $2^5 = 32 > 26$). Монотонность годится, только когда все слагаемые тянут в одну сторону.

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

❌ Ошибка 6: подобрать корень и забыть доказать единственность (или наоборот)

Неправильно: написать «$x = 2$ — корень, подстановка это подтверждает» и поставить точку. Или, наоборот, доказать, что «функция возрастает, значит корень не более одного», и записать ответ, не предъявив сам корень.

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

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

❌ Ошибка 7: применять правило $f(x)=f^{-1}(x) \Leftrightarrow f(x)=x$ к невозрастающей функции

Неправильно: в уравнении $\sqrt{x+2} = x^2-2$ сразу написать $x^2 - 2 = x$ и выдать ответ $x = 2$, $x = -1$.

Правильно: теорема требует, чтобы $f$ строго возрастала на всей рассматриваемой области. Функция $x^2-2$ на ОДЗ $[-2;+\infty)$ не возрастает (слева от нуля она убывает), поэтому теорема неприменима. Честное решение (задание 21) даёт корни $x = 2$ и $x = \frac{-1-\sqrt5}{2}$, а «быстрый» путь выдал лишний корень $x=-1$ и потерял настоящий.

💡 Почему важно: контрпример, который стоит запомнить навсегда: $f(x) = 1-x$ сама себе обратна, поэтому $f(x)=f^{-1}(x)$ выполняется при всех $x$, а $f(x)=x$ — только при $x=\frac12$. Для убывающей функции теорема ошибается не на один корень, а на бесконечность корней.

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

Неправильно: нарисовать два графика, увидеть одно пересечение и написать «из графика видно, что корень один».

Правильно: график — способ выдвинуть гипотезу, а не доказать её. Кривые могут идти настолько близко, что на рисунке сольются: например, $y = 2^x$ и $y = x^2$ на участке около $x=4$ проходят почти вплотную, и без вычислений не понять, пересеклись они там или разошлись. После графика обязательна аналитическая часть: подстановка для каждого корня плюс монотонность или оценка для количества.

💡 Почему важно: в прикладной работе та же ошибка выглядит как «посмотрел на plot, решил, что решение одно, запустил солвер». Солвер найдёт корень — какой-нибудь. Если корней на самом деле три, результат будет зависеть от начального приближения, а выводы — от случайности.

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

✅ Комбинированное уравнение — это уравнение, где встретились функции разных классов. Универсального алгоритма для него не существует: приёмы работают не с формулами, а со структурой — с ОДЗ, знаками, монотонностью и оценками.

✅ Порядок ходов от дешёвого к дорогому: ОДЗ → разложение на множители → замена переменной → метод оценки → метод монотонности → графическая интерпретация. Начинай всегда сверху.

✅ ОДЗ может решить уравнение целиком. Два встречных ограничения (например, $\sqrt{f}$ и $\sqrt{-f}$, или $f \ge 0$ и $f \le 0$) схлопывают область до одной точки или до пустого множества. Схлопнулась в точку — подставь и проверь; оказалась пустой — ответ «корней нет».

✅ Произведение равно нулю ⟺ нулю равен один из множителей — единственный приём, который разбивает смесь на однотипные уравнения. Но каждый найденный корень обязан лежать в ОДЗ всего уравнения.

✅ Никогда не сокращай на выражение с переменной — выноси множитель. Сокращение на $\sin x$, $\log_a x$, $(x-1)$ стоит тебе целых серий корней.

✅ Замена переменной работает, если один блок «порождает» все остальные: $\sqrt{f}$ и $f$; $a^{2u}$ и $a^u$; $a^{u}$ и $a^{-u}$. Обязательно указывай множество значений новой переменной — например, $t = 2^{\sin x}$ даёт $t \in [\frac12; 2]$.

✅ Метод оценки: если $f \le M$ и $g \ge M$, то уравнение $f = g$ равносильно СИСТЕМЕ $f = M$ и $g = M$. Не «или», а «и» — обе части обязаны достичь границы в одной и той же точке.

✅ Сумма неотрицательных равна нулю только когда все слагаемые нулевые — вырожденный, но самый частый случай метода оценки.

✅ Метод монотонности: возрастающая против убывающей (или против константы) — не более одного корня. Решение состоит из двух частей: подобрать корень и обосновать единственность. Сумма возрастающих возрастает; сумма возрастающей и убывающей — ни о чём не говорит.

✅ Для строго возрастающей $f$ уравнение $f(x) = f^{-1}(x)$ равносильно $f(x) = x$. Для убывающей — неверно (контрпример $f(x) = 1-x$). Проверяй возрастание на всей области, а не на удобном куске.

✅ График подсказывает, аналитика доказывает. «Из рисунка видно» — не аргумент; после картинки нужны подстановка и обоснование числа корней.

✅ Не выражается формулой ≠ не существует. Про корень уравнения $2^x = x^2$ на промежутке $(-1;0)$ можно строго доказать, что он есть и он там один, — и этого достаточно для любой практической задачи.

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

Что было раньше. Этот урок — сборка всего, что ты изучил в блоке функций и уравнений. Из уроков 103–107 пришли простейшие тригонометрические уравнения и умение записывать серии корней; из урока 111–114 — показательная функция, её монотонность, положительность и приём замены $t=a^x$; из уроков 116–122 — логарифм, дисциплина ОДЗ, потенцирование и логарифмирование. Урок 82 «Обратная функция» дал симметрию относительно $y=x$, на которой держится седьмой приём, а урок 83 «Композиция функций» — правила монотонности сложной функции. Даже неравенство о среднем, которым мы оценивали $t + \frac1t \ge 2$ и произведение с постоянной суммой, — это школьная алгебра, просто применённая в новом месте.

Что дальше. Следующий урок 124 — системы показательных и логарифмических уравнений, где та же смесь встречается уже в паре уравнений с двумя неизвестными, и главным инструментом снова становится замена переменных. Урок 125 покажет комбинированные уравнения в задачах на рост и распад: «через сколько лет вклад догонит инфляцию» — это ровно уравнение вида «показательная = линейная». В уроке 129 появятся пределы, а в 133 — производная, и метод монотонности получит наконец автоматический критерий: вместо возни со знаком разности достаточно будет посмотреть на знак $f'(x)$. Приёмы из этого урока при этом никуда не денутся — просто доказывать монотонность станет быстрее. А уроки 139–144 добавят к арсеналу исследование функций целиком, включая точки экстремума, и тогда «сколько корней у уравнения» станет полностью механической задачей.

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

🤖 В машинном обучении: сравнение расписаний learning rate (экспоненциальное затухание против $1/t$), поиск точки равновесия смещения и разброса при подборе коэффициента регуляризации, определение эпохи, на которой пересекаются кривые обучения двух моделей, расчёт момента, когда экспоненциально растущая потребность в данных обгонит степенной рост числа параметров (scaling laws), поиск порога классификации, при котором сравниваются две метрики.

📊 В data science: точка окупаемости двух стратегий (одна с линейными издержками, другая с логарифмическими), момент пересечения кривой роста аудитории и кривой оттока, выбор размера выборки, при котором статистическая ошибка $\propto 1/\sqrt n$ сравняется с фиксированной систематической.

🔬 В естественных науках: уравнение Кеплера $M = E - e\sin E$ для положения планеты, задачи «когда остывающее тело сравняется по температуре с нагревающимся», условия равновесия в химической кинетике, где концентрации меняются по экспоненте, а скорости — по степенному закону.

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

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

💡 Теорема Абеля — Руффини объясняет, почему формулы нет. Паоло Руффини опубликовал первую (неполную) версию доказательства в 1799 году, Нильс Абель довёл его до конца в 1824-м. Их результат: уже для многочленов пятой степени общей формулы через радикалы не существует. Для комбинированных уравнений ситуация ещё жёстче: там не то что формулы нет — сам вопрос «а какой формулой это вообще могло бы выражаться» не имеет стандартного ответа. Именно поэтому качественные методы из этого урока — не «упрощённый школьный вариант», а единственный доступный инструмент.

💡 У уравнения $2^x = x^2$ третий корень всё-таки выражается — через функцию Ламберта. Специальная функция $W(z)$, определённая как решение уравнения $we^{w} = z$, введена Иоганном Ламбертом в 1758 году и доработана Эйлером. Через неё записываются решения огромного класса смешанных уравнений вида «показательная = степенная». Так что отрицательный корень $x \approx -0{,}7666$ из нашего примера имеет точное выражение — просто в терминах функции, которой нет на клавиатуре калькулятора. Это хорошая иллюстрация того, что «нет формулы» часто означает «нет формулы в привычном наборе значков».

💡 Уравнение Кеплера породило функции Бесселя. Пытаясь решить $M = E - e\sin E$, Фридрих Бессель в 1817 году разложил $E$ в ряд и обнаружил, что коэффициенты этого ряда — новые, ранее неизвестные функции. Сегодня функции Бесселя используют при расчёте дифракции, вибраций мембран, распространения радиоволн и в цифровой обработке сигналов (окно Кайзера). То есть попытка решить одно комбинированное уравнение подарила математике целое семейство функций.

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

💡 Уравнение $3^x + 4^x = 5^x$ — это теорема Пифагора, которой задали вопрос. Мы нашли, что оно имеет единственный корень $x = 2$. Обобщение этого наблюдения на произвольные пифагоровы тройки — известный сюжет: для любых $a^2+b^2=c^2$ уравнение $a^x+b^x=c^x$ имеет ровно один корень, и это двойка. Причина всё та же монотонность: разделив на $c^x$, получаем сумму двух убывающих функций.

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

1. Сначала посчитай типы функций

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

2. ОДЗ выписывай всегда и первым делом

Даже если ты уверен, что она ничего не даст. В комбинированных уравнениях вероятность, что ограничения передерутся между собой, гораздо выше, чем в однотипных. Особенно внимательно смотри на пары вида $\sqrt{f}$ и $\sqrt{-f}$, на $\sqrt{f}$ рядом с $\log(-f)$, на $\arcsin$ рядом с растущим аргументом.

3. Ноль справа — ищи множители; одинаковый кусок — делай замену

Это два самых механических признака. Ноль в правой части почти всегда означает, что автор задачи ждёт от тебя разложения. Повторяющееся выражение (одно и то же под корнем и вне его, один и тот же показатель) означает замену. Оба признака видны за секунду.

4. Подбирай корень по пересечению «удобных» значений

Составь для каждой функции список значений, на которых она красивая. Для $\log_2$ — это $1, 2, 4, 8, 16$; для $\sqrt{\ }$ — $0,1,4,9,16$; для $3^x$ — целые $x$; для синуса — $0, \frac{\pi}{6}, \frac{\pi}{4}, \frac{\pi}{2}$. Пересечение списков и есть кандидат в корни. В уравнении $2\sqrt x + \log_2 x = 6$ пересечение подсказок — числа 4 и 16, и четвёрка оказывается корнем.

5. Для оценок держи в голове пять неравенств

$\sin x \le 1$, $\cos x \le 1$; $x^2 \ge 0$ (и полный квадрат $\ge$ значения в вершине); $a^{f} > 0$; $\sqrt{f} \ge 0$; $t + \frac1t \ge 2$ при $t>0$. Плюс правило «сумма неотрицательных равна нулю только когда все нули». Девять из десяти задач на оценку закрываются этим набором.

6. Проверяй монотонность через сумму, а не через определение

Не надо каждый раз выписывать $f(x_2)-f(x_1)$. Достаточно разложить функцию на слагаемые и убедиться, что все они возрастают (или все убывают). $2^x + x^3 + \sqrt{x}$ — сумма трёх возрастающих, значит возрастает. Если хоть одно слагаемое тянет в другую сторону, метод не применим — и это тоже полезный вывод, полученный за секунду.

7. Делай замену не только «внутрь», но и «наружу»

Если обе части уравнения устроены по одному шаблону — $\varphi(x) = \varphi(g(x))$, — не решай их по отдельности. Строго монотонная $\varphi$ даёт просто $x = g(x)$. Так уравнение $\log_2 x + x = \log_2(6-x) + 6 - x$ решается в одну строку: $x = 6-x$, значит $x=3$.

8. Помни, что модуль на обратном ходе удваивает корни

Замена $t = |x|$ — очень удобный приём для уравнений с модулем и показательной или логарифмической функцией. Но не забудь, что каждое положительное $t$ даёт два значения $x$: $t$ и $-t$. Единственное исключение — $t = 0$.

9. Прежде чем звать численный метод, ответь на вопрос «сколько корней»

Это главный практический вывод урока. Любой солвер вернёт тебе один корень и не скажет, сколько их было. Локализация («корень один, он между 2 и 3») делается вручную за пару минут теми же приёмами: монотонность плюс смена знака разности на концах отрезка. Дальше можно спокойно доверять коду.

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

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

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

Дальше по курсу — системы показательных и логарифмических уравнений, где та же смесь усложняется вторым неизвестным, а потом задачи на рост и распад, в которых комбинированные уравнения перестанут быть упражнением и станут рабочим языком. Инструменты у тебя уже есть. Погнали дальше 🚀