Probar que si los números $\log_a(x)$, $\log_b(x)$ y $\log_c(x)$, siendo $a,b,c,x\neq 1$ reales positivos, están en progresión aritmética (en este orden), entonces
\[c^2=(ac)^{\log_a(b)}.\]
pistasolución 1info
Pista. Que los números están en progresión aritmética se puede escribir en una sola ecuación como $2\log_b(x)=\log_a(x)+\log_c(x)$. Manipula esta ecuación usando las propiedades de los logaritmos para eliminar la $x$.
Solución. Que están en progresión aritmética nos dice que $\log_b(x)=\frac{1}{2}(\log_a(x)+\log_c(x))$. Utilizando que $\log_y(x)$ y $\log_x(y)$ son inversos, podemos expresarlo equivalentemente como
\begin{align*}
\frac{2}{\log_x(b)}=\frac{1}{\log_x(a)}+\frac{1}{\log_x(c)}&\ \Longleftrightarrow\ \frac{\log_x(b)}{2}=\frac{\log_x(a)\log_x(c)}{\log_x(ac)}\\
&\ \Longleftrightarrow\ \frac{\log_x(b)}{\log_x(a)}=\frac{\log_x(c^2)}{\log_x(ac)}\\
&\ \Longleftrightarrow\ \log_a(b)=\frac{\log_x(c^2)}{\log_x(ac)}
\\
&\ \Longleftrightarrow\ \log_a(b)\log_x(ac)=\log_x(c^2)
\end{align*}
Esto nos dice finalmente que
\[c^2=x^{\log_x(c^2)}=x^{\log_a(b)\log_x(ac)}=(x^{\log_x(ac)})^{\log_a(b)}=(ac)^{\log_a(b)}.\]