Olympiad Maths Prep

Track / Stage 6 / 346 of 400 #1346 of 2000

Problem 1346

National olympiad, first round
Algebra Difficulty 6.7 Prove it

Let xx and yy be positive real numbers with (x1)(y1)1(x-1)(y-1)\ge1. Prove that for sides a,b,ca,b,c of an arbitrary triangle we have a2x+b2y>c2a^2x+b^2y>c^2.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Given the inequality (x1)(y1)1(x-1)(y-1) \ge 1, we start by expanding and rearranging it:
(x1)(y1)1    xyxy+11    xyx+y (x-1)(y-1) \ge 1 \implies xy - x - y + 1 \ge 1 \implies xy \ge x + y
2. Next, we consider the reciprocal form of xx and yy. By dividing both sides of xyx+yxy \ge x + y by xyxy, we get:
1xxy+yxy    11y+1x    1x+1y1 1 \ge \frac{x}{xy} + \frac{y}{xy} \implies 1 \ge \frac{1}{y} + \frac{1}{x} \implies \frac{1}{x} + \frac{1}{y} \le 1
3. Now, we need to prove that for sides a,b,ca, b, c of an arbitrary triangle, the inequality a2x+b2y>c2a^2x + b^2y > c^2 holds. We use the Cauchy-Schwarz inequality in the form:
(a2x+b2y)(1x+1y)(a+b)2 (a^2x + b^2y)\left(\frac{1}{x} + \frac{1}{y}\right) \ge (a + b)^2
4. Substituting 1x+1y1\frac{1}{x} + \frac{1}{y} \le 1 into the inequality, we get:
(a2x+b2y)1(a+b)2    a2x+b2y(a+b)2 (a^2x + b^2y) \cdot 1 \ge (a + b)^2 \implies a^2x + b^2y \ge (a + b)^2
5. Since a,b,ca, b, c are sides of a triangle, by the triangle inequality, we have:
a+b>c a + b > c
6. Squaring both sides of the triangle inequality, we get:
(a+b)2>c2 (a + b)^2 > c^2
7. Combining the results from steps 4 and 6, we have:
a2x+b2y(a+b)2>c2 a^2x + b^2y \ge (a + b)^2 > c^2
8. Therefore, we conclude:
a2x+b2y>c2 a^2x + b^2y > c^2

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.