Thursday, 7 January 2010

Rational Roots of a Quadratic Equation

Here is an interesting excursion to try; take a quadratic equation that you know has rational roots, and then permute the values of A, B, and C through all possible variations. What is the probability that they would ALL have rational roots?

For example, you might try 2x2+7x + 3, which has roots of -1/2 and -3. If you switch to 2x2+3x + 7 there are no real roots at all. In fact, four of the six permutations have imaginary roots, and only 3x2+7x +2 also has rational roots.

If instead, you had used x2+3x - 10 (roots at 2 and -5) you would find three other permutations had rational roots, 3x2+x -10, -10x2+3x + 1, and -10x2+1x + 3 . The other two permutations have real irrational roots.

What happened with the choices you made for A, B, and C (you DID do it didn't you???).
Several questions pop up...

Is it possible for All six of the permutations to have rational roots?

Both my examples have an even number of the permutations that have rational roots. Is it possible that the number of permutations with rational roots could be odd?

Is it possible that a choice of A, B, and C would have two permutations with rational roots, two with irrational roots, and two with imaginary roots? (sort of the ultimate root trifecta)


The answer to the first question is yes, in fact, I can prove (and you probably can too) that if we select A, B and C so that A+B+C = 0, then all six permutations will have rational roots. The roots will be rational if b^2-4*A*C is a square of a rational, so we can substitute -(A+B) for C and see that (B,2-4A(-A+B)=B2-4AB+4A2=(B-2A)2... An unresolved problem at the moment, which I will have to play with some, is whether this works both ways. Is it possible that all six permutations have rational roots when A+B+C is not Zero??? (please advise if you get this before I get back to it..)

I like the second question because it can be solved with a simple appeal to symmetry. Since B2-4AC is equal to B^2-4CA, exchanging A and C will always produce the same value for the discriminant (B2-4AC). So the number of permutations which have rational roots will always be even.

For the Third, I resorted to a computer search and the first I found was with the values of 1, -4, and -5. x2-4x-5 has rational roots, x2-5x-4 has irrational roots, and -4x2+x-5 has imaginary roots.

No comments: