Theo hệ quả của định lí Thalès:

• Xét ∆ABM có DI // MB (vì I ∈ DE, M ∈ BC), ta có \[\frac = \frac\].

• Xét ∆ACM có EI // MC, ta có \[\frac = \frac\].

Suy ra \[\frac = \frac\], mà MC = MB, suy ra IE = DI.

Vậy I là trung điểm của DE.