Great question. Let's let r be a rational number and s be irrational. Note r has to be nonzero for this to work. In other words, it's not true that when we multiply zero, a rational number, by an irrational number like π we get an irrational number. We of course get zero.
The question is: why is the product
![p = rs](https://img.qammunity.org/2019/formulas/mathematics/middle-school/qgjtw2kea5u5c9q2tpp4rm0ucm2c59k8xr.png)
irrational?
In math "why" questions are usually answered with an illuminating proof. Here the indirect proof is enlightening.
Suppose p was rational. Then
![s = \frac p r](https://img.qammunity.org/2019/formulas/mathematics/middle-school/a3z8vrkj2310jop0qsjf4oizfw8axz0awz.png)
would be rational as well, being the ratio of two rational numbers, so ultimately the ratio of two integers.
But we're given that s is irrational so we have our contradiction and must conclude our assumption that p is rational is false, that is, we conclude p is irrational.