c) Chứng minh ef = ab + cd /2
c) Chứng minh
c) EF là đường trung bình tam giác ADK.
Suy ra
Mà CK = BA (do ΔFBA = ΔFCK)
Do đó