You could use the contrapositive. The contrapositive of "A implies B" is "not B implies not A". The contrapositive is logically equivalent to the original statement.
Statement A:
R is rational AND X is irrational
Statement B:
RX is irrationalProof:
Suppose not B. So RX is rational. Assume...