MathJax(?): Can't find handler for document MathJax(?): Can't find handler for document I suggested the...

myntfalskj4
Answered
2022-07-01
MathJax(?): Can't find handler for document
MathJax(?): Can't find handler for document
I suggested the following problem to my friend: prove that there exist irrational numbers a and b such that ab is rational.
Now, his inital solution was like this: let's take a rational number r and an irrational number i. Let's assume
So we have
which is rational per initial supposition. b is obviously irrational if i is. My friend says that it is also obvious that if r is rational and i is irrational, then is irrational. I quickly objected saying that is an easy counterexample. To which my friend said, OK, for any positive rational number r, other than 1 and for any irrational number i is irrational. Is this true? If so, is it easily proved? If not, can someone come up with a counterexample?