"Equidistant" means the same distance (from the prefix "equi-", which means equal, and "distance"). Parallel lines are equidistant from each other. This means that every point on one line is always the same distance from the other line as every other point on that line.

It is important to remember here that when we are talking about "distance" in Euclidean geometry, we are referring to the shortest distance, and the shortest distance between a point and a line is the length of a perpendicular line from that point to the line.

Proving this is quite simple, using theorems we have already proven about parallel and perpendicular lines.

## Problem

L1 and L2 are two parallel lines. Prove that these parallel lines are equidistant.

## Strategy

Let's take a look at the diagram for this problem. The parallel lines and the two perpendicular lines that connect points P1 and P2 to line L2 form a quadrilateral. It certainly looks like that quadrilateral is a rectangle.

We know that in a rectangle, like in any parallelogram, the opposite sides are equal. So we'll proceed by proving that this quadrilateral is indeed a parallelogram. We will use the converse of the perpendicular transversal theorem - if a transversal line is perpendicular to two lines, then those two lines are parallel.

## Proof

(1) L_{1} || L_{2} //Given

(2) P_{1}A ⊥ L2 //Definition of distance

(3) P_{2}B ⊥ L2 //Definition of distance

(4) P_{1}A || P_{2}B // (2) , (3), Converse of the perpendicular transversal theorem, L_{2} is perpendicular to both P_{1}A and P_{2}B

(5) P_{1}ABP_{2} is a parallelogram //(1), (4), the definition of a parallelogram

(6) |P_{1}A| =|P_{2}B| //Opposite sides of a parallelogram are equal

## Another way to solve this problem

In the section above, we used a little shortcut to show that the two lines (P_{1}A, P_{2}B) are equal. We relied on the fact that in a parallelogram opposite sides are equal. But what if we don't remember that property of parallelogram? Or what if we don't recognize the hint in the diagram to look for a parallelogram?

There's another way to show that the two lines have equal lengths, using the tried and true method of congruent triangles.

## Second Strategy

We'll create two triangles by drawing a line from P_{1} to B:

P_{1}B is a common side in the two triangles, △P_{1}BA and △BP_{1}P_{2}. L_{1} is parallel to L_{2}, so by the alternating interior angle theorem, ∠BP_{1}P_{2} ≅∠P_{1}BA. P_{1}A is perpendicular to L_{2}, so m∠P_{1}AB=90°. And also, P_{2}B is perpendicular to L_{2}, so m∠P_{2}BA=90°.

But, using the consecutive interior angles theorem, we know that the sum of m∠P_{2}BA and m∠BP_{2}P_{1} is 180°, so m∠BP_{2}P_{1} is also a right angle, and we can now show that △P_{1}BA and △BP_{1}P_{2} are congruent using the Angle-Angle-Side postulate, and |P_{1}A| =|P_{2}B| as corresponding sides in congruent triangles.

## Proof (2)

(1) P_{1}B =BP_{1} // Common side, reflexive property of equality

(2) L_{1} || L_{2} //Given

(3) ∠BP_{1}P_{2} ≅∠P_{1}BA //(2), alternating interior angle theorem

(4) P_{1}A ⊥ L2 //Definition of distance

(5) m∠P_{1}AB=90° //Defintion of perpendicular lines

(6) P_{2}B ⊥ L2 //Definition of distance

(7) m∠P_{2}BA=90° //Defintion of perpendicular lines

(8) m∠P_{2}BA+m∠BP_{2}P_{1}=180° //(2), consecutive interior angles theorem

(9) m∠BP_{2}P_{1} =90° //(7), (8)

(10) ∠P_{1}AB≅∠BP_{2}P_{1} //(9), (5) , defintion of congruent angles

(11) △P_{1}BA ≅ △BP_{1}P_{2} //Angle-Angle-Side

(12) |P_{1}A| =|P_{2}B| //Corresponding sides in congruent triangles. (CPCTC)