Voy a probar el derecho de la desigualdad
y dejar a la izquierda.
$\sqrt{ab} \leq \sqrt[n]{\dfrac{a^n+b^n+\lambda((a+b)^n-^n-b^n)}{2+\lambda(2^n-2)}} \leq \dfrac{a+b}{2}
$
Suponga que
$a \le b$.
Dividiendo por $b$,
y escribir $c = \lambda$
y
$x = a/b$,
esto se convierte en
$\sqrt{a/b}
\leq \sqrt[n]{\dfrac{(a/b)^n+1+c((a/b+1)^n-(a/b)^n-1)}{2+c(2^n-2)}}
\leq \dfrac{(a/b)+1}{2}
$
o
$\sqrt{x}
\leq \sqrt[n]{\dfrac{x^n+1+c((x+1)^n-x^n-1)}{2+c(2^n-2)}}
\leq \dfrac{x+1}{2}
$
donde
$0 < x < 1$
y
$c > 1$.
Vamos
$f(x)
=\dfrac{x^n+1+c((x+1)^n-x^n-1)}{2+c(2^n-2)}
$.
El derecho de la desigualdad es
$f(x)
\le \dfrac{(x+1)^n}{2^n}
$
o
$\begin{array}\\
x^n+1+c((x+1)^n-x^n-1)
&\le (2+c(2^n-2))(x+1)^n/2^n\\
&= c(x+1)^n+(2-2c)(x+1)^n/2^n\\
\text{or}\\
(1-c)x^n+1-c
&\le (2-2c)(x+1)^n/2^n\\
\text{or}\\
x^n+1
&\ge 2(x+1)^n/2^n
\qquad\text{since } c > 1\\
\text{or}\\
2^{n-1}(x^n+1)
&\ge (x+1)^n\\
\end{array}
$
Vamos
$g_n(x)
= 2^{n-1}(x^n+1)-(x+1)^n
$.
$g(0)=2^{n-1}-1 > 0$
y
$g(1) = 0$.
Este es el mismo como
$\dfrac{x^n+1}{2}
\ge (\dfrac{x+1}{2})^n
$
o
$\sqrt[n]{\dfrac{x^n+1}{2}}
\ge \dfrac{x+1}{2}
$
lo cual es cierto
por el poder-decir la desigualdad
(https://en.wikipedia.org/wiki/Generalized_mean).
Eso es suficiente por ahora.
La izquierda de la desigualdad debe ser
de manera similar comprobable.