Maths Olympiad Prep

Library / /79 of 82

Algebra Difficulty 7.4 National olympiad, round 2 Prove it Croatia

a) Let xx and yy be real numbers such that x+yx + y, x2+y2x^2 + y^2 and x4+y4x^4 + y^4 are integers. Prove that the number xn+ynx^n + y^n is an integer for all nNn \in \mathbb{N}.

b) Find an example of real numbers xx and yy that are not integers, such that the numbers x+yx + y, x2+y2x^2 + y^2 and x4+y4x^4 + y^4 are all integers.

c) Find an example of real numbers xx and yy that are not integers, such that the numbers x+yx + y, x2+y2x^2 + y^2 and x3+y3x^3 + y^3 are integers, but the number x4+y4x^4 + y^4 is not an integer.

(Neven Elezović)

Solution

a) Assume that a=x+ya = x + y, b=x2+y2b = x^2 + y^2 and c=x4+y4c = x^4 + y^4 are integers. Then the numbers a2b=2xya^2 - b = 2xy and b2c=2x2y2b^2 - c = 2x^2 y^2 are integers as well.

Suppose that xyxy is not an integer. Then xy=m2xy = \frac{m}{2}, where mZm \in \mathbb{Z} is odd. But, then 2x2y2=m222x^2 y^2 = \frac{m^2}{2} is not an integer. Contradiction! Hence, xyxy is an integer.

By induction we can prove that xn+ynx^n + y^n is an integer for each nNn \in \mathbb{N}:

Basis of induction: numbers x+yx + y and x2+y2x^2 + y^2 are integers, by assumption.

Let's suppose that, for some integer n>1n > 1, the numbers xn1+yn1x^{n-1} + y^{n-1} and xn+ynx^n + y^n are integers.

Then
xn+1+yn+1=(xn+yn)(x+y)(xny+xyn)=(xn+yn)(x+y)xy(xn1+yn1). \begin{aligned} x^{n+1} + y^{n+1} &= (x^n + y^n)(x + y) - (x^n y + x y^n) \\ &= (x^n + y^n)(x + y) - xy(x^{n-1} + y^{n-1}). \end{aligned}
Numbers x+yx + y and xyxy are integers, as well as the numbers xn1+yn1x^{n-1} + y^{n-1} and xn+ynx^n + y^n, so, we conclude that the number xn+1+yn+1x^{n+1} + y^{n+1} is an integer, too.

b) x=2x = \sqrt{2}, y=2y = -\sqrt{2}.

c) x=12x = \frac{1}{\sqrt{2}}, y=12y = -\frac{1}{\sqrt{2}}.

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 and solution reproduced as published; topic and difficulty added by this site.