Are there any irrational numbers that have a difference of a rational number?

Question

Are there any irrational numbers that have a difference of a rational number?

For example, if you take $\pi - e$, it looks like it will be irrational ($0.423310\ldots$) - however, are there any irrational numbers where this won't be the case?

Edit to keep up with the answers:

Cases where it won't be the case:

• $yX - y(X + n)$, where $X$ is irrational, or equivalent have been covered

• $e^{\pi i} = -1$ has been covered

• the golden ratio ($\phi$) has been covered

Are there any other cases?

$e^\pi - \pi$ comes close, but not quite - are there any cases such as this where the result is a (proper) rational number?

Answer 1

This is a surprisingly tricky question, if you discount the answers already given. The set of irrational numbers can be further split into

• algebraic numbers (zeros of polynomials with integer coefficients, such as $\sqrt{7}$, $\root3\of2$ that are zeros of $x^2-7$ and $x^3-2$ respectively), and
• transcendental numbers - the rest of them. Famous known transcendentals include $e,\pi$, $\log n$ for an integer $n>1$. In general it is very difficult to prove that a number given by some formula is transcendental. The odds are in favor of a number being transcendental unless it is "obviously" algebraic (such as $\sin(\pi/4)=\sqrt2/2$ that happens to be algebraic). That is, unless the formula only involves rationals and root extractions.

What can be said in general is the following

• The difference between two algebraic numbers is irrational, unless it is of the type described in other answers. The methods needed to identify, when this may be the case involve the theory of field extensions. Algebraic number theory in particular. See questions carrying that tag.
• The difference between an algebraic and a transcendental is ALWAYS transcendental, hence also irrational. So no cool examples like $\pi^{7/5}-\sqrt{131}$ can possibly work. Such a difference is automatically irrational.
• The difference between two transcendentals? Who knows? I'm not aware of any non-trivial examples.

Answer 2

Let $x = \sqrt{2}$ and $y = \sqrt{2} - 1$. Clearly, $x,y \in \mathbb{I}$. Now,

$$x - y = \sqrt{2}-\sqrt{2} + 1 = 1 \in \mathbb{Q}.$$

Answer 3

One of many: $\sqrt{2}+(5-\sqrt{2})=5$.

Answer 4

If $q$ is a rational number, and a is an irrational number, then $q+a$ is irrational, $(q+a)-a=q$.

Answer 5

$\hspace{20mm} \sqrt{2}-\sqrt{2}=0$

Answer 6

I do not understand what you mean by 'this won't be the case' but if you ask if there are many such pairs of irrational numbers $a,b$ that their difference is rational, then yes—for each irrational $a$ there is a countably infinite set of irrational numbers $B\subset (\Bbb R\setminus\Bbb Q)$ such that each $b\in B$ satisfies $(a-b)\in \Bbb Q$.

Answer 7

For Transcendental numbers I don't know if there is one that will work. But I can tell you why it won't for regular irrational numbers like square root 2 or cube root 3.

There isn't a way that you can add pure irrational numbers and end up with another pure irrational number at the end. for example: (x)^1/a + (y)^1/b won't give you (z)^1/c where those are all integers and result in an irrational number.

unless it happens to be the same irrational number in which case it ends up being 2 times itself.

The only thing that I can think of that would be close to your intention would be the golden ratio (PHI): (1-(5)^.5)/2

This is because of a very interesting property! :) 1/PHI = PHI-1

On further consideration the transcendental one ultimately has a problem, once you can figure out that you can get 1 transcendental number from another by simple arithmetic then you realize that one of the numbers will have to be simpler than the other so you would write the more complex one in terms of the simpler one.

Consider the area of a 4d hypersphere, which is a 4 dimensional ball. It has an area of ((pi^2)r^4)/2 where r is the radius. Now also say that you sum up all the numbers from 1/1 + 1/2^2 + 1/3^2 +...1/n^2 and you aren't 100% sure that you know what that is equal to, but you have a really good decimal value and it seems like a new and interesting irrational/transcendental number

Now you start playing around with the value of the radius in your hypersphere and all of a sudden when you put in r as (1/3)^.25 you realize that the numbers come out the same! and that adding up all the squares of the reciprocals of every number to infinity you end up with pi^2/6. So what happened is now you rewrote your transcendental value in terms of another transcendental value

What I'm trying to say is that if someone had a really useful and interesting transcendental number that they called ku because they think it is cool, but then someone figures out that ku is just pi+777 then people would switch to writing pi+777 instead of writing ku.

Answer 8

$e^{\pi i}=-1$

Not exactly what you asked for, but manipulation of irrationals and imaginaries CAN give a rational number. (Okay, you said irrational, not imaginary. But ...)

$\sqrt8-2\sqrt2=0$

Okay, maybe ending up with a difference of zero is a boring special case.

Others have noted the obvious category of cases, $(\pi+1) - \pi = 1$, etc. That seems pretty boring, but what's the difference between such a "boring" case and an "interesting" case? Intuitively, we want a case where $x-y=1$ and where we can't see $x$ or part of $x$ in $y$ or vice versa. i.e. we want two irrationals, $x$ and $y$, and an integer $n$, such that $x-y=n$ but where $x$ is not written as "$y+n$". Like $\sqrt p-\sqrt q=1$. That particular "format" doesn't work, but maybe there's some other format?

Oh, duh, there's an obvious set of cases from trig. For example:

