证明：
连接OD交AC于M,连接AD
∵OA=OB
∴∠OAD=∠ODA
∵D是弧AC的中点
∴OD⊥AC【平分弦所对应弧的直径,垂直平分这条弦】
∵DE⊥AB
∴∠AMO=∠DEO=90º
∴∠OAM=∠ODE【两角都是∠AOD的余角】
∴∠FAD=∠FDA【等量减等量】
∴AF=DF