Cho lăng trụ đứng $A B C \cdot A^{\prime} B^{\prime} C^{\prime}$...

Trong mặt phẳng (ABC), kẻ .
Ta có: .
Suy ra: là hình chiếu của lên mặt phẳng .
Dễ thấy cân tại .
Đặt: . Điều kiện .
Áp dụng ĐL cosin cho tam giác ta có: .

Xét vuông tại , ta có:
Do đó: là tam giác đều .
Xét vuông tại .