1)整数mと0以外の整数nが互いに素であるとき、m/nと表わされる数体
2)対偶
3)6の正の平方根
4)√6=m/n(m,nは互いに素な自然数)で表わされる有理数であるとする。このとき
6n^2=m^2　問題分の事実によりmは6の倍数でなければならず、
nもまた6の倍数でなければならない。よってm,nが互いに素であることに矛盾する。
よって√6は無理数である。