Maths Olympiad Prep

Library / /16 of 23

Algebra Difficulty 6.6 National Olympiad Prove it Romania

a) Infinitely many pairs of real numbers (x,y)(x, y) exist such that x,y[0,3]x, y \in [0, \sqrt{3}] and the following equality holds: x3y2+y3x2=3x \cdot \sqrt{3-y^2} + y \cdot \sqrt{3-x^2} = 3;

b) No pair of rational numbers (x,y)(x, y) exists such that x,y[0,3]x, y \in [0, \sqrt{3}] and the following equality holds: x3y2+y3x2=3x \cdot \sqrt{3-y^2} + y \cdot \sqrt{3-x^2} = 3.

Solution

a) Any pair (a,3a2)(a, \sqrt{3-a^2}), with a[0,1]a \in [0, 1], is a solution.

b) By squaring the equality y3x2=3x3y2y \cdot \sqrt{3-x^2} = 3 - x \cdot \sqrt{3-y^2}, we deduce that (3y2x)2=0(\sqrt{3-y^2} - x)^2 = 0, therefore x2+y2=3x^2 + y^2 = 3. (1)
Assume that there are numbers x,yQ+[0,3]x, y \in \mathbb{Q}_+ \cap [0, \sqrt{3}], for which (1) is true.
It is obvious that x0x \ne 0 and y0y \ne 0. Consider the positive integers a,b,c,da, b, c, d, such that (a,b)=(c,d)=1(a, b) = (c, d) = 1, x=abx = \frac{a}{b} and y=cdy = \frac{c}{d}. From (1) we obtain a2d2+b2c2=3b2d2a^2d^2 + b^2c^2 = 3b^2d^2. (2)
From (c,d)=1(c, d) = 1 and d2b2c2d^2 \mid b^2c^2, we deduce d2b2d^2 \mid b^2. Similarly, from (a,b)=1(a, b) = 1 and b2a2d2b^2 \mid a^2d^2, we obtain b2d2b^2 \mid d^2. Therefore, b2=d2b^2 = d^2 and (2) leads to a2+c2=3b2a^2 + c^2 = 3b^2.
If the integers aa and cc aren't multiples of 33, then a2+c2=M3+23b2a^2 + c^2 = M_3 + 2 \ne 3b^2, false. Consequently 3a3 \mid a and 3c3 \mid c, therefore 3b2=M93b^2 = M_9, thus 3b3 \mid b and (a,b)3(a, b) \ge 3, false. This contradicts our assumption and the conclusion follows.

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.