Системы показательных и логарифмических уравнений 🧩

Ты запускаешь обучение нейросети и видишь в логе всего две строчки: на десятой эпохе learning rate был $0{,}08$, а на двадцатой — $0{,}02$. Конфиг потерялся, репозиторий кто-то переписал, а тебе нужно воспроизвести эксперимент точь-в-точь. Значит, надо восстановить два числа: стартовый learning rate $\eta_0$ и коэффициент затухания $\lambda$. Одного замера мало — через одну точку проходит бесконечно много экспонент. Двух замеров хватает, но они дают не пару отдельных уравнений, а систему: два условия, которые должны выполниться одновременно, и одну пару чисел $(\eta_0;\ \lambda)$, которая устраивает оба.

Вот это «одновременно» и есть вся суть темы. В уроке 114 ты научился решать показательные уравнения, в уроке 120 — логарифмические, в 123 — комбинированные. Каждый раз неизвестная была одна, и ответом было множество чисел. Сейчас неизвестных две, а ответом становится пара $(x;\ y)$ — точка на плоскости, а не число на прямой. И это меняет буквально всё: и технику решения, и — что гораздо важнее — технику проверки. Потому что ОДЗ теперь тоже про пару: если $x$ прошёл по первому уравнению, а $y$ по второму, это ещё ничего не значит. Пара может развалиться на том, что $x$ и $y$ по отдельности хороши, а вместе — нет.

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

Плохая новость: именно на обратном пути теряются баллы. Замена $u = 2^x$ прячет в себе жёсткое условие $u > 0$, о котором забывают в девяти случаях из десяти. Свёртка $\log_a x + \log_a y = \log_a(xy)$ расширяет область определения так, что в ответ пролезает пара из двух отрицательных чисел. Симметричная система честно даёт два корня квадратного уравнения — а в ответе иногда должна остаться одна пара, а иногда две, и путать эти случаи нельзя. Давай разберёмся со всем этим по порядку.

🎯 Ты узнаешь:

• Как метод подстановки работает, когда неизвестная сидит в показателе или под логарифмом, и почему «выразить и подставить» тут даже проще, чем в алгебре
• Как замена $u = a^x$, $v = a^y$ превращает систему в алгебраическую — и почему условия $u > 0$, $v > 0$ обязаны появиться в решении явно, а не «подразумеваться»
• Как замена $u = \log_a x$, $v = \log_a y$ делает то же самое для логарифмических систем, и почему обратный переход $x = a^u$ никогда не требует проверки ОДЗ
• Как узнавать симметричные системы (одно уравнение даёт сумму, другое — произведение) и решать их одной строчкой через теорему Виета
• Почему ОДЗ системы — это пересечение ОДЗ всех уравнений, и как правильно проверять пару $(x;\ y)$ целиком, а не переменные по отдельности

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

Системы уравнений старше самой алгебры в привычном нам виде. В китайском трактате «Математика в девяти книгах» (九章算術, около II века до н. э.) целая восьмая глава называется «Фан-чэн» и посвящена решению систем линейных уравнений. Коэффициенты выписывали столбиками из счётных палочек на разграфлённой доске и вычитали столбцы друг из друга, пока не оставалась одна неизвестная. Это буквально метод Гаусса — за две тысячи лет до Гаусса. Уже тогда главная идея была ровно той же, что и у нас сегодня: система решается не «в лоб», а сведением к более простой системе, у которой ответ виден.

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

Показательные и логарифмические функции пришли в эту историю позже. Джон Непер опубликовал логарифмы в 1614 году как вычислительный инструмент, а полноценной функцией $a^x$ и $\log_a x$ сделал Леонард Эйлер в «Введении в анализ бесконечных» (1748). Эйлер же первым систематически применил приём, который мы сегодня называем заменой переменной: он показал, что уравнение относительно $a^x$ — это обычное алгебраическое уравнение относительно новой буквы, и никакой особой «показательной алгебры» изобретать не нужно. Именно с этого момента системы вроде $\{a^x + a^y = S,\ a^{x+y} = P\}$ перестали быть головоломками и стали упражнениями.

А мостик в сегодня совсем короткий. Когда в 1805 году Лежандр, а в 1809-м Гаусс формализовали метод наименьших квадратов, задача «восстановить параметры модели по нескольким измерениям» стала стандартной научной процедурой. Современная версия этой задачи называется калибровкой модели: у тебя есть параметрическое семейство (например, экспоненциальное затухание $\eta_0 e^{-\lambda t}$), есть измерения, и надо найти параметры. Когда измерений ровно столько же, сколько параметров, задача сводится к решению системы — и, если модель показательная или логарифмическая, это ровно та система, которую мы сейчас будем разбирать руками.

Что значит «решить систему» и почему ОДЗ здесь коварнее

Интуиция

Представь, что каждое уравнение системы — это фильтр в поисковой выдаче. Первый фильтр отбирает пары чисел $(x;\ y)$, которые ему подходят. Второй — свои пары. Решение системы — это то, что прошло оба фильтра. Не «что-то из первого плюс что-то из второго», а именно пересечение.

С одной переменной эта картинка тривиальна: фильтр отбирает точки на прямой. С двумя переменными каждое уравнение задаёт на плоскости уже целую линию (обычно кривую), а решение системы — точки пересечения этих линий. Поэтому и ответ записывается парой: $(x;\ y) = (3;\ 2)$, а не «$x = 3$, $y = 2$» вразнобой. Разница не косметическая. Если система дала $x \in \{2;\ 5\}$ и $y \in \{1;\ 4\}$, это не значит, что подходят все четыре комбинации: возможно, законны только $(2;\ 1)$ и $(5;\ 4)$, а $(2;\ 4)$ — мусор. Пара живёт целиком.

Теперь про ОДЗ. У показательного уравнения область определения обычно вся числовая прямая: $2^x$ существует при любом $x$. А вот у логарифмического — нет. И когда логарифмы стоят в системе, ограничения накапливаются: первое уравнение требует $x > 0$, второе требует $y > 0$, третье может потребовать $x - y > 0$. Все эти условия должны выполняться одновременно — то есть ОДЗ системы — это пересечение ОДЗ всех её уравнений.

Вот тут и живёт главная ловушка урока. Уравнение $\log_2 x + \log_2 y = 3$ после свёртки превращается в $xy = 8$. Но $xy = 8$ спокойно допускает пару $(-2;\ -4)$: произведение положительное, всё честно. А в исходном уравнении $\log_2(-2)$ не существует. То есть свёртка расширила область определения, и в неё пролез посторонний корень-пара. Заметь: по отдельности ни $x$, ни $y$ не «плохие» — плохо именно то, что мы забыли требовать положительности каждой переменной отдельно.

Определение: Решением системы уравнений с двумя неизвестными называется упорядоченная пара чисел $(x_0;\ y_0)$, обращающая каждое уравнение системы в верное числовое равенство. Областью допустимых значений (ОДЗ) системы называется множество пар $(x;\ y)$, при которых определены все выражения, входящие во все уравнения системы; это пересечение ОДЗ отдельных уравнений.

Практический вывод из определения:

• ОДЗ выписывается до решения, как система неравенств на обе переменные сразу
• Проверка кандидата — это подстановка пары в исходную систему, а не подстановка $x$ в первое уравнение и $y$ во второе
• Если хотя бы одно уравнение при данной паре теряет смысл, пара отбрасывается целиком — не «частично», не «только для $y$»
• Число решений системы и число корней вспомогательного квадратного уравнения — разные вещи: два корня $t_1$, $t_2$ могут дать одну пару, две пары или ни одной

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

Пример 1 (простой): реши систему

Решение:

Шаг 1. Выпишем ОДЗ. Логарифм требует положительности аргумента: $x - y > 0$. Никаких других ограничений нет — второе уравнение алгебраическое.

Шаг 2. Первое уравнение потенцируем по определению логарифма:

Шаг 3. Получилась обычная линейная система:

Сложим уравнения: $2x = 22$, значит $x = 11$. Тогда $y = 14 - 11 = 3$.

Шаг 4. Проверим ОДЗ для пары: $x - y = 11 - 3 = 8 > 0$ ✅

Проверка: $\log_2(11 - 3) = \log_2 8 = 3$ ✅, $11 + 3 = 14$ ✅

Ответ: $(x;\ y) = (11;\ 3)$

Пример 2 (средний): реши систему

Решение:

Шаг 1. ОДЗ системы: логарифмы требуют $x > 0$ и $y > 0$. Запомним оба условия — сейчас они сработают.

Шаг 2. Свернём сумму логарифмов: $\log_2(xy) = 3$, откуда $xy = 8$.

Шаг 3. Из второго уравнения $x = y + 2$. Подставим:

Шаг 4. Дискриминант: $D = 4 + 32 = 36$, $\sqrt{D} = 6$. Корни:

Шаг 5. Получаем двух кандидатов:

• $y = 2$, тогда $x = 4$ — пара $(4;\ 2)$
• $y = -4$, тогда $x = -2$ — пара $(-2;\ -4)$

Шаг 6. Фильтруем по ОДЗ. Пара $(4;\ 2)$: оба числа положительны ✅. Пара $(-2;\ -4)$: произведение $(-2)\cdot(-4) = 8$ — уравнение $xy = 8$ выполнено, но $\log_2(-2)$ не существует. Пара отбрасывается.

Проверка: $\log_2 4 + \log_2 2 = 2 + 1 = 3$ ✅, $4 - 2 = 2$ ✅

Ответ: $(x;\ y) = (4;\ 2)$

