已知AB是圆O的直径,BC切圆O于B点,AC交圆O于D点,D是弧BE的中点,DF垂直于AF于F点.求证:DF是圆O的切线