Cho hai đường thẳng song song c và d. Chứng minh rằng khoảng cách từ mọi điểm thuộc c đến

Lấy M và M’ thuộc đường thẳng c (M khác M’).

Kẻ MH và M’H’ vuông góc với đường thẳng d (H và H’ thuộc đường thẳng d).

Do MH ⏊ d và M’H’ ⏊ d nên suy ra MH // M’H’.

Xét ∆MHH’ và ∆H’M’M có:

Cạnh MH’ chung

H'^1=M^2 (so le trong, do MM’ // HH’)

H'^1=M^2 (so le trong, do MH // M’H’)

Do đó ∆MHH’ = ∆H’M’M (g.c.g)

Suy ra MH = M’H’ (hai cặp cạnh tương ứng). Độ dài MH gọi là khoảng cách từ c đến d.

Vậy khoảng cách từ mọi điểm thuộc c đến đường thẳng d bằng nhau và bằng khoảng cách từ mọi điểm thuộc đường thẳng d đến đường thẳng c.