Cho hai hình vuông $ABCD$ và $ABEF$ có cạnh bằng 1, lần lượt trên...

Dựng điểm sao cho là hình lăng trụ. Gọi là hình chiếu của lên , là điểm đối xứng của qua , gọi là trung điểm của
Gọi là hình chiếu của lên , . Ta có:
Xét tam giác vuông ta có:

Xét tam giác ta có:

Xét tam giác vuông ta có:

Do