Prove that irrational*non-zero rational number is equal to an irrational number

How can you prove that irrational*non-zero rational number is equal to an irrational number?

I suspect this is a university student asking me this.

One important step in how to make proofs is to understand clearly what you're asked to prove. It often involves statements that are true for ALL numbers in a certain set (such as all real numbers, all rational numbers etc.).

This one does not include the word "all" nor the word "any", but it still is of that type. I can reword it like this:

Prove that any irrational number multiplied by any non-zero rational number is equal to some irrational number.


Or, this way:

Prove that for all irrational numbers x and for all rational numbers y excluding 0 the following is true: xy is an irrational number.


This question basically ASKS for indirect proof.

In indirect proof, we assume the OPPOSITE is true, and show that would lead to a contradiction.

We are supposed to prove that if you take ANY irrational number times ANY non-zero rational number, then the result is an irrational number.

So assume the opposite: assume there is SOME irrational number X and SOME non-zero rational number R so that when you multiply those two, you get a RATIONAL one as an answer:

XR = S and S is rational


Well, from this equation X = S/R (remember R is not zero so this is legal). But then X would be a rational number (S) divided by another rational number (R).

You probably already know that if you divide a rational number by a rational number, the result is going to be a rational number - never an irrational number, so this is the contradiction needed for the proof. ALL DONE!

But just for a reminder: a rational number is like fraction: a/b where a and b are integers, b nonzero. So if you take a/b ÷ c/d, you know how that is done: multiply by d/c and it produces another fraction (rational number).

Tags: , ,

Comments

Maria Miller said…
First of all, if you're trying to prove something by contradiction, you need to assume the opposite of what you're trying to prove. If you're trying to rpove that something is irrational, then assume the opposite: that it is rational.

Then also:
r = p/x; if p and x are irrational, their quotient CAN be rational. For example:

2Pi / Pi = 2.
Anonymous said…
Thank you for your post, it was very helpful to some Stanford student
Anonymous said…
It's helpful, but I have a question. Do I need to prove that if X and M/N is rational that X/(M/N) is rational, or I can just use it?
Maria Miller said…
If two numbers are rational, then their quotient is also rational. Most likely you can use that without proof--it would be assumed to have already been proven previously.
See if your trying to prove something by contradiction process then have to assume opposite of what you actual want means if you are trying to prove something rational then you have to assume it as a irrational number.
Maria Miller said…
I am trying to prove something irrational, therefore for a proof by contradiction I need to assume it is rational.
Anonymous said…
this link talking about irrational number

http://www.math-worksheets.co.uk/048-tmd-what-are-irrational-numbers/

Popular posts from this blog

Conversion chart for measuring units

Geometric art project: seven-circle flower design

Meaning of factors in multiplication: four groups of 2, or 4 taken two times?