📌 Обрати внимание, откуда взялся лишний кандидат. Свёртка $\log_2 x + \log_2 y \to \log_2(xy)$ заменила условие «$x > 0$ и $y > 0$» на более слабое «$xy > 0$», в которое попадает и случай двух отрицательных. Это ровно та же болезнь, что и в уроке 120, только теперь она про пару.

Пример 3 (сложный): реши систему

Решение:

Шаг 1. ОДЗ системы — пересечение двух условий:

Шаг 2. Свернём левую часть: $\lg\big((x-2)(y-1)\big) = \lg 4$. Логарифмическая функция монотонна, поэтому аргументы равны:

Шаг 3. Из второго уравнения $x = y + 3$. Подставим:

Шаг 4. $y^2 = 5$, значит $y = \sqrt5$ или $y = -\sqrt5$.

Шаг 5. Восстановим пары и проверим ОДЗ:

• $y = \sqrt5 \approx 2{,}24$, тогда $x = \sqrt5 + 3 \approx 5{,}24$. Условия: $x > 2$ ✅, $y > 1$ ✅
• $y = -\sqrt5 \approx -2{,}24$, тогда $x = 3 - \sqrt5 \approx 0{,}76$. Условие $y > 1$ нарушено, да и $x > 2$ тоже. Пара отбрасывается

Шаг 6. Заметь важное: у второй пары произведение $(x-2)(y-1)$ равно $(0{,}76 - 2)(-2{,}24 - 1) = (-1{,}24)\cdot(-3{,}24) = 4$ — арифметически всё сходится! Именно поэтому подстановка в промежуточное уравнение ничего не проверяет: там пара законна. Отбраковку даёт только ОДЗ исходной системы.

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

Ответ: $(x;\ y) = (3 + \sqrt5;\ \sqrt5)$

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

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

Метод 1: подстановка — самый честный способ

Интуиция

Подстановка — это способ «убить» одну переменную. Из одного уравнения выражаешь $y$ через $x$ (или наоборот) и подставляешь во второе. Остаётся уравнение с одной неизвестной, которое ты уже умеешь решать по урокам 114 и 120.

В показательно-логарифмических системах у подстановки есть приятная особенность: очень часто одно из уравнений системы — простое линейное. Составители задач специально дают что-то вроде $x + y = 6$ или $x = 2y$, чтобы вторая, «страшная» часть системы после подстановки схлопнулась в одно знакомое уравнение. Поэтому первое, что делаешь, глядя на систему, — ищешь самое простое уравнение и смотришь, что из него выражается без дробей и корней.

Есть и второй сюжет подстановки, специфичный именно для нашей темы: подставлять можно не только переменную, но и целое выражение. Если в системе встретилось $y = 2^{x-4}$, это выражение целиком заезжает во второе уравнение вместо $y$ — и там сокращается по правилам степеней. Такая подстановка часто выглядит устрашающе, а работает в две строчки.

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

Порядок действий:

1. Выписать ОДЗ системы (все ограничения на $x$ и на $y$)

2. Выбрать уравнение, из которого переменная выражается проще всего

3. Подставить и решить уравнение с одной неизвестной

4. Для каждого найденного значения восстановить вторую переменную — получить пары

5. Проверить каждую пару по ОДЗ и подстановкой в исходную систему

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

Пример 1 (простой): реши систему

Решение:

Шаг 1. ОДЗ: ограничений нет, показательная функция определена при любых $x$ и $y$.

Шаг 2. Свернём первое уравнение по свойству степеней: $2^x \cdot 2^y = 2^{x+y}$, значит

Основания равны, функция $2^t$ строго возрастает, поэтому равны и показатели: $x + y = 5$.

Шаг 3. Система стала линейной:

Шаг 4. Сложим уравнения: $2x = 6$, $x = 3$. Тогда $y = 5 - 3 = 2$.

Проверка: $2^3 \cdot 2^2 = 8 \cdot 4 = 32$ ✅, $3 - 2 = 1$ ✅

Ответ: $(x;\ y) = (3;\ 2)$

Пример 2 (средний): реши систему

Решение:

Шаг 1. ОДЗ: без ограничений.

Шаг 2. Приведём первое уравнение к общему основанию 2:

Уравнение принимает вид $2^{2x} = 2^{\,y+3}$, откуда $2x = y + 3$.

Шаг 3. Из второго уравнения $y = 6 - x$. Подставим:

Шаг 4. Тогда $y = 6 - 3 = 3$.

Проверка: $4^3 = 64$, а $8 \cdot 2^3 = 8 \cdot 8 = 64$ ✅; $3 + 3 = 6$ ✅

Ответ: $(x;\ y) = (3;\ 3)$

📌 Ключевой ход тут — не подстановка, а приведение к общему основанию. Пока основания разные ($4$, $8$, $2$), сравнивать показатели нельзя. Как только всё стало степенями двойки, показательное уравнение превратилось в линейное.

Пример 3 (сложный): реши систему

Решение:

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

Шаг 2. Свернём первое уравнение: $\log_2(xy) = 5$, значит $xy = 2^5 = 32$.

Шаг 3. Подставим $x = 4y$:

Шаг 4. Отбираем по ОДЗ:

• $y = 2\sqrt2 \approx 2{,}83 > 0$ ✅, тогда $x = 4 \cdot 2\sqrt2 = 8\sqrt2$
• $y = -2\sqrt2 < 0$ ❌ — логарифм не определён, пара отбрасывается вместе с соответствующим $x$

Шаг 5. Проверим найденную пару. Удобно считать в логарифмах: $\log_2(8\sqrt2) = \log_2 8 + \log_2 2^{1/2} = 3 + 0{,}5 = 3{,}5$, а $\log_2(2\sqrt2) = 1 + 0{,}5 = 1{,}5$. Сумма: $3{,}5 + 1{,}5 = 5$ ✅

Шаг 6. Второе уравнение: $8\sqrt2 = 4 \cdot 2\sqrt2$ ✅

Ответ: $(x;\ y) = (8\sqrt2;\ 2\sqrt2)$

Пример 4 (сложный, подстановка выражения): реши систему

Решение:

Шаг 1. ОДЗ: ограничений нет.

Шаг 2. Подставим первое выражение во второе. Заметим, что $3^{x-1} = \dfrac{3^x}{3}$:

Шаг 3. Обозначим для удобства $u = 3^x$ (и помним: $u > 0$). Тогда

Шаг 4. Условие $u > 0$ выполнено. Возвращаемся: $3^x = 9 = 3^2$, значит $x = 2$.

Шаг 5. Тогда $y = 3^{2-1} = 3$.

Проверка: $y = 3^{1} = 3$ ✅; $3^2 + 3 = 9 + 3 = 12$ ✅

Ответ: $(x;\ y) = (2;\ 3)$

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

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

Метод 2: замена $u = a^x$, $v = a^y$ — и условия $u > 0$, $v > 0$

Интуиция

Посмотри на систему $\{2^x + 2^y = 12,\ 2^x - 2^y = 4\}$. Если мысленно закрыть ладонью «$2^{\ }$» и оставить только результат, увидишь обычную линейную систему: «сумма двух чисел равна 12, разность равна 4». Никакой показательности в самой системе нет — она вся спрятана в том, что эти два числа не произвольные, а являются степенями двойки.

Отсюда и приём. Вводим новые буквы: $u = 2^x$, $v = 2^y$. Система становится алгебраической, мы её решаем школьными методами и получаем значения $u$ и $v$. Потом возвращаемся: из $2^x = u$ находим $x = \log_2 u$.

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

Это не формальность. Алгебраическая система после замены может честно выдать корень $v = -4$ — и он будет правильным решением алгебраической системы, но не соответствовать никакому $y$: не существует $y$ с $2^y = -4$. Такой корень надо отбросить, и это не «проверка ОДЗ» в привычном смысле — это отбор по области значений замены.

Определение: Замена $u = a^x$, $v = a^y$ (где $a > 0$, $a \ne 1$) переводит систему показательных уравнений в алгебраическую систему относительно $u$ и $v$ с обязательными дополнительными условиями $u > 0$ и $v > 0$. Обратный переход: $x = \log_a u$, $y = \log_a v$.

Чем удобна эта замена:

• Обратный переход всегда возможен и однозначен: любое положительное $u$ даёт ровно одно $x$
• Дополнительной проверки ОДЗ по исходной системе не требуется — показательные выражения определены везде
• Часто $a^{x+y}$ раскладывается как $u \cdot v$, а $a^{2x}$ — как $u^2$; это превращает систему в симметричную

Типовые превращения, которые надо узнавать с ходу:

• $a^{x+y} = a^x \cdot a^y = uv$
• $a^{x-y} = \dfrac{a^x}{a^y} = \dfrac{u}{v}$
• $a^{2x} = (a^x)^2 = u^2$
• $a^{2x} = (a^2)^x$ — иногда полезнее привести к другому основанию

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

Пример 1 (простой): реши систему

Решение:

Шаг 1. Замена: $u = 2^x > 0$, $v = 2^y > 0$. Система:

Шаг 2. Сложим уравнения: $2u = 16$, значит $u = 8$. Тогда $v = 12 - 8 = 4$.

Шаг 3. Проверим условия замены: $u = 8 > 0$ ✅, $v = 4 > 0$ ✅

Шаг 4. Обратный переход:

Проверка: $8 + 4 = 12$ ✅, $8 - 4 = 4$ ✅

Ответ: $(x;\ y) = (3;\ 2)$

Пример 2 (средний): реши систему

Решение:

Шаг 1. Замена: $u = 3^x > 0$, $v = 3^y > 0$. Тогда $3^{x+y} = 3^x \cdot 3^y = uv$, и система превращается в

Шаг 2. Известны сумма и произведение — по теореме Виета $u$ и $v$ являются корнями квадратного уравнения

Шаг 3. Дискриминант: $D = 144 - 108 = 36$, $\sqrt D = 6$. Корни:

Шаг 4. Оба корня положительны — условия замены выполнены ✅. Система симметрична относительно $u$ и $v$, поэтому подходят обе расстановки:

• $u = 9$, $v = 3$: тогда $3^x = 9 \Rightarrow x = 2$, $3^y = 3 \Rightarrow y = 1$
• $u = 3$, $v = 9$: тогда $x = 1$, $y = 2$

Проверка: для $(2;\ 1)$: $9 + 3 = 12$ ✅, $3^{2+1} = 27$ ✅. Для $(1;\ 2)$ то же самое по симметрии ✅

Ответ: $(x;\ y) = (2;\ 1)$ и $(x;\ y) = (1;\ 2)$

📌 Здесь важно не потерять вторую пару. Исходная система симметрична: если поменять $x$ и $y$ местами, она не изменится. Значит, решения идут парами-«зеркалами», и обе расстановки законны.

Пример 3 (сложный, условие $v > 0$ работает): реши систему

Решение:

Шаг 1. Замена: $u = 2^x > 0$, $v = 2^y > 0$. Система:

Шаг 2. Из первого уравнения $u = v + 3$. Подставим во второе:

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

Шаг 4. Вот и момент истины. Корень $v = -4$ — законное решение алгебраической системы: при $u = -1$ действительно $u - v = -1 + 4 = 3$ и $uv = (-1)(-4) = 4$. Но $v = 2^y$, а показательная функция отрицательных значений не принимает. Условие $v > 0$ отбрасывает этот корень, а вместе с ним и весь второй набор.

Шаг 5. Остаётся $v = 1 > 0$ ✅, тогда $u = 4 > 0$ ✅.

Шаг 6. Обратный переход: $2^x = 4 \Rightarrow x = 2$; $2^y = 1 = 2^0 \Rightarrow y = 0$.

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

Ответ: $(x;\ y) = (2;\ 0)$

Пример 4 (сложный, разные основания): реши систему

Решение:

Шаг 1. Приведём всё к основанию 2. Пусть $u = 2^x > 0$, $v = 2^y > 0$. Тогда $4^x = (2^2)^x = (2^x)^2 = u^2$, аналогично $4^y = v^2$, а $2^{x+y} = uv$.

Шаг 2. Система:

Шаг 3. Соберём квадрат суммы: $(u+v)^2 = u^2 + 2uv + v^2 = 80 + 16 = 96$. Тогда $u + v = \pm\sqrt{96} = \pm 4\sqrt6$.

Шаг 4. Поскольку $u > 0$ и $v > 0$, сумма обязана быть положительной: $u + v = 4\sqrt6$. Вариант $-4\sqrt6$ отбрасываем — снова благодаря условию замены.

Шаг 5. Теперь сумма и произведение известны: $u$ и $v$ — корни уравнения $t^2 - 4\sqrt6\,t + 8 = 0$. Дискриминант: $D = 96 - 32 = 64$, $\sqrt D = 8$. Корни:

Шаг 6. Оба корня положительны ($2\sqrt6 \approx 4{,}90$, значит $t_1 \approx 8{,}90$, $t_2 \approx 0{,}90$) ✅. Обратный переход:

и симметричный вариант с перестановкой.

Проверка: $uv = (2\sqrt6+4)(2\sqrt6-4) = 24 - 16 = 8$ ✅; $u^2 + v^2 = (u+v)^2 - 2uv = 96 - 16 = 80$ ✅

Ответ: $(x;\ y) = \big(\log_2(2\sqrt6 + 4);\ \log_2(2\sqrt6 - 4)\big)$ и та же пара с переставленными координатами

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

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

Замена $u = a^x$ — это, по сути, переход в логарифмическую шкалу и обратно, тот самый приём, которым в машинном обучении пользуются постоянно. Веса, learning rate, коэффициенты регуляризации подбирают по логарифмической сетке ($10^{-5}$, $10^{-4}$, $10^{-3}$, …) именно потому, что содержательно они живут «в показателе»: важно не то, что $\eta$ больше на $0{,}001$, а то, что $\eta$ больше в 10 раз. Замена $u = a^x$ формализует эту интуицию: ты перестаёшь работать с показателем и начинаешь работать с самой величиной, а условие $u > 0$ напоминает, что эта величина по своей природе положительна — как масштаб, как дисперсия, как вероятность.

Метод 3: почленное умножение и деление уравнений

Интуиция

В линейной алгебре ты привык складывать и вычитать уравнения: если $u + v = 12$ и $u - v = 4$, то сумма даёт $2u = 16$. Логика простая — равные величины можно складывать с равными, равенство сохранится.

С показательными уравнениями работает тот же принцип, только операция другая. Если $A = B$ и $C = D$, причём все четыре величины положительны, то произведение $AC = BD$ и частное $A/C = B/D$ — тоже верные равенства. А поскольку $a^x \cdot a^y = a^{x+y}$ и $a^x : a^y = a^{x-y}$, умножение и деление показательных уравнений играет ту же роль, что сложение и вычитание линейных: одна операция — и переменная схлопывается.

Полная таблица соответствий выглядит так:

• В линейной системе складываешь уравнения — в показательной перемножаешь
• В линейной вычитаешь — в показательной делишь
• В линейной умножаешь уравнение на число $k$ — в показательной возводишь обе части в степень $k$
• В логарифмической системе всё возвращается к сложению и вычитанию, потому что логарифм и есть «показатель»

Отдельный подвид этого метода — деление уравнений, чтобы избавиться от неизвестного множителя. Это главный рабочий приём калибровки: если модель имеет вид $f(t) = A\cdot b^t$ и известны два замера, то при делении одного уравнения на другое неизвестное $A$ просто сокращается, и остаётся одно уравнение на $b$. Мы разберём это подробно в разделе про машинное обучение.

Определение: Почленным умножением (делением) уравнений системы называется переход от системы $\{A = B,\ C = D\}$ к уравнению $AC = BD$ (соответственно $\dfrac{A}{C} = \dfrac{B}{D}$ при $C \ne 0$, $D \ne 0$). Полученное уравнение — следствие системы; чтобы не потерять и не приобрести решений, его берут в паре с одним из исходных уравнений.

⚠️ Важная тонкость: перемноженное уравнение само по себе слабее системы. Из $\{u = 2,\ v = 3\}$ следует $uv = 6$, но обратное неверно — $uv = 6$ выполняется и при $u = 1$, $v = 6$. Поэтому произведение (или частное) всегда используют как одно из двух уравнений новой системы, а второе берут из исходной. Для показательных систем с положительными частями это, впрочем, безопасно: там мы обычно получаем $x + y$ и $x - y$ одновременно, а такая пара равносильна исходной.

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

Пример 1 (простой): реши систему

Решение:

Шаг 1. Обозначим $u = 2^x > 0$ и $v = 3^y > 0$. Система:

Шаг 2. Перемножим уравнения почленно: $uv \cdot \dfrac{u}{v} = 72 \cdot \dfrac{8}{9}$, то есть

(отрицательный корень $u = -8$ отбрасываем: $u = 2^x > 0$).

Шаг 3. Разделим первое уравнение на второе: $uv : \dfrac{u}{v} = 72 : \dfrac{8}{9}$, то есть

(снова берём только положительный корень).

Шаг 4. Обратный переход: $2^x = 8 = 2^3 \Rightarrow x = 3$; $3^y = 9 = 3^2 \Rightarrow y = 2$.

Проверка: $2^3 \cdot 3^2 = 8 \cdot 9 = 72$ ✅; $8 : 9 = \dfrac{8}{9}$ ✅

Ответ: $(x;\ y) = (3;\ 2)$

Пример 2 (средний): реши систему

Решение:

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

Шаг 2. Логарифмы уже играют роль новых переменных. Обозначим $p = \log_2 x$, $q = \log_2 y$:

Шаг 3. Складываем: $2p = 6$, $p = 3$. Вычитаем: $2q = 4$, $q = 2$.

Шаг 4. Обратный переход: $\log_2 x = 3 \Rightarrow x = 2^3 = 8$; $\log_2 y = 2 \Rightarrow y = 2^2 = 4$.

Шаг 5. ОДЗ выполнена: $8 > 0$, $4 > 0$ ✅. Обрати внимание: при обратном переходе от логарифма к числу положительность получается автоматически — степень положительного основания всегда положительна.

Проверка: $\log_2 8 + \log_2 4 = 3 + 2 = 5$ ✅; $3 - 2 = 1$ ✅

Ответ: $(x;\ y) = (8;\ 4)$

Пример 3 (сложный): реши систему

Решение:

Шаг 1. ОДЗ: $y - x > 0$ (аргумент логарифма). Основание $\sqrt2$ фиксировано и допустимо: $\sqrt2 > 0$, $\sqrt2 \ne 1$.

Шаг 2. Начнём со второго уравнения — оно проще. По определению логарифма:

Шаг 3. Значит, $y = x + 4$. Подставим в первое уравнение:

Шаг 4. Разложим: $2^{x+4} = 2^x \cdot 2^4 = 16\cdot 2^x$. Тогда

Шаг 5. Свернём произведение степеней с одинаковым показателем: $3^x \cdot 2^x = (3\cdot2)^x = 6^x$. Получаем

