\[
\frac{2^x + 8}{2^x — 8} + \frac{2^x — 8}{2^x + 8} \ge \frac{2^{x+4} + 96}{4^x — 64}
\]
📘 Необходимые сведения
- \(2^{x+4} = 2^x \cdot 2^4 = 16 \cdot 2^x\).
- \(4^x = (2^2)^x = 2^{2x} = (2^x)^2\).
- Замена \(t = 2^x > 0\) сводит показательное неравенство к рациональному.
- Формула суммы квадратов: \((a+b)^2 + (a-b)^2 = 2(a^2 + b^2)\).
1. Замена \(t = 2^x\)
Пусть \(t = 2^x > 0\). Тогда:
\[ \begin{aligned} 2^x + 8 &= t + 8, \\ 2^x — 8 &= t — 8, \\ 2^{x+4} &= 16t, \\ 4^x &= t^2, \\ 4^x — 64 &= t^2 — 64 = (t-8)(t+8). \end{aligned} \]Неравенство принимает вид:
\[ \frac{t+8}{t-8} + \frac{t-8}{t+8} \ge \frac{16t + 96}{(t-8)(t+8)},\quad t>0,\ t\neq 8. \]2. Упрощаем левую часть
Общий знаменатель \((t-8)(t+8)\):
\[ \frac{(t+8)^2 + (t-8)^2}{(t-8)(t+8)}. \]Вычисляем числитель:
\[ (t+8)^2 = t^2 + 16t + 64,\quad (t-8)^2 = t^2 — 16t + 64. \] \[ (t+8)^2 + (t-8)^2 = 2t^2 + 128 = 2(t^2 + 64). \]Левая часть равна:
\[ \frac{2(t^2 + 64)}{(t-8)(t+8)}. \]3. Переносим правую часть влево
\[
\frac{2(t^2 + 64)}{(t-8)(t+8)} — \frac{16t + 96}{(t-8)(t+8)} \ge 0.
\]
\[
\frac{2(t^2 + 64) — (16t + 96)}{(t-8)(t+8)} \ge 0.
\]
Упрощаем числитель:
\[ 2t^2 + 128 — 16t — 96 = 2t^2 — 16t + 32 = 2(t^2 — 8t + 16) = 2(t-4)^2. \]Получаем:
\[
\frac{2(t-4)^2}{(t-8)(t+8)} \ge 0.
\]
Множитель \(2 > 0\) можно отбросить.
4. Исследуем знак \(\frac{(t-4)^2}{(t-8)(t+8)} \ge 0\)
Числитель \((t-4)^2 \ge 0\) для всех \(t\), равен 0 при \(t = 4\).
Знаменатель \((t-8)(t+8)\):
- При \(0 < t < 8\): \(t-8 < 0,\ t+8 > 0\) ⇒ знаменатель \(< 0\).
- При \(t > 8\): \(t-8 > 0,\ t+8 > 0\) ⇒ знаменатель \(> 0\).
Дробь \(\ge 0\):
- Если знаменатель \(> 0\) (при \(t > 8\)), то числитель \(\ge 0\) ⇒ дробь \(\ge 0\).
- Если знаменатель \(< 0\) (при \(0 < t < 8\)), то дробь \(\ge 0\) только когда числитель = 0, т.е. \(t = 4\).
Итак, решение для \(t\):
\[ t \in (8, \infty) \cup \{4\}. \]5. Возвращаемся к \(x\) (\(t = 2^x\))
- \(t = 4 \Rightarrow 2^x = 4 \Rightarrow x = 2\).
- \(t > 8 \Rightarrow 2^x > 8 \Rightarrow x > 3\).
✅ Окончательный ответ
\[
\boxed{\{2\} \cup (3, \infty)}
\]
🔍 Проверка граничных точек:
- \(x = 2\): \(2^2 = 4\), подставляем в исходное: левая часть \(\frac{4+8}{4-8} + \frac{4-8}{4+8} = \frac{12}{-4} + \frac{-4}{12} = -3 — \frac13 = -\frac{10}{3}\); правая часть \(\frac{2^{6}+96}{16-64} = \frac{64+96}{-48} = \frac{160}{-48} = -\frac{10}{3}\) — равенство, верно.
- \(x = 3\): \(2^3 = 8\) — знаменатели обращаются в ноль, не входит.
- \(x = 4\): \(2^4 = 16\), левая часть \(\frac{24}{8} + \frac{8}{24} = 3 + \frac13 = \frac{10}{3}\); правая часть \(\frac{2^{8}+96}{256-64} = \frac{256+96}{192} = \frac{352}{192} = \frac{11}{6}\)? Неравенство \(10/3 \ge 11/6\) верно (20/6 ≥ 11/6).
📊 Знак дроби \(\frac{(t-4)^2}{(t-8)(t+8)}\)
| Интервал | \((t-4)^2\) | \((t-8)(t+8)\) | Знак дроби |
|---|---|---|---|
| \((0, 4)\) | + | – | – |
| \(t = 4\) | 0 | – | 0 |
| \((4, 8)\) | + | – | – |
| \(t = 8\) | + | 0 | искл. |
| \((8, \infty)\) | + | + | + |
🧩 План решения:
- Замена \(t = 2^x > 0\).
- Приведение левой части к общему знаменателю \((t-8)(t+8)\).
- Перенос правой части и упрощение числителя до \(2(t-4)^2\).
- Анализ знака дроби \(\frac{(t-4)^2}{(t-8)(t+8)} \ge 0\).
- Получение \(t \in (8, \infty) \cup \{4\}\).
- Возврат к \(x\): \(x = 2\) и \(x > 3\).