Demostrar que $\log_a\left(\frac{2ab}{a+b}\right)\log_b\left(\frac{2ab}{a+b}\right)\geq 1$

Question

Demostrar que $$\log_a\left(\frac{2ab}{a+b}\right)\log_b\left(\frac{2ab}{a+b}\right)\geq 1$$ si a y b están entre 0 y 1 Estoy atascado.Debería resolverse usando uno de los cuatro medios o consiguiendo un enunciado obvio. No estoy seguro de cuál y cómo resolverlo.

Answer 1

Para $0<a,b<1$ supongamos $c=\frac1a$ $d=\frac1b$

$$\log_a\left(\frac{2ab}{a+b}\right)\log_b\left(\frac{2ab}{a+b}\right)\geq 1 \iff$$

$$\frac{\log\left(\frac{2ab}{a+b}\right)\log\left(\frac{2ab}{a+b}\right)}{\log a \log b}\geq 1 \iff$$

$$\frac{\log\left(\frac{c+d}{2}\right)\log\left(\frac{c+d}{2}\right)}{\log c \log d}\geq 1 \iff$$

Para AM-GM

$$\log \frac{c+d}{2}\geq \log \sqrt {cd} =\frac{\log c+\log d}{2} \geq \sqrt{\log c \log d}$$

Así

$$\frac{\log\left(\frac{c+d}{2}\right)\log\left(\frac{c+d}{2}\right)}{\log c \log d}\geq \frac{\log c \log d}{\log c \log d}= 1 \quad \square$$

Answer 2

Por AM-GM y C-S obtenemos: $$\log_a\frac{2ab}{a+b}\log_b\frac{2ab}{a+b}\geq\log_a\frac{2ab}{2\sqrt{ab}}\log_b\frac{2ab}{2\sqrt{ab}}=\log_a\sqrt{ab}\log_b\sqrt{ab}=$$ $$=\frac{1}{4}\left(1+\log_ab\right)\left(1+\log_ba\right)\geq\frac{1}{4}\left(1+\sqrt{\log_ab\log_ba}\right)^2=1.$$