Vì `DE⊥DA; DE⊥EM (1)`
⇒ `DA` // `EM; ∠B = ∠IBM = 70 `
⇒ `∠B = ∠DAB = 70` (so le trong)
⇒ `IB` // `DA`
⇒ `IB` // `DA` // `DM (2)`
b) `∠M = ∠IBM = 70` (đồng vị)
Mà `∠M + ∠M1 = 180 `
⇒ `∠M1 = 180 - ∠M`
⇒ `∠M1 = 180 - 70 `
⇒ `∠M1 = 110 `
c) Từ `(1) `và `(2)` ⇒ `DE ⊥ DA`; `DE ⊥ EM`
và `IB` // `DA` // `DM`
⇒ `DE ⊥ IB`
Mà `ID = IE `
⇒ `IB` là đường trung trực của `DE`
