AB是半圆O的半径,半径OC⊥AB,E为OB上的一点,弦AD⊥CE,垂足为G.猜想OE与OF的数量关系,证明