三角形ABC中,AC等于BC,角ACB是90度,D为AB边中点,点E是射线AC上一点,AE等于3CE,连接DE,DF垂直