9
$\begingroup$

I need some help with the following problem. Many thanks in advance.

Let $f(x) = x^2+px+q$ and $g(x) = x^2+rx+s$. Find an expression for $f(g(x))$ and hence find a necessary and sufficient condition on $a$, $b$, $c$ for it to be possible to write the quartic expression $x^4+ax^3+bx^2+cx+d$ in the form $f(g(x))$, for some choice of values of $p$, $q$, $r$, and $s$.

Okay the first thing I did was to find $f(g(x))$:

$\begin{aligned}f(g(x)) & = (x^2+rx+s)^2+p(x^2+rx+s)+q \\& = x^2(x^2+rx+s)^2+rx(x^2+rx+s)+s(x^2+rx+s)+px^2+prx+ps+q \\& = x^4+rx^3+sx^2+rx^3+r^2+x^2+rsx+sx^2+srx+s^2+px^2+prx+ps+q \\& = x^4+(2r)x^3+(p+2s+r^2)x^2+(2rs+pr)x+s^2+q+ps \end{aligned}$

So we wish to have:

$x^4+(2r)x^3+({p}+2s+r^2)x^2+(2rs+pr)x+s^2+q+ps \equiv x^4+ax^3+bx^2+cx+d$

Comparing the coefficients, $r = \frac{1}{2}a$, $2s = b-\frac{1}{4}a^{2}-{p}$, and $c = r(2s+p)$, thus $c = \frac{ab}{2}-\frac{1}{{8}}a^{{3}} $.

I understand that this condition is 'necessary' -- my problem is that I'm not quite sure how to make it sufficient. I'm not quite sure how I'm supposed to choose some suitable values of p, q, r and s.

Show further that this condition holds if and only if it's possible to write the quartic expression $x^4+ax^3+bx^2+cx+d$ in the form $(x^2+vx+w)^2-k$, for some choice of values v, w, q, r, s.

$\begin{aligned} (x^2+vx+w)^2-k & = x^2(x^2+vx+w)+vx(x^2+vx+w)+w(x^2+vx+w)-k \\& = x^4+vx^3+wx^2+vx^3+vx^2+wvx+wx^2+vwx+w^2-k \\& = x^4+(2v)x^3+(2w+v^2)x^2+(2vw)x+w^2-k. \end{aligned}$

I see that the 'suitable choice' would have been q = 0, but how was I supposed to see that?

  • 0
    Sorry about the typos/mistakes in the main body of this problem. I've an exam in few days so I sort of panicked when I couldn't do this one.2011-06-18

1 Answers 1

1

[A community wiki answer to remove this from the unanswered pool.]

To see that a condition is necessary and sufficient, you need to prove both directions. Since you want to find a condition on $\{a,b,c\}$ in order to do something involving choosing $\{p,q,r,s\}$, you should show that whenever the condition holds, you can do that something (i.e. there are always $\{p,q,r,s\}$ when the condition holds) and that whenever you can do that something, the condition must hold (i.e. given $\{p,q,r,s\}$ work you know the condition holds).

For the second part, you simply need to check that the conditions here are the same as the conditions above. (In fact, the same as either the condition on $\{a,b,c\}$ or the assumption that it can be expanded in $\{p,q,r,s\}$ - because you know these are equivalent.)