a) + ΔADC có: AE = ED (gt) và AK = KC (gt)
⇒ EK là đường trung bình của ΔADC
⇒ EK = CD/2
+ ΔABC có AK = KC (gt) và BF = FC (gt)
⇒ KF là đường trung bình của ΔABC
⇒ KF = AB/2.
b) Ta có: EF ≤ EK + KF =
(Bổ sung: ⇔ EF = EK + KF ⇔ E, F, K thẳng hàng ⇔ AB // CD)