I'm trying to prove the following, which is left unproven in something I'm reading on ruler-and-compass constructions:(adsbygoogle = window.adsbygoogle || []).push({});

If [itex]ax^3+bx^2+cx+d[/itex] is a polynomial over a subfield F of ℝ, and [itex]p+q\sqrt{r}[/itex] is a root (with [itex]\sqrt{r}\notin F[/itex]) then [itex]p-q\sqrt{r}[/itex] is also a root.

The theorem immediately before this made use of expanding [itex]a(x-r_1)(x-r_2)(x-r_3)[/itex] and equating coefficients to get a system of three equations in the roots and coefficients. The book suggested that this proof was similar, but I was't able to derive anything useful from that.

I also tried defining [itex]g(t)=f(p-t\sqrt{r})-f(p+t\sqrt{r})[/itex], and noting that [itex]g(q)=f(p-q\sqrt{r})[/itex] and [itex]-g(-t)=g(t)[/itex].

Then we see that

[itex]f(p-q\sqrt{r})=g(q)=-g(-q)=-f(p+q\sqrt{r})=0[/itex].

However, I know this must be flawed, because I don't believe I ever used the assumption that [itex]\sqrt{r}\notin F[/itex]. Any thoughts?

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Roots of Cubic Polynomials over R

Loading...

Similar Threads - Roots Cubic Polynomials | Date |
---|---|

A Question regarding root of Bring quintic not expressible with radicals | Dec 2, 2016 |

I Q about constricting simple lie algebras from simple roots | Jun 29, 2016 |

Eigen values and cubic roots question | Dec 2, 2009 |

Constructible root from cubic polynomial | Apr 29, 2009 |

**Physics Forums - The Fusion of Science and Community**