Ta có:
`- Oz` là phân giác `hat{xOy'}`
`=> hat{xOz} = hat{zOy'} = 1/(2)hat{xOy'}` `(1)`
`- Oz'` là phân giác `hat{x'Oy}`
`=> hat{x'Oz'} = hat{z'Oy} = 1/(2)hat{x'Oy}` `(2)`
Mà: `hat{xOy'} = hat{x'Oy}` `(3)`
Từ `(1)(2)(3) => hat{xOz} = hat{zOy'} = hat{x'Oz'} = hat{z'Oy}`
Trên hình vẽ:
`x', y', z'` tương ứng với `x, y, z`
`x'', y'', z''` tương ứng với `x', y', z'`