Phép đối xứng trục

Phép đối xứng qua đường thẳng d là phép biến hình biến mỗi điểm M thành điểm M’ đối xứng với M qua d.
Phép đối xứng qua đường thẳng d được gọi là phép đối xứng trục. Ký hiệu Đ_d

. Tính chất:
 + Phép đối xứng trục là phép dời hình, nên có đầy đủ tính chất của phép dời hình

( với M₀ là hình chiếu của M lên d)
+ d là trục đối xứng của hình (H) khi và chỉ khi Đ_d(H) = H
. Biểu thức tọa độ
Trong mặt phẳng tọa độ Oxy, khi đó: