UA-UMO 1999 Problem 92

Let $x$ and $y$ be positive real numbers with $(x-1)(y-1)\ge1$ . Prove that for sides $a,b,c$ of an arbitrary triangle we have $a^2x+b^2y>c^2$ .

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.