如图8,AB是⊙O的直径,C是⊙O上一点,过圆心O作OD⊥AC,D为垂足,E是BC上一点,G是DE的重点,OG的延长线交BC于F

证明：∵AB是⊙O直径，C是⊙O上一点，
∴∠ACB=90°．
即BC⊥AC．
∵OD⊥AC，
∴OD∥BC．

（2）结论：EF=BE+FC，
证明：∵OD⊥AC，
∴AD=DC．
∵O为AB的中点，
∴OD是△ABC的中位线．
∴BC=2OD．
∵，∠ODG=∠FEG，DG=EG，∠GOD=∠GFE，
∴△ODG≌△FEG．
∴OD=EF．
∴BE+EF+FC=BC=2OD=2EF．
∴EF=BE+FC．