Irrationality of root2 edit

If a^2/b^2 is irreducible, it can't be an integer unless b=1. Any prime factor of b would have to divide a.

I don't even remember where I left something about the simpler proof. It works for irrationality on ANY non-square.

You should have put a heading on your comment on my talk page. I almost failed to see it. DrHow (talk) 11:41, 16 September 2020 (UTC)Reply