1. Given the inequality (x−1)(y−1)≥1, we start by expanding and rearranging it:
(x−1)(y−1)≥1⟹xy−x−y+1≥1⟹xy≥x+y
2. Next, we consider the reciprocal form of x and y. By dividing both sides of xy≥x+y by xy, we get:
1≥xyx+xyy⟹1≥y1+x1⟹x1+y1≤1
3. Now, we need to prove that for sides a,b,c of an arbitrary triangle, the inequality a2x+b2y>c2 holds. We use the Cauchy-Schwarz inequality in the form:
(a2x+b2y)(x1+y1)≥(a+b)2
4. Substituting x1+y1≤1 into the inequality, we get:
(a2x+b2y)⋅1≥(a+b)2⟹a2x+b2y≥(a+b)2
5. Since a,b,c are sides of a triangle, by the triangle inequality, we have:
a+b>c
6. Squaring both sides of the triangle inequality, we get:
(a+b)2>c2
7. Combining the results from steps 4 and 6, we have:
a2x+b2y≥(a+b)2>c2
8. Therefore, we conclude:
a2x+b2y>c2
■