Kẻ đường chéo AC cắt EF tại I

Trong ΔADC, ta có: EI // CD

Suy ra: 

Suy ra: 

Lại có : 

Suy ra: 

Từ (1) và (2) suy ra: 

Trong ΔABC, ta có: FI // AB

Suy ra:  (định lí ta-lét) (3)

Trong ΔADC, ta có : EI // CD

Suy ra:  (định lí ta-lét) (4)

Từ (3) và (4) suy ra 

Trong ΔABC, ta có: IF // AB

Suy ra:  (định lí ta-lét)

Suy ra: 

Ta có: 

Suy ra: 

Từ (5) và (6) suy ra: 

Vậy: