Theorem
is irrational unless is a perfect square
Arithmetic • Number System • Rational Numbers
Formula
For a positive integer , is rational if and only if is a perfect square. For every other it is irrational, and then so is any non-zero rational multiple of it and any rational added to it.
How to use it
- 1Test for being a perfect square; if it is not, the root is irrational and nothing further need be computed.
- 2Take out the largest square factor first — — and read the verdict off what is left under the root.
- 3Combine with the closure facts: , and are all irrational because each is a rational operation applied to one irrational.
Worked example
Is rational or irrational?
Step-by-step
- 1, so
Why: Pull out the largest square factor.
- 2is not a perfect square, so is irrational
Why: Apply the theorem to what remains under the root.
- 3is a non-zero rational times an irrational, so it is irrational
Answer
Irrational
Watch out
The test is perfect squares, not primes: and are rational although and are composite. The theorem also says nothing about a combination of two different surds — is irrational, yet is rational.