Revisions to Roots of this sextic

pulled text out of the scroll box so that it becomes visible

Source Link

edited May 25, 2023 at 9:38

2.5k
1
17
30

x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$. What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting$. values)?

What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting values)?

x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$. What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting values)?

x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$.

What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting values)?

formatting

Source Link

edited May 25, 2023 at 3:57

David Roberts ♦

35.5k
11
124
349

I'm looking for the roots of the sextic equation in $x$ $x^6 - (3 m) x^5 + 5 m^2 x^4 - (5 m^3) x^3 + 3 m^4 x^2 - m^5 x + L = 0$. I $$ x^6 - (3 m) x^5 + 5 m^2 x^4 - (5 m^3) x^3 + 3 m^4 x^2 - m^5 x + L = 0. $$ I know that at most two of the roots of this are real when $m$ and $L$ are positive integers. Also mathematica finds a closed form for all the roots (surprisingly). They are $x = 1/2 (m - sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3))$, $x = 1/2 (sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3) + m)$, $x = 1/2 (m - sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$, $x = 1/2 (m + sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$, $x = 1/2 (m - sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$, and $x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$. What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$

x = 1/2 (m - sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3))

x = 1/2 (sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3) + m)

x = 1/2 (m - sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))

x = 1/2 (m + sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))

x = 1/2 (m - sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))

and $L$ are positive integers? Also, how does one determine this (without substituting values)?

x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$. What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting values)?

I'm looking for the roots of the sextic equation in $x$ $x^6 - (3 m) x^5 + 5 m^2 x^4 - (5 m^3) x^3 + 3 m^4 x^2 - m^5 x + L = 0$. I know that at most two of the roots of this are real when $m$ and $L$ are positive integers. Also mathematica finds a closed form for all the roots (surprisingly). They are $x = 1/2 (m - sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3))$, $x = 1/2 (sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3) + m)$, $x = 1/2 (m - sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$, $x = 1/2 (m + sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$, $x = 1/2 (m - sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$, and $x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$. What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting values)?

I'm looking for the roots of the sextic equation in $x$ $$ x^6 - (3 m) x^5 + 5 m^2 x^4 - (5 m^3) x^3 + 3 m^4 x^2 - m^5 x + L = 0. $$ I know that at most two of the roots of this are real when $m$ and $L$ are positive integers. Also mathematica finds a closed form for all the roots (surprisingly). They are

x = 1/2 (m - sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3))

x = 1/2 (sqrt(2 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) + (4 2^(1/3) m^4)/(3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3) - 5 m^2)/sqrt(3) + m)

x = 1/2 (m - sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))

x = 1/2 (m + sqrt(m^2 - 4 (((1 - i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 + i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))

x = 1/2 (m - sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))

and

x = 1/2 (m + sqrt(m^2 - 4 (((1 + i sqrt(3)) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3))/(6 2^(1/3)) + ((1 - i sqrt(3)) m^4)/(3 2^(2/3) (3 sqrt(3) sqrt(27 L^2 - 4 L m^6) - 27 L + 2 m^6)^(1/3)) + (2 m^2)/3)))$. What I need to know is, which two of these roots are the ones that are candidates to be real, when $m$ and $L$ are positive integers? Also, how does one determine this (without substituting values)?