– TH1: M ∈ Ot
M ∈ Ot do Ot là phân giác của nên M cách đều hai tia Ox và Oy
⇒ M cách đều xx’, yy’.
Tương tự cho M thuộc tia đối của tia Ot.
- TH2: M ∈ Ot’
M ∈ Ot’ do Ot’ là phân giác của nên M cách đều hai tia Ox, Oy’
⇒ M cách đều xx’, yy’.
Tương tự cho M thuộc tia đối của tia Ot’.
Vậy với mọi M thuộc đường thẳng Ot hoặc đường thẳng Ot’, M cách đều xx’ và yy’.