Cho đường tròn tâm O và hai điểm A, B thuộc (O). Gọi d là đường trung trực của đoạn AB.
Giải thích
Vì hai điểm A, B thuộc (O) nên OA = OB.
Mà d là đường trung trực của đoạn AB nên nên O thuộc d.
Hay đường thẳng d đi qua tâm O của đường tròn.
Vậy d là một trục đối xứng của (O).