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

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