Дві прямі на площині або перетинаються, або паралельні.

Дві прямі називаються паралельними, якщо вони не перетинаються. Два відрізка називаються паралельними, якщо вони лежать на паралельних прямих.

Через точку, що не лежить на даній прямій, можна провести на площині пряму, паралельну до даної, і тільки одну. Це твердження є основною властивістю паралельних прямих.

Дві прямі, кожна з яких паралельна третій прямій, паралельні між собою.
Якщо пряма перетинає одну з паралельних прямих, то вона перетинає і другу пряму.

Менший із кутів, що утворюються при перетині двох прямих на площині, називається кутом між прямими.

Дві прямі називаються перпендикулярними, якщо вони перетинаються під прямим кутом. Через точку, що не належить прямій, можна провести пряму, перпендикулярну даній прямій, і тільки одну.

Відрізки або промені, які лежать на перпендикулярних прямих, називаються перпендикулярними.

Перпендикуляром до даної прямої називається відрізок прямої, перпендикулярний до даної, який має одним зі своїх кінців точку перетину прямої і відрізка. При цьому кінець відрізка, який лежить на прямій, називається основою перпендикуляра.

Через кожну точку прямої можна провести перпендикулярну їй пряму й тільки одну. З будь-якої точки, що не лежить на даній прямій, можна опустити на цю пряму перпендикуляр і тільки один.

Довжина перпендикуляра, опущеного з точки на пряму, називається відстанню від точки до прямої.

Відстань від будь-якої точки однієї з паралельних прямих до другої прямої називається відстанню між паралельними прямими.

Це цікаво.
Як побудувати пряму, перпендикулярну до заданої прямої? Це роблять за допомогою кутника. Кожний креслярський кутник має прямий кут. Сумістимо одну зі сторін прямого кута креслярського кутника з заданою прямою, а вздовж другої сторони прямого кута проведемо пряму. Ця пряма буде перпендикулярною до заданої прямої.

Доведення від протилежного
Спочатку робимо припущення, протилежне до того, що стверджується теоремою. Потім шляхом міркувань доходимо висновку, який суперечить або умові даної теореми, або раніше доведеної, або однієї з аксіом. На цій основі робимо висновок, що зроблене нами припущення неправильне, а отже, правильним є твердження теореми.

Матеріал з сайту: http://shkolyar.in.ua