Trong không gian ${A}$, cho hai điểm ${\Delta...

Dễ thấy nằm hai phía của mặt phẳng . Gọi đối xứng với qua mặt phẳng suy ra
Gọi và lần lượt là hình chiếu của và lên mặt phẳng , ta có
Do đó
là điểm thỏa mãn ( tức là )

Gọi Từ (*)
Ta có
Do