Найдём область допустимых значений.
Аргументы логарифмов должны быть положительными:
⎩⎨⎧x2−13x+42>0,x−6(x−7)7>0.
Разложим квадратный трёхчлен на множители:
x2−13x+42=(x−6)(x−7).
Получаем:
⎩⎨⎧(x−6)(x−7)>0,x−6(x−7)7>0.
Обе части системы выполняются при
x∈(−∞;6)∪(7;+∞).
Это ОДЗ исходного неравенства.
Перенесём второй логарифм в левую часть:
7log12((x−6)(x−7))−log12x−6(x−7)7≤8.
Используем свойства логарифмов:
log12((x−6)7(x−7)7)−log12x−6(x−7)7≤8.
Объединим логарифмы:
log12x−6(x−7)7(x−6)7(x−7)7≤8.
Сокращаем:
log12(x−6)8≤8.
Так как
(x−6)8=∣x−6∣8,
получаем
8log12∣x−6∣≤8.
Разделим обе части на 8:
log12∣x−6∣≤1.
Так как основание логарифма 12>1, имеем
∣x−6∣≤12.
Отсюда
−12≤x−6≤12,−6≤x≤18.
Теперь пересечём полученный промежуток с ОДЗ:
[−6;18]∩((−∞;6)∪(7;+∞)).
Получаем
x∈[−6;6)∪(7;18].
Ответ:
x∈[−6;6)∪(7;18].