【推荐1】已知的三条边为，求证：是等边三角形的充要条件是．

【推荐2】求证：一元二次方程（a，b，c是常数且）有一正实根和一负实根的充要条件是.

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

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