《幾何原本》卷Ⅱ的幾何代數(shù)法成了后世西方數(shù)學(xué)家處理數(shù)學(xué)問(wèn)題的重要依據(jù).通過(guò)這一原理,很多代數(shù)的定理都能夠通過(guò)圓形實(shí)現(xiàn)證明,也稱(chēng)之為無(wú)字證明現(xiàn)有如圖所示圖形,點(diǎn)F在半圓O上,點(diǎn)C在直徑AB上,且OF⊥AB,設(shè)AC=a,BC=b,可以直接通過(guò)比較線(xiàn)段OF與線(xiàn)段CF的長(zhǎng)度完成的無(wú)字證明為( )