Maths Olympiad Prep

Library / /20 of 45

, 2008

Algebra Difficulty 5.5 AIME, harder Prove it Slovenia

Find all real numbers xx such that 1x2+5xx2\sqrt{1-x^2} + \sqrt{5x-x^2} is an integer.

Solution

Let us find an estimate for the value of this expression. Evidently, 1x211 - x^2 \le 1 and 5xx25x - x^2 is bounded by 5xx2=254(x52)22545x - x^2 = \frac{25}{4} - (x - \frac{5}{2})^2 \le \frac{25}{4}, so
1x2+5xx21+254=1+52=3+12. \sqrt{1-x^2} + \sqrt{5x-x^2} \le \sqrt{1} + \sqrt{\frac{25}{4}} = 1 + \frac{5}{2} = 3 + \frac{1}{2}.
On the other hand, the expression is non-negative and cannot be equal to 0 because that would imply 1x2=01 - x^2 = 0 and 5xx2=05x - x^2 = 0, which is impossible. So, the only integer values the expression can take are 1, 2 or 3. Let 1x2+5xx2=a\sqrt{1-x^2} + \sqrt{5x-x^2} = a and eliminate the square roots. By squaring both sides of 1x2=a5xx2\sqrt{1-x^2} = a - \sqrt{5x-x^2}, we get 1x2=a22a5xx2+5xx21 - x^2 = a^2 - 2a\sqrt{5x-x^2} + 5x - x^2 or 2a5xx2=a21+5x2a\sqrt{5x-x^2} = a^2 - 1 + 5x. After squaring both sides once again, we get 4a2(5xx2)=(a21)210x+10a2x+25x24a^2(5x - x^2) = (a^2 - 1)^2 - 10x + 10a^2x + 25x^2 or
x2(25+4a2)+x(10a210)+(a21)2=0. x^2(25 + 4a^2) + x(-10a^2 - 10) + (a^2 - 1)^2 = 0.
If a=1a = 1 we have x(29x20)=0x(29x - 20) = 0, so x=0x = 0 or x=2029x = \frac{20}{29}. Inserting these values of xx into the initial expression we see that only x=0x = 0 works.

When a=2a = 2 the equation becomes (x1)(41x9)=0(x - 1)(41x - 9) = 0, so x=1x = 1 or x=941x = \frac{9}{41}. In both cases a short calculation confirms that the value of the expression is indeed 2.

Finally, let us consider the case a=3a = 3. The quadratic equation 61x2100x+64=061x^2 - 100x + 64 = 0 has a negative discriminant D=100246164=1002(264)(261)=1002128122D = 100^2 - 4 \cdot 61 \cdot 64 = 100^2 - (2 \cdot 64)(2 \cdot 61) = 100^2 - 128 \cdot 122, so there are no real solutions.

We conclude that the value of the expression is an integer only when x=0x = 0, x=941x = \frac{9}{41} or x=1x = 1.

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.