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