Proposition Every non-zero rational number can be expressed as a product of two irrational numbers. Reworded as ” If r is a non-zero rational number, then r is a product of two irrational numbers.”
Proof Suppose r is a non-zero rational number. Then r=ab for integers a and b. Also, r can be written as a product of two numbers as follows:
r=2∗2r
Assume for the sake of contradiction that 2r is rational.
This means:
2r=dc
for integers c and d, so
2=rcd
But we know r=ab , which combines with the above equation to give:
2=rcd=ba∗cd=bcad
This means 2 is rational, which is a contradiction because we know it is irrational.
Therefore2r is irrational
Hence r=2∗2r is a product of two irrational numbers