Решение:
Дано неравенство: 7log12(x2−13x+42)≤8+log12x−6(x−7)7.
Найдём область допустимых значений переменной, исходя из условий положительности аргументов логарифмов:
{x2−13x+42>0x−6(x−7)7>0
Разложим квадратный трёхчлен на множители и проанализируем систему:
{(x−6)(x−7)>0x−6(x−7)7>0

Решением данной системы является множество: x∈(−∞;6)∪(7;+∞).
Преобразуем исходное выражение, применяя правила логарифмирования произведения и частного:
loga(b⋅c)=logab+logac
logacb=logab−logac
Представим аргумент в левой части как произведение:
7log12((x−6)(x−7))≤8+log12x−6(x−7)7
Раскроем логарифмы (учитывая область определения, где x−6 и x−7 одного знака):
7log12∣x−6∣+7log12∣x−7∣≤8+7log12∣x−7∣−log12∣x−6∣
Приведём подобные слагаемые:
8log12∣x−6∣≤8
Разделим на 8 и перейдём к потенцированию:
log12(x−6)2≤2
(x−6)2≤122
x2−12x+36≤144
Перенесём всё в левую часть и разложим на множители:
x2−12x−108≤0
(x+6)(x−18)≤0

Теперь сопоставим полученный результат с ранее найденными ограничениями:

Таким образом, решением неравенства будут интервалы: x∈[−6;6)∪(7;18].
Ответ: [−6;6)∪(7;18]
Источник: ФИПИ