Cho xOy^. Vẽ cung tròn tâm O, cung này cắt Ox, Oy theo thứ tự tại M, N. Vẽ hai cung tròn tâm M và tâm N có cùng bán kính sao cho chúng cắt nhau tại điểm P nằm trong xOy^. Nối O với P (Hình 16). Hãy chứng minh rằng DOMP = DONP, từ đó suy ra OP là tia phân giác của xOy^.