Cho hai đoạn thẳng phân biệt AB và CD. Gọi O là giao điếm hai đường trung trực của AB và CD. Có nhận xét gì về hai đoạn AB và CD. Nếu AB // CD thì có nhận xét gì về hai đường trung trực đó?
O là giao điểm của hai dường trung trực của hai đoạn thẳng phân biệt AB và CD thì AB và CD phải cắt nhau hay 4 điểm A, B, C, D không thắng hàng.
Nếu AB // CD thì hai đường trung trực phải song song với nhau. Mà O là giao điểm của hai dường trung trực nên theo tiên đề ơclit thì hai đường trung trực của của AB và CD trùng nhau.