Trong mặt phẳng tọa độ
, cho hình chữ nhật
có điểm
. Gọi
đối xứng với điểm
qua
, điểm
là hình chiếu vuông góc của
lên đường thẳng
. Biết rằng tọa độ điểm
thuộc đường thẳng
. Khi đó:
Ta có: ADB’C là hình bình hành
Mà
Tam giác vuông cân tại I
là hình thang cân =>
đi qua điểm
và có vecto pháp tuyến
Phương trình CI: