Let be a rational number, and be an irrational number. If their sum were rational, say , then we'd have
but is the difference between two rational numbers, and thus a rational number. But it also equals , which is irrational by hypothesis. Since we have a contradiction, we conclude that the sum of a rational and an irrational can't be rational.