cho các điểm điểm
và tam giác
vuông tại
; hình chiếu vuông góc của
trên
là điểm
.Khi đó điểm
luôn thuộc đường tròn cố định có bán kính bằng">
cho các điểm
điểm
và tam giác
vuông tại
; hình chiếu vuông góc của
trên
là điểm
.Khi đó điểm
luôn thuộc đường tròn cố định có bán kính bằng">