在矩形ABCD中,E,F分别是AB,BC上任意两点,求证矩形ABCD面积=2倍三角形DEF的面积+AE*CF