Si se fija $X=\log a$ , $Y=\log b$ y $Z=\log c$ (cualquier base que desee), su condición se vuelve fácilmente $$ \frac{X^3+Y^3+Z^3}{XYZ}=3 $$ Ahora puede utilizar la identidad $$ X^3+Y^3+Z^3=(X+Y+Z)^3-3(X+Y+Z)(XY+YZ+ZX)+3XYZ $$ para conseguir que $$ (X+Y+Z)\bigl((X+Y+Z)^2-3(XY+YZ+ZX)\bigr)=0 $$ El segundo factor se puede escribir $$ X^2+Y^2+Z^2-XY-YZ-ZX $$ y debemos considerar la forma cuadrática teniendo como matriz $$ A=\begin{bmatrix} 1 & -1/2 & -1/2 \\ -1/2 & 1 & -1/2 \\ -1/2 & -1/2 & 1 \end{bmatrix} $$ Desde $$ \det[1]=1>0, \qquad \det\begin{bmatrix}1 & -1/2 \\ -1/2 & 1\end{bmatrix}=3/4>0 \qquad \det A=0 $$ la forma cuadrática es semidefinida positiva. Su espacio nulo contiene el vector $[1\;1\;1]^T$ , por lo que podemos concluir que su condición implica $$ X+Y+Z=0\qquad\text{or}\qquad X=Y=Z $$ Ya que por suposición $a$ , $b$ y $c$ son distintos por pares, terminamos con $X+Y+Z=0$ .
Sin formas cuadráticas, se puede razonar sobre $X^2+Y^2+Z^2-XY-YZ-ZX=0$ de la siguiente manera. Dado que $Z\ne0$ por supuesto, podemos establecer $X=uZ$ y $Y=vZ$ por lo que la ecuación se convierte en $$ u^2-uv+v^2-u-v+1=0 $$ y, resolviendo con respecto a $v$ , $v^2-v(u+1)+u^2-u+1=0$ el discriminante es $$ (u+1)^2-4(u^2-u+1)=-3(u-1)^2 $$ por lo que la ecuación tiene solución sólo para $u=1$ , lo que da $v=1$ . Por lo tanto, $X=Y=Z$ .
Otro enfoque "elemental". Supongamos que $(X+Y+Z)^2=3(XY+YZ+ZX)$ . Establecer $s=X+Y+Z$ y $p=XYZ$ Entonces $X$ , $Y$ y $Z$ son las raíces de la ecuación $$ t^3-st^2+\frac{s^2}{3}t-p=0 $$ por las fórmulas de Viète. Podemos completar el cubo obteniendo $$ \left(t-\frac{s}{3}\right)^3=p-\frac{s^3}{27} $$ que debería tener tres raíces reales. Esto es imposible a menos que las raíces sean coincidentes, por lo que $p=s^3/27$ y $X=Y=Z$ .