如图，⊙O是Rt△ABC的外接圆，∠ABC＝90°，D为圆上一点，且B，D两点位于AC异侧，连接BD，交AC于E，点F为BD延长线上一点，连接AF，使得∠DAF＝∠ABD.