√２が有理数であると仮定する。 √２＝a/bとおく（a,bは整数、b≠0、aとbは互いに素）。 2b^2＝a^2（★） a^2は偶数。 aは偶数。 a^2は4の倍数。 b^2は偶数。 bは偶数。 aとbが互いに素であることに矛盾。■ たいていの数学の教科書には、この証明が載っているは…