连接ad,bd
因为af为切线
所以,角fad加角bad等于90度
因为D为EF的中点,所以ad等于de=df
角fad=角f,因为ab为直径,所以角bad加角abd=90度
因为,角abd=角acf(弧ad所对的角相等)
所以:∠AFC=∠ACF