Cho hình hộp chữ nhật $ABCD.{A}'{B}'{C}'{D}'$, có...

Dễ thấy .(*)
Ta có . (1)
.(2)
Từ (1) và (2) suy ra (**)
Từ (*) và (**) suy ra .(3)
Lại có ( vì ) nên .
Xét vuông tại có và
nên .
Xét vuông tại nên có . (4)
Từ (3) và (4) suy ra .