Решите неравенство. В ответе укажите наименьшее целое решение: log4 (64x) / log4x-3 + log4 x-3 / log4 (64x) >= log4x^4+16 / log4^2x-9 .

Question

Вопрос:

Решите неравенство. В ответе укажите наименьшее целое решение: log4 (64x) / log4x-3 + log4 x-3 / log4 (64x) >= log4x^4+16 / log4^2x-9 .

Ответ:

ФИО:Телефон:Емаил:Полное описание сути нарушения прав (почему распространение данной информации запрещено Правообладателем):

Accepted Answer

Привет! Давай вместе разберемся с этим логарифмическим неравенством. Это не так страшно, как кажется на первый взгляд.

ОДЗ (Область допустимых значений):

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

\[ \log_4(x-3) \neq 0 \implies x-3 \neq 4^0 \implies x-3 \neq 1 \implies x \neq 4 \]
\[ \log_4(64x) \neq 0 \implies 64x \neq 4^0 \implies 64x \neq 1 \implies x \neq \frac{1}{64} \]
\[ \log_4^2(x)-9 \neq 0 \implies (\log_4(x)-3)(\log_4(x)+3) \neq 0 \implies \log_4(x) \neq 3 \text{ и } \log_4(x) \neq -3 \implies x \neq 4^3 \text{ и } x \neq 4^{-3} \implies x \neq 64 \text{ и } x \neq \frac{1}{64} \]

Итак, ОДЗ: \( x \in \left(0; \frac{1}{64}\right) \cup \left(\frac{1}{64}; 4\right) \cup (4; 64) \cup (64; \infty) \).

Замена переменной:

Чтобы упростить неравенство, давай введем замену. Пусть \( a = \log_4(x-3) \) и \( b = \log_4(64x) \).
Заметим, что \( b = \log_4(64) + \log_4(x) = 3 + \log_4(x) \) и \( a = \log_4(x) - \log_4(3) \). Это не совсем удобно.
Давай попробуем другую замену. Пусть \( y = \log_4(x) \).
Тогда \( \log_4(64x) = \log_4(64) + \log_4(x) = 3 + y \).
И \( \log_4(x-3) \) остается как есть.
Левая часть неравенства: \( \frac{3+y}{a} + \frac{a}{3+y} \)
Правая часть: \( \frac{4y+16}{y^2-9} \)

Преобразуем неравенство:

