Cho ABC và đường thẳng d qua A không cắt đoạn thẳng BC. Vẽ BD vuông d. (D, E thuộc d) 

BD // AE (cùng vuông góc với d)

Tứ giác BDEC là hình thang,

Từ I kẻ IO⊥DE⇒IO//BD//CE 

Hình thang BDECcó IO // BD // CE và IB = IC nên OD = OE 

Ta có OD = OE; IO⊥DE nên IO là đường trung trực của đoạn thẳng DE => ID = IE