Cho góc nhị diện có hai mặt là hai nửa mặt phẳng (P), (Q) và cạnh của góc nhị diện là đường thẳng d.
Giải thích
Xét (P) có: Ox ⊥ d và Ox’ ⊥ d nên Ox // O’x’.
Xét (Q) có: Oy ⊥ d và Oy’ ⊥ d nên Oy // O’y’.
Từ đó ta có: góc giữa đường thẳng Ox và Oy bằng góc giữa đường thẳng O’x’ và O’y’ hay số đo của hai góc xOy và x’O’y’ bằng nhau.
