证明:假设√2不是无理数,而是有理数。√2=p/q　由于2q^2是偶数,p