1 . （1）设，证明：.
（2）已知正实数满足，求证：.

2 . 《几何原本》卷Ⅱ的几何代数法成了后世西方数学家处理数学问题的重要依据.通过这一原理，很多代数的定理都能够通过图形实现证明，也称之为无字证明现有如图所示图形，点F在半圆O上，点C在直径AB上，且OF⊥AB，设AC＝a，BC＝b，可以直接通过比较线段OF与线段CF的长度完成的无字证明为（　　）

A．a2+b2≥2ab（a＞0，b＞0）	B．
C．（a＞0，b＞0）	D．（a＞0，b＞0）

3 . 已知a，b均为正实数．
（1）若，求的最小值；
（2）若，证明：．

4 . 解不等式；
设a，b，且不全相等，若，证明：．