Trên cung nửa mp bờ chứa tia Ox: góc xOy < xOz ( góc nhọn < 90o)
=> tia Oy nằm giữa 2 tia Ox và Oz
=> xOy + yOz = xOz = 90o => góc xOy = 90o - yOz (1) và góc yOz < 90o
Trên cùng nửa mp bờ chứa tia Oy : góc yOz < yOt = 90o
=> tia Oz nằm giữa 2 tia Oy và Ot
=> góc yOz + zOt = yOt = 90o
=> zOt = 90o - yOz (2)
Từ (1)(2) => góc xOy = zOt
ta có: Ox | Oz (trên nữa mp chứa tia Oy có bờ là đường thẳng chứa tia Ox)
=> xOy+yOz=900 (phụ nhau) (1)
ta lại có: Oy | Ot (trên nữa mp có bờ là đt chứa tia Oy và chứa tia Oz)
=> yOz+zOt=900 (phụ nhau) (2)
từ (1) và (2) => xOy = tOz (hay zOt)