Kẻ EF ⊥ CD ⇒ AC // EF // AD
Xét ΔBCE và ΔFEC có:
(CAE) = (CFE) = 90o
(BCE) = (CEF) (Hai góc so le trong)
CE chung
⇒ ΔBCE = ΔFEC (cạnh huyền- góc nhọn)
tương tự ΔAED=ΔFDE.
Do đó (theo hình vẽ):
S1 = S2 và S3 = S4
⇒ S2 + S3 = S1 + S4 = (1/2)SABCD
Hay SECD = (1/2)SABCD ⇒ SABCD = 2SECD.