连接CD
因为ABC为等腰直角三角形,所以CD=AD
角DCF=角DAF=145°
又因为AE=CF,根据边角边,EAD和FCD这两个三角形全等.所以角FDC=角EDA
所以角EDF=角ADC=90°,即DE垂直DF