I don't know if anyone has ruled this approach out, but the "infinity of ratios" you mentioned, in the proof of root2 as an irrational, is still only used to give a proof by contradiction. I know proof by contradiction isn't necessarily the most aesthetically satisfying way, but if it works.......
re: methods of proof
