Ta có:
P thuộc x’, x cách x’ khoảng bằng h
=> P cách x khoảng cách h (chứng minh bài 9.5)
P thuộc y’, y cách y’ khoảng bằng h
=> P cách y khoảng bằng h
=> P cách đều 2 đường thẳng Ox, Oy
Mà P nằm trong góc xOy (cách dựng)
=> P nằm trên tia phân giác của góc xOy.