Quadrics and Quadratics

I recently wrote up a piece about factoring a given quartic polynomial as the composition of quadratics on my blogger page. I’ve been playing with it some more, and can now say things slightly better. On that page, though, I noted that we can assume that the quartic we start with is monic, with constant term 0, so I continue to assume that. I won’t go through much of the ‘proof’ of what follows, at it is covered on that blogger page.

Prop: A quartic polynomial f=x^4+bx^3+cx^2+d can be factored as the composition p_1\circ p_2 of two quadratics iff 8d=4bc-b^3. Moreover, when this relation on the coefficients is satisfied, there are a two-parameter family of solutions for a factorization.

Suppose the relation is satisfied, and define

\begin{array}{rcl} p_1 &=& \frac{1}{a_2^2}x^2 +\frac{1}{a_2^2}(a_2(c-b^2/4)-2c_2)x +(\frac{c_2^2}{a_2^2}-\frac{c_2}{a_2}(c-b^2/4)) \\ p_2 &=& a_2x^2+\frac{ba_2}{2}x+c_2\end{array}

The notation comes from assuming p_i=a_ix^2+b_ix+c_i, i=1,2. In the above, we have let a_2 and c_2 be free parameters. One could, alternatively, use a_1 and c_2 as the free parameters, obtaining polynomials

\begin{array}{rcl}p_1 &=& a_1x^2+(\sqrt{a_1}(c-b^2/4)-2a_1c_2)x+(a_1c_2^2-c_2\sqrt{a_1}(c-b^2/4)) \\ p_2 &=& \frac{1}{\sqrt{a_1}}x^2+\frac{b}{2\sqrt{a_1}}x+c_2 \end{array}

Clearly this requires a_1>0. It’s easy enough to check that the two pairs of polynomials compose to give the original quartic.

It seems like there should be something to say about the fact that the free parameter a_1 is more restricted (positive) than if we had chosed a_2 as the free parameter (it just has to be non-zero). Sadly, I don’t know what should be said.

I’ll probably continue playing with this a little. I like thinking about quadratics coming from vertex form, y=a(x-h)^2+k, as opposed to the standard form, used above. It’s easier to see where the quadratic is, for me, in vertex form. So I’d like to get a better visual understanding of the factorization, if I can. I smell simplifying assumption and Maple animations.


Tags: , ,

One Response to “Quadrics and Quadratics”

  1. sumidiot Says:

    Guess I deleted the pingback that I should have left… This post has a continuation (‘tomorrow’) at https://sumidiot.wordpress.com/2008/11/17/qq-vertex-form/

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: