如图,正方形ABCD有一45度角顶点在A处,两边分别与CD.CB交于点F,点E,求证:(1)EF=BE+DF