右图中,ABCD是长方形,EF平行于BC,四边形AECF的面积是17.5,三角形AFD的面积是20,三角形BCE的面积是