Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Product of rational and irrational number is irrational
Formulation 2
Let xI be an D1243: Irrational number.
Let qQ be a D994: Rational number such that
(i) q0
Then xq=qxI
Proofs
Proof 0
Let xI be an D1243: Irrational number.
Let qQ be a D994: Rational number such that
(i) q0
Without loss of generality, we only need to show that xqI.

Suppose to the contrary that there are some integers a and b0 for which xq=ab Since q0 is rational, there are integers c0 and d0 such that q=cd Therefore, we have x=abdc=adbc Since a, b, d and c are all integers, then so are ad and bc. Since b0 and c0, then also bc0. But this contradicts the assumption that x was irrational. Therefore, xq is irrational.