Proving irrationality of square root of 2 without using contradictionfunctionspace.org·2 pts·ridersofnorth·0