# Are all transcendental numbers a zero of a power series?

So I came across the concept of extending the notion of irrationality to higher degree polynomials. The base case of this is standard irrationality. That is, a number is irrational if it cannot be expressed as the ratio of two integers. This is equivalent to it not being able to be expressed as a root to a linear equation with integer coefficients:

$$r=\frac{p}{q}\rightarrow qr-p=0$$

where $$p,q\in\mathbb{Z}$$.

$$\sqrt 2$$ is an example of a number that cannot satisfy the above. Thus it is irrational. However , we can extend this condition to quadraic polynomials:

$$ax^2+bx+c=0$$

$$\sqrt 2$$ does satsify the above given $$a=1$$, $$b=0$$ and $$c=-2$$. Thus in this scheme $$\sqrt 2$$ would be a $$1$$st degree irrational.

(I think degree of irrationality is already a term in math. Is it equivalent to what I am talking about? If it's not we can use something like "level $$1$$ irrational".)

And in general an $$n$$th degree irrational number is a real number that can be expressed as a zero of an $$n$$-degree polynomial and not an $$n+1$$ degree polynomial. (This is so every number has a unique degree of irrationality.)

This brings us to transcendental numbers, which are not the solution to any finite degree polynomial with integer coefficients. This is their definition. This leads me to my question:

Is a transcendental number a real number whose degree of irrationality is infinite (or maybe countably infinite if that distinction is relevant or even valid)? So any transcendental (and any real as a result) is the root of a power series with integer coefficients (centered at 0)?

Or is a transcendental number a number that simply isn't the solution to any finite degree polynomial? This would seem to be a weaker statement then the one above.

• (You probably want only power series centered at 0 with integer coefficients.) Commented Sep 8, 2018 at 17:03
• You're right, changed it. Commented Sep 8, 2018 at 23:09
• In your quadratic, with c=-4, the roots are 2 and -2. If you want √2 for a root, change it to c=2. Commented Sep 12, 2018 at 5:55
• Whoops, you're right, changed it. Although I think you mean $c=-2$. Commented Sep 12, 2018 at 21:40
• Every real number is the sum of a power series. Decimal notation expresses any number $x$ as $\Sigma_{n=\ceiling(\log_{10}x)}^\infty d_n$, where $d_n$ are the digits of $x$. Commented Feb 29 at 23:23

What you call the "degree of irrationality" of a number is the degree of its minimal polynomial over $\mathbb Q$, sometimes called the degree of the number over $\mathbb Q$. This concept is defined and explored in field theory.
• Only the real numbers in $(-1,1)$. Transcendental numbers outside of this range cannot be roots of power series because their powers get larger and larger, so the addends in any power series of it cannot converge to 0 and thus the sum does not converge. Commented Sep 8, 2018 at 23:38
• @alphacapture can't you get a series centered around a different number $c$ (i.e. $\sum_{n=1}^\infty k_n(x-c)^n$? Or does this not count as "integer coefficients" anymore? Commented Sep 9, 2018 at 1:56