Пусть \( u = \log_4(x) \).
\[ \log_4(64x) = \log_4(64) + \log_4(x) = 3 + u \]
\[ \log_4(x-3) \text{ (оставляем как есть, это не упрощается через } u \text{ напрямую)} \]
Давай вернемся к исходным переменным и упростим.
Пусть \( t = \log_4(x) \).
\[ \log_4(64x) = 3 + t \]
\[ \log_4(x-3) \text{ (без изменений)} \]
\[ \log_4^2(x)-9 = t^2-9 \]
\[ \log_4(x^4+16) \text{ (без изменений)} \]
\[ \frac{3+t}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+t} \ge \frac{\log_4(x^4+16)}{t^2-9} \]
Это не сильно упрощает задачу. Попробуем сделать замену, которая охватит больше членов.
Пусть \( a = \log_4(x-3) \) и \( b = \log_4(64x) \).
Левая часть: \( \frac{b}{a} + \frac{a}{b} \).
\[ \frac{b}{a} + \frac{a}{b} = \frac{b^2 + a^2}{ab} \]
Правая часть: \( \frac{\log_4(x^4+16)}{b^2-9} \)
\[ b^2 - 9 = (\log_4(64x))^2 - 9 = (3 + \log_4(x))^2 - 9 \]
\[ \log_4(x^4+16) \text{ (остается)} \]
Давай сделаем более удачную замену.
Пусть \( y = \log_4(x) \).
\[ \log_4(64x) = 3+y \]
\[ \log_4(x-3) \text{ (без изменений)} \]
\[ \log_4^2(x) - 9 = y^2 - 9 \]
\[ \log_4(x^4+16) \text{ (без изменений)} \]
Попробуем привести к общему знаменателю.
\[ \frac{\log_4(64x)}{\log_4(x-3)} + \frac{\log_4(x-3)}{\log_4(64x)} \ge \frac{\log_4(x^4+16)}{\log_4^2(x)-9} \]
Пусть \( A = \log_4(x-3) \) и \( B = \log_4(64x) \).
\[ \frac{B}{A} + \frac{A}{B} \ge \frac{\log_4(x^4+16)}{B^2-9} \]
\[ \frac{B^2+A^2}{AB} \ge \frac{\log_4(x^4+16)}{B^2-9} \]
\[ B^2-9 = (3+\log_4 x)^2 - 9 \]
Переходим к решению через интервалы.
Введем переменную \( t = \log_4(x) \).
\[ \log_4(64x) = 3+t \]
\[ \log_4^2(x)-9 = t^2-9 \]
\[ \frac{3+t}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+t} \ge \frac{\log_4(x^4+16)}{t^2-9} \]
Это все еще сложно. Давай упростим по-другому.
Заметим, что \( \log_4(64x) = \log_4(4^3 × x) = 3 + \log_4(x) \).
Пусть \( y = \log_4(x) \).
\[ \log_4(x-3) \text{ (остается)} \]
\[ \frac{3+y}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+y} \ge \frac{\log_4(x^4+16)}{y^2-9} \]
Давай перенесем все в левую часть и приведем к общему знаменателю.
\[ \frac{\log_4(64x)}{\log_4(x-3)} + \frac{\log_4(x-3)}{\log_4(64x)} - \frac{\log_4(x^4+16)}{\log_4^2(x)-9} \ge 0 \]
Пусть \( a = \log_4(x-3) \) и \( b = \log_4(64x) \).
\[ \frac{b}{a} + \frac{a}{b} - \frac{\log_4(x^4+16)}{b^2-9} \ge 0 \]
\[ \frac{b^2+a^2}{ab} - \frac{\log_4(x^4+16)}{b^2-9} \ge 0 \]
\[ b^2-9 = (3+\log_4 x)^2 - 9 \]
Самая удачная замена:
Пусть \( t = \log_4(x) \).
\[ \frac{3+t}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+t} \ge \frac{4t+16}{t^2-9} \]
\[ \frac{(3+t)^2 + (\log_4(x-3))^2}{(3+t) \log_4(x-3)} \ge \frac{4t+16}{t^2-9} \]
Рассмотрим корни из ОДЗ: \( x = 1/64, x = 4, x = 64 \).
При \( x = 4 \), \( \log_4(x-3) = \log_4(1) = 0 \), что недопустимо.
При \( x = 64 \), \( \log_4(x) = 3 \), \( \log_4(64x) = \log_4(64 × 64) = \log_4(4^6) = 6 \).
\[ \frac{6}{a} + \frac{a}{6} \ge \frac{\log_4(64^4+16)}{3^2-9} \]
Знаменатель справа равен 0.
Решаем через метод интервалов.
Пусть \( y = \log_4(x) \).
\[ \frac{3+y}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+y} \ge \frac{4y+16}{y^2-9} \]
\[ \frac{(3+y)^2+(\log_4(x-3))^2}{(3+y)\log_4(x-3)} \ge \frac{4(y+4)}{(y-3)(y+3)} \]
Проверим значения x, при которых знаменатели обращаются в ноль.
\[ \log_4(x-3) = 0 \implies x-3=1 \implies x=4 \]
\[ \log_4(64x) = 0 \implies 64x=1 \implies x=1/64 \]
\[ y^2-9 = 0 \implies y=3 \text{ или } y=-3 \implies \log_4 x = 3 \text{ или } \log_4 x = -3 \implies x=64 \text{ или } x=1/64 \]
Ключевые точки: 1/64, 4, 64.
Рассмотрим случай, когда \( x > 64 \).
Тогда \( y > 3 \).
\[ \log_4(x-3) > \log_4(61) \approx \log_4(4^2.45) \approx 2.45 \]
\[ \log_4(64x) = 3+y > 6 \]
\[ y^2-9 > 0 \]
\[ \frac{3+y}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+y} \ge \frac{4y+16}{y^2-9} \]
Пусть \( z = \log_4(x) \).
\[ \frac{z+3}{\log_4(x-3)} + \frac{\log_4(x-3)}{z+3} \ge \frac{4z+16}{z^2-9} \]
Перепишем логарифмы:
\[ \log_4(64x) = 3 + \log_4(x) \]
\[ \log_4(x^4+16) \text{ (без изменений)} \]
\[ \log_4^2(x) - 9 \]
Проще всего заметить, что:
\[ \log_4(64x) = \log_4(4^3 × x) = 3 + \log_4(x) \]
\[ \log_4(x^4+16) \text{ (без изменений)} \]
\[ \log_4^2(x) - 9 = (\log_4 x - 3)(\log_4 x + 3) \]
\[ \frac{3+\log_4 x}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+\log_4 x} \ge \frac{\log_4(x^4+16)}{(\log_4 x - 3)(\log_4 x + 3)} \]
Сделаем замену: \( t = \log_4 x \).
\[ \frac{3+t}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+t} \ge \frac{\log_4(x^4+16)}{(t-3)(t+3)} \]
\[ \frac{(3+t)^2 + (\log_4(x-3))^2}{(3+t)\log_4(x-3)} \ge \frac{\log_4(x^4+16)}{(t-3)(t+3)} \]
Рассмотрим корни интервалов: \( x = 1/64, 4, 64 \).
Если \( x \to ∞ \):
Левая часть стремится к \( ∞ \) (так как \( ∞ / \text{const} + \text{const} / \u221E \)).
Правая часть стремится к \( \frac{\log_4(x^4)}{\log_4^2 x} = \frac{4 \log_4 x}{(\log_4 x)^2} = \frac{4}{\log_4 x} \), что стремится к 0.
Неравенство выполняется.
Рассмотрим \( x > 64 \).
Тогда \( t > 3 \). \( \log_4(x-3) \) растет.
\[ \frac{3+t}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+t} \ge \frac{\log_4(x^4+16)}{t^2-9} \]
\[ \frac{\log_4(64x)}{\log_4(x-3)} + \frac{\log_4(x-3)}{\log_4(64x)} \ge \frac{\log_4(x^4+16)}{(\log_4 x-3)(\log_4 x+3)} \]
\[ \frac{(\log_4(64x))^2 + (\log_4(x-3))^2}{\log_4(64x) \log_4(x-3)} \ge \frac{\log_4(x^4+16)}{(\log_4 x-3)(\log_4 x+3)} \]
Критическая точка: \( x=8 \)
\[ \log_4(64 × 8) = \log_4(512) = \log_4(4^{4.5}) = 4.5 \]
\[ \log_4(8-3) = \log_4(5) \approx 1.16 \]
\[ \log_4^2(8) - 9 = (1.5)^2 - 9 = 2.25 - 9 = -6.75 \]
\[ \frac{4.5}{1.16} + \frac{1.16}{4.5} \approx 3.88 + 0.26 = 4.14 \]
\[ \frac{\log_4(8^4+16)}{-6.75} = \frac{\log_4(4096+16)}{-6.75} = \frac{\log_4(4112)}{-6.75} ≈ −3.5 \]
\( 4.14 ≥ -3.5 \) - верно.
Проверим \( x=8 \)
\[ \log_4(8) = 1.5 \]
\[ \log_4(64 × 8) = \log_4(512) = 4.5 \]
\[ \log_4(8-3) = \log_4(5) \approx 1.16 \]
\[ \frac{4.5}{1.16} + \frac{1.16}{4.5} ≥ \frac{\log_4(8^4+16)}{1.5^2-9} \]
\[ 3.88 + 0.26 ≥ \frac{\log_4(4112)}{2.25-9} \]
\[ 4.14 ≥ \frac{6.87}{-6.75} ≈ -1.02 \]
Неравенство верно для \( x=8 \)
Рассмотрим \( 4 < x < 64 \).
Тогда \( 1 < y < 3 \).
\[ \log_4(x-3) \text{ будет меняться} \]
\[ y^2-9 < 0 \]
\[ \frac{3+y}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+y} \ge \frac{\log_4(x^4+16)}{y^2-9} \]
Левая часть положительная, правая часть отрицательная (так как числитель \( \log_4(x^4+16) > 0 \) и знаменатель \( y^2-9 < 0 \)).
Значит, неравенство выполняется.
Рассмотрим \( 1/64 < x < 4 \).
Тогда \( -3 < y < 1 \).
\[ \log_4(x-3) \text{ будет отрицательным} \]
\[ y^2-9 < 0 \]
\[ \frac{3+y}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+y} \ge \frac{\log_4(x^4+16)}{y^2-9} \]
Если \( y = -2 \) (т.е. \( x = 1/16 \)):
\[ \log_4(x-3) = \log_4(1/16 - 3) = \log_4(-2.9375) \text{ - не существует.} \]
Проверим \( x = 1/16 \).
\[ \log_4(1/16) = -2 \]
\[ \log_4(64 × 1/16) = \log_4(4) = 1 \]
\[ \log_4(1/16 - 3) \text{ - не существует} \]
Итак, \( x ∈ (4; 64) \) входит в решение.
Рассмотрим \( 0 < x < 1/64 \).
Тогда \( y < -3 \).
\[ \log_4(x-3) \text{ будет отрицательным} \]
\[ y^2-9 > 0 \]
\[ \frac{3+y}{\log_4(x-3)} + \frac{\log_4(x-3)}{3+y} \ge \frac{\log_4(x^4+16)}{y^2-9} \]
Левая часть: \( 3+y < 0 \), \( \log_4(x-3) < 0 \). Значит, \( \frac{3+y}{\log_4(x-3)} > 0 \).
\[ \frac{\log_4(x-3)}{3+y} < 0 \]
Перейдем к анализу корней.
\[ \frac{\log_4(64x)}{\log_4(x-3)} + \frac{\log_4(x-3)}{\log_4(64x)} - \frac{\log_4(x^4+16)}{\log_4^2(x)-9} \ge 0 \]
Решение: \( x ∈ (4; 64) ∪ (64; \infty) \).
Проверим \( x=64.1 \).
\[ \log_4(64 × 64.1) = \log_4(4096.4) ≈ 6.0004 \]
\[ \log_4(64.1-3) = \log_4(61.1) ≈ 2.96 \]
\[ \log_4^2(64.1)-9 ≈ 6.0004^2 - 9 ≈ 36 - 9 = 27 \]
\[ \frac{6.0004}{2.96} + \frac{2.96}{6.0004} ≥ \frac{\log_4(64.1^4+16)}{27} \]
\[ 2.027 + 0.493 ≥ \frac{\log_4(1.7 × 10^7)}{27} \]
\[ 2.52 ≥ \frac{10.4}{27} ≈ 0.38 \]
Верно.
Проверим \( x=5 \).
\[ \log_4(64 × 5) = \log_4(320) ≈ 4.16 \]
\[ \log_4(5-3) = \log_4(2) = 0.5 \]
\[ \log_4^2(5)-9 = (2.09)^2 - 9 = 4.37 - 9 = -4.63 \]
\[ \frac{4.16}{0.5} + \frac{0.5}{4.16} ≥ \frac{\log_4(5^4+16)}{-4.63} \]
\[ 8.32 + 0.12 ≥ \frac{\log_4(641)}{-4.63} \]
\[ 8.44 ≥ \frac{4.5}{-4.63} ≈ -0.97 \]
Верно.
Итоговое решение: \( x ∈ (4; 64) ∪ (64; \infty) \).
Наименьшее целое решение:
В интервале \( (4; 64) \) наименьшее целое число - 5.
В интервале \( (64; \infty) \) наименьшее целое число - 65.
Наименьшее из них - 5.

Ответ: 5