1 . 设集合由全体二元有序实数组组成，在上定义一个运算，记为，对于中的任意两个元素，规定：.
(1)计算：；
(2)，是否都有成立，若是，请给出证明；若不是，请给出理由；
(3)若“中的元素”是“对，都有成立”的充要条件，试求出元素.

2 . 设集合A由全体二元有序实数组组成，在A上定义一个运算，记为，对于A中的任意两个元素，，规定：.
(1)计算：；
(2)请用数学符号语言表述运算满足交换律，并给出证明；
(3)若“A中的元素”是“，都有成立”的充要条件，试求出元素I.

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

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

5 . （1）已知a，b，c，d均为正数.求证：
（2）已知.求证：<的充要条件为x>y

6 . 已知函数，是自然对数的底数，，.
(1)求的单调区间；
(2)记：有两个零点；：.求证：是的充要条件.要求：先证充分性，再证必要性.

7 . 求证：角为第二象限角的充要条件是．

8 . 已知函数．
(1)若的最小值为5，求正实数的值；
(2)求证：“在上单调递增”的充要条件是“”．

10 . 《几何原本》卷2的几何代数法（以几何方法研究代数问题）成了后世西方数学家处理问题的重要依据，利用这一方法，很多代数的公理或定理都能够通过图形实现证明．现有如图所示图形，点F在半圆O上，且，点C在线段OB上．设，．结合该图形解答以下问题：

(1)用a，b表示OF，OC，FC；
(2)根据OF与FC的大小关系，结合（1）的结论可得到什么不等式？并证明是该不等式取等号的充要条件．