戴德金分划对于实数强稠密性证明的问题
来自书：微积分学教程-- 菲赫金哥尔茨
命题如下：对于不论怎样的两个实数α及β,其中α>β,恒有一个位于他们中间的有理数r：α>r>β（这种有理数有无穷个）
证明如下：因α>β,故确定数α的分划的下组A整个包含确定β的下组B,且不与B重合,因此在A内必有有理数r,它不包含在B内,于是必属于B'.
我的困惑是,A内必有实数不包含在B内比较好理解,但如何证明A内必有有理数r不包含在B内,特别是两个分划α和β都是无理数的时候,如何证明两个无理数之间必至少有一个有理数呢?