Phát biểu định nghĩa đường trung trực của một đoạn thẳng.

Đường thẳng vuông góc với một đoạn thẳng tại trung điểm của nó được gọi là đường trung trực của đoạn thẳng ấy.