How do you find the roots of #2x^4+13x^2+17x-12=0#?
1 Answer
#x = 1/4(a+-sqrt(-a^2-52-136/a))#
#x = 1/4(-a+-sqrt(-a^2-52+136/a))#
where
#a = sqrt(2/3(-26+root(3)(21232+3sqrt(50275887))+root(3)(21232-3sqrt(50275887))))#
Explanation:
To cut a long story a little shorter:
Use the rational roots theorem to find possible rational roots:
#+-1/2, +-1, +-3/2, +-2, +-3, +-4, +-6, +-12#
None of these are roots, so
Use Descartes' Rule of Signs to find that
This is a typical nasty quartic, except that it has two things going for it:
-
There is no term in
#x^3# , so we do not need to do a linear Tschirnhaus transformation to simplify it. -
The cubic resolvent is reducible. That is, it has one real zero and two complex zeros, so is expressible in terms of real square and cube roots.
Let's take the plunge and solve it algebraically:
#0 = 2f(x)#
#color(white)(0) = 4x^4+26x^2+34x-24#
#color(white)(0) = (2x^2-ax+b)(2x^2+ax+c)#
#color(white)(0) = 4x^4+(2(b+c)-a^2)x^2+a(b-c)x+bc#
Equating coefficients and rearranging a little:
#{ (b+c = a^2/2+13), (b-c = 34/a), (bc = -24) :}#
Hence:
#(a^2/2+13)^2 = (b+c)^2 = (b-c)^2+4bc = (34/a)^2+4(-24)#
That is:
#a^4/4+13a^2+169 = 1156/a^2-96#
Multiply through by
#(a^2)^3+52(a^2)^2+1060(a^2)-4624 = 0#
Solve this cubic (see https://socratic.org/s/aBjKeuBA) to find the real root:
#a^2 = 2/3(-26+root(3)(21232+3sqrt(50275887))+root(3)(21232-3sqrt(50275887))) ~~ 3.659#
Since this is also positive, its square roots are real. Without loss of generality we can use the positive one:
#a = sqrt(2/3(-26+root(3)(21232+3sqrt(50275887))+root(3)(21232-3sqrt(50275887))))#
From our previous simultaneous equations we can find:
#b = a^2/4+13/2+17/a#
#c = a^2/4+13/2-17/a#
Which leaves us two quadratic equations to solve:
#2x^2-ax+(a^2/4+13/2+17/a) = 0#
#2x^2+ax+(a^2/4+13/2-17/a) = 0#
Using the quadratic formula we find solutions:
#x = 1/4(a+-sqrt(-a^2-52-136/a))#
#x = 1/4(-a+-sqrt(-a^2-52+136/a))#