Шаг 6. Тогда $y = 2 + 4 = 6$. Проверим ОДЗ: $y - x = 4 > 0$ ✅

Проверка: $3^2 \cdot 2^6 = 9 \cdot 64 = 576$ ✅; $\log_{\sqrt2} 4 = 4$, поскольку $(\sqrt2)^4 = 4$ ✅

Ответ: $(x;\ y) = (2;\ 6)$

📌 Ключевой ход — свёртка $a^x b^x = (ab)^x$. Это «умножение уравнений» в миниатюре: два разных основания собрались в одно, и уравнение с двумя разными экспонентами стало простейшим показательным.

Пример 4 (сложный, деление убирает множитель): реши систему относительно $A$ и $b$ при $A > 0$, $b > 0$

Решение:

Шаг 1. Оба уравнения содержат общий множитель $A$, который нам мешает. Так как $A > 0$ и $b > 0$, обе части обоих уравнений положительны, и делить можно смело.

Шаг 2. Разделим второе уравнение на первое:

Множитель $A$ сократился — это и есть смысл почленного деления.

Шаг 3. $b^3 = 27$, значит $b = 3$ (кубический корень единственный).

Шаг 4. Подставим в первое уравнение: $A \cdot 9 = 45$, откуда $A = 5$.

Проверка: $5 \cdot 3^2 = 45$ ✅; $5 \cdot 3^5 = 5 \cdot 243 = 1215$ ✅

Ответ: $A = 5$, $b = 3$, то есть модель имеет вид $f(t) = 5\cdot 3^t$

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

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

Метод 4: симметричные системы — сумма и произведение

Интуиция

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

Тут не нужно ничего выражать и подставлять. Виет ещё в XVI веке заметил: если $u + v = S$ и $uv = P$, то $u$ и $v$ — это в точности корни квадратного уравнения

Почему так? Раскрой скобки в $(t - u)(t - v)$: получишь $t^2 - (u+v)t + uv$. То есть многочлен, у которого корни $u$ и $v$, имеет коэффициенты, собранные из суммы и произведения. Значит, зная сумму и произведение, ты знаешь и сам многочлен — а решить квадратное уравнение ты умеешь.

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

• $a^x + a^y$ — это сумма $u + v$
• $a^{x+y}$ — это произведение $uv$ (потому что $a^{x+y} = a^x a^y$)
• $\log_a x + \log_a y$ — это сумма логарифмов, то есть $p + q$
• $\log_a(xy)$ — то же самое, $p + q$
• $x + y$ вместе с $\log_a x + \log_a y = \log_a P$ — это сумма самих переменных и их произведение $P$
• $x^2 + y^2$ — не сумма и не произведение, но легко к ним сводится: $x^2 + y^2 = (x+y)^2 - 2xy$

Определение: Система называется симметричной, если она не меняется при перестановке неизвестных местами. Любая симметричная система из двух уравнений сводится к системе относительно $S = x + y$ и $P = xy$, после чего сами $x$ и $y$ находятся как корни уравнения $t^2 - St + P = 0$ (теорема Виета).

Важное следствие симметрии: если пара $(x_0;\ y_0)$ — решение симметричной системы, то и пара $(y_0;\ x_0)$ тоже решение. Поэтому в ответе почти всегда стоят две пары-зеркала, и терять вторую нельзя. Исключение — случай $x_0 = y_0$ (дискриминант равен нулю): тогда пара сама себе зеркало и решение одно.

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

Пример 1 (простой): реши систему

Решение:

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

Шаг 2. Свернём логарифмы: $\log_2(xy) = \log_2 12$. Логарифмическая функция монотонна (принимает каждое значение ровно один раз), поэтому $xy = 12$.

Шаг 3. Получилась классика: сумма $S = 7$, произведение $P = 12$. По теореме Виета $x$ и $y$ — корни уравнения

Шаг 4. Дискриминант: $D = 49 - 48 = 1$. Корни: $t_1 = 4$, $t_2 = 3$.

Шаг 5. Оба корня положительны — ОДЗ выполнена для обеих расстановок ✅

Проверка: $4 + 3 = 7$ ✅; $\log_2 4 + \log_2 3 = \log_2 12$ ✅

Ответ: $(x;\ y) = (4;\ 3)$ и $(x;\ y) = (3;\ 4)$

Пример 2 (средний): реши систему

Решение:

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

Шаг 2. Свернём: $\lg(xy) = 3$, значит $xy = 10^3 = 1000$.

Шаг 3. Сумма $S = 110$, произведение $P = 1000$. Уравнение Виета:

Шаг 4. Дискриминант: $D = 12100 - 4000 = 8100$, $\sqrt D = 90$. Корни:

Шаг 5. Оба положительны ✅

Проверка: $100 + 10 = 110$ ✅; $\lg 100 + \lg 10 = 2 + 1 = 3$ ✅

Ответ: $(x;\ y) = (100;\ 10)$ и $(x;\ y) = (10;\ 100)$

Пример 3 (сложный, через квадрат суммы): реши систему

Решение:

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

Шаг 2. Второе уравнение: $\log_4(xy) = 2$, значит $xy = 4^2 = 16$. Произведение есть.

Шаг 3. Суммы напрямую нет, но её можно собрать. Используем тождество:

Шаг 4. Отсюда $x + y = 10$ или $x + y = -10$. Второй вариант отбрасываем: по ОДЗ обе переменные положительны, значит и сумма положительна. Это ровно та ситуация, где ОДЗ работает не на отсев корней в конце, а прямо в середине решения.

Шаг 5. Теперь $S = 10$, $P = 16$:

Шаг 6. Оба корня положительны ✅

Проверка: $8^2 + 2^2 = 64 + 4 = 68$ ✅; $\log_4 8 + \log_4 2 = \log_4 16 = 2$ ✅

Ответ: $(x;\ y) = (8;\ 2)$ и $(x;\ y) = (2;\ 8)$

Пример 4 (сложный, система несовместна): реши систему

Решение:

Шаг 1. Замена: $u = 2^x > 0$, $v = 2^y > 0$. Второе уравнение даёт $uv = 2^{x+y} = 2^4 = 16$.

Шаг 2. Система: $u + v = 5$, $uv = 16$. Уравнение Виета:

Шаг 3. Дискриминант: $D = 25 - 64 = -39 < 0$. Действительных корней нет.

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

То есть сумма двух положительных чисел с произведением $16$ не может быть меньше $8$, а нам предписали $5$. Условие противоречиво само по себе.

Ответ: решений нет

📌 Этот пример стоит запомнить: «отрицательный дискриминант» в симметричной системе — не сбой в вычислениях, а содержательный ответ. Условия просто несовместимы, и никакая пара $(x;\ y)$ их не выполнит.

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

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

Метод 5: замена $u = \log_a x$, $v = \log_a y$

Интуиция

Логарифмическая система устроена зеркально показательной. Там неизвестная сидела в показателе, и мы объявляли новой переменной саму степень. Здесь неизвестная сидит под логарифмом, и новой переменной мы объявляем сам логарифм.

Смотри, как это работает. В системе

нет вообще ничего логарифмического, если посмотреть на неё правильно. Обозначь $u = \lg x$, $v = \lg y$ — и увидишь голую симметричную систему «сумма 5, произведение 6». Решил её, получил $u$ и $v$, вернулся: $x = 10^u$, $y = 10^v$. Всё.

Ключевое отличие от замены $u = a^x$: никаких ограничений на новые переменные нет. Логарифм пробегает всю числовую прямую — $\lg x$ может быть и $-3$, и $0$, и $7$. Поэтому любой корень алгебраической системы законен, и отбрасывать нечего.

Но зато есть ограничение с другой стороны — на исходные переменные. Прежде чем делать замену, надо потребовать $x > 0$ и $y > 0$ (плюс $x \ne 1$, $y \ne 1$, если переменная стоит в основании логарифма). Хорошая новость в том, что обратный переход $x = a^u$ выполняет это условие автоматически: степень положительного основания всегда положительна. То есть при аккуратно проведённой замене посторонние корни просто не заводятся.

Осторожность нужна только в одном месте: если в системе есть уравнения не только с логарифмами. Например, в системе $\{\log_2 x + \log_2 y = 5,\ x - y = 2\}$ вторая строка алгебраическая, и переменные там гуляют по всей прямой. Вот тут ОДЗ $x > 0$, $y > 0$ снова становится рабочим фильтром — мы видели это в примере с парой $(-2;\ -4)$.

Определение: Замена $u = \log_a x$, $v = \log_a y$ (при $a > 0$, $a \ne 1$) переводит систему логарифмических уравнений в алгебраическую систему относительно $u$ и $v$. Новые переменные пробегают всё множество $\mathbb{R}$ без дополнительных условий. Обратный переход: $x = a^u$, $y = a^v$ — он автоматически даёт положительные значения.

Что надо уметь распознавать перед заменой:

• $\log_a(xy) = \log_a x + \log_a y = u + v$ — но только при $x > 0$, $y > 0$
• $\log_a \dfrac{x}{y} = u - v$
• $\log_a x^2 = 2\log_a |x|$; на ОДЗ ($x > 0$) это просто $2u$
• $\log_{a^2} x = \dfrac{1}{2}\log_a x = \dfrac{u}{2}$ — переход к общему основанию через формулу $\log_{a^k} x = \dfrac{1}{k}\log_a x$
• $\log_x y = \dfrac{\log_a y}{\log_a x} = \dfrac{v}{u}$ — тут дополнительно нужно $u \ne 0$, то есть $x \ne 1$

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

Пример 1 (простой): реши систему

