Trong mặt phẳng , cho đường thẳng
có phương trình
và đường tròn
. Ảnh của đường thẳng
qua phép tịnh tiến theo véc tơ
cắt đường tròn
tại hai điểm
và
. Giá trị
bằng
Xét
Theo biểu thức tọa độ của phép tịnh tiến ta có:
Lại có
Thay vào ta được
Do đó ảnh của đường thẳng qua phép tịnh tiến theo
là
.
Giao điểm của và
là nghiệm của hệ phương trình
Có là hai nghiệm của phương trình
nên theo định lý Vi-ét có
.