如图9，△ABC中，∠ABC＝90°，以AB为直径作⊙O交AC于D点，E为BC的中点，连接ED并延长交BA延长线于F点.

求证：直线DE是⊙O的切线
若AB＝，AD＝1，求线段AF的长
当D为EF的中点时，试探究线段AB与BC之间的数量关系