在三角形ABC中,已知EF//BC,|BC|=根号2 |BF|,证明:三角形AEF的面积等于梯形EBCF的面积