连接BC
∵AB是直径
∴∠ACB=90°
∵EF⊥AB
∴∠EFA=∠ACB=90°
∵∠EAF=∠BAC
∴∠FEA=90°-∠EAF,∠ABC=90°-∠BAC
∴∠FEA=∠DEC=∠ABC
∵CD是圆的切线
∴∠DCE=∠ABC(弦切角=所夹弧上的圆周角)
∴∠DCE=∠DEC
∴DC=DE
连接BC
∵AB是直径
∴∠ACB=90°
∵EF⊥AB
∴∠EFA=∠ACB=90°
∵∠EAF=∠BAC
∴∠FEA=90°-∠EAF,∠ABC=90°-∠BAC
∴∠FEA=∠DEC=∠ABC
∵CD是圆的切线
∴∠DCE=∠ABC(弦切角=所夹弧上的圆周角)
∴∠DCE=∠DEC
∴DC=DE