Метод рационализации (также известный как метод замены множителя) — это эффективный приём решения неравенств, содержащих логарифмы, показательные функции, корни и другие сложные выражения, путём их замены на более простые алгебраические выражения с сохранением знака неравенства.
Как формализованный приём он получил распространение в российской школьной математике в 1990–2000-х годах, особенно в контексте подготовки к ЕГЭ.
Идея метода основана на следующем принципе: вместо того чтобы анализировать знак сложной функции F(x), мы анализируем знак более простой функции G(x), которая совпадает по знаку с F(x) на всей области определения F(x).
Общий алгоритм
Шаг 1: Привести неравенство к стандартному виду.
Неравенство должно быть представлено в виде произведения и/или частного множителей:
F(x) = f₁(x) * ... * fₙ(x) / (g₁(x) * ... * gₘ(x)) > 0 (или < 0, ≥ 0, ≤ 0).
Шаг 2: Учесть ОДЗ (Область Допустимых Значений).
Выписать все ограничения для каждого множителя (знаменатель не равен нулю, подлогарифмическое выражение > 0, основание логарифма > 0 и ≠ 1 и т.д.).
Шаг 3: Рационализировать каждый множитель.
Заменить каждый нелинейный множитель на его рационализированный эквивалент, используя таблицу (см. ниже). Ключевая мысль: разность знаков двух функций a(x) - b(x) можно заменить на разность знаков более простых функций A(x) - B(x).
Шаг 4: Решить полученное рациональное неравенство.
После замены всех множителей вы получите стандартное рациональное неравенство. Решите его методом интервалов.
Шаг 5: Учесть ОДЗ и наложить ограничения.
Из найденного множества решений на шаге 4 исключить точки, не входящие в ОДЗ из шага 2.
Шаг 6: Записать окончательный ответ.
⚠️ Важно: замена сохраняет знак, но не значение! Поэтому метод применяется только в неравенствах, где важен знак выражения, а не его точная величина.
Справочник МЗМ
Метод Замены Множителей — мощный инструмент для решения неравенств
🎯 Алгоритм решения МЗМ
5 шагов к решению любого неравенства
Привести к каноническому виду: \(F(x) = f_1(x) \cdot f_2(x) \cdot \ldots \cdot f_n(x) \vee 0\)
Для каждого множителя применить соответствующую замену из таблиц
Получить рациональное неравенство
Решить методом интервалов
Учесть ОДЗ всех замен
🔷 1. НЕРАВЕНСТВА С МОДУЛЯМИ
| Исходное выражение | Равносильная замена |
|---|---|
| \(|f(x)| \vee 0\) | \(f^2(x) \vee 0\) |
| \(|f(x)| - |g(x)| \vee 0\) | \((f(x) - g(x))(f(x) + g(x)) \vee 0\) |
| \(|f(x)|\geq g(x)\) |
Если \(g(x) \geq 0\): \((f(x) - g(x))(f(x) + g(x)) \geq 0\) Если \(g(x) < 0\): всегда верно (с учетом ОДЗ) |
| \(|f(x)| \leq g(x)\) | \(g(x) \geq 0\) и \((f(x) - g(x))(f(x) + g(x)) \leq 0\) |
Пример:
Решите: \(|x - 2| - |x + 1| > 0\)
Замена: \((x - 2 - (x + 1))(x - 2 + x + 1) > 0 \Rightarrow (-3)(2x - 1) > 0\) \(\Rightarrow 2x - 1 < 0 \Rightarrow x < \dfrac{1}{2}\)
Ответ: \(x \in (-\infty; \tfrac{1}{2})\)
🔷 2. ИРРАЦИОНАЛЬНЫЕ (чётная степень)
| Исходное выражение | Равносильная замена | Условия |
|---|---|---|
| \(\sqrt{f(x)} - \sqrt{g(x)} \vee 0\) | \(f(x) - g(x) \vee 0\) | \(f(x) \geq 0,\; g(x) \geq 0\) |
| \(\sqrt{f(x)} \geq g(x)\) |
Если \(g(x) \geq 0\): \(f(x) - g^2(x) \geq 0\) Если \(g(x) < 0\): \(\sqrt{f(x)} - g(x) > 0\) : всегда верно (с учетом ОДЗ) |
\(f(x) \geq 0\) |
| \(\sqrt{f(x)} \leq g(x)\) | \(g(x) \geq 0\) и \(f(x) - g^2(x) \leq 0\) | \(f(x) \geq 0\) |
| \(\sqrt{f(x)} - |g(x)| \vee 0\) | \(f(x) - g^2(x) \vee 0\) | \(f(x) \geq 0\) |
Пример:
Решите: \(\sqrt{x + 3} - \sqrt{x - 1} > 0\)
Замена: \((x + 3) - (x - 1) > 0 \Rightarrow 4 > 0\) — всегда верно
ОДЗ: \(x + 3 \geq 0,\; x - 1 \geq 0 \Rightarrow x \geq 1\)
Ответ: \(x \in [1; +\infty)\)
🔷 3. ИРРАЦИОНАЛЬНЫЕ (нечётная степень)
| Исходное выражение | Равносильная замена | Условия |
|---|---|---|
| \(\sqrt[3]{f(x)} - \sqrt[3]{g(x)} \vee 0\) | \(f(x) - g(x) \vee 0\) | — |
| \(\sqrt[3]{f(x)} - g(x) \vee 0\) | \(f(x) - g^3(x) \vee 0\) | — |
Пример:
Решите: \(\sqrt[3]{x + 2} - 1 > 0\)
Замена: \((x + 2) - 1^3 > 0 \Rightarrow x + 1 > 0 \Rightarrow x > -1\)
Ответ: \(x \in (-1; +\infty)\)
🔷 4. ПОКАЗАТЕЛЬНЫЕ (постоянное основание)
| Исходное выражение | Равносильная замена | Условия |
|---|---|---|
| \(a^{f(x)} - a^{g(x)} \vee 0\) | \((a - 1)(f(x) - g(x)) \vee 0\) | \(a > 0,\; a \ne 1\) |
| \(a^{f(x)} - b \vee 0\) | \((a - 1)(f(x) - \log_a b) \vee 0\) | \(a > 0,\; a \ne 1,\; b > 0\) |
| \(a^{f(x)} - 1 \vee 0\) | \((a - 1)f(x) \vee 0\) | \(a > 0,\; a \ne 1\) |
| \(a^{f(x)} - b \vee 0,\; b \leq 0\) |
• \(a^{f(x)} - b > 0\) — всегда верно • \(a^{f(x)} - b <0\) — никогда не верно |
\(a > 0,\; a \ne 1\) |
Пример:
Решите: \(3^{x^2 - 2x} - 3^{x - 2} > 0\)
Замена: \((3 - 1)(x^2 - 2x - (x - 2)) > 0 \Rightarrow 2(x^2 - 3x + 2) > 0\)
\(\Rightarrow (x - 1)(x - 2) > 0\)
Ответ: \(x \in (-\infty; 1) \cup (2; +\infty)\)
🔷 5. ПОКАЗАТЕЛЬНЫЕ (переменное основание)
| Исходное выражение | Равносильная замена | Условия |
|---|---|---|
| \(a(x)^{f(x)} - a(x)^{g(x)} \vee 0\) | \((a(x) - 1)(f(x) - g(x)) \vee 0\) | \(a(x) > 0\) |
| \(a(x)^{f(x)} - b(x)^{f(x)} \vee 0\) | \((a(x) - b(x)) \cdot f(x) \vee 0\) | \(a(x) > 0,\; b(x) > 0\) |
| \(a(x)^{f(x)} - 1 \vee 0\) | \((a(x) - 1) \cdot f(x) \vee 0\) | \(a(x) > 0\) |
Пример:
Решите: \(x^{x - 1} - x^{2x - 3} > 0\)
Замена: \((x - 1)\big((x - 1) - (2x - 3)\big) > 0 \Rightarrow (x - 1)(-x + 2) > 0\)
ОДЗ: \(x > 0\)
\((x - 1)(2 - x) > 0 \Rightarrow x \in (1; 2)\)
Ответ: \(x \in (1; 2)\)
🔷 6. ЛОГАРИФМИЧЕСКИЕ НЕРАВЕНСТВА (постоянное основание)
| Исходное выражение | Равносильная замена | Условия |
|---|---|---|
| \(\log_a f(x) - \log_a g(x) \vee 0\) | \((a - 1)(f(x) - g(x)) \vee 0\) | \(f(x) > 0,\; g(x) > 0,\; a > 0,\; a \ne 1\) |
| \(\log_a f(x) - b \vee 0\) | \((a - 1)(f(x) - a^b) \vee 0\) | \(f(x) > 0,\; a > 0,\; a \ne 1\) |
| \(\log_a f(x) + \log_a g(x) \vee 0\) | \((a - 1)(f(x)g(x) - 1) \vee 0\) | \(f(x) > 0,\; g(x) > 0,\; a > 0,\; a \ne 1\) |
🔷 7. ЛОГАРИФМИЧЕСКИЕ НЕРАВЕНСТВА (переменное основание)
| \(\log_{h(x)} f(x) - \log_{h(x)} g(x) \vee 0\) | \((h(x) - 1)(f(x) - g(x)) \vee 0\) | \(f(x) > 0,\; g(x) > 0,\; h(x) > 0,\; h(x) \ne 1\) |
| \(\log_{h(x)} f(x) - \log_{g(x)} f(x) \vee 0\) | \((f(x) - 1)(h(x) - 1)(g(x) - 1)(g(x) - h(x)) \vee 0\) | \(f(x) > 0,\; g(x) > 0,\; h(x) > 0,\; g(x) \ne 1,\; h(x) \ne 1\) |
Пример:
Решите: \(\log_{x}(x + 2) - \log_{x}(3) > 0\)
Замена: \((x - 1)((x + 2) - 3) > 0 \Rightarrow (x - 1)(x - 1) > 0\)
ОДЗ: \(x > 0,\; x \ne 1,\; x + 2 > 0 \Rightarrow x > 0,\; x \ne 1\)
\((x - 1)^2 > 0 \Rightarrow x \ne 1\)
Ответ: \(x \in (0; 1) \cup (1; +\infty)\)
Важные примечания:
- Знак неравенства сохраняется при умножении на положительные выражения
- Все замены работают при соблюдении ОДЗ
\begin{array}{|c|c|c|}
\hline
\text{Исходный множитель} & \text{Замена} & \text{Условия} \\
\hline
\log_a f - \log_a g & (f - g)(a - 1) & f > 0,\ g > 0,\ a > 0,\ a \ne 1 \\
\hline
a^f - a^g & (f - g)(a - 1) & a > 0,\ a \ne 1 \\
\hline
\sqrt{f} - \sqrt{g} & f - g & f \ge 0,\ g \ge 0 \\
\hline
|f| - |g| & f^2 - g^2 & f, g \in \mathbb{R} \\
\hline
\end{array}Пример 1.
\log_{x-2}(x^2 - 8x + 16) \leq 0ОДЗ:
\begin{cases}
x - 2 > 0 \\
x - 2 \neq 1 \\
x^2 - 8x + 16 > 0
\end{cases} \Rightarrow x \in (2; 3) \cup (3; 4) \cup (4; +\infty)
Решение:
\log_{h(x)} f(x) \leq 0 \quad \Leftrightarrow \quad (f(x) - 1)(h(x) - 1) \leq 0,\\
где\\
f(x) > 0, h(x) > 0, h(x) \ne 1.
h(x) = x - 2, \quad f(x) = (x - 4)^2\\ ((x - 4)^2 - 1)(x - 2 - 1) \leq 0\\ (x^2 - 8x + 15)(x - 3) \leq 0\\ (x - 3)(x - 5)(x - 3) \leq 0\\ (x - 3)^2 (x - 5) \leq 0
Ответ:
\text{Ответ: } \boxed{(2;3) \cup (3;4) \cup (4;5]}Пример 2.
\frac{5^{x} - 25}{(0.2)^{x} - 0.008} \geq 0Решение:
a^{f(x)} - a^{g(x)} \ \Rrightarrow \ (a - 1)(f(x) - g(x))\frac{5^{x} - 5^2}{(0.2)^{x} - (0.2)^3} \geq 0\\
\text{Числитель: } 5^{x} - 5^2 \Rrightarrow 4(x - 2)\\
\text{Знаменатель: } (0.2)^{x} - (0.2)^3 \Rrightarrow 5^{-x} - 5^{-3}\Rrightarrow 4(-x-( - 3))=4(-х+3)\\
\frac{4(x - 2)}{-4(x - 3)} \geq 0 \Rightarrow \frac{x - 2}{x - 3} \leq 0\\
Ответ
\text{Ответ: } \boxed{[2;3)}Пример 3.
\log_{2x - 1}(x + 4) < 1ОДЗ:
\begin{align*}
&\begin{cases}
2x - 1 > 0 \\
2x - 1 \ne 1 \\
x + 4 > 0
\end{cases}
\Rightarrow
\begin{cases}
x > \frac{1}{2} \\
x \ne 1 \\
x > -4
\end{cases}
\Rightarrow
x \in \left(\frac{1}{2}, 1\right) \cup (1, +\infty)
\end{align*}Рационализация:
\log_{a} f < c \quad \Leftrightarrow \quad (f - a^c)(a - 1) < 0, \\где \\a > 0, a \ne 1, f > 0a = 2x - 1, f = x + 4, c = 1, a^c = 2x - 1.\\
(x + 4 - (2x - 1))(2x - 1 - 1) < 0\\
(x + 4 - 2x + 1)(2x - 2) < 0\\
(-x + 5) \cdot 2(x - 1) < 0\\
-2(x - 5)(x - 1) < 0\\
(x - 5)(x - 1) > 0\\
(x - 5)(x - 1) > 0 \quad \Rightarrow \quad x \in (-\infty, 1) \cup (5, +\infty)\\
x \in \left(\frac{1}{2}, 1\right) \cup (1, +\infty)Ответ с учётом ОДЗ:
\boxed{\left(\frac{1}{2}, 1\right) \cup (5, +\infty)}Пример 4.
\sqrt{x + 7} > \sqrt{2x - 3}ОДЗ:
\begin{align*}
&\begin{cases}
x + 7 \geq 0 \\
2x - 3 \geq 0
\end{cases}
\Rightarrow
\begin{cases}
x \geq -7 \\
x \geq 1.5
\end{cases}
\Rightarrow
x \geq 1.5
\end{align*}Вариант 1. Рационализация (для чётных корней):
\sqrt{f(x)} - \sqrt{g(x)} \quad \text{можно заменить на} \quad f(x) - g(x)\sqrt{x + 7} - \sqrt{2x - 3} > 0\\
x + 7 - (2x - 3) > 0 \quad \Longrightarrow \quad -x + 10 > 0 \quad \Longrightarrow \quad x < 10Ответ:
x \in \left[ \tfrac{3}{2},\ 10 \right)Вариант 2.
Так как обе части неотрицательны при x > 1.5, возводим в квадрат:
(\sqrt{x + 7})^2 > (\sqrt{2x - 3})^2\\
x + 7 > 2x - 3\\
7 + 3 > 2x - x\\
10 > x\\
x < 10Ответ
x \in [1.5, 10)
Пример 5.
\log_{x}(x - 2) \ge \log_{x}(5 - x)ОДЗ:
\begin{cases}
x > 0, \\
x \ne 1, \\
x - 2 > 0, \\
5 - x > 0
\end{cases}
\quad \Rightarrow \quad x \in (2,\ 5),\ x \ne 1 \Rightarrow x \in (2,\ 5)Рационализация:
\log_{x}(x - 2) - \log_{x}(5 - x) \ge 0\\(f(x) - g(x))(h(x) - 1) \ge 0,\\ где\\ f(x) > 0, g(x) > 0,h(x) > 0, h(x) \ne 1
h(x) = x, \quad f(x) = (x-2), \quad g(x)=(5-x)\\ (x - 1) (x-2-5+x)\ge 0\\ (x-1)(2x-7)\ge 0\\\
Пересечение с ОДЗ (2,5) :
x \in \left[ \tfrac{7}{2},\ 5 \right)Пример 6.
(\log_{2}x - 1)(\sqrt{x} - 2) < 0Решение:
\text{ОДЗ: } x > 0\sqrt{f(x)} - \sqrt{g(x)} \ \Rrightarrow \ f(x) - g(x)\\
f(x) \geq 0, g(x) \geq 0\log_a f(x) - \log_a g(x) \ \Rrightarrow \ (a - 1)(f(x) - g(x))\\ a > 0, a \ne 1, f(x) > 0, g(x) > 0
\log_{2}x - 1 \Rrightarrow x - 2\\
\sqrt{x} - 2 \Rrightarrow x - 4\\
(x - 2)(x - 4) < 0 \Rightarrow x \in (2; 4)
Ответ
\text{Ответ: } \boxed{(2;4)}Пример 7.
\frac{\log_{x}4 \cdot \log_{2}(x - 1)}{\sqrt{3x - 5} - 2} \geq 0Решение
x > 0, \quad x \ne 1, \\
x - 1 > 0 \ \Rightarrow \ x > 1\\
3x - 5 \geq 0 \ \Rightarrow \ x \geq \frac{5}{3}\\
\sqrt{3x - 5} - 2 \ne 0 \ \Rightarrow \ \sqrt{3x - 5} \ne 2 \ \Rightarrow \ 3x - 5 \ne 4 \ \Rightarrow \ x \ne 3ОДЗ
x \in \left[\frac{5}{3}, 3\right) \cup (3, +\infty), \quad x > 1, \quad x \ne 1\\
\Rightarrow x \in \left[\frac{5}{3}, 3\right) \cup (3, +\infty)\log_x 4 = \frac{\log_2 4}{\log_2 x} = \frac{2}{\log_2 x}\log_{x}4 = \frac{2}{\log_{2}x} \Rrightarrow \frac{2}{x - 1}\\
\log_{2}(x - 1) \Rrightarrow x - 2\\
\sqrt{3x - 5} - 2 \Rrightarrow 3(x - 3)\\
\frac{\frac{2}{x - 1} \cdot (x - 2)}{3(x - 3)} \geq 0 \Rightarrow \frac{x - 2}{(x - 1)(x - 3)} \geq 0\\
Ответ
\boxed{\left[\frac{5}{3}, 2\right] \cup (3, +\infty)}