TUYMAADA 1996 Problem 1

Prove the inequality $x_1y_1+x_2y_2+x_2y_1+2x_2y_2\le 1996$ if $x_1^2+2x_1x_2+2x_2^2\le 998$ and $y_1^2+2y_1y_2+2y_2^2\le 3992$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.