如图,AB为圆O的直径D为AC的中点DE垂直AB于点E,DE交AC于点F,求证:AF=DF