MathDB
prove x_1y_1+x_2y_2+x_2y_1+2x_2y_2\le 1996

Source: Tuymaada 1996 p1

April 27, 2019
algebrainequalities

Problem Statement

Prove the inequality x1y1+x2y2+x2y1+2x2y21996x_1y_1+x_2y_2+x_2y_1+2x_2y_2\le 1996 if x12+2x1x2+2x22998x_1^2+2x_1x_2+2x_2^2\le 998 and y12+2y1y2+2y223992y_1^2+2y_1y_2+2y_2^2\le 3992.