证明定理4中的（3）（4），定理6（De Morgan 公式）中的第二式和定理9.
举一反三
- 写出刻画实数完备性的七个等价定理.(1)确界定理:(2)柯西收敛准则:(3)单调有界定理:(4)区间套定理:(5)聚点定理:(6)致密性定理:(7)有限覆盖定理:
- 实数完备性基本定理包括：(1) 确界原理； (2) 单调有界定理；(3) 区间套定理； (4) 有限覆盖定理；(5) 聚点定理； (6) 柯西收敛准则；(7) 实数的连续归纳法.
- 牛顿-莱布尼茨公式，通常也被称为（ ） A: 牛顿定理 B: 格林公式 C: 微积分基本定理 D: 积分第一中值定理 E: 欧拉定理 F: 积分第二中值定理
- 简述卡尔第二定理和莫尔定理
- 模型证明中用到的数学定理是 A: 零点存在定理 B: 闭区间套定理 C: 微分中值定理 D: 驻点存在定理