Cho tam giác ABC, điểm I thuộc cạnh AB, điểm K thuộc cạnh AC. Kẻ IM song song với BK (M thuộc AC), kẻ KN song song với CI (N thuộc AB). Chứng minh MN song song với BC.

NK // IC suy ra ANAI=AKAC (định lí Thalès trong tam giác) nên AN . AC = AI . AK. (1)

IM // BK suy ra AIAB=AMAK (định lí Thalès trong tam giác) nên AM . AB = AI . AK. (2)

Từ (1) và (2) suy ra: AN . AC = AM . AB (= AI . AK).

Suy ra ANAB=AMAC nên MN // BC (định lí Thalès đảo).