设S是有上界集合,不妨设b是的一个上界,取a∈S构造区间[a,b],定义性质P： 闭区间E,满足存在x1∈E,x1∈S且存在x2∈E,x2不属于S.用二等分法构造区间套：(1)将[a,b]等分为两个子区间,则至少有一个具有性质P,不妨记该区...