Задачка очень специфическая, но интересная.

Необходимо доказать неравенство:

(2^x -1)*(3^x -1) <= x/2 *( 6^x -1)

Сразу заметим уникальное свойство данного неравенства:

Пусть мы доказали, что неравенство выполнено для x0

(2^x0 -1)*(3^x0 -1) <= x0/2 *( 6^x0 -1)

Поделим обе части неравенства на 6^x0 >0, деля  первую и вторую скобку слева  на 2^x0 и 3^x0

(1 - 2^(-x0) ) *( 1-3^(-x0) ) <= x0/2 * (1-6^(-x0) )

(2^(-x0) -1)*(3^(-x0) -1) <= -x0/2 *( 6^(-x0) -1)

Иначе говоря, если неравенство справедливо для x0, то оно справедливо и для  -x0.

Таким образом, достаточно доказать справедливость неравенства для x>=0 , чтобы доказать, что оно справедливо для всех действительных x.

Раскрываем скобки:

6^x -2^x - 3^x + 1 <= x/2 * 6^x  - x/2

Сделаем замену для удобства : x/2 = t >=0

6^(2t) -2^(2t) -3^(2t)+1 - t*6^(2t) +t <=0

6^(2t) *(t-1) +2^(2t) +3^(2t)  -t -1 >= 0

Преобразуем:

2^(2t) +3^(2t) = ( 2^t  -3^t ) ^2 + 2* 2^t * 3^t = ( 2^t  -3^t ) ^2 +2* 6^t

6^(2t) *(t-1) + 2* 6^t  -t -1 +  ( 2^t  -3^t ) ^2 >=0

6^(2t)*(t-1) +2*6^t - (t-1) -2  +  ( 2^t  -3^t ) ^2 >=0

(t-1) * ( 6^(2t) -1)  +2*(6^t -1) + ( 2^t  -3^t ) ^2 >=0

(t-1) * (6^t -1) *(6^t +1)  +2*(6^t -1) + ( 2^t  -3^t ) ^2 >=0

(6^t - 1) * ( (t-1)*(6^t +1) +2) + ( 2^t  -3^t ) ^2 >=0

при t>=0

6^t - 1 >=0

( 2^t  -3^t ) ^2 >=0

Докажем, что :

f(t) =(t-1)*(6^t +1) +2 >= 0 , при t>=0  

при t>1 неравенство очевидно, а вот для 0<=t<=1 доказательство далось очень нелегко.

При  0<=t <1

cправедливо разложения в ряд Тейлора:

ln( (1+t)/(1-t) ) = 2* ( t +t^3/3 +t^5/5+...+t^(2n-1)/(2n-1)+...)

Поскольку : t>=0

Справедливо неравенство:

ln( (1+t)/(1-t) ) >= 2t

Заметим, что  2>ln(6)

Действительно :  тк  2,5 < e  

log(2,5 ; 6) > ln(6)

log(2,5 ; 6) <2 , тк (2,5)^2 =6,25>6

2>log(2,5 ; 6) > ln(6)

Поскольку t>=0

ln( (1+t)/(1-t) ) >= 2t > t*ln(6)

Поскольку e>1

e^(ln( (1+t)/(1-t) )) >= e^(t*ln(6) )

(1+t)/(1-t) >= 6^t  - очень оригинальное неравенство.

Тк t<1 , то 1-t>0 , значит на него можно умножить обе части неравенства:

(1+t)>=6^t *(1-t)

6^t *(t-1) +1+t >=0

6^t*(t-1) +t-1 +2 >=0

(6^t+1)*(t-1) +2 >=0,  для 0<=t< 1 - получилось :)

Отдельно проверим это неравенство для t=1

2>=0 - верно

При t=0 выполняется равенство :

(1+1)*(-1) +2 = 0

Таким образом неравенство:

(6^t - 1) * ( (t-1)*(6^t +1) +2) + ( 2^t  -3^t ) ^2 >=0

доказано для t>=0 , а значит:

(2^x -1)*(3^x -1) <= x/2 *( 6^x -1)  доказано для любого x>=0, но согласно описанному в начале замечательному свойству, оно справедливо и для x<0.

То есть неравенство:

(2^x -1)*(3^x -1) <= x/2 *( 6^x -1)  доказано для всех действительных x.

ЧТД