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

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