1. Định nghĩa Phép đối xứng trục
Trong mặt phẳng cho đường thẳng d.
Phép biến hình biến mỗi điểm M thuộc d thành chính nó, biến mỗi điểm M không thuộc d  thành điểm M' sao cho  d là đường trung trực của đoạn thẳng MM’ được gọi là phép đối xứng trục d, ký hiệu là \(Đ_d\).
\(Đ_d (M)=M'⇔\overrightarrow{M_0 M}=-\overrightarrow{M_0 M'}\), \(M_0\) là hình chiếu vuông góc của M lên d 
Chú ý:  M' đối xứng với M qua d, \(M_0\) là trung điểm của đoạn MM' 

2. Biểu thức tọa độ của phép đối xứng trục 
\(M(x;y), M' (x';y')= Đ_d(M)\)
Nếu d là trục \(Ox\) thì: \(\begin{cases} x' =x \\y' = -y\end{cases}\)
Nếu d là trục \(Oy\) thì: \(\begin{cases} x' = -x \\y' = y\end{cases}\)

3. Tính chất của phép đối xứng trục