Rinno777 約6年以前 x が有理数なので x = m/n (m,nは整数で、n≠0) とおけます。 このとき、 x+√3 が有理数だと仮定すると x+√3 = m/n +√3 = s/t (s,tは整数で、t≠0) となり、これを変形して、 √3 = (ns - mt)/nt このとき、左辺は無理数であるが、 右辺は有理数であるので矛盾。 したがって命題は示された。 留言