- Mọi đường kính của đường tròn đều là một trục đối xứng của đường tròn đó.
- Phép đối xứng tâm biến đường tròn tâm thành chính nó, và biến một đường thẳng đi qua thành chính đường thẳng đó.
- Điểm cách đều hai đầu một đoạn thẳng thì thuộc đường trung trực của đoạn thẳng đó.
Định hướng. Chỉ ra đường trung trực của đi qua (vì cách đều , ), rồi dùng tính chất phép đối xứng tâm biến thành chính nó và biến thành để suy ra cũng là trung trực của .
Vì () nên .
Xét phép đối xứng tâm : vì là đường thẳng đi qua nên phép đối xứng tâm biến thành chính .
Phép đối xứng tâm biến thành , biến thành (theo giả thiết), nên biến đoạn thành đoạn .
Do là trục đối xứng của đoạn (đi qua , vuông góc tại trung điểm) nên ảnh của qua phép đối xứng tâm chính là trục đối xứng của ảnh , tức là cũng vuông góc với tại trung điểm của .
Vậy là đường trung trực của .
Mà đi qua tâm nên là một đường kính, do đó là một trục đối xứng của .
Vậy đường trung trực của chính là đường thẳng — đường trung trực của đi qua — nên đó đúng là một trục đối xứng của .
Định hướng. Đặt làm gốc, biểu diễn , theo , bằng vectơ đối, rồi so sánh trực tiếp tập hợp điểm cách đều , với tập hợp điểm cách đều , .
Gọi là điểm bất kì; thuộc trung trực của khi và chỉ khi , tức .
Xét điểm đối xứng với qua , tức : , tương tự với .
Do đó trung trực của khi và chỉ khi trung trực của ; mà trung trực của đi qua nên ứng với , suy ra hai đường trung trực cùng đi qua và có cùng phương vuông góc với (vì song song ).
Vậy hai đường trung trực đó là một.
Vậy trung trực của trùng trung trực của , là đường kính của nên là trục đối xứng của .
Định hướng. Chứng minh để thấy hai trung trực cùng đi qua và cùng vuông góc với một cặp cạnh song song bằng nhau, từ đó chúng trùng nhau.
Vì , đối xứng với , qua nên là trung điểm và , suy ra (hai đoạn nối các điểm đối xứng qua một tâm thì bằng nhau) và .
Xét và : , , nên (c.c.c).
Gọi , lần lượt là trung điểm , ; từ hai tam giác bằng nhau suy ra khoảng cách từ đến bằng khoảng cách từ đến , tức ; mặt khác chính là điểm đối xứng của qua (vì là ảnh của ) nên , , thẳng hàng.
Do đó đường thẳng vừa vuông góc tại vừa vuông góc tại — chính là trung trực chung của cả lẫn .
Vậy trung trực của là đường thẳng đi qua tâm , nên nó là một trục đối xứng của .



