Maths Olympiad Prep

Library / /25 of 196

Algebra Difficulty 4.5 AIME Prove it Soviet Union

Problem:
If rationals xx, yy satisfy x5+y5=2x2y2x^{5} + y^{5} = 2x^{2}y^{2} show that 1xy1 - x y is the square of a rational.

Solution

Solution:
Put y=kxy = k x, then x5(1+k5)=2k2x4x^{5}(1 + k^{5}) = 2k^{2}x^{4}, so x=2k21+k5x = \dfrac{2k^{2}}{1 + k^{5}}, y=2k31+k5y = \dfrac{2k^{3}}{1 + k^{5}} and 1xy=(1k5)2(1+k5)21 - x y = \dfrac{(1 - k^{5})^{2}}{(1 + k^{5})^{2}}. xx and yy are rational, so 1k51+k5\dfrac{1 - k^{5}}{1 + k^{5}} is rational.

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.