a,bが異なる有理数だとすると
aとbの間には無理数が無限に存在することを証明するにはどうすればいいの?