用反证法。假设a,b间存在有限个有理数q1,q2,q3,...,qn不妨设a取 x=(q1+q2)/2，则 x是有理数，且 q1从而 a即 x也是a,b间的有理数，与假设矛盾。从而 a与b之间存在着无数个有理数
