在正方形ABCD中,E.F分别在BC,CD上,角EAF=45度求证三角形AEF的面积=三角形ABE的面+三角形ADF的面