Теорема о перпендикуляре к прямой

Теорема о перпендикуляре к прямой гласит, что если прямая перпендикулярна к одной из двух параллельных прямых, то она перпендикулярна и к другой прямой из этой пары. Это является следствием аксиомы о параллельных прямых и может использоваться для нахождения перпендикуляров в геометрических задачах.