正方形边长10,EF中点,求阴影部分面积