《几何原本》卷2的几何代数法(以几何方法研究代数问题)成了后世西方数学家处理问题的重要依据,通过这一原理,很多的代数的公理或定理都能够通过图形实现证明,也称之为无字证明.现有如图所示图形,点F在半圆O上,点C在直径AB上,且OF⊥AB,设AC=a,BC=b,则该图形可以完成的无字证明为()
A.
ab
B.a2+b2≥2ab(a>0,b>0)
C.
D.