Pruebas $abcd \le 3+ ab+ac+ad+bc+bd+cd$ cuando $(a^2+1)(b^2+1)(c^2+1)(d^2+1)=16$

Question

Mathematica demuestra la desigualdad (el código a la carta) $$abcd \le 3+ ab+ac+ad+bc+bd+cd$$ bajo la condición $$(a^2+1)(b^2+1)(c^2+1)(d^2+1)=16$$

La igualdad se alcanza en $$\begin{align} a &=\frac{\frac{927}{512}-\frac{73 \left(1196032-\sqrt{578562030719}\right)}{83867680}}{-\frac{609 \left(1196032-\sqrt{578562030719}\right)}{1341882880}+\frac{\sqrt{578562030719}-1196032}{2620865}+\frac{73}{32}} \\[4pt] b &= -\frac{87}{32} \\[4pt] c &= \frac{7}{16} \\[4pt] d &= \frac{1196032-\sqrt{578562030719}}{2620865} \end{align}$$

Se plantea la cuestión: ¿Cómo probarlo a mano?

Answer 1

Desde $$(x^2+y^2)(z^2+t^2)=(xz+yt)^2+(xt-yz)^2,$$ obtenemos: $$16=(a^2+1)(b^2+1)(c^2+1)(d^2+1)=((ab-1)^2+(a+b)^2)((cd-1)^2+(c+d)^2)=$$ $$=((ab-1)(cd-1)-(a+b)(c+d))^2+((ab-1)(c+d)+(cd-1)(a+b))^2=$$ $$=(1+abcd-ab-ac-ad-bc-bd-cd)^2+$$ $$+(abc+abd+acd+bcd-a-b-c-d)^2\geq$$ $$\geq(abcd+1-ab-ac-ad-bc-bd-cd)^2,$$ que da $$-4\leq abcd+1-ab-ac-ad-bc-bd-cd\leq4$$ y $$3+ab+ac+ad+bc+bd+cd\geq abcd.$$ La igualdad se produce para $$abc+abd+acd+bcd=a+b+c+d$$ y $$\prod_{cyc}(a^2+1)=16.$$