Indirect Proof of RationalsWatch
Prove that there don't exist any non-integer rational numbers such that are all integers.
EDIT: apparently an easier proof exists too
Assume that are non-integer rationals with all integer. Then and are integers and have to be odd. So is odd. But we know that is an integer so is divisible by four. Contradiction.