Hardy and Wright mention ( though don't give a proof ) that any finite combination of real quadratic surds is an algebraic number. For example $\sqrt{11+2\sqrt{7}}$. Are all finite combinations of cube root, fourth root ... $n^{th}$ root also algebraic ? such as $\sqrt[3]{2+3\sqrt[7]{5+3\sqrt{6}}}+\sqrt[9]{2}$.
|
|
The usual ways to prove this is to use some basic linear algebra. Assume $\alpha$ and $\beta$ are algebraic numbers. The field $\mathbb Q[\alpha][\beta]$ is a finite-dimensional vector space over $\mathbb Q$. Let $d$ be the dimension of the vector space. Then $1,\alpha+\beta,(\alpha+\beta)^2,\cdots,(\alpha+\beta)^d$ are $d+1$ elements of that vector space, and thus must be linearly dependent. But that means that $\alpha+\beta$ is the root of a rational polynomial of degree at most $d$. The same for $\alpha\beta$. More specifically, if $\alpha$ is the root of a rational polynomial of degree $d_1$ and $\beta$ is the root of a rational polynomial of degree $d_2$ then $\alpha+\beta$ and $\alpha\beta$ are both roots of a polynomial of degree at most $d_1d_2$. Finally, if $\alpha$ is the root of the rational polynomial $p(x)$ then $\sqrt[n]\alpha$ is a root of $p(x^n)$. So this means that $5+3\sqrt6$ is the root of a polynomial of degree $2$, and $3\sqrt[7]{5+3\sqrt6}$ is a root of a polynomial of degree $14$ and $\sqrt[3]{2+3\sqrt[7]{5+3\sqrt6}}$ is the root of a polynomial of degree $42$ and finally $\sqrt[3]{2+3\sqrt[7]{5+3\sqrt{6}}}+\sqrt[9]{2}$ is a root of a polynomial of degree $42\cdot 9=378$. There might be a polynomial of smaller degree, but we get this upper bound. |
|||||||||||||||||
|
|
Hint: Let $x = \sqrt{11+2\sqrt{7}}$, square this expression $x^2=11+2\sqrt{7} \implies x^2-11=2\sqrt{7}$. Now square again to get a polynomial with rational coefficients. You can use a similar approach for the second expression. |
|||||||||
|
|
The complex algebraic numbers are what is called an algebraically closed field: this implies that if $a_0,a_1,a_2,\dots, a_n$ are real algebraic numbers then the real roots of the polynomial $a_nx^n+a_{n-1}x^{n-1}+\dots+a_0$ are all algebraic numbers. This is way stronger than what you need. |
|||
|
|
|
Yes, you can unpack them into a polynomial that they satisfy. For your example, we can write $$x=\sqrt[3]{2+3\sqrt[7]{5+3\sqrt{6}}}\\x^3=2+3\sqrt[7]{5+3\sqrt{6}}\\\frac 13(x^3-2)=\sqrt[7]{5+3\sqrt{6}}\\\left(\frac 13(x^3-2)\right)^7=5+3\sqrt 6\\\frac 19\left(\left(\frac 13(x^3-2)\right)^7-5\right)^2-6=0$$ Note: this uses a previous example in the question. The approach is the same. Note that the algebraics are closed under the field operations, so the sum of algebraics is again algebraic. |
|||||||||
|
|
Yes, this holds in general. Recall that an extension $F/\Bbb Q$ is algebraic iff for each $\alpha\in F$ we have
that is, if every element in it generates a finite extension. Similarly any finite extension is algebraic since if $\beta\in F$ then $\Bbb Q(\beta)\subseteq F\implies [\Bbb Q(\beta):\Bbb Q]\le [F:\Bbb Q]$. For a nested radical expression, this is easy then, take the most nested radical, adjoin the needed roots and proceed by induction. In your first example $\alpha=\sqrt{11+2\sqrt 7}$, then we see that the field $\Bbb Q(\sqrt 7)$ has a polynomial for this which is ${1\over 2}(x^2-11)-\sqrt 7 = 0$ so the splitting field of this polynomial, which has degree at most $2$ over $\Bbb Q(\sqrt 7)$, and therefore degree at most $4$ over $\Bbb Q$, is algebraic, hence $\alpha$ is algebraic. For your other example and more generally any example, you do similarly, since there are only finitely many nested radicals each time, you get splitting fields of finite degree, implying all such expressions are algebraic. Just to work out the more complicated example, $\alpha = \sqrt[3]{2+3\sqrt[7]{5+3\sqrt{6}}}+\sqrt[9]{2}$ first adjoin $\sqrt 6$, and let $F_1=\Bbb Q(\sqrt 6)$. Then look at the splitting field, $F_2$, of $(x/3)^7-5-3\sqrt 6$ over $\Bbb Q(\sqrt 6)$. Then the splitting field, $F_3$ of $x^3-2-3\sqrt[7]{5+3\sqrt 6}$ over $F_2$, finally let $F_4=F_3(\sqrt[9]{2})$. Because each step had finite degree, $[F_4:\Bbb Q]<\infty$ showing $\alpha$ is algebraic. One more since we're on a roll, look at $\sqrt{\sqrt{23}+\sqrt 5}$ this gives you a slight problem at first it seems since $\sqrt{23}$ and $\sqrt{5}$ are both the most nested radical, but as usual $[F(\alpha,\beta): E]\le [F(\alpha):E][F(\beta):E]$ and we can reduce to the simpler case by the classical result that sums and products of algebraic numbers are algebraic (proved in the same way with finite degrees). |
|||
|
|
|
I think you're asking if a sum of two algebraic numbers is algebraic, where "algebraic" is defined as "the root of a polynomial with rational coefficients". While there are linear algebra reasons for this to be true, there is actually a nice direct calculation in terms of resultants. If $\alpha_i$ are the roots of a polynomial $f$ and $\beta_j$ are the roots of a polynomial $g$, both with rational coefficients, then $$ \prod_{i} \prod_j (x - (\alpha_i + \beta_j)) $$ when expanded, is a polynomial with rational coefficients. This polynomial can be computed by a resultant: $$ \operatorname{Res}_t(f(t), g(x-t)) $$ and other formulations of the resultant make it obvious the result is a polynomial with rational coefficients. Alternatively, Galois theory nearly immediately proves the product polynomial defined above has rational coefficients, because the polynomial is preserved by any permutation of the $\alpha$'s and of the $\beta$'s. |
|||
|
|
|
All the numbers you list are algebraic. Lemma. If $\alpha$ and $\beta$ are algebraic, then $\alpha+\beta$ and $\alpha\beta$ are algebraic. Proof. Since $\beta$ is algebraic (over $\mathbb{Q}$), it is also algebraic over $\mathbb{Q}(\alpha)$. Hence $\mathbb{Q}(\alpha,\beta)$ is a finite extension of $\mathbb{Q}(\alpha)$, which in turn is finite over $\mathbb{Q}$. Therefore $\mathbb{Q}(\alpha,\beta)$ is finite by the dimension formula: $$ [\mathbb{Q}(\alpha,\beta):\mathbb{Q}]= [\mathbb{Q}(\alpha,\beta):\mathbb{Q}(\alpha)] [\mathbb{Q}(\alpha):\mathbb{Q}] $$ Any finite extension of $\mathbb{Q}$, say $n$-dimensional, consists of algebraic elements, because if $\gamma$ is an element, $\{1,\gamma,\gamma^2,\dots,\gamma^n\}$ is linearly dependent, so we find a polynomial with coefficients in $\mathbb{Q}$ that has $\gamma$ as root. In particular $\alpha+\beta$ and $\alpha\beta$ belong to $\mathbb{Q}(\alpha,\beta)$, so they're algebraic. QED Note that this doesn't say that an algebraic extension (that is, all of whose elements are algebraic) is finite. Just that a finite extension is algebraic. Lemma. If $\alpha$ is algebraic, then $\sqrt[n]{\alpha}$ is algebraic. Proof. $\sqrt[n]{\alpha}$ is the root of $X^n-\alpha$, so it is algebraic over $\mathbb{Q}(\alpha)$, hence algebraic over $\mathbb{Q}$ by the same argument on dimensions as before. QED A nested radical can be defined inductively as
Proposition. Any rational linear combination of nested radicals is algebraic. Proof. Dismantle the number using the two lemma above. QED However, there are algebraic numbers that cannot be expressed as sums of nested radicals. If this were true, then every equation with rational coefficients would be solvable by radicals; this is false as proved by Galois: radical extensions have solvable Galois group, but not all Galois groups of polynomials are solvable. |
|||
|
|
|
The question in the title itself:
has a rather amusing answer:
There are only countably many algebraic numbers, since each one is a root of some polynomial over $\mathbb{Q}$, and there are countably many such polynomials each of which has finitely many roots in $\mathbb{C}$. But there are uncountably many real numbers. |
|||||||||
|