因ABCD为平行四边形
三角形ABF的边BF上的高 = 三角形DCF的边FC上的高
三角形ABF的面积/三角形DCF的面积=BF/FC
而显然,三角形EFC的面积/三角形DCF的面积=FE/DF
因DC平行AB,
三角DCF相似于三角形BFE
FE/DF=BF/FC
所以:三角形ABF的面积=三角形EFC的面积