Rt三角形ABC中,AC=BC,在AB边上有E`F两点使∠ECF=45度,证AE^+BF^=EF^