Prove the for every rational number z and also every irrational number x, there exists a distinctive irrational number such the x + y = z.

You are watching: Every irrational number is an integer

Assume a and also b room integers v GCD (a,b) =1, and also that c is an irrational number.There exists a number d = (a/b) + c.

Assume the d is rational. Then d - (a/b) would be rational, what is a contradiction since c is irrational. Therefore, d is irrational.

To prove uniqueness we have the right to use the reality that the addition of any kind of two real numbers has only one result, climate d is unique. Q.E.D.

proof-verification proof-writing
share
point out
follow
inquiry Feb 13 "15 in ~ 3:51 BeginnerBeginner
\$endgroup\$
2
include a comment |

5
\$egingroup\$
You don"t need to restrict the integers creating the ratio to having a greater common denominator the 1. Simply assert the they exist.

Any \$z\$ that is a rational number deserve to be expressed as the ratio of 2 integers. (For strictness we need the denominator integer to it is in non-zero.)

Any \$x\$ is one irrational number cannot be so expressed as the ratio of two integers.

For any real numbers, \$x\$ and \$z\$, over there is just a unique number \$y\$ where \$x+y=z\$.

If this \$y\$ to be rational it can be expressed as the ratio of some two integers. For any sum \$x+y\$ i beg your pardon can additionally be expressed together the proportion of two integers, it would certainly then follow the \$x\$ might be expressed together the sum of 2 integers. (By reason the product of any type of two integers is an integer.)

By contraposition: for any type of irrational \$x\$, and any reasonable \$z\$, the number \$y\$ where \$x+y=z\$, need to be both unique and irrational.

re-superstructure
cite
follow
answered Feb 13 "15 in ~ 4:26 Graham KempGraham Kemp
\$endgroup\$
2
include a comment |
3
\$egingroup\$
You have actually proven that the amount of a rational number and an irrational number is irrational, yet you have actually not proven the main result.

If \$x\$ is irrational and \$z\$ is rational, what (possibly) irrational number \$y\$ would certainly you wager is such that \$x+y=z\$? Why might this be irrational? (Hint: usage what you simply proved.)

Why should it it is in unique?

re-superstructure
cite
monitor
answered Feb 13 "15 in ~ 4:00
user214321user214321
\$endgroup\$
3
2
\$egingroup\$ additionally note the you never ever used the fact that \$gcd(a,b)=1\$, so you execute not need to assume this. \$endgroup\$
–user214321
Feb 13 "15 at 4:01
1
\$egingroup\$ I explained what I believe you space missing. Deserve to you tell me exactly how you think you should modify/ expand upon your proof, provided what ns wrote? \$endgroup\$
–user214321
Feb 13 "15 at 4:11
1
\$egingroup\$ It would seem that this was spanned in your conversation with Yotas Trejos. As your proof is created it only proofed a peripheral result, yet when you adjust it for this paper definition it have to be fine. \$endgroup\$
–user214321
Feb 13 "15 at 4:31

Thanks because that contributing an answer to ptcouncil.netematics Stack Exchange!

But avoid

Asking for help, clarification, or responding to various other answers.Making statements based upon opinion; back them up with references or an individual experience.

Use ptcouncil.netJax to style equations. ptcouncil.netJax reference.

See more: What Are The Two Main Functions Of The Foreign Exchange Market? ?

Draft saved

authorize up utilizing Email and Password
send

### Post together a guest

surname
email Required, however never shown

### Post together a guest

name
email

Required, but never shown

## Not the answer you're feather for? Browse various other questions tagged proof-verification proof-writing or questioning your very own question.

Upcoming occasions
Featured top top Meta
associated
1
proof that when \$x + y\$ space irrational then \$x\$ and also \$y\$ room irrational
3
Prove that there is no largest irrational number
0
aid with writing a proof with unique and rational/irrational
0
If \$f\$ is a role of one actual variable such that for every genuine number \$y\$, there is a distinctive real number \$x\$ such the \$f(x) = y\$, climate ...
1
Prove that there exists an irrational number \$\a\$ such the \$x 0\$.
2
Prove over there is one integer larger than a provided real number
0
For every integers \$w, x, y, z\$ through \$w eqy\$ and also \$wz-xy eq0\$, prove that there exist a distinctive rational number \$r\$ such that \$(wr+x)div(yr+z)=1\$
0
Numerator and denominator of reasonable number
0
Prove the there is a unique real number \$x\$ such that for every genuine number \$y\$, \$xy + x -4 = 4y\$
hot Network questions an ext hot questions

inquiry feed ptcouncil.net
firm
ridge Exchange Network
site style / logo © 2021 stack Exchange Inc; user contributions licensed under cc by-sa. Rev2021.11.11.40730

ptcouncil.netematics ridge Exchange works best with JavaScript allowed 