Xét tứ giác AFED có AF // DE (gt)
              AD // FE (gt)
=> AFED là hình bình hành
b) Xét t/giác BFM và t/giác CEM
 
có: BM = MC (gt)
 ˆB1=ˆCB1^=C^ (slt của AF // DC)
ˆM1=ˆM2M1^=M2^ (đối đỉnh)
=> t/giác BFM = t/giác CEM (g.c.g)
=> S t/giác BFM = S t/giác CEM
Xét t/giác ADE và t/giác EAF
có AD = EF (do AFED là hình bình hành)
 AF = AE ( ..........................)
 AE : chung
=> t/giác ADE = t/giác EAF (c.c.c)
=> S t/giác ADE = S t/giác EAF (1)
Ta có: SAEF = SABME + SBFM = SABME + SMEC = SABCE (do SBFM = SMEG) (2)
Ta lại có: SABCD = SADE + SABCE = 2SADE
=> SADE = 1/2SABCD (3)
Từ (1); (2) và( 3) => SADE = SABEC = 1/2SABCD