Решение:

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

Шаг 2. Замена: $u = \log_3 x$, $v = \log_3 y$. Никаких ограничений на $u$ и $v$ нет.

Шаг 3. Складываем: $2u = 4$, $u = 2$. Тогда $v = 3 - 2 = 1$.

Шаг 4. Обратный переход: $x = 3^2 = 9$, $y = 3^1 = 3$. Оба положительны — ОДЗ выполнена автоматически ✅

Проверка: $\log_3 9 + \log_3 3 = 2 + 1 = 3$ ✅; $2 - 1 = 1$ ✅

Ответ: $(x;\ y) = (9;\ 3)$

Пример 2 (средний): реши систему

Решение:

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

Шаг 2. Замена $u = \lg x$, $v = \lg y$ даёт симметричную систему:

Шаг 3. По теореме Виета $u$ и $v$ — корни уравнения $t^2 - 5t + 6 = 0$. Дискриминант $D = 25 - 24 = 1$, корни $t_1 = 3$, $t_2 = 2$.

Шаг 4. Две расстановки:

• $u = 3$, $v = 2$: $x = 10^3 = 1000$, $y = 10^2 = 100$
• $u = 2$, $v = 3$: $x = 100$, $y = 1000$

Проверка: $\lg 1000 + \lg 100 = 3 + 2 = 5$ ✅; $3 \cdot 2 = 6$ ✅

Ответ: $(x;\ y) = (1000;\ 100)$ и $(x;\ y) = (100;\ 1000)$

⚠️ Не перепутай эту систему с похожей на вид $\{\lg x + \lg y = 5,\ xy = 10^6\}$. Во второй перемножаются сами переменные, а не их логарифмы, и она устроена совсем иначе (кстати, она вырожденная: оба уравнения дают $\lg x + \lg y$, только первое — пять, второе — шесть, то есть решений нет). Различие «произведение логарифмов» против «логарифм произведения» — источник половины ошибок в теме.

Пример 3 (сложный, разные основания): реши систему

Решение:

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

Шаг 2. Основания разные ($4$ и $2$), поэтому сначала приведём всё к основанию 2 по формуле $\log_{a^k} x = \dfrac{1}{k}\log_a x$:

Шаг 3. Замена: $u = \log_2 x$, $v = \log_2 y$. Система принимает вид

Шаг 4. Из второго уравнения $u = \dfrac{v}{2}$. Подставим в первое:

Шаг 5. Тогда $u = \dfrac{4}{2} = 2$.

Шаг 6. Обратный переход: $x = 2^2 = 4$, $y = 2^4 = 16$.

Проверка: $\log_4 4 + \log_2 16 = 1 + 4 = 5$ ✅; $\log_2 4 - \log_4 16 = 2 - 2 = 0$ ✅

Ответ: $(x;\ y) = (4;\ 16)$

Пример 4 (сложный, переменная в основании): реши систему

Решение:

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

Шаг 2. Обозначим $t = \log_x y$. По свойству перехода к обратному основанию $\log_y x = \dfrac{1}{\log_x y} = \dfrac{1}{t}$, причём $t \ne 0$ (что равносильно $y \ne 1$).

Шаг 3. Первое уравнение становится дробно-рациональным:

Умножим на $2t$ (можно, ведь $t \ne 0$): $2t^2 + 2 = 5t$, то есть $2t^2 - 5t + 2 = 0$.

Шаг 4. Дискриминант: $D = 25 - 16 = 9$, $\sqrt D = 3$. Корни:

Шаг 5. Случай $t = 2$: $\log_x y = 2$ означает $y = x^2$. Подставим во второе уравнение:

Шаг 6. Случай $t = \dfrac{1}{2}$: $\log_x y = \dfrac12$ означает $y = \sqrt{x}$. Тогда

Шаг 7. Проверяем ОДЗ для обеих пар: числа $3$ и $9$ положительны и не равны единице ✅

Проверка для $(3;\ 9)$: $\log_3 9 + \log_9 3 = 2 + 0{,}5 = 2{,}5$ ✅; $3\cdot9 = 27$ ✅

Ответ: $(x;\ y) = (3;\ 9)$ и $(x;\ y) = (9;\ 3)$

📌 Заметь: условие $x \ne 1$ здесь не декоративное. При $x = 1$ выражение $\log_1 y$ вообще не определено, а $\log_y 1 = 0$, и сумма распалась бы. Переменная в основании — всегда три условия: больше нуля, не равна единице, и аргумент положителен.

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

Замена $u = \log_a x$ — это переход в логарифмическое пространство, и в машинном обучении в нём буквально живут. Log-loss, логиты, log-вероятности, логарифмические шкалы гиперпараметров — везде одно и то же движение: перемножение величин заменяется сложением их логарифмов, и нелинейная задача становится линейной. Когда ты видишь систему на произведения и хочешь превратить её в систему на суммы, ты делаешь ровно то, что делает библиотека, считающая правдоподобие модели: логарифмируешь, чтобы работать с суммами вместо произведений и не терять точность на очень маленьких числах.

Метод 6: смешанные системы — показательное плюс логарифмическое

Интуиция

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

Обычно проще всего логарифмическое уравнение с числом в правой части: $\log_a f(x) = b$ мгновенно потенцируется в $f(x) = a^b$. После этого у тебя на руках одно алгебраическое уравнение и одно исходное — а это уже знакомая подстановка.

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

Общий алгоритм:

1. Выписать ОДЗ, собрав условия со всех логарифмов системы

2. Каждое уравнение по отдельности упростить: потенцировать логарифмы, привести степени к общему основанию

3. Получить алгебраическую систему и решить её подстановкой или через Виета

4. Отобрать пары по ОДЗ

5. Подставить выжившие пары в исходную систему

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

Пример 1 (простой): реши систему

Решение:

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

Шаг 2. Первое уравнение: $5^{x+y} = 5^3$, значит $x + y = 3$.

Шаг 3. Второе: $x - y = 10^0 = 1$.

Шаг 4. Линейная система: складываем, $2x = 4$, $x = 2$; тогда $y = 1$.

Шаг 5. ОДЗ: $x - y = 1 > 0$ ✅

Проверка: $5^{2+1} = 125$ ✅; $\lg(2-1) = \lg 1 = 0$ ✅

Ответ: $(x;\ y) = (2;\ 1)$

Пример 2 (средний, с отсевом по ОДЗ): реши систему

Решение:

Шаг 1. ОДЗ: $x > 0$, $y > 0$ (из первого уравнения; второе ограничений не даёт).

Шаг 2. Первое уравнение: $\log_2(xy) = 5$, значит $xy = 32$.

Шаг 3. Второе уравнение: $2^{x-y} = 2^4$, значит $x - y = 4$.

Шаг 4. Подставим $x = y + 4$ в $xy = 32$:

Шаг 5. Дискриминант: $D = 16 + 128 = 144$, $\sqrt D = 12$. Корни:

Шаг 6. Кандидаты: $(8;\ 4)$ и $(-4;\ -8)$. Вторая пара удовлетворяет обоим преобразованным уравнениям: $(-4)(-8) = 32$ ✅ и $-4 - (-8) = 4$ ✅. Но в исходной системе $\log_2(-4)$ не существует — пара отбрасывается по ОДЗ.

Проверка для $(8;\ 4)$: $\log_2 8 + \log_2 4 = 3 + 2 = 5$ ✅; $2^{8-4} = 2^4 = 16$ ✅

Ответ: $(x;\ y) = (8;\ 4)$

Пример 3 (сложный): реши систему

Решение:

Шаг 1. ОДЗ: из второго уравнения $x > 0$ и $y > 0$. Первое требует $x^2 + y^2 > 0$ — это выполнено автоматически, кроме случая $x = y = 0$, который и так исключён.

Шаг 2. Потенцируем оба уравнения:

Шаг 3. Соберём квадрат суммы:

Шаг 4. Поскольку $x > 0$ и $y > 0$, берём положительный корень: $x + y = \sqrt{128} = 8\sqrt2$.

Шаг 5. Виет: $t^2 - 8\sqrt2\,t + 32 = 0$. Дискриминант:

Дискриминант нулевой — корень один, двойной:

Шаг 6. Значит, $x = y = 4\sqrt2 \approx 5{,}66$. Обе координаты положительны ✅. Решение здесь ровно одно — симметричная пара совпала сама с собой.

Проверка: $x^2 + y^2 = 32 + 32 = 64$ ✅ (ведь $(4\sqrt2)^2 = 16\cdot2 = 32$); $xy = 32$ ✅

Ответ: $(x;\ y) = (4\sqrt2;\ 4\sqrt2)$

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

Смешанные системы — самая честная модель реальной задачи. Когда ты калибруешь что-то по данным, одно условие приходит от прямого измерения (алгебраическое), другое — от измерения в логарифмической шкале (децибелы, pH, порядок величины, log-loss), третье — от закона роста (показательное). Никто не гарантирует однородности. Навык, который здесь тренируется, звучит так: приведи каждое условие к одному языку, прежде чем их соединять. В коде это ровно та же дисциплина, что приведение единиц измерения перед вычислениями — и цена ошибки такая же.

Системы в машинном обучении: три сюжета

Пока мы решали учебные системы. Теперь посмотрим, откуда они берутся, когда никто их специально не придумывает.

Сюжет 1: восстановление расписания learning rate по двум замерам

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

где $\eta_0$ — стартовый learning rate, $\lambda > 0$ — коэффициент затухания, $t$ — номер эпохи. Два неизвестных параметра — значит, нужно два замера.

