Cho hai mặt phẳng (P) và (Q) vuông góc với nhau.

Ta cần chứng minh rằng tồn tại một đường thẳng a nằm trong mặt phẳng (P) sao cho đường thẳng a vuông góc với mặt phẳng (Q).

Thật vậy, ta lấy:

⦁ d là giao tuyến của hai mặt phẳng (P) và (Q);

⦁ a là đường thẳng nằm trong mặt phẳng (P) sao cho a ⊥ d;

· O là giao điểm của đường thẳng a và mặt phẳng (Q).

Do hai mặt phẳng (P) và (Q) cùng chứa điểm O nên hai mặt phẳng đó cắt nhau theo giao tuyến d đi qua O.

Trong mặt phẳng (Q), qua O kẻ đường thẳng b vuông góc với d.

Như vậy ta có: d là cạnh của góc nhị diện [P, d, Q];

                         a ⊂ (P) và a ⊥ d tại O (với O ∈ d);

                         b ⊂ (Q) và b ⊥ d tại O (với O ∈ d);

Suy ra aOb^ là góc phẳng nhị diện của góc nhị diện [P, d, Q].

Mặt khác (P) ⊥ (Q) nên góc nhị diện [P, d, Q] vuông hay aOb^=90°.

Suy ra a ⊥ b.

Ta có: a ⊥ d, a ⊥ b và d ∩ b = O trong (Q).

Suy ra a ⊥ (Q).

Vậy nếu hai mặt phẳng vuông góc với nhau thì mặt phẳng này chứa một đường thẳng vuông góc với mặt phẳng kia.