Nhị diện

Nhị diện là hình hợp bởi hai nửa mặt phẳng có chung bờ là một đường thẳng. Mỗi nửa mặt phẳng đó gọi là một mặt của nhị diện và đường thẳng chung gọi là cạnh của nhị diện

Kí hiệu

Nhị diện gồm hai nửa mặt phẳng (α), (β) có chung bờ là a được kí hiệu là [α, a, β] hoặc là [α, β] hoặc [a] nếu không sợ bị nhầm với nhị diện khác. Nếu a chứa tia Ox thì ta cũng nói Ox là cạnh của nhị diện

Góc của nhị diện

Cắt nhị diện [α, a, β] bởi mặt phẳng (P) vuông góc với a tại O. Giao tuyến của (P) với (α) và (β) lần lượt là hai tia Ox và Oy. Khi đó ${\widehat {xOy}}$ gọi là góc của nhị diện [α, a, β], hay nói gọn là góc nhị diện [α, β].

Số đo góc của nhị diện [α, a, β] cũng được kí hiệu là [α, β] hoặc đơn giản là [a] nếu không cần phân biệt

Từ I $\in$ (α) và J $\in$ (β) với I, J $\not \in$ a, hạ IK $\perp$ a, JH $\perp$ a, khi đó ta có [α, β] = (${\overrightarrow {HI}},{\overrightarrow {KJ}}$)

Công thức tính góc của nhị diện tạo bởi 3 tia:

Cho 3 tia Ox, Oy, Oz trong đó ${\widehat {yOz}}=\alpha$, ${\widehat {xOz}}=\beta$, ${\widehat {xOy}}=\gamma$. Khi đó số đo góc nhị diện cạnh Ox là $\alpha '$ được tính theo công thức:

$cos\alpha '={\frac {cos\alpha -cos\beta .cos\gamma }{sin\beta .sin\gamma }}$

Chứng minh: Trên các tia Ox, Oy, Oz lần lượt lấy 3 điểm A, B, C sao cho OA = OB = OC = 1. Khi đó ${\overrightarrow {OA}}={\vec {i}},{\overrightarrow {OB}}={\vec {j}}$ và ${\overrightarrow {OC}}={\vec {k}}$  là ba vectơ đơn vị trên các trục đã cho.

Kẻ các đường cao BH, CK của hai tam giác OAB, OAC. Ta có:

${\vec {j}}.{\vec {k}}=cos\alpha$, ${\vec {i}}.{\vec {k}}=cos\beta$, ${\vec {i}}.{\vec {j}}=cos\gamma$

$cos\beta ={\overline {OK}}$, $cos\gamma ={\overline {OH}}$, $sin\beta =CK$, $sin\gamma =BH$

Từ đó suy ra:

${\overrightarrow {HB}}={\overrightarrow {OB}}-{\overrightarrow {OH}}={\vec {j}}-{\overline {OH}}.{\vec {i}}={\vec {j}}-cos\gamma .{\vec {i}}$

${\overrightarrow {KC}}={\overrightarrow {OC}}-{\overrightarrow {OK}}={\vec {k}}-{\overline {OK}}.{\vec {i}}={\vec {k}}-cos\beta .{\vec {i}}$

Vậy:

$cos\alpha '={\frac {{\overrightarrow {HB}}.{\overrightarrow {KC}}}{BH.CK}}={\frac {({\vec {j}}-cos\gamma .{\vec {i}})({\vec {k}}-cos\beta .{\vec {i}})}{sin\beta .sin\gamma }}={\frac {cos\alpha -cos\beta .cos\gamma }{sin\beta .sin\gamma }}$