1 . （1）已知是实数，集合，.求证：“”是“”的充要条件.
（2）设.用反证法证明命题“若，则或.”

2 . 若函数对任意的，均有，则称函数具有性质.
（1）判断下面两个函数是否具有性质，并证明：①（）；②；
（2）若函数具有性质，且（，），
①求证：对任意，有；
②是否对任意，均有？若有，给出证明，若没有，给出反例.

3 . 已知直线与抛物线交于两点.
（1）求证：若直线过抛物线的焦点，则；
（2）写出（1）的逆命题，判断真假，并证明你的判断.

4 . 十七世纪，数学家费马提出猜想：“对任意正整数，关于的方程没有正整数解”，经历三百多年，1995年数学家安德鲁怀尔斯给出了证明，使它终成费马大定理，则费马大定理的否定为（       ）

A．对任意正整数，关于的方程都没有正整数解

B．对任意正整数，关于的方程至少存在一组正整数解

C．存在正整数，关于的方程至少存在一组正整数解

D．存在正整数，关于的方程至少存在一组正整数解

5 . 已知集合
(1)判断8，9，10是否属于集合A；
(2)已知集合，证明：“”的充分条件是“”；但“”不是“”的必要条件；
(3)写出所有满足集合A的偶数.

6 . 已知集合，．
(1)若“，”为假命题，求的取值范围；
(2)求证：至少有2个子集的充要条件是，或．

7 . 设为的三边，求证：方程与有公共根的充要条件是

8 . 欧拉对函数的发展做出了巨大贡献，除特殊符号、概念名称的界定外，欧拉还基于初等函数研究了抽象函数的性质，例如，欧拉引入倒函数的定义：对于函数，如果对于其定义域中任意给定的实数，都有，并且，就称函数为倒函数.
(1)已知，，判断和是不是倒函数，并说明理由；
(2)若是上的倒函数，当时，，方程是否有正整数解？并说明理由；
(3)若是上的倒函数，其函数值恒大于，且在上是严格增函数.记，证明：是的充要条件.

9 . 记实数，中的较大者为，例如，，对于无穷数列，记，若对于任意的，均有，则称数列为“趋势递减数列”.
(1)已知数列的通项公式分别为，，判断数列是否为“趋势递减数列”，并说明理由；
(2)已知首项为公比为的等比数列是“趋势递减数列”，求的取值范围；
(3)若数列满足，为正实数，且，求证：为“趋势递减数列”的充要条件为的项中没有.

10 . 十七世纪，数学家费马提出猜想：“对任意正整数，关于x，y，z的方程没有正整数解”，经历三百多年，1995年数学家安德鲁·怀尔斯给出了证明，使它终成费马大定理，则费马大定理的否定为（       ）

A．对任意正整数n，关于x，y，z的方程都没有正整数解

B．对任意正整数，关于x，y，z的方程至少存在一组正整数解

C．存在正整数，关于x，y，z的方程至少存在一组正整数解

D．存在正整数，关于x，y，z的方程至少存在一组正整数解