分别以三角形ABC边AB,BC,AC为斜边作等腰直角三角形DAB,EBC,FAC.证:AE=DF、AE垂直DF.