Proving irrationality of square root of 2 without using contradictionfunctionspace.org2 pointsridersofnorth13 years ago