User talk:BillDixon56
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)