题目内容：

已知在Rt△ABC中,AC=BC,∠C=90°,点D为AB边的中点,∠EDF=90°,△EDF绕点D旋转,它的两边分别交AC,CB(或它们的延长线)于点E,F.当∠EDF绕点D旋转到DE⊥AC于点E时(如图①),易证S△DEF+S△CEF=S△ABC.

当∠EDF绕点D旋转到DE和AC不垂直时,在图②和图③这两种情况下,上述结论是否成立?若成立,请给予证明;若不成立,S△DEF,S△CEF,S△ABC又有怎样的数量关系?请写出你的猜想,不需证明.