题目如图,已知平行四边形ABCDABCDABCD的对角线ACACAC的垂直平分线EFEFEF与边ABABAB、CDCDCD分别交于点EEE、FFF.(1)(1)(1)求证:四边形AECFAECFAECF是菱形;(2)(2)(2)若EF=2EF=2EF=2,tan∠BAC=13tan∠BAC=\frac{1}{3}tan∠BAC=31,则菱形AECFAECFAECF的面积为______.知识点:解直角三角形章节:图形的变化 / 锐角三角函数