例如:18可以分解成 , 或 ,因为 ,所以 是18的最佳分解,所以 .
问题情境:
如图①,点E为正方形ABCD内一点,∠AEB=90°,将Rt△ABE绕点B按顺时针方向旋转90°,得到△CBE′(点A的对应点为点C).延长AE交CE′于点F, 连接DE.
猜想证明: