Дано:
Решить неравенство 6/(2*x+1)>(1+log(2)(2+x))/x (1)
(где log(2) – логарифм по основанию 2).
Решение
Пусть t=x+2 => x=t-2, тогда исходное неравенство преобразуется к виду:
6/(2*(t-2)+1)>(1+log(2)(t))/(t-2) (2)
Отсюда ОДЗ: {t-2≠0, t>0, 2*t-3≠0 => {t≠2, t>0, t≠3/2 (3)
Оставим в правой части только log, тогда:
6*(t-2)/(2*(t-2)+1)-1 > log(2)(t) =>
(4*x-9)/(2*x-3) > log(2)(t) =>
2-3/(2*x-3) > log(2)(t)
Это неравенство является трансцендентным, то есть не решаемым аналитически (путем равносильных преобразований).
Решить его помогает исследование функций, стоящих в его частях. Функция g(t)=log(2)(t) определена при t>0, монотонно возрастает на всей D[g]. E[log(2)(t)]=R (множество действительных чисел)
Функция f(t)=2-3/(2*x-3) получается из функции f(x)=1/x путем осевой симметрии относительно оси x (f-> -f) сдвига вверх вдоль оси y (f-> f+2) и замены переменной x-> 2/3*t-1.
Поэтому f(t), по аналогии с f(x)=1/x, определена при всех t≠3/2 (причем t=3/2 – это вертикальная асимптота f(t)), при t<3/2 f(t)>2, при t>3/2 f(t)<2, причем на обоих этих интервалах f(t) монотонно возрастает, а f(t)=2 – горизонтальная асимптота.
Из этих свойств функций частей видно, что в решение неравенства входит интервал 0<3/2, поскольку в нем g(t)2 (и log(2)(3/2)<2 <= 3/2<2^2). Но нет ли у исходного неравенства других решений? Для этого рассмотрим поведение функций частей при t>3/2. В этом интервале характерные точки:
1)g(3/2)=log(2)(3/2), f(3/2+0)=-infinity (предел справа);
2)g(2)=1, f(2)=2-3/1=-1;
3)g(infinity)=infinity, f(infinity)=2-0
(то есть f(t) не станет >2. Ведь y=2 – горизонтальная асимптота f(t))
Таким образом, судя по всему при t>3/2 всюду g(t)>f(t), то есть исходное неравенство не выполняется.
Поскольку на краях интервала g(t)>f(t), то внутри интервала t|g(t)f’(t). Что как раз и имеет место для данного случая).) Так как в силу того, что на концах интервала g(t)>f(t), далее ей «придется» возрастать медленнее: g’(t)
Решим поэтому уравнение:
(g(t)-f(t))’= (log(2)(3/2)-(2-3/(2*x-3)))’=
= 1/(ln(2)*x)-6/(2*x-3)^2 =0
Отсюда
t1=3/4*(2+ln(2)-√(4*ln(2)+ln^2(2)))≈0,67<3/2 – не входит в исследуемый интервал;
t2=3/4*(2+ln(2)+√(4*ln(2)+ln^2(2)))≈3,37
Остается теперь найти значение g(t2)-f(t2)≈0,68, то есть разность функций частей в этой точке того же знака, что и на концах интервала. Это означает, что внутри интервала исходное неравенство не выполняется всюду, и поэтому решение (2) таково: 0<3/2 (с учетом ОДЗ (3)).
Решение же исходного неравенства (1) найдется из x=t-2:
-2<-1/2.
***
В пособии [Шарыгин И.Ф., Голубев В.И. Факультативный курс по математике. – М.: Просвещение, 1991] дается следующий «способ» решения неравенств данного типа: log(a)(f(x)) заменяем на выражение (a-1)*f(x) (якобы имеющее те же знаки).
Легко показать, что, несмотря на то, что хотя данная замена тоже приводит к решению -2<-1/2, она не является равносильным преобразованием. Например: 1)для данного случая она дает также ложные корни x>0;
2)для случая 6/(2*x+1)>(1+log(3)(2+x))/x она также дает ложные корни 0<1 и x>≈4,4 (то есть внутри интервала ложных корней x>0 появляется «островок» истинных корней 1<≈4,4, на который данный способ также не указывает)