Cho hình 43. Chứng minh rằng AI = IM.

ΔBDC có BE = ED và BM = MC

⇒ EM là đường trung bình của ΔBDC

⇒ EM // DC hay EM // DI.

ΔAEM có DI // EM (cmt) và AD = DE (gt)

⇒ IA = IM (Theo định lý 1)