怎样证明区间(a,b)有无穷多个有理数,特别是a,b中有无理数的情况