题目内容：

如图,矩形ABCD与圆心在AB上的圆O交于点G,B,F,E,GB=8,AG=1,DE=2,求EF的长

优质解答

∵ABCD是矩形
∴AB=CD
∵AB=GB+AG=8+1=9
∴CD=9
∴CE=CD-DE=9-2=7
做GM⊥CD于M
∴ADMG是矩形
∴DM=AG=1
∴EM=DE-DM=2-1=1
∴根据对称得：CF=EM=1
∴EF=CE-CF=7-1=6