Maths Olympiad Prep

Library / /35 of 84

, 2014

Algebra Difficulty 5.2 AIME, harder Prove it United States

Problem:
Find all real numbers kk such that r4+kr3+r2+4kr+16=0r^{4}+k r^{3}+r^{2}+4 k r+16=0 is true for exactly one real number rr.

Solution

Solution:
Answer: ±94\pm \frac{9}{4} (OR 94,94\frac{9}{4},-\frac{9}{4} OR 94,94)\left.-\frac{9}{4}, \frac{9}{4}\right) OR ±214\pm 2 \frac{1}{4} OR ±2.25\pm 2.25

Any real quartic has an even number of real roots with multiplicity, so there exists real rr such that x4+kx3+x2+4kx+16x^{4}+k x^{3}+x^{2}+4 k x+16 either takes the form (x+r)4(x+r)^{4} (clearly impossible) or (x+r)2(x2+ax+b)(x+r)^{2}\left(x^{2}+a x+b\right) for some real a,ba, b with a2<4ba^{2}<4 b. Clearly r0r \neq 0, so b=16r2b=\frac{16}{r^{2}} and 4k=4(k)4 k=4(k) yields 32r+ar2=4(2r+a)a(r24)=8r24r\frac{32}{r}+a r^{2}=4(2 r+a) \Longrightarrow a\left(r^{2}-4\right)=8 \frac{r^{2}-4}{r}. Yet a8ra \neq \frac{8}{r} (or else a2=4ba^{2}=4 b ), so r2=4r^{2}=4, and 1=r2+2ra+16r2a=72r1=r^{2}+2 r a+\frac{16}{r^{2}} \Longrightarrow a=\frac{-7}{2 r}. Thus k=2r72r=±94k=2 r-\frac{7}{2 r}= \pm \frac{9}{4} (since r=±2r= \pm 2 ).

It is easy to check that k=94k=\frac{9}{4} works, since x4+(9/4)x3+x2+4(9/4)x+16=14(x+2)2(4x27x+16)x^{4}+(9 / 4) x^{3}+x^{2}+4(9 / 4) x+16=\frac{1}{4}(x+2)^{2}\left(4 x^{2}-7 x+16\right). The polynomial given by k=94k=-\frac{9}{4} is just 14(x+2)2(4x2+7x+16)\frac{1}{4}(-x+2)^{2}\left(4 x^{2}+7 x+16\right).

Alternate solution: x4+kx3+x2+4kx+16=(x2+k2x+4)2+(18k24)x2x^{4}+k x^{3}+x^{2}+4 k x+16=\left(x^{2}+\frac{k}{2} x+4\right)^{2}+\left(1-8-\frac{k^{2}}{4}\right) x^{2}, so for some ϵ{1,1}\epsilon \in\{-1,1\}, 2x2+(kϵk2+28)x+82 x^{2}+\left(k-\epsilon \sqrt{k^{2}+28}\right) x+8 has a single real root and thus takes the form 2(x+r)22(x+r)^{2} (using the same notation as above). But then (kϵk2+28)2=4(2)(8)=82\left(k-\epsilon \sqrt{k^{2}+28}\right)^{2}=4(2)(8)=8^{2}, so we conclude that (k±8)2=(ϵk2+28)2(k \pm 8)^{2}=\left(\epsilon \sqrt{k^{2}+28}\right)^{2} and k=±(474)=±94k= \pm\left(4-\frac{7}{4}\right)= \pm \frac{9}{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.