From what I remember, it's simpler than that: Assume sqrt(2) is rational and has the reduced form (x/y). Thus we are assuming that x and y are integers and tha

From what I remember, it's simpler than that: Assume sqrt(2) is rational and has the reduced form (x/y). Thus we are assuming that x and y are integers and that gcd(x,y) is 1. You square it and get x^2/y^2 which are somehow simultaneously coprime integers and also reducible to 2/1...