√2 · step 1: assume the oppositeSuppose √2 is rational: √2 = a/b, written in lowest terms— so a and b share no common factor. (This “lowest terms” is the assumption everything will push against.)