Dados os números reais x1,x2,y1,y2,z1,z2 satisfazendo x1>0,x2>0,x1y1>z12 e x2y2>z22, prove que: 8 over(x1+x2)(y1+y2)−(z1+z2)2≤x1y1−z121+x2y2−z221. Dar condições necessárias e suficientes para a igualdade.
