Step 1: Let \(r\) be rational and \(i\) be irrational.
Assume for contradiction that \(r+i\) is rational. Step 2: Use closure of rationals under subtraction.
If \(r+i\) were rational, then \(i=(r+i)-r\) would be the difference of two rationals, hence rational—contradiction. Step 3: Conclude.
Therefore, \(r+i\) must be irrational.