Задача 10151404 — ЕГЭ №16 | Мария Беличенко

условие

\log_{\log_{x} 2 x} (9 x - 4) \geq 0

шаг 1.Метод рационализации

Основание внешнего логарифма само является логарифмом. Знак логарифма даёт метод рационализации: log_f g имеет тот же знак, что (f − 1)(g − 1). Замена сохраняет знак только на ОДЗ, поэтому исходное неравенство сразу переходит в равносильную систему: рационализированное неравенство ① и ограничения ②, ③ и ④.

\log_{\log_{x} 2 x} (9 x - 4) \geq 0 ⟺

{\begin{matrix} (\log_{x} 2 x - 1) ((9 x - 4) - 1) \geq 0 & 1 \\ x > 0, x \neq 1 & 2 \\ \log_{x} 2 x > 0, \log_{x} 2 x \neq 1 & 3 \\ 9 x - 4 > 0 & 4 \end{matrix}

Здесь основание f = log_x 2x, аргумент g = 9x − 4. Условие ② — ОДЗ внутреннего логарифма: его основание x положительно и не равно единице. Условия ③ и ④ — ОДЗ внешнего логарифма: основание положительно и не равно единице, аргумент положителен.

шаг 2.Неравенство ①

Первый множитель сворачивается: единицу записываем как log_x x, и разность логарифмов даёт log_x 2. К нему рационализацию применяем второй раз — знак log_x 2 совпадает со знаком (x − 1)(2 − 1).

\log_{x} 2 x - 1 = \log_{x} 2 x - \log_{x} x = \log_{x} \frac{2 x}{x} = \log_{x} 2

1 (\log_{x} 2 x - 1) ((9 x - 4) - 1) \geq 0

\log_{x} 2 \cdot (9 x - 5) \geq 0

(x - 1) (2 - 1) (9 x - 5) \geq 0

(x - 1) (9 x - 5) \geq 0

9 (x - \frac{5}{9}) (x - 1) \geq 0

Корни левой части 5/9 и 1 закрашены (нестрогое ≥). Пробная точка x = 0 на интервале (−∞; 5/9): 9(0 − 5/9)(0 − 1) = 9 · (−5/9) · (−1) = 5 > 0 — знак «+»; оба корня нечётной кратности, поэтому знаки чередуются. Решение ①: (−∞; 5/9] ∪ [1; +∞).

шаг 3.Ограничение ②

Условие ② — основание внутреннего логарифма положительно и не равно единице.

2 x > 0, x \neq 1

Точка x = 1 выколота: логарифм по основанию 1 не определён. Знак самого x через неё не меняется. Решение ②: (0; 1) ∪ (1; +∞).

шаг 4.Ограничение ③

Условие ③ — основание внешнего логарифма положительно и не равно единице. Знак log_x 2x снова даёт рационализация, а равенство log_x 2x = 1 означало бы 2x = x.

3 \log_{x} 2 x > 0

(x - 1) (2 x - 1) > 0

2 (x - 0,5) (x - 1) > 0

\log_{x} 2 x \neq 1 ⟺ 2 x \neq x

x \neq 0

Рационализация: log_x 2x > 0 — это log_x 2x > log_x 1, то есть (x − 1)(2x − 1) > 0. Пробная точка x = 0 на интервале (−∞; 0,5): 2(0 − 0,5)(0 − 1) = 2 · (−0,5) · (−1) = 1 > 0 — знак «+»; оба корня нечётной кратности, знаки чередуются. Второе условие даёт x ≠ 0, а положительность x уже требует ② — значит, оно выполняется само собой. Решение ③: (−∞; 0,5) ∪ (1; +∞).

шаг 5.Ограничение ④

Условие ④ — аргумент внешнего логарифма положителен.

4 9 x - 4 > 0

x > \frac{4}{9}

Решение ④: x > 4/9.

шаг 6.Пересечение

Сводим четыре оси в одну. Ограничение ④ поднимает левую границу до 4/9, ограничение ③ обрезает интервал справа по 0,5, а луч x > 1 проходит все ограничения целиком.

Точка 5/9 закрашена на оси ①, но в ответ не входит: ограничение ③ обрезает решение по 0,5 — на итоговой оси она выколота. Проверка: x = 0,48 ⇒ основание log_{0,48} 0,96 ≈ 0,056 — положительно и меньше 1, аргумент 9 · 0,48 − 4 = 0,32 < 1, логарифм положителен ✓. Проверка: x = 2 ⇒ основание log₂ 4 = 2, аргумент 14, log₂ 14 > 0 ✓.

ответ

x \in (\frac{4}{9}; 0,5) \cup (1; + \infty)

$\log_{\log_{x} 2 x} (6 x - 2) \geq 0$