Maths Olympiad Prep

Library / /29 of 44

Algebra Difficulty 5.9 AIME, harder Prove it Slovenia

Let x1x_1 and x2x_2 be two different roots of the polynomial p(x)=x2+ax+bp(x) = x^2 + a x + b, and let x1212x_1^2 - \frac{1}{2} and x2212x_2^2 - \frac{1}{2} be the roots of q(x)=x2+(a212)x+b212q(x) = x^2 + (a^2 - \frac{1}{2}) x + b^2 - \frac{1}{2}. Find aa and bb.

Solution

The roots of the polynomial p(x)=x2+ax+bp(x) = x^2 + a x + b are x1=a+a24b2x_1 = \frac{-a + \sqrt{a^2 - 4b}}{2} and x2=aa24b2x_2 = \frac{-a - \sqrt{a^2 - 4b}}{2}. They have to be different, so a24b0a^2 - 4b \neq 0. From here we get
x1212=(a22b1)aa24b2 x_1^2 - \frac{1}{2} = \frac{(a^2 - 2b - 1) - a \sqrt{a^2 - 4b}}{2}
and
x2212=(a22b1)+aa24b2. x_2^2 - \frac{1}{2} = \frac{(a^2 - 2b - 1) + a \sqrt{a^2 - 4b}}{2}.
Since these are the roots of the polynomial q(x)q(x), they have to satisfy the equation x2+(a212)x+b212=0x^2 + (a^2 - \frac{1}{2}) x + b^2 - \frac{1}{2} = 0. Inserting both into this equation and rearranging we get
(4a412a2b+8b25a2+6b)(4a34ab3a)a24b=0 (4a^4 - 12a^2b + 8b^2 - 5a^2 + 6b) - (4a^3 - 4ab - 3a)\sqrt{a^2 - 4b} = 0
and
(4a412a2b+8b25a2+6b)+(4a34ab3a)a24b=0. (4a^4 - 12a^2b + 8b^2 - 5a^2 + 6b) + (4a^3 - 4ab - 3a)\sqrt{a^2 - 4b} = 0.
So,
4a412a2b+8b25a2+6b=0 4a^4 - 12a^2b + 8b^2 - 5a^2 + 6b = 0
and
(4a34ab3a)a24b=0. (4a^3 - 4ab - 3a)\sqrt{a^2 - 4b} = 0.
Since a24b0a^2-4b \neq 0 the second equation implies that (4a34ab3a)=a(4a24b3)=0(4a^3-4ab-3a) = a(4a^2-4b-3) = 0. If a=0a=0, then the first equation implies that 8b2+6b=2b(4b+3)=08b^2+6b = 2b(4b+3) = 0. Since a24b0a^2-4b \neq 0 we have b0b \neq 0, so b=34b = -\frac{3}{4}. If a0a \neq 0, then 4a24b3=04a^2 - 4b - 3 = 0, or b=a234b = a^2 - \frac{3}{4}. Using this in the first equation we get 2a2=0-2a^2 = 0, or a=0a = 0, which is a contradiction. So, a=0a = 0 and b=34b = -\frac{3}{4}.

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.