$$\sin(\pi/2) - \sin(\pi/4) * \cos(\pi/4) = 1/2$$

Well, maybe that doesn't count because $\sin(\pi/2)$ is not irrational, even though I used a non-algebraic function to get there.

Well, $\sin^2(x)+\cos^2(x)=1$, which is not a difference but a sum, but if you want to pick nits, I could say it's minus the negative.

Answer 9

How about $\frac{log_{2}(3)}{log_{2}(\frac{3}{2})}$ and $\frac{log_{2}(\frac{3}{4})}{log_{2}(\frac{3}{2})}$, then $\frac{log_{2}(3)}{log_{2}(\frac{3}{2})} + \frac{log_{2}(\frac{3}{4})}{log_{2}(\frac{3}{2})} = \frac{log_{2}(\frac{9}{4})}{log_{2}(\frac{3}{2})} = 2 \frac{log_{2}(\frac{3}{2})}{log_{2}(\frac{3}{2})} = 2.$

Answer 10

Are there any irrational numbers that have a difference of a rational number?

Turn the question around:

If I have an irrational number $X$, can I add a rational number $q$ to it? Will the result be an irrational number?

And I think the answer is, obviously, yes in nearly all cases.

You've already ruled this out as a covered case:

• $yX - y(X + n)$, where $X$ is irrational, or equivalent have been covered

but I think it really answers the whole question.

Answer 11

I would like to give another approach.

Let $x$ be an irrational number, and consider it's decimal expansion, $a_0.a_1a_2a_3......$. Then let $y=b_0.b_1b_2b_3......$and for each $i\in \mathbb N - \{0\},$ let $a_i= b_i$. Then $x-y = a_0 - b_0,$ which are both integers, and are clearly rational.

Answer 12

Difference of any two same irrational numbers will give $0$ which is a rational number.

Answer 13

It is it always the case, that:

The sum of an 'rational number': "$x;\,x\in \mathbb{Q}$", and an 'irrational number': "$y;\,y\in \mathbb{IR}$", i.e, "$m=(x+y)$", is an 'irrational number': "$m;\,m \in \mathbb{IR}$"?

$$\forall(x\in \mathbb{Q})\forall(y \in \mathbb{IR}):\,(x + y) \in \mathbb{IR}$$

Thus, in these cases, $\text{the difference;}\quad \text{"}m-y\text{"}\,$, between the 'irrational valued sum', "$m";\,\text{where}\, m=x+y$, and its 'irrational component', "$y$", is 'the sum's rational component ': "$x$", $$\text{where,}$$ $$[m-y=x+y-y=x]\rightarrow [m-y=x]\,\rightarrow \,(m-y)\in\mathbb{Q}\,\,\text{, because, }\,x\in \mathbb{Q}$$

$$\text{Where, the difference between two irrationals,}\,(m,y)\in\mathbb{IR};\quad\text{that is: '(m - y)'};\,(m-y)\in\mathbb{Q},\,\,\text{ is a rational number.}$$

It may not always be the case that the difference between two irrational numbers is rational.

Nonetheless, the sum $x+y$ of an irrational number,$y$ and a rational number, $x$ is always irrational, as far as I know.

Thus, for all such cases of the form adduced above, the difference between two irrational numbers, $'m-y'; \,(m,y)\in \mathbb{IR} $, where '$m=x+y';x \in \mathbb{Q}$, will be rational, as its just $x$.

Remember thought that, at most one of $$(\,(x-y)\,,(x+y)\,) \in \mathbb{Q}$$

As its always the case that, for two irrationals, $(x,y)$ either the difference betwixt them $x-y$, or their sum $x+y$, must be irrational valued. On pain of contradiction. And these are not mutually exclusive alternatives. Both could be irrational.

At least one of $$(\,(x-y)\,,(x+y)\,) \in \mathbb{IR}\,\,\,\text{where} \, (x,y)\in \mathbb{IR}$$;

For example,

$$x=2\pi \in\mathbb{IR},\, y=\pi\in \mathbb{IR}$$.

$$x+y=2\pi +\pi=3\pi\in \mathbb{IR}$$

$$x-y=2\pi-\pi=\pi\in \mathbb{IR}$$ .

$x=2\pi\in\mathbb{IR}$, as $x$ is a rational multiple of an irrational number, $\pi$.

If, on the contrary, $x=2\pi$ were rational, then $\pi$, an irrational number, $\pi=\frac{2\pi}{2}=\frac{x}{2}$, would be a rational fraction, of a rational number, $x=2\pi$, and thus a number of form;

$$\pi=\frac{2\pi}{2}=\frac{x}{2}=\frac{1}{2}\times\frac{p}{q}=\frac{p}{2q}\,\text{as}\,\,x= \frac{p}{q}\,\text{where}\,(p,q) \in \mathbb{Z}\,\text{as}\, x \in \mathbb{Q}$$

$$\text{but because}\, q \in \mathbb{Z}\, \rightarrow t=2q \in \mathbb{Z}$$

Thus, $$\pi= \frac{p}{2q}= \frac{p}{t}$$

$\pi$ would be a rational form:

$$ \text{as}\, (p,t)\in \mathbb{Z} \, \rightarrow\, \pi =\frac{p}{t}\in \mathbb{Q} $$

that is, a fraction, with integer denominator and numerator, and thus a rational number, a contradiction: