Maths Olympiad Prep

Library / /13 of 299

Algebra Difficulty 5.2 AIME, harder Prove it Iran

Let xx, yy be distinct real numbers such that x4y4=xyx^4 - y^4 = x - y. Prove that
xyx6y643(x+y) \frac{x - y}{x^6 - y^6} \le \frac{4}{3}(x + y)

Solution

It is deduced, from the state of the problem that
(x2+y2)(x+y)=1 (x^2 + y^2)(x + y) = 1
Without loss of generality, assume that x>yx > y. Therefore we have
xyx6y643(x+y)x6y634(xy)x6y634(x2+y2)(xy)x6y634(x2+y2)(x4y4)x6y63x2y4+3x4y2x6y63x2y2(x2y2)(x2y2)(x42x2y2+y4)0(x2y2)30xy \begin{align*} \frac{x-y}{x^6-y^6} &\le \frac{4}{3}(x+y) \\ \Leftrightarrow \quad &x^6 - y^6 \ge \frac{3}{4}(x-y) \\ \Leftrightarrow \quad &x^6 - y^6 \ge \frac{3}{4}(x^2+y^2)(x-y) \\ \Leftrightarrow \quad &x^6 - y^6 \ge \frac{3}{4}(x^2+y^2)(x^4-y^4) \\ \Leftrightarrow \quad &x^6 - y^6 \ge -3x^2y^4 + 3x^4y^2 \\ \Leftrightarrow \quad &x^6 - y^6 \ge 3x^2y^2(x^2-y^2) \\ \Leftrightarrow \quad &(x^2-y^2)(x^4-2x^2y^2+y^4) \ge 0 \\ \Leftrightarrow \quad &(x^2-y^2)^3 \ge 0 \\ \Leftrightarrow \quad &x \ge y \end{align*}
Which is true. Hence, the inequality holds.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.