Step by step
The question
Question: prove that √2 + 3 is irrational.
1 Assume the opposite
Rational means: it can be written as a fraction of whole numbers.
Suppose the opposite: √2 + 3 is rational, √2 + 3 = a/b.
We already know that √2 is irrational.
We proved it.
Careful!
A calculator gives a decimal that stops.
That is only a rounded value.
It cannot prove anything about the exact number.
2 Work it out
Take away 3 on both sides.
Same bottom: 3 is 3b over b.
The top and the bottom are whole numbers.
So this is a fraction of whole numbers.
3 Find the contradiction
Then √2 would be rational.
But we know it is irrational!
The opposite led to nonsense, so √2 + 3 is irrational.
4 Check
A calculator: about 4.41421356, the digits going on with no pattern, like √2's.
Right!
Let's look back.
First: assume the opposite.
Then: work it out.
Then: find the contradiction.
Last: check.