Задача. В логе сохранились две строчки: на эпохе 10 шаг был равен $0{,}02$, на эпохе 20 — $0{,}005$. Восстанови $\eta_0$ и $\lambda$.

Решение.

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

Шаг 2. Обе части всех уравнений положительны (шаг обучения положителен по смыслу), поэтому делим второе на первое — неизвестное $\eta_0$ сократится:

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

Шаг 4. Подставим в первое уравнение. Так как $e^{-10\lambda} = \frac14$:

Шаг 5. Проверим второе: $0{,}08 \cdot e^{-20\lambda} = 0{,}08 \cdot \left(e^{-10\lambda}\right)^2 = 0{,}08 \cdot \frac{1}{16} = 0{,}005$ ✅

Ответ: $\eta_0 = 0{,}08$, $\lambda = 0{,}2\ln2 \approx 0{,}139$.

Что здесь произошло содержательно? Почленное деление превратило задачу «найти два параметра» в задачу «найти отношение». Отношение двух замеров не зависит от стартового значения вообще — оно зависит только от того, сколько эпох прошло между ними. Отсюда полезная переформулировка: раз шаг падает вчетверо за 10 эпох, он падает вдвое за 5 эпох. Это и есть «период полураспада» расписания, $T_{1/2} = \dfrac{\ln 2}{\lambda} = \dfrac{\ln 2}{0{,}2\ln2} = 5$. Договариваться с коллегами удобнее именно в этих терминах: «шаг уполовинивается каждые пять эпох» понятнее, чем «лямбда 0,1386».

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

Пусть некоторая величина растёт по закону $N(t) = A\cdot b^{\,t}$: число запросов к сервису, объём датасета, количество размеченных примеров. Известны два измерения — надо восстановить $A$ (начальное значение) и $b$ (множитель роста за единицу времени).

Задача. На второй месяц сервис обработал 45 тысяч запросов, на пятый — 1215 тысяч. Считая рост экспоненциальным, найди $A$ и $b$ и предскажи седьмой месяц.

Решение.

Шаг 1. Система:

Шаг 2. Делим второе на первое: $b^3 = 27$, значит $b = 3$.

Шаг 3. Из первого уравнения: $A\cdot 9 = 45$, значит $A = 5$.

Шаг 4. Прогноз: $N(7) = 5\cdot3^7 = 5\cdot2187 = 10935$ тысяч запросов.

Ответ: $A = 5$, $b = 3$; прогноз на седьмой месяц — около 10,9 млн запросов.

Есть и второй путь к тому же ответу — логарифмирование системы. Прологарифмируем оба уравнения по основанию 10:

Замена $p = \lg A$, $q = \lg b$ превращает это в линейную систему:

Вычитая, получаем $3q = \lg 1215 - \lg 45 = \lg 27$, откуда $q = \lg 3$ и $b = 3$. Тот же ответ, но другим путём — и именно этот путь используют библиотеки: подгонка экспоненты сводится к линейной регрессии в логарифмических координатах. Когда на графике по вертикали стоит логарифмическая шкала и точки ложатся на прямую — это ровно наша система, только замеров не два, а тысяча.

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

Сюжет 3: система на веса логистической регрессии

Логистическая регрессия предсказывает вероятность по формуле

где $z$ называют логитом. Ключевое соотношение, которое делает всю эту конструкцию решаемой руками: логит — это логарифм отношения шансов.

Проверим формулу быстро: если $p = \dfrac{1}{1+e^{-z}}$, то $1 - p = \dfrac{e^{-z}}{1+e^{-z}}$, и отношение равно $\dfrac{1}{e^{-z}} = e^z$. Дальше логарифмируем — получаем $z$.

Задача. Модель обучена на двух признаках. Известно, что на объекте с признаками $(1;\ 1)$ она выдаёт вероятность ровно $0{,}5$, а на объекте с признаками $(2;\ 1)$ — вероятность $0{,}75$. Найди веса $w_1$ и $w_2$.

Решение.

Шаг 1. Переведём вероятности в логиты.

Для первого объекта: $\dfrac{0{,}5}{0{,}5} = 1$, значит $z_1 = \ln 1 = 0$.

Для второго: $\dfrac{0{,}75}{0{,}25} = 3$, значит $z_2 = \ln 3$.

Шаг 2. Запишем систему на веса:

Шаг 3. Вычтем первое уравнение из второго: $w_1 = \ln 3 \approx 1{,}0986$.

Шаг 4. Из первого: $w_2 = -w_1 = -\ln 3 \approx -1{,}0986$.

Проверка: для объекта $(2;\ 1)$: $z = 2\ln3 - \ln3 = \ln 3$, и $p = \dfrac{1}{1+e^{-\ln3}} = \dfrac{1}{1+\frac13} = \dfrac{3}{4} = 0{,}75$ ✅

Ответ: $w_1 = \ln 3 \approx 1{,}10$, $w_2 = -\ln 3 \approx -1{,}10$.

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

📌 И тут же — граница метода. Мы смогли решить систему точно, потому что уравнений было ровно столько же, сколько весов, и данные были идеально согласованы. На реальном датасете объектов тысячи, уравнений тысячи, а весов десятки — система переопределена и решений не имеет. Тогда веса не решают, а подбирают, минимизируя функцию потерь. Инструменты для этого появятся в курсе позже, начиная с урока 133. Но понимать, что под капотом лежит вот такая система на логиты, полезно уже сейчас.

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

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

Задание 1: Реши систему $\begin{cases} 2^x \cdot 2^y = 64 \\[4pt] x - y = 2 \end{cases}$

Задание 2: Реши систему $\begin{cases} 3^{\,x+y} = 9 \\[4pt] 3^{\,x-y} = 27 \end{cases}$

Задание 3: Реши систему $\begin{cases} 5^x + 5^y = 30 \\[4pt] 5^x - 5^y = 20 \end{cases}$

Задание 4: Реши систему $\begin{cases} \log_2 x + \log_2 y = 5 \\[4pt] x = 2y \end{cases}$

Задание 5: Реши систему $\begin{cases} \log_3 x - \log_3 y = 2 \\[4pt] x + y = 30 \end{cases}$

Задание 6: Реши систему $\begin{cases} x + y = 9 \\[4pt] \lg x + \lg y = \lg 20 \end{cases}$

Задание 7: В нейросети матрица эмбеддингов имеет размер $V \times d$, где размер словаря $V = 2^x$, а размерность вектора $d = 2^y$ (обе величины — степени двойки). Известно, что в матрице ровно $2^{20}$ чисел, а словарь в 256 раз больше размерности. Найди $x$, $y$, а затем $V$ и $d$.

Задание 8: Реши систему $\begin{cases} \log_2 x + \log_2 y = 3 \\[4pt] \log_2 x - \log_2 y = 1 \end{cases}$

Задание 9: Реши систему $\begin{cases} 4^x \cdot 2^y = 32 \\[4pt] x - y = 1 \end{cases}$

Задание 10: Число запросов к сервису растёт по закону $Q(t) = A\cdot b^{\,t}$, где $t$ — номер месяца, $A > 0$, $b > 0$. В первый месяц было 300 тысяч запросов, в третий — 2700 тысяч. Найди $A$ и $b$ и предскажи четвёртый месяц.

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

Задание 11: Реши систему $\begin{cases} 2^x + 2^y = 20 \\[4pt] x + y = 6 \end{cases}$

Задание 12: Реши систему $\begin{cases} 3^x - 3^y = 6 \\[4pt] 3^{\,x+y} = 27 \end{cases}$

Задание 13: Два датасета содержат $x$ и $y$ примеров. Известно, что суммарно в них 1010 тысяч примеров, а сумма их десятичных логарифмов (то есть сумма «порядков») равна 4. Найди размеры датасетов (в тысячах).

Задание 14: Реши систему $\begin{cases} \log_2 x + \log_2 y = 4 \\[4pt] \log_2 x \cdot \log_2 y = 3 \end{cases}$

Задание 15: Размер обучающей выборки в проекте растёт по закону $N(t) = A\cdot b^{\,t}$ ($A > 0$, $b > 0$, $t$ — номер недели). На первой неделе было 6 тысяч примеров, на четвёртой — 48 тысяч. Найди $A$ и $b$ и определи, через сколько недель выборка удвоится относительно любого момента.

Задание 16: Реши систему $\begin{cases} 2^x \cdot 3^y = 108 \\[4pt] 2^x : 3^y = \dfrac{4}{27} \end{cases}$

Задание 17: Реши систему $\begin{cases} x^2 + y^2 = 25 \\[4pt] \log_2 x + \log_2 y = \log_2 12 \end{cases}$

Задание 18: Реши систему $\begin{cases} \log_3 x + \log_3 y = 2 \\[4pt] x - y = 8 \end{cases}$

Задание 19: Реши систему $\begin{cases} \log_x y = 2 \\[4pt] x + y = 6 \end{cases}$

Задание 20: Learning rate затухает по правилу $\eta(t) = \eta_0\cdot q^{\,t}$, где $t$ — номер эпохи, $\eta_0 > 0$, $q > 0$. Из лога известно: $\eta(2) = 0{,}05$ и $\eta(6) = 0{,}0125$. Найди $\eta_0$ и $q$, а также определи, за сколько эпох шаг уменьшается вдвое.

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

Задание 21: Реши систему $\begin{cases} \log_x y + \log_y x = \dfrac{5}{2} \\[4pt] xy = 64 \end{cases}$

Задание 22: Реши систему $\begin{cases} 2^x + 2^y = 12 \\[4pt] 2^{\,x+y} = 32 \end{cases}$

