Kẻ IF⊥DE(E∈d)

Ta có DB⊥DE(GT)

         CE⊥DE(GT)

⇒IF║DB║CE(⊥→║)(1)

⇒D,E,C,B thẳng hàng.

Lại có: I là trung điểm BC(GT)(2)

Từ (1) và(2) ⇒ DF=FC

Xét ΔDIE có:

FI là đường cao(FI⊥DE)

FI là đường trung tuyến

Vậy Δ DIE cân tại I(DF=FE, cmt)

⇒ID=IE(2 cạnh tương ứng)

Chú thích: ║ là song song