8
$\begingroup$

Let $f(x)$ be a polynomial of degree $n$ with rational coefficients whose zeroes are nonnegative real numbers: $x_1, \dots, x_n\geq 0$.

General question. Does there exist a simple expression for the number $$r=\sqrt{x_1} + \sqrt{x_2} + \dots + \sqrt{x_n}$$ in terms of coefficients of $f(x)$ ?

Remark. Let $s_k = x_1^k + x_2^k + \dots + x_n^k$ be the sum of $k$-th powers of zeros of $f(x)$. It is clear that for nonnegative integer $k$, $s_k$ can be expressed as a polynomial of the coefficients of $f(x)$ (cf. Newton-Girard formulae). The number $r$ (and even its square $r^2$) represent a zero of a polynomial whose coefficients are polynomials in $s_k$:

$n=1:\qquad r^2 - s_1 = 0$

$n=2:\qquad r^4 - 2 s_1 r^2 + (2 s_2 - s_1^2) = 0$

$n=3:\qquad 3 r^8 - 12 s_1 r^6 + (6 s_1^2 + 12 s_2) r^4 + (- 20 s_1^3 + 72 s_1 s_2 - 64 s_3) r^2 + (3 s_1^4 - 12 s_1^2 s_2 + 12 s_2^2) = 0$

$n=4:\qquad 9 r^{16} - 72 s_1 r^{14} + (180 s_1^2 + 72 s_2) r^{12} + \dots = 0$

Unfortunately the degree of these polynomials grows as $2^n$, and in general it seems it cannot be made much smaller.

Specific question. Now, let us consider a special case of $f(x)$ satisfying the identity $f(y^2)=g(y)\cdot g(-y)$ where $g(y)$ is a polynomial with rational coefficients. Then each $\sqrt{x_i}$ is a zero of either $g(y)$ or $g(-y)$. Can we find a simple expression for $r$ in this case?

$\endgroup$
2
  • $\begingroup$ Hi Max, any progress on this problem of yours? (I have a related one) $\endgroup$
    – Ziofil
    Aug 24, 2014 at 17:20
  • $\begingroup$ @Filippo: unfortunately, no progress. $\endgroup$ Aug 26, 2014 at 1:50

2 Answers 2

4
$\begingroup$

I don't think that anything better than what you figured out already can be done. From the algebraic point of view, you cannot distinguish the $2^n$ siblings of $r$, corresponding to the different choices of the signs of the square roots. So you get a degree $2^n$ polynomial where $r$ is one of the roots. I believe it is not possible to take positivity into account.

$\endgroup$
2
  • $\begingroup$ In general case, I agree. But I have a hope that something better can be done in the special case when $f(y^2) = g(y)\cdot g(-y)$. $\endgroup$ Feb 27, 2013 at 15:49
  • 1
    $\begingroup$ I'm skeptical that anything can be done under this added assumption - I doubt that the hypothesis that $g$ has rational coefficients can be combined with the positivity requirement. Of course, this is not a proof, just a feeling. $\endgroup$ Feb 27, 2013 at 16:14
1
$\begingroup$

Let us consider this in the rational function field of $n$ variables $x_1,\cdots, x_n$, Let $f(x)=(x-x_1)\cdots (x-x_n)=x^n+c_1x^{n-1}+\cdots+c_{n-1}x+c_n$ Then the coefficients are elementary symmetric functions in $x_1,\cdots, x_n$. We see that $K=\mathbb{Q}(x_1,\cdots,x_n)$ is a Galois extension of $k=\mathbb{Q}(c_1,\cdots,c_n)$ with Galois group $S_n$.

Now we consider $r=\sqrt{x_1}+\cdots +\sqrt{x_n}$. Then $r$ has degree $2^n$ over $K$, so there is a polynomial $p$ of degree $2^n$ which is satisfied by $r$. Let $p(x)=x^{2^n}+f_1 x^{2^n-1} +\cdots + f_{2^n}$, where $f_i\in K$. Further, we have $f_i\in k$, indeed each $f_i\in\mathbb{Z}[c_1,\cdots,c_n]$.

Thus, it follows that $F=k(r)$ also has degree $2^n$ over $k$. Note that $F$ is not a normal extension of $k$. However, $KF=\mathbb{Q}(x_1,\cdots,x_n,r)$ is a normal extension of $k$. Indeed, it is the normal closure of $k(r)$ over $k$. So, the Galois group $Gal(KF/k)$ has $S_n$ as a quotient. $S_n$ is not solvable if $n\geq 5$. Therefore, if $n\geq 5$, then we cannot have "a root formula" for $r$ in terms of $c_1,\cdots c_n$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.