Задание 23: Реши систему $\begin{cases} \log_2(x^2 + y^2) = 5 \\[4pt] \log_2 x + \log_2 y = 4 \end{cases}$

Задание 24: Хранилище настроено так: число шардов равно $2^x$, число реплик равно $5^y$, всего блоков данных $2^x\cdot5^y = 200$. Дополнительно известно, что $\lg(x - y) = 0$. Найди $x$ и $y$.

Задание 25: Реши систему $\begin{cases} \log_3 x + \log_3 y = 3 \\[4pt] 3^{\,x-y} = 729 \end{cases}$

Задание 26: Реши систему $\begin{cases} \log_9 x + \log_3 y = 4 \\[4pt] \log_3 x - \log_9 y = 3 \end{cases}$

Задание 27: Частоты слов в корпусе приближённо подчиняются закону Ципфа $f(r) = C\cdot r^{-s}$, где $r$ — ранг слова по частоте, $C > 0$ и $s > 0$ — параметры. Известно: слово ранга 2 встретилось 600 раз, слово ранга 8 — 150 раз. Найди $C$ и $s$ и оцени частоту слова ранга 100.

Задание 28: Реши систему $\begin{cases} \lg(x - 3) + \lg(y - 2) = \lg 8 \\[4pt] x - y = 3 \end{cases}$

Задание 29: Размер словаря $V = 2^x$ и размерность эмбеддинга $d = 2^y$ — обе степени двойки. Известно, что $V + d = 320$, а произведение $V\cdot d = 16384$. Найди $x$, $y$, $V$ и $d$, зная, что словарь больше размерности.

Задание 30: Коллега утверждает, что подобрал два числа $x$ и $y$ так, что $2^x + 2^y = 4$ и одновременно $x + y = 4$. Проверь это утверждение: найди такую пару или докажи, что её не существует.

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

❌ Ошибка 1: проверять переменные по отдельности вместо проверки пары $(x;\ y)$ целиком

Неправильно: решить систему $\{\log_2 x + \log_2 y = 3,\ x - y = 2\}$, получить $xy = 8$ и $x = y + 2$, найти корни $y = 2$ и $y = -4$, а потом рассуждать так: «$x = 4$ подходит, $x = -2$ — нет, значит в ответ пишем $x = 4$ и $y = 2$, а заодно проверим, годится ли $y = -4$ отдельно... произведение-то положительное, вроде законно».

Правильно: решением системы является пара, а не два независимых числа. Пара $(-2;\ -4)$ отбрасывается целиком, потому что в исходном уравнении не существует ни $\log_2(-2)$, ни $\log_2(-4)$. Никакой «частичной» законности не бывает: если хотя бы одна координата ломает хотя бы одно уравнение, пара умирает вся. ОДЗ системы — это пересечение ОДЗ всех уравнений: здесь $x > 0$ и $y > 0$ одновременно. Ответ: $(4;\ 2)$.

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

❌ Ошибка 2: забыть условия $u > 0$, $v > 0$ при замене $u = a^x$, $v = a^y$

Неправильно: в системе $\{2^x - 2^y = 3,\ 2^{x+y} = 4\}$ сделать замену, получить $\{u - v = 3,\ uv = 4\}$, решить $v^2 + 3v - 4 = 0$, найти $v = 1$ и $v = -4$, и записать два ответа: «$2^y = 1$ даёт $y = 0$; $2^y = -4$ даёт... ну, что-то отрицательное».

Правильно: показательная функция $a^x$ при $a > 0$ принимает только положительные значения — ни нуля, ни отрицательных чисел в её области значений нет. Поэтому замена обязана сопровождаться явными условиями $u > 0$ и $v > 0$, выписанными в решении, а не «подразумеваемыми». Корень $v = -4$ — законное решение алгебраической системы и полный мусор для исходной. Ответ: $(2;\ 0)$.

💡 Почему важно: замена — это не переименование букв, а переход в другое множество. Ты меняешь задачу «найти $x$ на всей прямой» на задачу «найти $u$ на луче $(0;+\infty)$», и потерянное ограничение возвращается в виде лишних корней. Полезная привычка: писать условие прямо в строчке замены — «пусть $u = 2^x$, $u > 0$» — тогда его физически некуда деть.

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

Неправильно: решить $\{3^x + 3^y = 12,\ 3^{x+y} = 27\}$, получить корни $t_1 = 9$ и $t_2 = 3$, взять $3^x = 9$, $3^y = 3$ и записать единственный ответ $(2;\ 1)$.

Правильно: система симметрична — при перестановке $x$ и $y$ она не меняется. Значит, если пара $(2;\ 1)$ является решением, то и зеркальная пара $(1;\ 2)$ тоже. Оба корня квадратного уравнения можно назначить как $u$, так и $v$, и обе расстановки надо проверить и выписать. Ответ: $(2;\ 1)$ и $(1;\ 2)$.

💡 Почему важно: половина ответа — это не половина балла, это ноль. И обратная ошибка тоже встречается: если система не симметрична (например, во втором уравнении стоит $x - y$, а не $x + y$), то расстановки не равноправны и вторую пару выписывать нельзя — её надо честно проверить и, скорее всего, отбросить. Правило простое: поменяй $x$ и $y$ местами и посмотри, изменилась ли система. Изменилась — расстановки проверяем по отдельности.

❌ Ошибка 4: путать «логарифм произведения» и «произведение логарифмов»

Неправильно: в системе $\{\log_2 x + \log_2 y = 4,\ \log_2 x \cdot \log_2 y = 3\}$ прочитать второе уравнение как $\log_2(xy) = 3$ и получить противоречие с первым ($4 \ne 3$), сделав вывод «решений нет».

Правильно: $\log_2 x \cdot \log_2 y$ — это произведение двух логарифмов, то есть $uv$ после замены $u = \log_2 x$, $v = \log_2 y$. А $\log_2(xy)$ — логарифм произведения, он равен $u + v$. Это разные выражения. Система $\{u + v = 4,\ uv = 3\}$ прекрасно решается: $u, v \in \{1;\ 3\}$, откуда пары $(8;\ 2)$ и $(2;\ 8)$.

💡 Почему важно: свойство логарифма превращает произведение аргументов в сумму логарифмов — и именно поэтому «произведение логарифмов» никакой красивой формулы не имеет и упрощаться не должно. Приём против путаницы: мысленно ставь скобки. $(\log_2 x)\cdot(\log_2 y)$ — произведение результатов; $\log_2(x\cdot y)$ — логарифм от произведения. Разное расположение скобок — разная задача.

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

Неправильно: решить $\{\lg(x-3) + \lg(y-2) = \lg 8,\ x - y = 3\}$, получить пары $(7;\ 4)$ и $(1;\ -2)$, «проверить» вторую подстановкой в $(x-3)(y-2) = 8$: $(-2)\cdot(-4) = 8$ ✅ — и записать оба ответа.

Правильно: проверка имеет смысл только относительно исходной системы. Подставим $(1;\ -2)$ туда: $\lg(1-3) = \lg(-2)$ — не существует. Пара посторонняя. Она возникла потому, что свёртка $\lg A + \lg B \to \lg(AB)$ расширила область определения: было «$A > 0$ и $B > 0$», стало «$AB > 0$», куда влез случай двух отрицательных множителей. Ответ: $(7;\ 4)$.

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

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

Неправильно: из системы $\{2^x\cdot3^y = 72,\ 2^x : 3^y = \frac{8}{9}\}$ попытаться «сложить уравнения»: $2^x\cdot3^y + 2^x:3^y = 72 + \frac89$ — и утонуть в дробях.

Правильно: в показательных системах роль сложения играет умножение, а роль вычитания — деление. Перемножив уравнения, получаем $u^2 = 64$, разделив — $v^2 = 81$. Одно действие вместо страницы преобразований. Ответ: $(3;\ 2)$.

💡 Почему важно: это не техническая мелочь, а понимание того, как устроены показательная и логарифмическая шкалы. В обычной шкале «шаг» — это прибавление, в логарифмической — умножение. Как только ты начинаешь думать в правильной шкале, половина преобразований исчезает: свернуть $a^x\cdot a^y$ в $a^{x+y}$ проще, чем что-либо складывать. Кстати, формально складывать уравнения тоже можно — это не ошибка логики, а ошибка стратегии: получается верное, но абсолютно бесполезное равенство.

❌ Ошибка 7: считать, что число решений системы равно числу корней вспомогательного уравнения

Неправильно: решить $\{\log_2(x^2+y^2) = 5,\ \log_2 x + \log_2 y = 4\}$, дойти до $t^2 - 8t + 16 = 0$, увидеть $D = 0$ и написать «дискриминант нулевой, значит корней нет, система несовместна».

Правильно: $D = 0$ означает, что квадратное уравнение имеет один корень (двойной), $t = 4$. Значит, $x = y = 4$ — система имеет ровно одно решение, пару $(4;\ 4)$, которая совпадает со своим зеркалом. А вот в задании 30 дискриминант был отрицательным ($D = -48$) — вот там решений действительно нет.

💡 Почему важно: три случая надо различать чётко. $D > 0$ — два корня, обычно две зеркальные пары. $D = 0$ — один корень, одна пара с равными координатами. $D < 0$ — решений нет. И ещё: даже при $D > 0$ пар в ответе может остаться одна, если второй корень не проходит по условию $u > 0$ или по ОДЗ. Число корней и число решений системы — связанные, но разные величины.

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

1. Решение системы с двумя неизвестными — это упорядоченная пара $(x;\ y)$, а не два независимых числа. Записывай ответ парами и проверяй пару целиком.

