Trong không gian với hệ tọa độ
, cho hai điểm
và đường thẳng
. Điểm
thuộc
là điểm thỏa mãn
đạt giá trị nhỏ nhất. Khi đó
bằng?
Hình vẽ minh họa
Ta có: có một vectơ chỉ phương là
Ta có cùng phương với
Mà đồng phẳng.
Xét mặt phẳng chứa và
. Gọi
là điểm đối xứng của
qua
là mặt phẳng qua
, vuông góc với
.
Khi đó, giao điểm của
với
là trung điểm của
.
có 1 vectơ pháp tuyến
đi qua
có phương trình:
Giả sử
.
Ta có khi và chỉ khi
trùng với
là giao điểm của
và
.
.