olymmath

AUSTRIAN-POLISH 1998 Problem 1

    Let x1,x2,y1,y2x_1, x_2,y _1,y_2 be real numbers such that x12+x22≤1x_1^2 + x_2^2 \le 1 . Prove the inequality (x1y1+x2y2−1)2≥(x12+x22−1)(y12+y22−1)(x_1y_1 + x_2y_2 - 1)^2 \ge (x_1^2 + x_2^2 - 1)(y_1^2 + y_2^2 -1)

    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.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator austrian-polish/1998/p1 · Tag MX4CJZY9A8 · Edit this page on GitHub · Keys: j next, k previous