欧几里得利用反证法证明2的平方根是无理数。