方形ABCD中,角EBF=45度,E.F分别是AD.DC上的点.求证 :EF=AE+ CF.