Proving the Rationality or Irrationality of Numbers with Non-Natural Bases

[eljose]

How can you prove in general that given a real number "a" this is rational or irrational?..

 

[NateTG]

It's not always easy.

Obviously numbers like 1 or \frac{1}{2} are rational

Similiarly, it's pretty easy to see that
\sum_{n=1}{\intfty}\frac{1}{10^{n^2}}
is irrational.

For algebraic numbers, like \sqrt{2} the usual method is to assume that \sqrt{2} is rational, so it can be expressed as a fraction \frac{a}{b} and then show that 2b^2=a^2 cannot be solved in the integers.

 

[BSMSMSTMSPHD]

Well, if I'm given a number - that is, any real number in its standard form (not a series or infinitely continued fraction, etc.) then it should be pretty easy.

If the number is a fraction, or can be rewritten as a fraction (of integers) then it is rational. If its decimal expansion terminates or repeats a pattern of digits, then it is rational. There is no need to prove this, it simply meets the definition of a rational number.

If, however, the decimal expansion does not terminate nor repeat (such as for pi or e) the number is irrational. If the number is a root, then it is irrational anytime it is not a perfect root. So, the square root of 2, 3, 5, 6, 7, 8, 10, etc. are all irrational as are the cube roots of 2, 3, 4, 5, 6, 7, 9, 10 etc.

 

[NateTG]

Well, if I'm given a number - that is, any real number in its standard form (not a series or infinitely continued fraction, etc.) then it should be pretty easy.

What is the "standard form" for a real number?

Consider, for example e^e. It's relatively straightforward to calcuate the first few thousand digits, but determining whether it's irrational isn't exactly easy.

 

[BSMSMSTMSPHD]

What is the "standard form" for a real number?

I was thinking of numbers written in decimal or fraction form, using only the 10 digits and no symbols (such as pi or e). I realize that it was an elementary way of looking at things, and perhaps I didn't add much to the discussion. You're certainly right about e^e.

 

[Curious3141]

I was thinking of numbers written in decimal or fraction form, using only the 10 digits and no symbols (such as pi or e). I realize that it was an elementary way of looking at things, and perhaps I didn't add much to the discussion. You're certainly right about e^e.

Any number that has either a terminating or a nonterminating periodic representation (in any base, including 10 of course) is rational. Irrational numbers are aperiodic in any base.

 

[Dragonfall]

If you can only "check" a finite number of decimals of a given number, then you can't decide whether it is rational or not.

 

[Office_Shredder]

Any number that has either a terminating or a nonterminating periodic representation (in any base, including 10 of course) is rational. Irrational numbers are aperiodic in any base.

What about base pi?

 

[Curious3141]

What about base pi?

Generally, only natural numbers greater than one are used as bases.

 

[bomba923]

Generally, only natural numbers greater than one are used as bases.

True; though, I have made a simple system for rational non-natural bases (greater than one of course!) that comply with the rules (coefficient selection included) for natural bases.
Though, I do not think this is the standard way of dealing with non-natural rational bases:

Given a positive rational base expressed as p/q (where p & q are naturals and p>q), I can express any rational number r/q (where r is natural) using powers of p/q with all coefficients being elements of {0,1/q, 2/q, ... , (p-1)/q}.

Canceling the q's in the denominator of 'r' and each coefficient, this can be reduced to stating:
\forall p,q,r \in \mathbb{N}\;{\text{where }}p > q,\;\exists \left( {x_0 , x_1 , \ldots ,x_n } \right) \in \left\{ {0,1, \ldots ,p - 1} \right\}^{n + 1} : r = \sum\limits_{k = 0}^n {x_k \left( {\frac{p}{q}} \right)^k }
~For example,

1) (Base 7/4) p=7, q=4, r=39. Thus, (x₀, x₁, ... , x_n) is (4,6,1,4), as
4 + 6\left( {\frac{7}{4}} \right) + 1\left( {\frac{7}{4}} \right)^2 + 4\left( {\frac{7}{4}} \right)^3 = 39

2) (Base 13/10) p=13, q=10, r=29. Thus, (x₀, x₁, ... , x_n) is (3,7,10), as
3 + 7\left( {\frac{{13}}{{10}}} \right) + 10\left( {\frac{{13}}<br /> {{10}}} \right)^2 = 29

3) (Base 17/11) p=17, q=11, r=94. Thus, the (x₀, x₁, ... , x_n) is (9,4,16,11), as
9 + 4\left( {\frac{{17}}{{11}}} \right) + 16\left( {\frac{{17}}{{11}}} \right)^2 + 11\left( {\frac{{17}}{{11}}} \right)^3 = 94

~For the special (also trivial) case q=1, (x₀, x₁, ... , x_n) is just the base 'p' representation of 'r' //