a) Vì Ot là phân giác của ˆxOyxOy^

nên ˆyOtyOt^ = ˆxOtxOt^ = 1212ˆxOyxOy^

Ot' là phân giác của ˆxOy′xOy′^

nên = ˆy′Ot′y′Ot′^ = 1212ˆxOy′xOy′^

=> ˆxOtxOt^ + ˆxOt′xOt′^ = 1212ˆxOyxOy^ + 1212ˆxOy′xOy′^ = 1212(ˆxOyxOy^ + ˆxOy′xOy′^)

mà (ˆxOyxOy^ + ˆxOy′xOy′^) = 1800 (2 góc kề bù)

=> ˆxOtxOt^ + ˆxOt′xOt′^ = 12121800 = 900

Vậy hai tia phân giác của hai góc kề bù tạo thành một góc vuông

b) Nếu M thuộc Ot hoặc Ot' thì M cách đều hai đường thẳng xx' và yy'

Thật vậy: M ε Ot do Ot là phân giác của ˆxOyxOy^ nên M cách đều Ox, Oy

=> M cách đều xx',yy'

M ε Ot'do Ot' là phân giác của ˆxOy′xOy′^ nên M cách đều xx', yy'

=> M cách đều xx',yy'

c) M cách đều hai đường thẳng xx', yy'

Nếu M nằm trong một góc trong bốn góc ˆxOyxOy^, ˆxOy′xOy′^, ˆx′Oy′x′Oy′^, ˆx′Oyx′Oy^ thì M phải thuộc phân giác của góc ây tức M phải thuộc Ot hoặc Ot'

d) Khi M ≡ O thì khoảng cách từ M đến xx', yy' bằng 0

e) Từ các câu trên ta có nhận xét: Tập hợp tất cả các điểm cách đều hai đường thẳng cắt nhau xx', yy' thuộc hai đường thẳng vuông góc nhau lần lượt là phân giác của các góc tạo bởi hai đường thẳng cắt nhau đó.