Kẻ \({\rm{EF}} \bot DC\) ta có \(\Delta DAE = \Delta {\rm{EFD}}\left( {c.g.c} \right)\)
Tương tự \(\Delta EBC = \Delta CFE.\)
Gọi \({S_1},{S_2},{S_3},{S_4}\) lần lượt là diện tích các tam giác (theo hình vẽ), ta có
\({S_1} = {S_2};{S_3} = {S_4}\)
Hay \({S_{ABCD}} = 2{S_{EDC}}.\)
