Реши неравенство: $\frac{\log_3(81x)}{\log_3(x-4)} + \frac{\log_3(x-4)}{\log_3(81x)} \ge \frac{24 - \log_3 x^8}{\log_3^2 x - 16}$

Привет! Давай разберёмся с этим неравенством шаг за шагом. Сначала нужно найти область допустимых значений (ОДЗ) для всех выражений, которые есть в неравенстве. У нас есть логарифмы, поэтому их аргументы должны быть больше нуля, а основания логарифмов не равны единице (здесь основания везде 3, так что это условие выполняется). 1. Аргументы логарифмов должны быть больше нуля: * $81x > 0 \Rightarrow x > 0$ * $x-4 > 0 \Rightarrow x > 4$ * $x > 0$ (из $\log_3 x^8$) 2. Знаменатели дробей не могут быть равны нулю: * $\log_3(x-4) \ne 0 \Rightarrow x-4 \ne 3^0 \Rightarrow x-4 \ne 1 \Rightarrow x \ne 5$ * $\log_3(81x) \ne 0 \Rightarrow 81x \ne 3^0 \Rightarrow 81x \ne 1 \Rightarrow x \ne \frac{1}{81}$ * $\log_3^2 x - 16 \ne 0 \Rightarrow (\log_3 x - 4)(\log_3 x + 4) \ne 0$ * $\log_3 x \ne 4 \Rightarrow x \ne 3^4 \Rightarrow x \ne 81$ * $\log_3 x \ne -4 \Rightarrow x \ne 3^{-4} \Rightarrow x \ne \frac{1}{81}$ Объединяя все эти условия, получаем ОДЗ: $x \in (4; +\infty)$, но $x \ne 5$ и $x \ne 81$. Теперь упростим выражение с логарифмами. Применим свойство логарифма произведения $\log_a (bc) = \log_a b + \log_a c$ и свойство логарифма степени $\log_a b^n = n \log_a b$. Также помним, что $\log_3 81 = 4$. * $\log_3(81x) = \log_3 81 + \log_3 x = 4 + \log_3 x$ * $\log_3 x^8 = 8 \log_3 x$ Заменим $\log_3 x$ на $t$. Тогда наши выражения станут: * $\log_3(81x) = 4 + t$ * $\log_3(x-4)$ оставим как есть, так как $x-4$ не равно $x$ * $\log_3 x^8 = 8t$ * $\log_3^2 x - 16 = t^2 - 16 = (t-4)(t+4)$ Подставим это в неравенство: $$\frac{4 + t}{\log_3(x-4)} + \frac{\log_3(x-4)}{4 + t} \ge \frac{24 - 8t}{t^2 - 16}$$ Это неравенство выглядит сложным из-за $\log_3(x-4)$. Давай проверим, что происходит, если $x \in (4; 5)$. В этом случае $x-4 \in (0; 1)$, а значит $\log_3(x-4) < 0$. Если $x > 5$, то $x-4 > 1$, и $\log_3(x-4) > 0$. В правой части: $t^2 - 16 = (t-4)(t+4)$. $\frac{24 - 8t}{t^2 - 16} = \frac{8(3-t)}{(t-4)(t+4)}$. Обрати внимание на левую часть неравенства. Она похожа на $a + \frac{1}{a}$. Мы знаем, что для $a > 0$, $a + \frac{1}{a} \ge 2$. Пусть $A = \frac{4 + t}{\log_3(x-4)}$. Тогда левая часть - это $A + \frac{1}{A}$. Давай рассмотрим два случая для $4+t = 4+\log_3 x$: **Случай 1: $4+\log_3 x > 0$** (то есть $\log_3 x > -4$, или $x > 3^{-4} = \frac{1}{81}$) **Случай 2: $4+\log_3 x < 0$** (то есть $\log_3 x < -4$, или $x < \frac{1}{81}$) Учитывая ОДЗ $x > 4$, первый случай всегда выполняется, так как $4 > \frac{1}{81}$. Значит, $4+\log_3 x > 0$. Теперь рассмотрим $\log_3(x-4)$: * Если $x \in (4; 5)$, то $0 < x-4 < 1$, и $\log_3(x-4) < 0$. В этом случае $A < 0$. Если $A < 0$, то $A + \frac{1}{A} \le -2$. Значит, левая часть неравенства $\le -2$. * Если $x \in (5; +\infty)$, то $x-4 > 1$, и $\log_3(x-4) > 0$. В этом случае $A > 0$. Если $A > 0$, то $A + \frac{1}{A} \ge 2$. Значит, левая часть неравенства $\ge 2$. Давай обозначим $a = \log_3(x-4)$ и $b = 4+\log_3 x$. Неравенство можно переписать как: $$\frac{b}{a} + \frac{a}{b} \ge \frac{8(3-t)}{(t-4)(t+4)}$$ где $t = \log_3 x$. Рассмотрим $x \in (4;5)$. В этом случае $a < 0$. Так как $x > 4$, то $t = \log_3 x > \log_3 4$. $\log_3 4 \approx 1.26$. Значит $4+t > 0$. Тогда $\frac{b}{a} < 0$. И левая часть $\le -2$. Правая часть: $\frac{8(3-t)}{(t-4)(t+4)}$. Так как $t > \log_3 4 \approx 1.26$, то $3-t$ может быть как положительным, так и отрицательным (если $t > 3$). $t-4$ может быть отрицательным (если $t < 4$). $t+4$ всегда положительно. Давай упростим левую часть к общему знаменателю: $$\frac{b^2 + a^2}{ab} \ge \frac{8(3-t)}{(t-4)(t+4)}$$ Это достаточно громоздкое решение. Давай посмотрим, нет ли более простого пути. Вспомним неравенство $u + \frac{1}{u} \ge 2$ для $u > 0$ и $u + \frac{1}{u} \le -2$ для $u < 0$. Пусть $u = \frac{\log_3(81x)}{\log_3(x-4)}$. **Важный момент:** Заметим, что правая часть имеет вид $\frac{24 - 8t}{t^2 - 16} = \frac{8(3-t)}{(t-4)(t+4)}$. Рассмотрим три случая для $t = \log_3 x$: **Случай 1: $x \in (4; 5)$** * $x-4 \in (0; 1)$, значит $\log_3(x-4) < 0$. * $x \in (4; 5)$, значит $\log_3 4 < \log_3 x < \log_3 5$. $\log_3 4 \approx 1.26$, $\log_3 5 \approx 1.46$. * Тогда $t = \log_3 x \in (\log_3 4; \log_3 5)$. * $4+t > 0$. * Значит, $u = \frac{4+t}{\log_3(x-4)} < 0$. * Левая часть неравенства $u + \frac{1}{u} \le -2$. * Правая часть: $t \in (\log_3 4; \log_3 5)$. * $3-t > 0$ (так как $t < \log_3 5 \approx 1.46 < 3$). * $t-4 < 0$ (так как $t < \log_3 5 \approx 1.46 < 4$). * $t+4 > 0$. * Значит, правая часть $\frac{8(3-t)}{(t-4)(t+4)}$ будет отрицательной (положительное / (отрицательное * положительное) = отрицательное). * Получается, что левая часть $\le -2$, а правая часть $< 0$. Это не противоречит неравенству $\le -2 \ge (отрицательное число)$. Давайте возьмем конкретное значение, например $x=4.5$. $t = \log_3 4.5 \approx 1.369$. $x-4 = 0.5$. $\log_3 0.5 \approx -0.63$. Левая часть: $\frac{4+1.369}{-0.63} + \frac{-0.63}{4+1.369} \approx \frac{5.369}{-0.63} + \frac{-0.63}{5.369} \approx -8.52 - 0.117 \approx -8.637$. Правая часть: $\frac{8(3-1.369)}{(1.369-4)(1.369+4)} = \frac{8(1.631)}{(-2.631)(5.369)} = \frac{13.048}{-14.12} \approx -0.924$. $-8.637 \ge -0.924$ - это неверно! Значит, решений в этом промежутке нет. Давай подумаем, когда $u + \frac{1}{u} \ge C$. Если $u < 0$, то $u + \frac{1}{u}$ всегда отрицательное и $\le -2$. Если правая часть окажется больше, чем $-2$, то решений не будет. Правая часть: $\frac{8(3-t)}{(t-4)(t+4)}$. Мы знаем, что $t \in (\log_3 4; \log_3 5)$, то есть $t \approx 1.26 \dots 1.46$. Тогда $3-t$ положительно, $t-4$ отрицательно, $t+4$ положительно. Вся правая часть отрицательна. Знаменатель $(t-4)(t+4)$ находится в диапазоне от $(\log_3 4 - 4)(\log_3 4 + 4) \approx (-2.74)(5.26) \approx -14.4$ до $(\log_3 5 - 4)(\log_3 5 + 4) \approx (-2.54)(5.46) \approx -13.8$. Числитель $8(3-t)$ находится в диапазоне от $8(3-\log_3 5) \approx 8(1.54) = 12.32$ до $8(3-\log_3 4) \approx 8(1.74) = 13.92$. Значит правая часть находится в диапазоне от $\frac{13.92}{-13.8} \approx -1.0$ до $\frac{12.32}{-14.4} \approx -0.85$. То есть правая часть всегда больше $-2$. А левая часть всегда меньше или равна $-2$. Поэтому в промежутке $x \in (4; 5)$ решений нет. **Случай 2: $x \in (5; +\infty)$, но $x \ne 81$** * $x-4 > 1$, значит $\log_3(x-4) > 0$. * $x > 5$, значит $t = \log_3 x > \log_3 5 \approx 1.46$. * $4+t > 0$. * Значит, $u = \frac{4+t}{\log_3(x-4)} > 0$. * Левая часть неравенства $u + \frac{1}{u} \ge 2$. Нам нужно, чтобы правая часть была либо $\le 2$, либо $\ge 2$. Правая часть: $\frac{8(3-t)}{(t-4)(t+4)}$. Теперь рассмотрим возможные значения $t = \log_3 x$. * Если $t=3$ (то есть $x=3^3=27$): Правая часть равна 0. $2 \ge 0$ - верно. Значит, $x=27$ является решением. * Если $t < 3$ (то есть $x < 27$): $3-t > 0$. * Если $t < 4$ (то есть $x < 81$): $t-4 < 0$. * Значит, правая часть $\frac{8(>0)}{(<0)(>0)} < 0$. * В этом случае, левая часть $\ge 2$, а правая часть $< 0$. Это всегда верно: $2 \ge (отрицательное число)$. * Таким образом, все $x$ такие, что $5 < x < 27$ (и $x \ne 5$, $x \ne 81$) являются решениями. * Если $t > 3$ (то есть $x > 27$): $3-t < 0$. * Если $t < 4$ (то есть $x < 81$): $t-4 < 0$. * Значит, правая часть $\frac{8(<0)}{(<0)(>0)} > 0$. * Мы сравниваем $\ge 2$ с положительным числом. * В этом диапазоне $x \in (27; 81)$. * Например, $x=30$. $t = \log_3 30 \approx 3.09$. * Левая часть $\ge 2$. * Правая часть: $\frac{8(3-3.09)}{(3.09-4)(3.09+4)} = \frac{8(-0.09)}{(-0.91)(7.09)} = \frac{-0.72}{-6.45} \approx 0.11$. * $2 \ge 0.11$ - это верно. Значит, все $x \in (27; 81)$ являются решениями. * Если $t > 4$ (то есть $x > 81$): $t-4 > 0$. * Значит, правая часть $\frac{8(<0)}{(>0)(>0)} < 0$. * Левая часть $\ge 2$, правая часть $< 0$. Это всегда верно: $2 \ge (отрицательное число)$. * Таким образом, все $x \in (81; +\infty)$ являются решениями. Объединяем решения из Случая 2: $x \in (5; 27] \cup (27; 81) \cup (81; +\infty)$. Это можно записать как $x \in (5; +\infty)$, но $x \ne 81$. Совмещаем это с ОДЗ: $x \in (4; +\infty)$, но $x \ne 5$ и $x \ne 81$. Итоговое решение: $x \in (5; +\infty)$, но $x \ne 81$. **Ответ:** $x \in (5; 81) \cup (81; +\infty)$