Giả sử Đ_a là phép đối xứng trục qua đường thẳng a. Ta chọn hệ tọa độ Oxy sao cho trục Ox trùng với a. Lấy hai điểm tùy ý A(x_A; y_A) và B(x_B; y_B). Gọi A’, B’ lần lượt là ảnh của A, B qua phép đối xứng trục a (Hình 3). Xác định tọa độ của A’ và B’ rồi dùng công thức tính khoảng cách để so sánh A’B’ và AB.