已知Rt△ABC,∠ACB=90°,AC=BC,点D是斜边的中点,经过点C引一条直线l(不与AC、BC重合并且不经过点D)
操作:经过点A作AE⊥l,经过点B作BF⊥l,连接DE、DF,猜想△DEF的形状并证明.