[Math] what’s the difference between a rational number and an irrational number

irrational-numbersnumber-systemsprime numbersrational numbers

I tried to understand the difference between rational numbers and irrational numbers. I understand what is a rational number (a number that can be expressed as the ratio of two numbers p/q).

what makes an irrational number, irrational?
how do you prove in a simple way that an irrational number is irrational?
why does the fact that the ratio of two numbers that can be divided by 2 is irrational? (am I right?)

I couldn't understand the chosen answer in What's the difference between rationals and irrationals – topologically? so please, bare in mind that my math skills and understanding are currently weak (understatment) and I'm working to improve them.

Thanks!

Best Answer

Joke (but true): The difference between a rational number and an irrational number is irrational.

Serious answer: Your question already expressed it. A rational number can be written $\frac mn$ for some integer $m$ and some positive integer $n$. An irrational number is a real number that cannot be written like that.

To show that a number is rational, the most common approach by far is to find $m$ and $n$, and prove that the number in fact equals their ratio.

To show that a number is irrational is often a good deal harder, and is usually done using some sort of proof by contradiction. For example, it took a long time for mathematicians to even prove that $\pi$ is irrational. According to https://mathoverflow.net/questions/40145/irrationality-of-pie-pipi-and-epi2, no one even knows whether $\pi^{\pi^{\pi^\pi}}$ is an integer, let alone whether it is rational (but just about anyone would bet that it's irrational).

It turns out that in several senses, almost all real numbers are irrational, and in fact even transcendental (a nastier sort of beast). There are also various techniques available for manufacturing great gobs of irrational (and even transcendental) numbers, but most of the numbers people are actually interested in are either trivially rational, trivially algebraic (not transcendental), or mysterious—no one knows for certain whether they are rational or irrational.

Part of the reason for this is that while it's very easy to put together rational numbers to get more rational numbers, you can't really put together irrational numbers to get more irrational numbers in very many ways. For example, the sum or product of two rational numbers is always rational, but the sum or product of two irrational numbers may be rational.