Demostrar que para cualesquiera números reales $x_1,x_2,y_1,y_2,z_1,z_2$ con $x_1\gt 0$, $x_2\gt 0$ y $x_2y_2-z_2^2\gt 0$, se cumple la desigualdad
\[\frac{8}{(x_1+x_2)(y_1+y_2)-(z_1+z_2)^2}\leq \frac{1}{x_1y_1-z_1^2}+\frac{1}{x_2y_2-z_2^2}.\]
Dar condiciones necesarias y suficientes para que se alcance la igualdad.