Is there a direct proof…
that the square root of 2 is irrational?
A kid asked, and I wasn’t sure, but didn’t think so.
(we did the standard proof by contradiction. Assume rational. write as p/q, (p,q) = 1, square it and show that 2|p. Then show 2|q. Contradiction…)
Anyone know off hand?