Cho hai hình vuông ABCD và ABEF cạnh a nằm trên hai mặt phẳng vuông góc. Độ dài DE bằng:
Ta có:
EB ⊥ (ABCD) vì nó vuông góc với giao tuyến AB của hai mặt phẳng vuông góc đã cho
=> CD ⊥ (EBC) => CD ⊥ CE
=> Tam giác ECD vuông tại C.
=>
Ta có: EB ⊥ BC => Tam giác EBC vuông tại B
=>
=>
=>


