Ta có hình vẽ:
a) Xét \(\Delta ADC\) có:
AE = ED (gt)
AI = IC (gt)
=> EI là đường trung bình
=> EI // DC
Xét \(\Delta CAB\) có:
AI = IC (gt)
BF = FC (gt)
=> IF là đường trung bình
=> IF // AB
b) Ta có: EF \(\le\) EI + IF
mà IF + EF = \(\dfrac{1}{2}\) AB + \(\dfrac{1}{2}\) CD
= \(\dfrac{1}{2}\) (AB + CD)
=> EF \(\le\) \(\dfrac{\left(AB+CD\right)}{2}\) (đpcm)