Chứng minh điểm đối xứng thuộc đường tròn

Định nghĩa đường tròn (O; R): tập hợp các điểm cách O một khoảng bằng R. Định nghĩa hai điểm đối xứng qua một điểm: O là trung điểm của đoạn nối hai điểm đó, suy ra hai đoạn bằng nhau. Định nghĩa hai điểm đối xứng qua đường thẳng: đường thẳng đó là trung trực của đoạn nối hai điểm, suy ra mọi điểm trên đường thẳng cách đều hai đầu đoạn.