1、∵AB=AC
∴∠ABC=∠ACB
∵∠ACB=∠BDA(同弧上圆周角相等）
∴∠ABC=∠BDA
即∠ABE=∠BDA
∵∠BAE=∠BAD
∴△ABE∽△ADB
2、∵AE=ED/2即AE/ED=1/2
FB=BD/2即FB/BD=1/2
∴AE/ED=FB/BD
∴(AE+ED)/ED=(FB+BD)/BD
即AD/ED=BD/DF
∵∠ADF=∠EDB
∴△ADF∽△EDB
∴∠EBD=∠AFD
∴AF∥BE
∴∠FAB=∠ABE=∠BDA
即∠FAB=∠FDA
∵∠AFB=∠AFD
∴△AFB∽△ADF
∴AF/DF=BF/AF
即AF²=BF×DF
∴直线AF与圆O相切(切割线逆定理）