1 Перпендику лярні прямі 2 Перпендикуляр до даної прямої, проведений із даної точки 3 Відстань від точки до прямої 4 Перпенди кулярні відрізки А Довжина перпендикуляра, проведеного з даної точки до прямої Б Прямі, які перетинаються під прямим кутом В Відрізки, що лежать на перпендикулярних прямих Г Відрізок прямої, перпендикулярний до даної прямої, що має одним зі своїх кінців точку їх перетину, а іншим кінцем — дану точку
1) Прикладаємо до прямої a косинець однією зі сторін прямого кута. 2) До іншої сторони прямого кута прикладаємо лінійку. 3) Пересуваємо косинець уздовж лінійки доти, поки сторона прямого кута не пройде через точку B. Ця сторона прямого кута належить прямій b, яка паралельна прямій a і проходить через точку B. Побудова паралельних прямих а b
Доведення Припустимо, що прямі a і b не паралельні, тоді вони перетинаються в деякій точці A Таким чином, через точку A проходять відразу дві прямі, паралельні прямій c, що суперечить аксіомі паралельних прямих. Отже, наше припущення хибне, тобто прямі a і b не перетинаються. Теорему доведено. Теорема а b с А