连接AC交ED于点G则
△ECD与△BCA等底等高
所以
S△ECD=S△BCA
而△FCA与△FCD同底登高
所以S△FCA=S△FCD
则
S△ECD-S△FCA=S△BCA-S△FCD
即S△ABF= S△EFC