1. (2022高一上·如东期中) 《几何原本》卷Ⅱ的几何代数法成了后世西方数学家处理数学问题的重要依据.通过这一原理，很多代数的定理都能够通过图形实现证明，也称之为无字证明现有如图所示图形，点F在半圆O上，点C在直径AB上，且OF⊥AB，设AC＝a，BC＝b，可以直接通过比较线段OF与线段CF的长度完成的无字证明为（　　）

A . a²+b²≥2ab（a＞0，b＞0） B . C . （a＞0，b＞0） D . （a＞0，b＞0）