la_1和formula_9是否有最大数、最小数，可以将分划分为三种类型：可以证明，“formula_1中有最大数，formula_9中有最小数」的情况并不存在。证明:因为如果A有最大数a，A'有最小数b，则根据分割的定义可知 a第三种情况揭示了在有理数域中存在这样的一种"空隙"（formula_1和formula_9之间的界数），这个"空隙"所对应的数既不属于formula_1，也不属于formula_9，因此它不是有理数，它所对应的数就是无理数，因此说第3种情况的分划定义了一个无理数。作为一个直