Problem:
Prove that is irrational for every positive integer .
Solution
Solution:
Assume for contradiction that it was rational, and let denote its value. Squaring, we find that
so
The left-hand side is also rational, so we conclude the quantity is the square of a rational number. Actually, since it is an integer, it follows that must be a perfect square (the square of an integer). However, , so lies strictly between two consecutive perfect squares, which is a contradiction.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.