MathDB
(x_1y_1 + x_2y_2 - 1)^2 >= (x_1^2 + x_2^2 - 1)(y_1^2 + y_2^2 -1)

Source: Austrian - Polish 1998 APMC

May 4, 2020
inequalitiesalgebra

Problem Statement

Let x1,x2,y1,y2x_1, x_2,y _1,y_2 be real numbers such that x12+x221x_1^2 + x_2^2 \le 1. Prove the inequality (x1y1+x2y21)2(x12+x221)(y12+y221)(x_1y_1 + x_2y_2 - 1)^2 \ge (x_1^2 + x_2^2 - 1)(y_1^2 + y_2^2 -1)