AB是圆O的直径,AE平分角BAF交圆O于点E,过E作直线与AF垂直交AF的延长线于D,且交AB延长线于C.(1)求证: