延长DF交AB于H
则FH=EC(∵DH=DC,且DF=DE)
∠ECF=∠HFG(∵∠DFC+∠DCF=90°=∠DFC+∠HFG)
∠CEF=∠FHG=145°
∴△CEF≌△FHG
∴CF=FG
证明完毕