2. ОДЗ системы — пересечение ОДЗ всех её уравнений. Логарифмы дают условия на обе переменные сразу ($x > 0$ и $y > 0$), и все они должны выполняться одновременно.

3. Замена $u = a^x$, $v = a^y$ обязана сопровождаться условиями $u > 0$, $v > 0$ — выписанными явно. Показательная функция никогда не равна нулю и не бывает отрицательной.

4. Замена $u = \log_a x$, $v = \log_a y$ ограничений на новые переменные не даёт — логарифм пробегает всю прямую. Зато перед заменой надо потребовать $x > 0$, $y > 0$, а после — обратный переход $x = a^u$ выполняет это автоматически.

5. Словарь переводов: $a^{x+y} = uv$, $a^{x-y} = \dfrac{u}{v}$, $a^{2x} = u^2$, $\log_a(xy) = u + v$, $\log_a\dfrac{x}{y} = u - v$. Узнавать эти конструкции с ходу — половина решения.

6. В показательных системах умножение уравнений заменяет сложение, деление — вычитание. Почленное деление сокращает неизвестный общий множитель — главный приём калибровки моделей.

7. «Сумма известна, произведение известно» — это теорема Виета: $u$ и $v$ суть корни уравнения $t^2 - St + P = 0$. Не забывай про мостик $x^2 + y^2 = (x+y)^2 - 2xy$.

8. Симметричная система (не меняется при перестановке $x$ и $y$) даёт решения парами-зеркалами. Если система не симметрична, расстановки не равноправны — проверяй каждую отдельно.

9. Отрицательный дискриминант — это содержательный ответ «решений нет», а не ошибка. Проверить его смысл помогает неравенство $u + v \geqslant 2\sqrt{uv}$ для положительных величин.

10. Проверка выполняется подстановкой в исходную систему. В промежуточную подставлять бесполезно: там все найденные корни проходят по построению.

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

Что было до. Урок 114 дал технику показательных уравнений: приведение к общему основанию, вынесение множителя, замена $t = a^x$ и оценка через монотонность. Урок 120 — технику логарифмических уравнений и, что важнее, дисциплину ОДЗ: откуда берутся посторонние корни и почему свёртка суммы логарифмов расширяет область определения. Урок 122 научил логарифмированию и потенцированию как равносильным переходам — именно они переводят показательное уравнение в логарифмическое и обратно, а в системах это основной инструмент приведения всех строчек к одному языку. Урок 123 показал комбинированные уравнения, где в одном выражении встречаются степень и логарифм. Сегодняшний урок сложил всё это вместе: техника прежняя, новизна — в том, что условий два и они должны выполниться одновременно.

Отдельно стоит вспомнить и куда более раннюю тему — системы линейных и квадратных уравнений из основной школы, а также теорему Виета. Никакой отдельной «показательной алгебры» мы не изобретали: после замены получалась ровно та школьная система, которую ты умеешь решать много лет. Урок 106 (системы тригонометрических уравнений) устроен по той же логике — только вместо условия $u > 0$ там появлялось ограничение $|u| \leqslant 1$. Общая схема одна: замена → алгебраическая система → обратный переход с проверкой области значений.

Что дальше. Урок 125 — применение показательной и логарифмической моделей в задачах роста и распада. Там системы из сегодняшнего урока станут рабочим инструментом: чтобы построить модель $N(t) = N_0 e^{kt}$, надо сначала восстановить два параметра по двум измерениям, а это в точности наш сюжет с почленным делением. Дальше в курсе появятся последовательности и прогрессии (126-128), где геометрическая прогрессия — та же показательная функция, только на целых аргументах, и системы вида «сумма членов известна, произведение известно» встретятся снова. А в уроках 133 и далее, когда придёт производная, появится другой способ находить параметры моделей — не решением системы, а минимизацией ошибки. Это будет не заменой, а продолжением: сначала ты понимаешь, что параметров ровно столько же, сколько условий, и система решается точно; потом узнаёшь, что делать, когда данных больше, чем параметров, и точного решения не существует.

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

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

🔍 Факт 1: метод Гаусса старше Гаусса на две тысячи лет. Восьмая глава китайского трактата «Математика в девяти книгах» (II век до н. э.) называется «Фан-чэн» и содержит систему из пяти уравнений с пятью неизвестными, решённую последовательным исключением переменных на счётной доске. Более того, в ходе решения там встречаются отрицательные числа — за полторы тысячи лет до того, как европейская математика согласилась считать их полноправными. Красные палочки означали положительные величины, чёрные — отрицательные.

🔍 Факт 2: симметричные системы решают шифры. Тот факт, что сумма и произведение однозначно определяют пару чисел, лежит в основе некоторых атак на криптосистему RSA. Если злоумышленник узнает не сами простые множители $p$ и $q$, а только их сумму (например, из утечки величины $p + q$), то произведение $pq$ ему и так известно — это открытый модуль. Дальше теорема Виета за одну строчку восстанавливает $p$ и $q$, и шифр вскрыт. Виет, кстати, и сам был криптографом: он вскрывал испанские шифры для короля Генриха IV, за что испанцы обвинили его в колдовстве.

🔍 Факт 3: логарифмическая шкала гиперпараметров — не эстетика, а необходимость. Когда исследователи из Google в 2012 году сравнили случайный поиск гиперпараметров по логарифмической сетке со случайным поиском по обычной, разница оказалась разительной. Причина ровно в нашей теме: если параметр по смыслу является множителем, то его естественная переменная — не он сам, а его логарифм. Разница между $\eta = 0{,}1$ и $\eta = 0{,}01$ огромна, а между $\eta = 0{,}51$ и $\eta = 0{,}6$ — почти никакой, хотя во втором случае абсолютная разница больше.

🔍 Факт 4: «неразрешимых» систем не бывает — бывают несовместные. Когда дискриминант в симметричной системе выходит отрицательным, это не значит, что задача слишком сложная. Это значит, что условия противоречат друг другу — как в задании 30, где сумма двух положительных чисел с произведением 16 требовалась равной 4, хотя меньше 8 она быть не может. В прикладных задачах такой результат — не поражение, а ценная информация: он говорит, что модель не может объяснить данные, и надо менять модель, а не считать усерднее.

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

1. Ищи в системе самое простое уравнение и начинай с него

Составители задач почти всегда дают одну «лёгкую» строчку: линейную ($x + y = 6$), простейшую логарифмическую ($\lg(x-y) = 0$) или прямое выражение ($x = 2y$). Она нужна именно для того, чтобы её потенцировать или подставить. Правило: сначала переводи в алгебраический вид всё, что переводится за один шаг, и только потом принимайся за сложное уравнение.

2. Прежде чем считать, проверь систему на симметрию

Поменяй $x$ и $y$ местами. Если система не изменилась — она симметрична, значит решения идут зеркальными парами и в ответе их будет чётное число (или ровно одна пара с $x = y$). Это одновременно и подсказка к методу (сводим к $S$ и $P$), и страховка от потери половины ответа.

3. Замену пиши вместе с условием, одной строкой

Не «пусть $u = 2^x$», а «пусть $u = 2^x > 0$». Условие приклеено к замене и физически не может потеряться при переписывании. То же и с логарифмами: «пусть $u = \log_2 x$, при $x > 0$». Эта привычка ловит целый класс ошибок ещё до того, как они появятся.

4. Показательное с двумя разными основаниями — ищи свёртку $a^x b^x = (ab)^x$

Уравнение вида $3^x\cdot2^x = 36$ выглядит безнадёжно, пока не заметишь, что показатели одинаковые: $6^x = 36$, ответ $x = 2$. Обратный приём тоже полезен: если основания разные, а показатели разные, попробуй сначала связать показатели вторым уравнением системы, и часто они станут одинаковыми.

5. Собирай $x^2 + y^2$ через квадрат суммы

Тождество $(x+y)^2 = x^2 + 2xy + y^2$ превращает «сумму квадратов плюс произведение» в «сумму плюс произведение», то есть в задачу для Виета. И сразу же вспоминай про знак: если по ОДЗ обе переменные положительны, из двух корней $x + y = \pm S$ остаётся только положительный. Это тот случай, когда ОДЗ работает не в конце решения, а в середине.

6. Число корней уравнения ≠ число решений системы

После получения $t_1$ и $t_2$ обязательно проведи три проверки: положительны ли корни (если была замена $u = a^x$), проходят ли обе расстановки по симметрии, и не отсеивает ли ОДЗ одну из пар. Каждая проверка занимает секунды, а вместе они дают правильную структуру ответа.

7. Для калибровки моделей сразу дели одно уравнение на другое

Если модель имеет вид $f(t) = A\cdot b^t$ и есть два замера, не подставляй ничего никуда — просто раздели второе уравнение на первое. Неизвестное $A$ сократится, останется $b^{\Delta t} = \dfrac{f_2}{f_1}$, откуда $b$ находится извлечением корня. Это самый быстрый путь, и он же самый устойчивый: отношение двух замеров не зависит от масштаба.

8. Переводи ответ на человеческий язык

Получил $\lambda \approx 0{,}1386$? Посчитай период полураспада $\dfrac{\ln 2}{\lambda} = 5$ и скажи коллеге: «шаг уполовинивается каждые пять эпох». Получил $b = 2$? Скажи «удваивается за неделю». Такая переформулировка не только понятнее — она ещё и работает как проверка здравого смысла: если по формуле выходит удвоение за одну эпоху, ты, скорее всего, где-то потерял минус в показателе.

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

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

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