Cho ba điểm A, B, C thẳng hàng, điểm B nằm giữa hai điểm A và C. Gọi a và b lần lượt là đường trung trực của các đoạn thẳng

a là đường trung trực của đoạn thẳng AB nên a vuông góc với AB tại trung điểm của AB.

b là đường trung trực của đoạn thẳng BC nên b vuông góc với BC tại trung điểm của BC.

Do A, B, C thẳng hàng và B nằm giữa A và C nên trung điểm của đoạn thẳng AB và trung điểm của đoạn thẳng BC không trùng nhau.

Khi đó, hai đường thẳng a, b phân biệt cùng vuông góc với đường thẳng AC nên a // b.

Do đó a // b.