1 . 《几何原本》卷Ⅱ的几何代数法成了后世西方数学家处理数学问题的重要依据.通过这一原理，很多代数的定理都能够通过图形实现证明，也称之为无字证明现有如图所示图形，点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）