AB为半圆的直径
∠ACB=Rt∠,又∠ADC=Rt∠
∠ACD=Rt∠-∠CAD=∠B
C为弧AG的中点
∠CAG=∠B=∠ACD,AE=EC
∠CAG+∠AFC=∠ACD+∠BCD=Rt∠
∠AFC=∠BCD
EF=EC
AE=EC=EF