Вернёмся к исходному неравенству. С учётом (∗), logx3>0 при любом значении x.
Разделим на logx3:
logx3logx(x2+x−2+1)⋅log7(x2+x+1)≤1
Воспользуемся формулой logaclogab=logcb:
log3(x2+x−2+1)⋅log7(x2+x+1)≤1
Прибавим и отнимем 2 в аргументе правого логарифма:
log3(x2+x−2+1)⋅log7(x2+x−2+3)≤1
Сделаем замену t=x2+x−2,t≥0:
log3(t+1)⋅log7(t2+3)≤1
Заметим, что аргументы логарифмов всегда неотрицательны и основания логарифмов больше единицы, значит левая часть неравенства всегда неотрицательна.
Также заметим, что при t=2 оба логарифма равны 1, если же t<2 то значения логарифмов будут не превышать 1. Значит, чтобы их произведение было не больше 1, значения t должны не превышать 2.
Тогда запишем систему:
{t≥0t≤2⇔{x2+x−2≥0x2+x−2≤2
C учётом (∗) имеем:
⎩⎨⎧x2+x−2≥0x2+x−2≤2x>1⇔{x2+x−2≤4x>1⇔{x2+x−6≤0x>1⇔{(x+3)(x−2)≤0x>1⇔⇔{x∈[−3;2]x>1