Trong không gian, hình lăng trụ $ABCD.MNPQ$ có tất cả các cạnh...

Gọi là hình chiếu của trên . Kẻ với .
Ta có .
Xét tam giác vuông tại có .
Xét tam giác vuông tại có .
Xét tam giác vuông tại có:
.
Tam giác đều, gọi là tâm đường tròn ngoại tiếp tam .
Dựng là trục đường ngoại tiếp của tam giác với .
Khi đó là giao điểm mặt phẳng trung trực của đọan và đường thẳng .

.
.